- Home
- » Tags
- » Linearizability
Top View
- Priority Queue for Pending Event Set Management
- Causal Linearizability
- Scaling Concurrent Queues by Using HTM to Profit from Failed Atomic Operations
- Analysing Lock-Free Linearizable Datatypes Using CSP
- Line-Up: a Complete and Automatic Linearizability Checker
- Distributed Systems Principles and Paradigms
- Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections Michael Emmi, Constantin Enea
- Lecture N1: Networks and Distributed Systems
- Montage: a General System for Buffered Durably Linearizable Data Structures* Haosen Wen†, Wentao Cai†, Mingzhe Du, Louis Jenkins, Benjamin Valpey, and Michael L
- Proving Concurrent Data Structures Linearizable
- An Execution Trace Verification Method on Linearizability
- Cache Coherency
- Non-Blocking K-Compare Single Swap
- On the Inherent Weakness of Conditional Synchronization Primitives
- Efficient Wait-Free Implementation of Multiword LL/SC Variables∗
- IBM Presentations: Smart Planet Template
- Parallel Programming Techniques
- Towards Methods to Exploit Concurrent Data Structures on Heterogeneous CPU/Igpu Processors
- The Broker Queue: a Fast, Linearizable FIFO Queue for Fine-Granular Work Distribution on the GPU Bernhard Kerbl, Michael Kenzel, Joerg H
- Towards User-Friendly Linearizability Checking
- Comparison Under Abstraction for Verifying Linearizability
- Verifying Linearizability on TSO Architectures
- Introduction to Concurrency and Multicore Programming
- Automatic Atomicity Verification for Clients of Concurrent Data Structures
- LL/SC and Atomic Copy: Constant Time, Space Efficient Implementations Using Only Pointer-Width CAS Guy E
- Sequential Consistency, Linearizability, and Serializability
- Implementing Linearizability at Large Scale and Low Latency
- Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS
- Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives
- Linearizability 5 Definition of Linearizability 5.1 Linearizability Versus Serializability 5.2 Linearization Points 6 See Also 7 References
- A Semantically Aware Transactional Concurrency Control for GPGPU Computing
- Concurrency & Multithreading
- Design of Parallel and High-Performance Computing Fall 2017 Lecture: Introduction
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
- Modular Verification of Concurrency-Aware Linearizability
- Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model
- Consistency in Distributed Storage Systems: Theoretical Foundations
- Simplified Synchronization Through Optimistic Linearizability
- The Exploitation of Parallelism on Shared Memory Multiprocessors
- Design and Evaluation of Scalable Concurrent Queues for Many-Core Architectures ∗
- Software Transactional Memory in the Linux Kernel
- Software Transactional Memory
- Linearizability and Causality
- Linearizability
- Room Synchronization Problem