Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
281	Hardware Acceleration of Software Transactional Memory ∗ Arrvindh Shriraman Virendra J. Marathe Sandhya Dwarkadas Michael L. Scott David Eisenstat Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-05-18 20:56:53 Data Concurrency control Computer memory Cache coherency Software transactional memory Transactional memory MESI protocol Schedule Linearizability Transaction processing Computing Data management
282	Advanced Contention Management for Dynamic Software Transactional Memory ∗ William N. Scherer III Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2005-05-24 10:01:03 Data Computing Software transactional memory Non-blocking algorithm Lock Linearizability Database transaction Timestamp-based concurrency control Commitment ordering Concurrency control Transaction processing Data management
283	WTTM[removed]Composable Partitioned Transactions ⇤ Lingxiang Xiang Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2013-09-11 00:51:52 Data Information Software transactional memory Database transaction Extensible Storage Engine Linearizability Lock Algorithms for Recovery and Isolation Exploiting Semantics Transactional memory Transaction processing Concurrency control Data management
284	Transactional Semantics with Zombies∗ Michael L. Scott University of Rochester [removed] July 2014 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-07-08 11:04:18 Data Information Software transactional memory Linearizability Serializability Transactional memory Schedule Database transaction Database Transaction processing Data management Concurrency control
285	Conflict Detection and Validation Strategies for Software Transactional Memory Michael F. Spear, Virendra J. Marathe, William N. Scherer III, and Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-10-13 17:00:03 Data Information Software transactional memory Serializability Linearizability Commit Lock Database transaction Transactional memory Transaction processing Concurrency control Data management
286	Lowering the Overhead of Nonblocking Software Transactional Memory∗ Virendra J. Marathe, Michael F. Spear, Christopher Heriot, Athul Acharya, David Eisenstat, William N. Scherer III, and Michael L. Scott Technical Repo Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-05-21 00:37:24 Computing Data Software transactional memory Lock Database Linearizability Garbage collection Pointer Non-blocking algorithm Concurrency control Transaction processing Data management
287	Adaptive Software Transactional Memory Virendra J. Marathe, William N. Scherer III, and Michael L. Scott Technical Report #868 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2005-05-22 17:03:38 Data Information Databases Programming language implementation Software transactional memory Lock Linearizability Schedule Non-blocking algorithm Transaction processing Concurrency control Data management
288	Tech. Rep. 599, Computer Science Dept., Univ. of Rochester Correction of a Memory Management Method for Lock-Free Data Structures Maged M. Michael Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-27 19:46:57 Software engineering Mutual exclusion Compare-and-swap Linked list Pointer Non-blocking algorithm ABA problem Stack Linearizability Concurrency control Computing Computer programming
289	Algorithms for scalable synchronization on shared-memory multiprocessors Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-09-23 12:40:39 Concurrency Spinlock Parallel computing Lock Compare-and-swap Test-and-set Busy waiting Fetch-and-add Linearizability Concurrency control Computing Computer programming
290	TRANSACT[removed]A Hybrid TM for Haskell ∗ Ryan Yates Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-03-26 17:12:55 Computing Software Software transactional memory Linearizability Transactional memory Glasgow Haskell Compiler Database transaction Lock Concurrent Haskell Transaction processing Concurrency control Data management

UPDATE