Module swiss_army_knife::intel_hardware_lock_elision

Intel hardware lock elision.

From wikipedia: “Hardware Lock Elision (HLE) adds two new instruction prefixes, XACQUIRE and XRELEASE. These two prefixes reuse the opcodes of the existing REPNE / REPE prefixes (F2H / F3H). On processors that do not support TSX/TSX-NI, REPNE / REPE prefixes are ignored on instructions for which the XACQUIRE / XRELEASE are valid, thus enabling backward compatibility”.

The naming of the intrinsics follows that in Andi Kleen’s tsx-tools. Intrinsics are available for u8, u16, u32, and, for x86_64, u64. These intrinsics can be thought of as providing additional memory orderings to Rust’s Relaxed, Release, Acquire and SeqCst. They closely model the intent of GCC’s built in atomic instrincs.

Functions

__hle_acquire_add1^⚠

Atomically add val to the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_add2^⚠

Atomically add val to the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_add4^⚠

Atomically add val to the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_add8^⚠

Atomically add val to the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_add_fetch1^⚠

Atomically add val to the content of ptr and return the result with ‘HLE Acquire’ memory ordering.

__hle_acquire_add_fetch2^⚠

Atomically add val to the content of ptr and return the result with ‘HLE Acquire’ memory ordering.

__hle_acquire_add_fetch4^⚠

Atomically add val to the content of ptr and return the result with ‘HLE Acquire’ memory ordering.

__hle_acquire_add_fetch8^⚠

Atomically add val to the content of ptr and return the result with ‘HLE Acquire’ memory ordering.

__hle_acquire_and1^⚠

Atomically AND val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_and2^⚠

Atomically AND val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_and4^⚠

Atomically AND val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_and8^⚠

Atomically AND val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_clear1^⚠

Atomically clear the content of ptr, ie set the content of ptr to zero with ‘HLE Acquire’ memory ordering.

__hle_acquire_clear2^⚠

Atomically clear the content of ptr, ie set the content of ptr to zero with ‘HLE Acquire’ memory ordering.

__hle_acquire_clear4^⚠

Atomically clear the content of ptr, ie set the content of ptr to zero with ‘HLE Acquire’ memory ordering.

__hle_acquire_clear8^⚠

Atomically clear the content of ptr, ie set the content of ptr to zero with ‘HLE Acquire’ memory ordering.

__hle_acquire_compare_exchange_n1^⚠

Atomically compare-and-swap with ‘HLE Acquire’ memory ordering. This compares the content of ptr with the content of oldp:-

__hle_acquire_compare_exchange_n2^⚠

Atomically compare-and-swap with ‘HLE Acquire’ memory ordering. This compares the content of ptr with the content of oldp:-

__hle_acquire_compare_exchange_n4^⚠

Atomically compare-and-swap with ‘HLE Acquire’ memory ordering. This compares the content of ptr with the content of oldp:-

__hle_acquire_compare_exchange_n8^⚠

Atomically compare-and-swap with ‘HLE Acquire’ memory ordering. This compares the content of ptr with the content of oldp:-

__hle_acquire_exchange_n1^⚠

Atomically exchange (swap) val for the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_exchange_n2^⚠

Atomically exchange (swap) val for the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_exchange_n4^⚠

Atomically exchange (swap) val for the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_exchange_n8^⚠

Atomically exchange (swap) val for the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_fetch_add1^⚠

Atomically add val to the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_fetch_add2^⚠

Atomically add val to the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_fetch_add4^⚠

Atomically add val to the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_fetch_add8^⚠

Atomically add val to the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_fetch_sub1^⚠

Atomically subtract val from the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_fetch_sub2^⚠

Atomically subtract val from the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_fetch_sub4^⚠

Atomically subtract val from the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_fetch_sub8^⚠

Atomically subtract val from the content of ptr and return the previous content of ptr with ‘HLE Acquire’ memory ordering.

__hle_acquire_or1^⚠

Atomically OR val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_or2^⚠

Atomically OR val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_or4^⚠

Atomically OR val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_or8^⚠

