Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
301	Using LLSC to Simplify WSTM-1.ppt Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-14 21:37:12 Software engineering Data Transactional memory Load-link/store-conditional Compare-and-swap Software transactional memory Linearizability Lock Concurrency control Transaction processing Computing
302	Location-Based Memory Fences Edya Ladan-Mozes I-Ting Angelina Lee Dmitry Vyukov∗ Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-05-12 16:11:00 Central processing unit Computer memory Concurrency control Instruction set architectures Memory barrier CPU cache Parallel computing Linearizability Microarchitecture Computer architecture Computing Computer hardware
303	Brief Announcement: Transactions and Privatization in Delaunay Triangulation ∗ Michael L. Scott, Michael F. Spear, Luke Dalessandro, and Virendra J. Marathe Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2007-06-08 00:06:56 Software transactional memory Data Software engineering Transactional memory Delaunay triangulation Linearizability Parallel computing Lock Concurrency control Transaction processing Computing
304	Transactions as the Foundation of a Memory Consistency Model∗ Luke Dalessandro Michael L. Scott Michael F. Spear Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2010-07-12 16:08:45 Data Information Serializability Transactional memory Linearizability Isolation Lock Database transaction Schedule Transaction processing Data management Concurrency control
305	7th Wkshp. on Languages, Compilers, and Run-Time Support for Scalable Systems (LCR), Houston, TX, Oct[removed]Design Tradeoffs in Modern Software Transactional Memory Systems? Virendra J. Marathe, William N. Scherer III, a Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 00:57:58 Computing Data Software transactional memory Lock Linearizability Extensible Storage Engine Garbage collection Transactional memory Multiversion concurrency control Concurrency control Transaction processing Data management
306	A Qualitative Survey of Modern Software Transactional Memory Systems∗ Virendra J. Marathe and Michael L. Scott TR 839 Department of Computer Science University of Rochester Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-02-15 12:33:25 Computing Data Software transactional memory Transactional memory Linearizability Non-blocking algorithm Lock Extensible Storage Engine Load-link/store-conditional Concurrency control Transaction processing Data management
307	A Key-based Adaptive Transactional Memory Executor∗ Tongxin Bai Xipeng Shen‡ Chengliang Zhang William N. Scherer III † Chen Ding Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-12-19 16:02:17 Data management System software Software transactional memory Scheduling Thread pool pattern Lock Thread Transactional memory Linearizability Concurrency control Transaction processing Computing
308	Privatization Techniques for Software Transactional Memory∗ Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, and Michael L. Scott Technical Report #915 Department of Computer Science, University of Rochester {s Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2007-03-21 14:13:10 Data Information Databases Programming language implementation Software transactional memory Linearizability Serializability Database transaction Isolation Transaction processing Data management Concurrency control
309	NOrec: Streamlining STM by Abolishing Ownership Records ∗ Luke Dalessandro1 1 Michael F. Spear2 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2012-02-29 22:41:45 Computing Data Software transactional memory Lock Serializability Linearizability Non-blocking algorithm Read-copy-update Parallel computing Concurrency control Transaction processing Data management
310	Scalable Queue-Based Spin Locks with Timeout Michael L. Scott and William N. Scherer III Department of Computer Science University of Rochester Rochester, NY[removed] {scott,scherer}@cs.rochester.edu∗ Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2001-05-18 16:44:10 Data management Spinlock Compare-and-swap Test-and-set Lock Mutual exclusion Linearizability Non-blocking algorithm Busy waiting Concurrency control Computing Concurrency

UPDATE