Compare-and-swap - PDFSEARCH.IO - Document Search Engine

Compare-and-swap
Results: 56

#	Item
1	Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-04-04 10:35:42 Concurrency control Computing Transaction processing Data management Software Compare-and-swap Non-blocking algorithm Linearizability Software transactional memory Stack Reagent Atomicity
2	Exercise 10: Exercising in style Task 1: Very exclusive! a) Give a solution to mutual exclusion using a fetch-and-add register. b) Give a solution to mutual exclusion using a compare-and-swap register. c) Give a solution Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2015-01-06 07:25:52 Edsger W. Dijkstra Concurrency control Mutual exclusion Binary trees
3	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:34:26 Concurrency control Software transactional memory Compare-and-swap Non-blocking algorithm ABA problem Monitor Hazard pointer Lock Load-link/store-conditional Linearizability Mutual exclusion Thread safety
4	High Performance Hardware Transactional Memory does not Equal High Performance Transaction Systems Justin Levandoski (Microsoft) Darko Makreshanski (ETH Zurich) Ryan Stutsman (Utah) Add to Reading List Source URL: hpts.ws Language: English - Date: 2015-10-02 08:07:40 Concurrency control Transaction processing Linearizability Non-blocking algorithm Lock Transactional memory Compare-and-swap Software transactional memory Transactional Synchronization Extensions
5	Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu, Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:23 Concurrency control Linearizability Non-blocking algorithm Hazard pointer Compare-and-swap Lock Monitor Reference counting Mutual exclusion File locking Concurrent data structure Standard Template Library
6	Administrivia  Design of Parallel and High-Performance Computing Fall 2013 Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-12-08 14:28:38 Concurrency control Parallel computing Computer arithmetic Concurrency Application programming interfaces OpenMP Synchronization Thread Compare-and-swap Test-and-set Consensus Memory model
7	Scal: A Benchmarking Suite for Concurrent Data Structures Andreas Haas, Thomas H¨ utter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, and Ana Sokolova University of Salzburg Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Abstract data types Concurrency control Queue FIFO Double-ended queue Non-blocking algorithm Stack Linked list Concurrent data structure C dynamic memory allocation Linearizability Compare-and-swap
8	High-Performance Distributed RMA Locks Patrick Schmid∗ Maciej Besta∗ Torsten Hoefler Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2016-04-21 19:31:29 Concurrency control Readerswriter lock File locking Spinlock Non-blocking algorithm Compare-and-swap Lock Mutual exclusion Synchronization Linearizability Parallel computing
9	Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2013-03-28 17:48:03 Concurrency control Computing Computer programming Concurrent computing Non-blocking algorithm Hazard pointer Mutual exclusion Lock Concurrent data structure Synchronization Compare-and-swap Linearizability
10	Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 09:59:34 Computer programming Software engineering Concurrency control Computing Recursion Spinlock Compare-and-swap Synchronization Thread Null Non-blocking algorithm Lock