Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
321	A Proposal for a UPC Memory Consistency Model, v1.1 Lawrence Berkeley National Lab Tech Report LBNL-DRAFT ∗ Katherine Yelick Add to Reading List Source URL: upc.lbl.gov Language: English - Date: 2010-05-06 00:14:43 Transaction processing Computer memory Compiler construction Programming language design Memory model Consistency model Parallel computing Linearizability Thread Computing Concurrency control Software engineering
322	GASNet: A Portable High-Performance Communication Layer for Global Address-Space Languages CS258 Parallel Computer Architecture Project, Spring 2002 Dan Bonachea (bonachea@cs) and Jaein Jeong (jaein@cs) examples of moder Add to Reading List Source URL: gasnet.lbl.gov Language: English - Date: 2005-07-14 14:14:48 Non-blocking algorithm Asynchronous I/O Thread Interrupt Lock Linearizability Mutual exclusion L4 microkernel family Event Concurrency control Computing Computer architecture
323	TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model Sudheendra Hangal†, Durgam Vahia‡, Chaiyasit Manovit‡, Juin-Yeu Joseph Lu‡ and Sridhar Narayanan‡ Processor and Network Product Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2009-10-06 04:28:49 Central processing unit Computer memory Concurrency control Computer arithmetic CPU cache Memory barrier Linearizability Parallel computing Compiler optimization Computer architecture Computer hardware Computing
324	Process Sleep and Wakeup on a Shared-memory Multiprocessor Rob Pike Dave Presotto Ken Thompson Gerard Holzmann Add to Reading List Source URL: plan9.bell-labs.com Language: English - Date: 2007-04-15 17:41:14 Concurrent computing Rendezvous Test-and-set Interrupt Linearizability Sleep Lock Mutual exclusion Spinlock Concurrency control Computer architecture Computing
325	Tech Digest Figure Template_2 column_01-06-12 Add to Reading List Source URL: techdigest.jhuapl.edu Language: English - Date: 2013-09-26 17:14:49 Concurrency control Predicate logic Programming paradigms Transaction processing Linearizability Logic programming First-order logic Parallel computing Extensible Storage Engine Logic Mathematical logic Mathematics
326	Efficient Algorithms for Verifying Memory Consistency Chaiyasit Manovit Sudheendra Hangal Sun Microsystems Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2005-07-12 03:12:48 Computer architecture Algorithm Mathematical logic Theoretical computer science Linearizability Memory barrier Parallel computing Memory ordering Distributed computing Computing Mathematics Computer memory
327	Testing Implementations of Transactional Memory Chaiyasit Manovit† Sudheendra Hangal‡ Hassan Chafi? Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2006-10-04 13:33:16 Data Information Transactional memory Linearizability Software transactional memory Serializability Schedule Database transaction ACID Transaction processing Concurrency control Data management
328	Contents Index 1 THE PROBLEM Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:19:03 Information Concurrency control Databases Database management systems Transaction processing system Database transaction Database Extensible Storage Engine Linearizability Transaction processing Data management Data
329	Contents Index REPLICATED Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:19:36 Information Concurrency control Databases Database management systems Schedule Database Replication Serializability Linearizability Transaction processing Data management Data
330	Index Contents RRENCY CONTROL AND RECOVERY Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:20:06 Data Information Databases Serializability Schedule Multiversion concurrency control Global serializability Two-phase locking Linearizability Transaction processing Data management Concurrency control

UPDATE