Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
241	Advances in Programming Languages APL3: Concurrency Abstractions David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-09-27 10:16:42 Concurrent computing Software engineering Java programming language Threads Lock Java concurrency Thread safety Thread Linearizability Computing Concurrency control Computer programming
242	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
243	The locking infrastructure in the FreeBSD kernel Attilio Rao [removed] The FreeBSD project Abstract The increased parallelism introduced by vendors in their architectures for the last years, in order to satisfy Add to Reading List Source URL: 2009.asiabsdcon.org Language: English - Date: 2014-01-03 03:46:42 Concurrent computing Spinlock Thread Lock Mutual exclusion Memory barrier Scheduling Readers–writer lock Linearizability Concurrency control Computing Computer architecture
244	image from pachd.com RADISH: Sound and Complete Race Detection in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-11-13 13:30:29 Computer programming Theoretical computer science Data management Anti-patterns Concurrency Schedule Race condition Thread Linearizability Transaction processing Computing Concurrency control
245	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
246	Concurrency Among Strangers Programming in E as Plan Coordination Mark S. Miller1,2 , E. Dean Tribble, and Jonathan Shapiro1 1 2 Add to Reading List Source URL: www.erights.org Language: English - Date: 2005-08-13 11:15:46 Computer programming Concurrent computing Transaction processing Inter-process communication Lock Actor model Linearizability E Thread Computing Concurrency control Software engineering
247	Proving Correctness of Highly-Concurrent Linearisable Objects Viktor Vafeiadis Maurice Herlihy∗ Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-11 12:16:47 Data management Monitor Tree traversal Parallel computing B-tree Linearizability Mutual exclusion Non-blocking algorithm Thread Concurrency control Computing Computer programming
248	Transactional Memory for Smalltalk? Lukas Renggli and Oscar Nierstrasz Software Composition Group, University of Bern {renggli,oscar}@iam.unibe.ch scg.unibe.ch Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2008-04-01 06:39:43 Computing Data Transactional memory Smalltalk Linearizability Lock ACID Object database Actor model Transaction processing Concurrency control Data management
249	Lock Your Database Applications Chicago, May 17th 2007 php\|tek Lukas Kahwe Smith ([removed]) http://pooteeweet.org/files/phptek07/lock_your_db_app.pdf Add to Reading List Source URL: pooteeweet.org Language: English - Date: 2007-05-18 11:16:42 Data Information Databases Database management systems Lock Isolation Serializability Linearizability SQL Concurrency control Data management Transaction processing
250	Distrib Comput[removed]:[removed]Springer-Verlag1992 Introduction Fred B. Schneider* Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-30 15:32:48 Data Information Databases Timestamp-based concurrency control Serializability Extensible Storage Engine Linearizability Lock SQL Transaction processing Data management Concurrency control

UPDATE