consume

Crates.ioconsume
lib.rsconsume
version1.0.1
sourcesrc
created_at2017-02-26 01:06:04.294586
updated_at2017-02-26 01:08:19.205359
descriptionMemory order consume for when it's known that the compiler can't elide the dependency
homepage
repositoryhttps://github.com/schets/consume
max_upload_size
id8685
size3,245
Samuel Schetterer (schets)

documentation

README

This provides a consume ordering for when the compiler cannot elide the dependency

Examples

extern crate consume;
use std::sync::atomic::{AtomicPtr, AtomicUsize};

fn consume_load(pt: &AtomicPtr<*const usize>) -> usize {
    // There's a data dependency on the loaded value, 
    // meaning that the compiler can't od silly things to
    // eliminate the dependency
    unsafe { *pt.load(Consume) }
}

fn incorrect_consume_load(ind: &AtomicUsize, vals: &Vec<usize>) -> usize {
    // There is no data dependency here
    // since the compiler can eliminate the loaded value
    // from the pointer index. Ensure that you don't have this.
    // Use consume at your own risk.
    let i = ind.load(consume::Consume);
    vals[ind - ind]
    // vals[ind] would probably be correct, unless some shenanigans with the
    // bounds checking occured. I only use vec for convenience, only
    // use consume if you understand all possible data paths taken by the compiler
}

Commit count: 3

cargo fmt