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 08:30:04 -06:00
|
|
|
#![feature(allocator_api)]
|
2015-03-10 23:58:16 -05:00
|
|
|
#![feature(box_syntax)]
|
2020-02-08 04:52:14 -06:00
|
|
|
#![feature(btree_drain_filter)]
|
2017-07-14 20:54:17 -05:00
|
|
|
#![feature(drain_filter)]
|
2016-11-22 16:31:31 -06:00
|
|
|
#![feature(exact_size_is_empty)]
|
2019-10-20 13:06:20 -05:00
|
|
|
#![feature(map_first_last)]
|
2020-08-04 15:05:03 -05:00
|
|
|
#![feature(map_into_keys_values)]
|
2019-10-16 13:33:55 -05:00
|
|
|
#![feature(new_uninit)]
|
2015-06-10 15:33:52 -05:00
|
|
|
#![feature(pattern)]
|
2020-07-24 02:39:09 -05:00
|
|
|
#![feature(str_split_once)]
|
2019-06-20 20:52:38 -05:00
|
|
|
#![feature(trusted_len)]
|
2018-03-08 08:36:43 -06:00
|
|
|
#![feature(try_reserve)]
|
2015-03-10 23:58:16 -05:00
|
|
|
#![feature(unboxed_closures)]
|
2019-08-08 17:33:57 -05:00
|
|
|
#![feature(associated_type_bounds)]
|
2019-10-01 05:16:51 -05:00
|
|
|
#![feature(binary_heap_into_iter_sorted)]
|
|
|
|
#![feature(binary_heap_drain_sorted)]
|
2020-08-04 11:03:34 -05:00
|
|
|
#![feature(slice_ptr_get)]
|
2019-12-15 13:05:25 -06:00
|
|
|
#![feature(split_inclusive)]
|
2020-04-23 14:07:50 -05:00
|
|
|
#![feature(binary_heap_retain)]
|
2015-07-11 06:34:57 -05:00
|
|
|
|
2016-09-28 19:23:36 -05:00
|
|
|
use std::collections::hash_map::DefaultHasher;
|
2019-12-22 16:42:04 -06:00
|
|
|
use std::hash::{Hash, Hasher};
|
2015-08-11 19:27:05 -05:00
|
|
|
|
2018-07-06 12:30:09 -05:00
|
|
|
mod arc;
|
2015-03-10 23:58:16 -05:00
|
|
|
mod binary_heap;
|
2020-04-22 16:16:21 -05:00
|
|
|
mod borrow;
|
2019-10-16 13:33:55 -05:00
|
|
|
mod boxed;
|
2015-03-10 23:58:16 -05:00
|
|
|
mod btree;
|
2016-11-03 20:07:00 -05:00
|
|
|
mod cow_str;
|
2015-03-10 23:58:16 -05: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 08:30:04 -06:00
|
|
|
mod heap;
|
2015-03-10 23:58:16 -05:00
|
|
|
mod linked_list;
|
2018-07-06 12:30:09 -05:00
|
|
|
mod rc;
|
2015-03-10 23:58:16 -05:00
|
|
|
mod slice;
|
|
|
|
mod str;
|
|
|
|
mod string;
|
|
|
|
mod vec;
|
2019-12-22 16:42:04 -06:00
|
|
|
mod vec_deque;
|
2015-08-11 19:27:05 -05:00
|
|
|
|
|
|
|
fn hash<T: Hash>(t: &T) -> u64 {
|
2016-09-28 19:23:36 -05:00
|
|
|
let mut s = DefaultHasher::new();
|
2015-08-11 19:27:05 -05:00
|
|
|
t.hash(&mut s);
|
|
|
|
s.finish()
|
|
|
|
}
|
2017-08-21 09:15:02 -05:00
|
|
|
|
2017-09-10 11:13:19 -05: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 09:15:02 -05: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 00:25:22 -05:00
|
|
|
let mut hasher_2 = Box::new(DefaultHasher::new()) as Box<dyn Hasher>;
|
2017-08-21 09:15:02 -05:00
|
|
|
5u32.hash(&mut hasher_2);
|
|
|
|
assert_eq!(ordinary_hash, hasher_2.finish());
|
|
|
|
}
|