alloc_system: don’t assume MIN_ALIGN for small sizes, fix #45955
The GNU C library (glibc) is documented to always allocate with an alignment
of at least 8 or 16 bytes, on 32-bit or 64-bit platforms:
https://www.gnu.org/software/libc/manual/html_node/Aligned-Memory-Blocks.html
This matches our use of `MIN_ALIGN` before this commit.
However, even when libc is glibc, the program might be linked
with another allocator that redefines the `malloc` symbol and friends.
(The `alloc_jemalloc` crate does, in some cases.)
So `alloc_system` doesn’t know which allocator it calls,
and needs to be conservative in assumptions it makes.
The C standard says:
https://port70.net/%7Ensz/c/c11/n1570.html#7.22.3
> The pointer returned if the allocation succeeds is suitably aligned
> so that it may be assigned to a pointer to any type of object
> with a fundamental alignment requirement
https://port70.net/~nsz/c/c11/n1570.html#6.2.8p2
> A fundamental alignment is represented by an alignment less than
> or equal to the greatest alignment supported by the implementation
> in all contexts, which is equal to `_Alignof (max_align_t)`.
`_Alignof (max_align_t)` depends on the ABI and doesn’t seem to have
a clear definition, but it seems to match our `MIN_ALIGN` in practice.
However, the size of objects is rounded up to the next multiple
of their alignment (since that size is also the stride used in arrays).
Conversely, the alignment of a non-zero-size object is at most its size.
So for example it seems ot be legal for `malloc(8)` to return a pointer
that’s only 8-bytes-aligned, even if `_Alignof (max_align_t)` is 16.
2017-11-20 14:30:04 +00:00
|
|
|
#![feature(allocator_api)]
|
2021-12-23 13:03:12 +00:00
|
|
|
#![feature(alloc_layout_extra)]
|
2021-08-07 11:51:58 +00:00
|
|
|
#![feature(assert_matches)]
|
2015-03-11 04:58:16 +00:00
|
|
|
#![feature(box_syntax)]
|
2020-09-04 00:35:27 +00:00
|
|
|
#![feature(cow_is_borrowed)]
|
2021-12-23 13:03:12 +00:00
|
|
|
#![feature(const_box)]
|
|
|
|
#![feature(const_convert)]
|
2020-09-17 18:02:56 +00:00
|
|
|
#![feature(const_cow_is_borrowed)]
|
2021-12-23 13:03:12 +00:00
|
|
|
#![feature(const_heap)]
|
|
|
|
#![feature(const_intrinsic_copy)]
|
|
|
|
#![feature(const_mut_refs)]
|
|
|
|
#![feature(const_nonnull_slice_from_raw_parts)]
|
|
|
|
#![feature(const_ptr_offset)]
|
|
|
|
#![feature(const_ptr_write)]
|
|
|
|
#![feature(const_try)]
|
|
|
|
#![feature(core_intrinsics)]
|
2017-07-15 01:54:17 +00:00
|
|
|
#![feature(drain_filter)]
|
2016-11-22 22:31:31 +00:00
|
|
|
#![feature(exact_size_is_empty)]
|
2019-10-16 18:33:55 +00:00
|
|
|
#![feature(new_uninit)]
|
2015-06-10 20:33:52 +00:00
|
|
|
#![feature(pattern)]
|
2019-06-21 01:52:38 +00:00
|
|
|
#![feature(trusted_len)]
|
2021-07-23 15:40:43 +00:00
|
|
|
#![feature(try_reserve_kind)]
|
2015-03-11 04:58:16 +00:00
|
|
|
#![feature(unboxed_closures)]
|
2019-08-08 22:33:57 +00:00
|
|
|
#![feature(associated_type_bounds)]
|
2019-10-01 10:16:51 +00:00
|
|
|
#![feature(binary_heap_into_iter_sorted)]
|
|
|
|
#![feature(binary_heap_drain_sorted)]
|
2020-08-04 16:03:34 +00:00
|
|
|
#![feature(slice_ptr_get)]
|
2020-04-23 19:07:50 +00:00
|
|
|
#![feature(binary_heap_retain)]
|
2021-02-20 13:22:48 +00:00
|
|
|
#![feature(binary_heap_as_slice)]
|
2019-10-11 18:43:25 +00:00
|
|
|
#![feature(inplace_iteration)]
|
2021-07-12 19:40:38 +00:00
|
|
|
#![feature(iter_advance_by)]
|
2020-12-10 09:16:29 +00:00
|
|
|
#![feature(slice_group_by)]
|
2021-03-15 19:24:35 +00:00
|
|
|
#![feature(slice_partition_dedup)]
|
2021-03-05 16:27:58 +00:00
|
|
|
#![feature(string_remove_matches)]
|
2021-07-26 06:04:55 +00:00
|
|
|
#![feature(const_btree_new)]
|
2021-08-14 16:35:12 +00:00
|
|
|
#![feature(const_default_impls)]
|
2021-07-26 06:04:55 +00:00
|
|
|
#![feature(const_trait_impl)]
|
2021-11-05 12:39:01 +00:00
|
|
|
#![feature(const_str_from_utf8)]
|
2021-12-23 13:03:12 +00:00
|
|
|
#![feature(nonnull_slice_from_raw_parts)]
|
2022-01-05 21:42:21 +00:00
|
|
|
#![feature(panic_update_hook)]
|
2015-07-11 11:34:57 +00:00
|
|
|
|
2016-09-29 00:23:36 +00:00
|
|
|
use std::collections::hash_map::DefaultHasher;
|
2019-12-22 22:42:04 +00:00
|
|
|
use std::hash::{Hash, Hasher};
|
2015-08-12 00:27:05 +00:00
|
|
|
|
2018-07-06 17:30:09 +00:00
|
|
|
mod arc;
|
2015-03-11 04:58:16 +00:00
|
|
|
mod binary_heap;
|
2020-04-22 21:16:21 +00:00
|
|
|
mod borrow;
|
2019-10-16 18:33:55 +00:00
|
|
|
mod boxed;
|
2020-08-14 14:38:53 +00:00
|
|
|
mod btree_set_hash;
|
2021-07-26 06:04:55 +00:00
|
|
|
mod const_fns;
|
2016-11-04 01:07:00 +00:00
|
|
|
mod cow_str;
|
2015-03-11 04:58:16 +00:00
|
|
|
mod fmt;
|
alloc_system: don’t assume MIN_ALIGN for small sizes, fix #45955
The GNU C library (glibc) is documented to always allocate with an alignment
of at least 8 or 16 bytes, on 32-bit or 64-bit platforms:
https://www.gnu.org/software/libc/manual/html_node/Aligned-Memory-Blocks.html
This matches our use of `MIN_ALIGN` before this commit.
However, even when libc is glibc, the program might be linked
with another allocator that redefines the `malloc` symbol and friends.
(The `alloc_jemalloc` crate does, in some cases.)
So `alloc_system` doesn’t know which allocator it calls,
and needs to be conservative in assumptions it makes.
The C standard says:
https://port70.net/%7Ensz/c/c11/n1570.html#7.22.3
> The pointer returned if the allocation succeeds is suitably aligned
> so that it may be assigned to a pointer to any type of object
> with a fundamental alignment requirement
https://port70.net/~nsz/c/c11/n1570.html#6.2.8p2
> A fundamental alignment is represented by an alignment less than
> or equal to the greatest alignment supported by the implementation
> in all contexts, which is equal to `_Alignof (max_align_t)`.
`_Alignof (max_align_t)` depends on the ABI and doesn’t seem to have
a clear definition, but it seems to match our `MIN_ALIGN` in practice.
However, the size of objects is rounded up to the next multiple
of their alignment (since that size is also the stride used in arrays).
Conversely, the alignment of a non-zero-size object is at most its size.
So for example it seems ot be legal for `malloc(8)` to return a pointer
that’s only 8-bytes-aligned, even if `_Alignof (max_align_t)` is 16.
2017-11-20 14:30:04 +00:00
|
|
|
mod heap;
|
2015-03-11 04:58:16 +00:00
|
|
|
mod linked_list;
|
2018-07-06 17:30:09 +00:00
|
|
|
mod rc;
|
2015-03-11 04:58:16 +00:00
|
|
|
mod slice;
|
|
|
|
mod str;
|
|
|
|
mod string;
|
|
|
|
mod vec;
|
2019-12-22 22:42:04 +00:00
|
|
|
mod vec_deque;
|
2015-08-12 00:27:05 +00:00
|
|
|
|
|
|
|
fn hash<T: Hash>(t: &T) -> u64 {
|
2016-09-29 00:23:36 +00:00
|
|
|
let mut s = DefaultHasher::new();
|
2015-08-12 00:27:05 +00:00
|
|
|
t.hash(&mut s);
|
|
|
|
s.finish()
|
|
|
|
}
|
2017-08-21 14:15:02 +00:00
|
|
|
|
2017-09-10 16:13:19 +00:00
|
|
|
// FIXME: Instantiated functions with i128 in the signature is not supported in Emscripten.
|
|
|
|
// See https://github.com/kripken/emscripten-fastcomp/issues/169
|
|
|
|
#[cfg(not(target_os = "emscripten"))]
|
2017-08-21 14:15:02 +00:00
|
|
|
#[test]
|
|
|
|
fn test_boxed_hasher() {
|
|
|
|
let ordinary_hash = hash(&5u32);
|
|
|
|
|
|
|
|
let mut hasher_1 = Box::new(DefaultHasher::new());
|
|
|
|
5u32.hash(&mut hasher_1);
|
|
|
|
assert_eq!(ordinary_hash, hasher_1.finish());
|
|
|
|
|
2018-07-13 05:25:22 +00:00
|
|
|
let mut hasher_2 = Box::new(DefaultHasher::new()) as Box<dyn Hasher>;
|
2017-08-21 14:15:02 +00:00
|
|
|
5u32.hash(&mut hasher_2);
|
|
|
|
assert_eq!(ordinary_hash, hasher_2.finish());
|
|
|
|
}
|