Atomically OR val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_store_n1^⚠

Atomically store (set) the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_store_n2^⚠

Atomically store (set) the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_store_n4^⚠

Atomically store (set) the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_store_n8^⚠

Atomically store (set) the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_sub1^⚠

Atomically subtract val from the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_sub2^⚠

Atomically subtract val from the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_sub4^⚠

Atomically subtract val from the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_sub8^⚠

Atomically subtract val from the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_sub_fetch1^⚠

Atomically subtract val from the content of ptr and return the result with ‘HLE Acquire’ memory ordering.

__hle_acquire_sub_fetch2^⚠

Atomically subtract val from the content of ptr and return the result with ‘HLE Acquire’ memory ordering.

__hle_acquire_sub_fetch4^⚠

Atomically subtract val from the content of ptr and return the result with ‘HLE Acquire’ memory ordering.

__hle_acquire_sub_fetch8^⚠

Atomically subtract val from the content of ptr and return the result with ‘HLE Acquire’ memory ordering.

__hle_acquire_test_and_set1^⚠

Atomically exchange (swap) 1 for the content of ptr and test the previous content of of ptr was 1 with ‘HLE Acquire’ memory ordering.

__hle_acquire_test_and_set2^⚠

Atomically exchange (swap) 1 for the content of ptr and test the previous content of of ptr was 1 with ‘HLE Acquire’ memory ordering.

__hle_acquire_test_and_set4^⚠

Atomically exchange (swap) 1 for the content of ptr and test the previous content of of ptr was 1 with ‘HLE Acquire’ memory ordering.

__hle_acquire_test_and_set8^⚠

Atomically exchange (swap) 1 for the content of ptr and test the previous content of of ptr was 1 with ‘HLE Acquire’ memory ordering.

__hle_acquire_xor1^⚠

Atomically XOR val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_xor2^⚠

Atomically XOR val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_xor4^⚠

Atomically XOR val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_acquire_xor8^⚠

Atomically XOR val with the content of ptr to val with ‘HLE Acquire’ memory ordering.

__hle_release_add1^⚠

Atomically add val to the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_add2^⚠

Atomically add val to the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_add4^⚠

Atomically add val to the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_add8^⚠

Atomically add val to the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_add_fetch1^⚠

Atomically add val to the content of ptr and return the result with ‘HLE Release’ memory ordering.

__hle_release_add_fetch2^⚠

Atomically add val to the content of ptr and return the result with ‘HLE Release’ memory ordering.

__hle_release_add_fetch4^⚠

Atomically add val to the content of ptr and return the result with ‘HLE Release’ memory ordering.

__hle_release_add_fetch8^⚠

Atomically add val to the content of ptr and return the result with ‘HLE Release’ memory ordering.

__hle_release_and1^⚠

Atomically AND val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_and2^⚠

Atomically AND val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_and4^⚠

Atomically AND val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_and8^⚠

Atomically AND val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_clear1^⚠

Atomically clear the content of ptr, ie set the content of ptr to zero with ‘HLE Release’ memory ordering.

__hle_release_clear2^⚠

Atomically clear the content of ptr, ie set the content of ptr to zero with ‘HLE Release’ memory ordering.

__hle_release_clear4^⚠

Atomically clear the content of ptr, ie set the content of ptr to zero with ‘HLE Release’ memory ordering.

__hle_release_clear8^⚠

Atomically clear the content of ptr, ie set the content of ptr to zero with ‘HLE Release’ memory ordering.

__hle_release_compare_exchange_n1^⚠

Atomically compare-and-swap with ‘HLE Release’ memory ordering. This compares the content of ptr with the content of oldp:-

__hle_release_compare_exchange_n2^⚠

Atomically compare-and-swap with ‘HLE Release’ memory ordering. This compares the content of ptr with the content of oldp:-

__hle_release_compare_exchange_n4^⚠

Atomically compare-and-swap with ‘HLE Release’ memory ordering. This compares the content of ptr with the content of oldp:-

__hle_release_compare_exchange_n8^⚠

Atomically compare-and-swap with ‘HLE Release’ memory ordering. This compares the content of ptr with the content of oldp:-

