Non-blocking - PDFSEARCH.IO - Document Search Engine

Non-blocking
Results: 272

#	Item
161	Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated Hagit Attiya Rachid Guerraoui Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:54 Computing Linearizability Mutual exclusion Algorithm Parallel computing Non-blocking algorithm Compare-and-swap Lock Function Concurrency control Mathematics Concurrency
162	Idempotent Work Stealing Maged M. Michael Martin T. Vechev Vijay A. Saraswat Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:56 Concurrency control Scheduling algorithms Computer programming Double-ended queue Non-blocking algorithm FIFO Algorithm Cilk Stack Computing Concurrent computing Abstract data types
163	NUMA-Aware Reader-Writer Locks Irina Calciu Dave Dice Yossi Lev Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2013-01-07 10:10:37 Concurrent computing Readers–writer lock Lock Non-blocking algorithm Linearizability Parallel computing Mutual exclusion Software transactional memory Deadlock Concurrency control Computing Concurrency
164	thrpt-abortable-hogwarts-CR-2CB-nCR-4usecs.eps Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2011-12-22 08:47:05 Computer programming Lock Spinlock Non-blocking algorithm Ticket lock Deadlock Parallel computing Mutual exclusion Test-and-set Concurrency control Computing Concurrency
165	Scalable and Precise Dynamic Datarace Detection for Structured Parallelism Raghavan Raman Jisheng Zhao Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:34:31 Parallel computing Concurrency control Algorithm OpenMP Non-blocking algorithm Scheduling Deadlock Thread FastTrack Computing Concurrent computing Computer programming
166	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:33:51 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
167	¨ t Augsburg Universita Proving Linearizability with Temporal Logic S. B¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:20:17 Concurrency control Algorithm Mathematical logic Theoretical computer science Non-blocking algorithm Linearizability Stack Temporal logic Logic programming Computing Computer programming Software engineering
168	Advances in Programming Languages APL5: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-04 19:36:38 Computer programming Lock Thread Non-blocking algorithm Software transactional memory Deadlock Erlang Actor model Parallel computing Computing Concurrency control Software engineering
169	A Comprehensive Strategy for Contention Management in Software Transactional Memory ∗ Michael F. Spear† Luke Dalessandro† Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2009-01-08 10:35:55 Computing Data Software transactional memory Non-blocking algorithm Lock Serializability Schedule Deadlock Linearizability Transaction processing Concurrency control Data management
170	Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency Takayuki Usui Yannis Smaragdakis Reimer Behrends Add to Reading List Source URL: transact09.cs.washington.edu Language: English - Date: 2009-02-23 11:37:16 Data management Data Lock Software transactional memory Non-blocking algorithm Linearizability Mutual exclusion Parallel computing Serializability Concurrency control Computing Transaction processing

UPDATE