🔓 Lock-Free Structures - rektide · Scour

std::memory_order (3) Linux Manual Page ⚡Hardware Transactional Memory

systutorials.com·19h

Techcable/biasedrc.rs: Biased reference counting. Thread-safe like an Arc, but as fast as a Rc for the biased thread. 🔐MVCC

github.com·5d·r/rust

Chelsea forward Mykhailo Mudryk appeals to Cas against reported four-year ban 🕹️Multiplayer

theguardian.com·1d

std::recursive_mutex::unlock (3) Linux Manual Page ⚡Hardware Transactional Memory

systutorials.com·16h

A Projection-Dimension Barrier for Direct Aggregation on the Step-Duplicating Primitive Recursor 🧮SMT Solvers

std::unique_lock::lock (3) Linux Manual Page 🔐Database Concurrency

systutorials.com·12h

std::mutex::try_lock (3) Linux Manual Page 🔐Database Concurrency

systutorials.com·18h

Constructive Separations from Gate Elimination 🧮SMT Solvers

Near-Optimal Heaps and Dijkstra on Pointer Machines 🌳B+ Trees

std::try_lock (3) Linux Manual Page 🔐Database Concurrency

systutorials.com·12h

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks 🌸Bloom Filters

Two Efficient Message-passing Exclusive Scan Algorithms 📐E-graphs

std::atomic_thread_fence (3) Linux Manual Page ⚡Hardware Transactional Memory

systutorials.com·1d

Verification of Correlated Equilibria in Concurrent Reachability Games 👑Leader Election

std::scoped_lock (3) Linux Manual Page 🔐MVCC

systutorials.com·15h

std::atomic_fetch_and,std::atomic_fetch_and_explicit (3) Linux Manual Page 🔌Embedded

systutorials.com·1d

Characterizing Streaming Decidability of CSPs via Non-Redundancy 🧮SMT Solvers

std::atomic_… (3) Linux Manual Page ⚡Hardware Transactional Memory

systutorials.com·1d

The Blockchain Execution Dilemma: Optimizing Revenue XOR Fair Ordering 🔒Transaction Isolation

libtalloc_threads (3) Linux Manual Page ⚡Hardware Transactional Memory

systutorials.com·5d

Sign up or log in to see more results

Log in to enable infinite scrolling