__hle_release_exchange_n1^⚠

Atomically exchange (swap) val for the content of ptr and return the previous content of of ptr with ‘HLE Release’ memory ordering.

__hle_release_exchange_n2^⚠

Atomically exchange (swap) val for the content of ptr and return the previous content of of ptr with ‘HLE Release’ memory ordering.

__hle_release_exchange_n4^⚠

Atomically exchange (swap) val for the content of ptr and return the previous content of of ptr with ‘HLE Release’ memory ordering.

__hle_release_exchange_n8^⚠

Atomically exchange (swap) val for the content of ptr and return the previous content of of ptr with ‘HLE Release’ memory ordering.

__hle_release_fetch_add1^⚠

Atomically add val to the content of ptr and return the previous content of ptr with ‘HLE Release’ memory ordering.

__hle_release_fetch_add2^⚠

Atomically add val to the content of ptr and return the previous content of ptr with ‘HLE Release’ memory ordering.

__hle_release_fetch_add4^⚠

Atomically add val to the content of ptr and return the previous content of ptr with ‘HLE Release’ memory ordering.

__hle_release_fetch_add8^⚠

Atomically add val to the content of ptr and return the previous content of ptr with ‘HLE Release’ memory ordering.

__hle_release_fetch_sub1^⚠

Atomically subtract val from the content of ptr and return the previous content of ptr with ‘HLE Release’ memory ordering.

__hle_release_fetch_sub2^⚠

Atomically subtract val from the content of ptr and return the previous content of ptr with ‘HLE Release’ memory ordering.

__hle_release_fetch_sub4^⚠

Atomically subtract val from the content of ptr and return the previous content of ptr with ‘HLE Release’ memory ordering.

__hle_release_fetch_sub8^⚠

Atomically subtract val from the content of ptr and return the previous content of ptr with ‘HLE Release’ memory ordering.

__hle_release_or1^⚠

Atomically OR val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_or2^⚠

Atomically OR val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_or4^⚠

Atomically OR val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_or8^⚠

Atomically OR val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_store_n1^⚠

Atomically store (set) the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_store_n2^⚠

Atomically store (set) the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_store_n4^⚠

Atomically store (set) the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_store_n8^⚠

Atomically store (set) the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_sub1^⚠

Atomically subtract val from the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_sub2^⚠

Atomically subtract val from the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_sub4^⚠

Atomically subtract val from the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_sub8^⚠

Atomically subtract val from the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_sub_fetch1^⚠

Atomically subtract val from the content of ptr and return the result with ‘HLE Release’ memory ordering.

__hle_release_sub_fetch2^⚠

Atomically subtract val from the content of ptr and return the result with ‘HLE Release’ memory ordering.

__hle_release_sub_fetch4^⚠

Atomically subtract val from the content of ptr and return the result with ‘HLE Release’ memory ordering.

__hle_release_sub_fetch8^⚠

Atomically subtract val from the content of ptr and return the result with ‘HLE Release’ memory ordering.

__hle_release_test_and_set1^⚠

Atomically exchange (swap) 1 for the content of ptr and test the previous content of of ptr was 1 with ‘HLE Release’ memory ordering.

__hle_release_test_and_set2^⚠

Atomically exchange (swap) 1 for the content of ptr and test the previous content of of ptr was 1 with ‘HLE Release’ memory ordering.

__hle_release_test_and_set4^⚠

Atomically exchange (swap) 1 for the content of ptr and test the previous content of of ptr was 1 with ‘HLE Release’ memory ordering.

__hle_release_test_and_set8^⚠

Atomically exchange (swap) 1 for the content of ptr and test the previous content of of ptr was 1 with ‘HLE Release’ memory ordering.

__hle_release_xor1^⚠

Atomically XOR val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_xor2^⚠

Atomically XOR val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_xor4^⚠

Atomically XOR val with the content of ptr to val with ‘HLE Release’ memory ordering.

__hle_release_xor8^⚠

Atomically XOR val with the content of ptr to val with ‘HLE Release’ memory ordering.