blob: 28208ee7698c5e7d9b00d1c69e78cb375c8831d3 [file] [log] [blame]
use std::mem;
use std::sync::atomic::AtomicUsize;
use std::sync::atomic::Ordering::SeqCst;
use crossbeam_utils::atomic::AtomicCell;
#[test]
fn is_lock_free() {
struct UsizeWrap(usize);
struct U8Wrap(bool);
struct I16Wrap(i16);
#[repr(align(8))]
struct U64Align8(u64);
assert!(AtomicCell::<usize>::is_lock_free());
assert!(AtomicCell::<isize>::is_lock_free());
assert!(AtomicCell::<UsizeWrap>::is_lock_free());
assert!(AtomicCell::<()>::is_lock_free());
assert!(AtomicCell::<u8>::is_lock_free());
assert!(AtomicCell::<i8>::is_lock_free());
assert!(AtomicCell::<bool>::is_lock_free());
assert!(AtomicCell::<U8Wrap>::is_lock_free());
assert!(AtomicCell::<u16>::is_lock_free());
assert!(AtomicCell::<i16>::is_lock_free());
assert!(AtomicCell::<I16Wrap>::is_lock_free());
assert!(AtomicCell::<u32>::is_lock_free());
assert!(AtomicCell::<i32>::is_lock_free());
// Sizes of both types must be equal, and the alignment of `u64` must be greater or equal than
// that of `AtomicU64`. In i686-unknown-linux-gnu, the alignment of `u64` is `4` and alignment
// of `AtomicU64` is `8`, so `AtomicCell<u64>` is not lock-free.
assert_eq!(
AtomicCell::<u64>::is_lock_free(),
cfg!(not(crossbeam_no_atomic_64))
&& cfg!(any(
target_pointer_width = "64",
target_pointer_width = "128"
))
);
assert_eq!(mem::size_of::<U64Align8>(), 8);
assert_eq!(mem::align_of::<U64Align8>(), 8);
assert_eq!(
AtomicCell::<U64Align8>::is_lock_free(),
cfg!(not(crossbeam_no_atomic_64))
);
// AtomicU128 is unstable
assert!(!AtomicCell::<u128>::is_lock_free());
}
#[test]
fn const_is_lock_free() {
const _U: bool = AtomicCell::<usize>::is_lock_free();
const _I: bool = AtomicCell::<isize>::is_lock_free();
}
#[test]
fn drops_unit() {
static CNT: AtomicUsize = AtomicUsize::new(0);
CNT.store(0, SeqCst);
#[derive(Debug, PartialEq, Eq)]
struct Foo();
impl Foo {
fn new() -> Foo {
CNT.fetch_add(1, SeqCst);
Foo()
}
}
impl Drop for Foo {
fn drop(&mut self) {
CNT.fetch_sub(1, SeqCst);
}
}
impl Default for Foo {
fn default() -> Foo {
Foo::new()
}
}
let a = AtomicCell::new(Foo::new());
assert_eq!(a.swap(Foo::new()), Foo::new());
assert_eq!(CNT.load(SeqCst), 1);
a.store(Foo::new());
assert_eq!(CNT.load(SeqCst), 1);
assert_eq!(a.swap(Foo::default()), Foo::new());
assert_eq!(CNT.load(SeqCst), 1);
drop(a);
assert_eq!(CNT.load(SeqCst), 0);
}
#[test]
fn drops_u8() {
static CNT: AtomicUsize = AtomicUsize::new(0);
CNT.store(0, SeqCst);
#[derive(Debug, PartialEq, Eq)]
struct Foo(u8);
impl Foo {
fn new(val: u8) -> Foo {
CNT.fetch_add(1, SeqCst);
Foo(val)
}
}
impl Drop for Foo {
fn drop(&mut self) {
CNT.fetch_sub(1, SeqCst);
}
}
impl Default for Foo {
fn default() -> Foo {
Foo::new(0)
}
}
let a = AtomicCell::new(Foo::new(5));
assert_eq!(a.swap(Foo::new(6)), Foo::new(5));
assert_eq!(a.swap(Foo::new(1)), Foo::new(6));
assert_eq!(CNT.load(SeqCst), 1);
a.store(Foo::new(2));
assert_eq!(CNT.load(SeqCst), 1);
assert_eq!(a.swap(Foo::default()), Foo::new(2));
assert_eq!(CNT.load(SeqCst), 1);
assert_eq!(a.swap(Foo::default()), Foo::new(0));
assert_eq!(CNT.load(SeqCst), 1);
drop(a);
assert_eq!(CNT.load(SeqCst), 0);
}
#[test]
fn drops_usize() {
static CNT: AtomicUsize = AtomicUsize::new(0);
CNT.store(0, SeqCst);
#[derive(Debug, PartialEq, Eq)]
struct Foo(usize);
impl Foo {
fn new(val: usize) -> Foo {
CNT.fetch_add(1, SeqCst);
Foo(val)
}
}
impl Drop for Foo {
fn drop(&mut self) {
CNT.fetch_sub(1, SeqCst);
}
}
impl Default for Foo {
fn default() -> Foo {
Foo::new(0)
}
}
let a = AtomicCell::new(Foo::new(5));
assert_eq!(a.swap(Foo::new(6)), Foo::new(5));
assert_eq!(a.swap(Foo::new(1)), Foo::new(6));
assert_eq!(CNT.load(SeqCst), 1);
a.store(Foo::new(2));
assert_eq!(CNT.load(SeqCst), 1);
assert_eq!(a.swap(Foo::default()), Foo::new(2));
assert_eq!(CNT.load(SeqCst), 1);
assert_eq!(a.swap(Foo::default()), Foo::new(0));
assert_eq!(CNT.load(SeqCst), 1);
drop(a);
assert_eq!(CNT.load(SeqCst), 0);
}
#[test]
fn modular_u8() {
#[derive(Clone, Copy, Eq, Debug, Default)]
struct Foo(u8);
impl PartialEq for Foo {
fn eq(&self, other: &Foo) -> bool {
self.0 % 5 == other.0 % 5
}
}
let a = AtomicCell::new(Foo(1));
assert_eq!(a.load(), Foo(1));
assert_eq!(a.swap(Foo(2)), Foo(11));
assert_eq!(a.load(), Foo(52));
a.store(Foo(0));
assert_eq!(a.compare_exchange(Foo(0), Foo(5)), Ok(Foo(100)));
assert_eq!(a.load().0, 5);
assert_eq!(a.compare_exchange(Foo(10), Foo(15)), Ok(Foo(100)));
assert_eq!(a.load().0, 15);
}
#[test]
fn modular_usize() {
#[derive(Clone, Copy, Eq, Debug, Default)]
struct Foo(usize);
impl PartialEq for Foo {
fn eq(&self, other: &Foo) -> bool {
self.0 % 5 == other.0 % 5
}
}
let a = AtomicCell::new(Foo(1));
assert_eq!(a.load(), Foo(1));
assert_eq!(a.swap(Foo(2)), Foo(11));
assert_eq!(a.load(), Foo(52));
a.store(Foo(0));
assert_eq!(a.compare_exchange(Foo(0), Foo(5)), Ok(Foo(100)));
assert_eq!(a.load().0, 5);
assert_eq!(a.compare_exchange(Foo(10), Foo(15)), Ok(Foo(100)));
assert_eq!(a.load().0, 15);
}
#[test]
fn garbage_padding() {
#[derive(Copy, Clone, Eq, PartialEq)]
struct Object {
a: i64,
b: i32,
}
let cell = AtomicCell::new(Object { a: 0, b: 0 });
let _garbage = [0xfe, 0xfe, 0xfe, 0xfe, 0xfe]; // Needed
let next = Object { a: 0, b: 0 };
let prev = cell.load();
assert!(cell.compare_exchange(prev, next).is_ok());
println!();
}
#[test]
fn const_atomic_cell_new() {
static CELL: AtomicCell<usize> = AtomicCell::new(0);
CELL.store(1);
assert_eq!(CELL.load(), 1);
}