Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
11	Analyzing Lock Contention in Multithreaded Applications Nathan R. Tallent John M. Mellor-Crummey Allan Porterfield Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2010-07-24 17:33:01 Concurrency control Computing Computer programming Software engineering Spinlock Lock Monitor Readerswriter lock Linearizability Synchronization Mutual exclusion Thread
12	IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, MONTHSoftware Support and Evaluation of Hardware Transaction Memory on Blue Gene/Q Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2013-10-17 10:42:37 Computing Transaction processing Concurrency control Data management Computer memory Parallel computing Software transactional memory Transactional memory CPU cache Benchmark Blue Gene Linearizability
13	Safely Accessing Time Stamps in Transactions Stephan Diestelhorst Advanced Micro Devices, Inc. Martin Pohlack Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English - Date: 2012-07-13 04:03:02 Transaction processing Computing Data management Concurrency control Data Transactional Synchronization Extensions Transactional memory Serializability Schedule Time Stamp Counter Linearizability Isolation
14	Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie Department of Electrical and Computer Engineering Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2010-02-12 11:46:54 Computing Concurrency control Computer programming Transaction processing Concurrent computing Data management Parallel computing Debugging Linearizability Monitor Atomicity Serializability
15	Wait-Free Synchronization MAURICE HERLIHY Digital Equipment Corporation Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2002-12-21 00:55:01 Computing Concurrency control Concurrent computing Concurrency computer science) Linearizability Shared register Consensus Synchronization Lock Communications protocol Futures and promises Shared snapshot objects
16	Review of last lecture  Architecture case studies  Memory performance is often the bottleneck  Parallelism grows with compute performance Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-12 15:57:01 Computing Computer architecture Computer memory Transaction processing Concurrency Cache coherency MESI protocol Memory ordering Consistency model Cache coherence Linearizability Memory barrier
17	SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Computing Transaction processing Concurrency control Data management Information science Databases Lock Linearizability Hash table File locking Unix signal Serializability
18	On Maintaining Multiple Versions in STM Dmitri Perelman Rui Fan Idit Keidar Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2010-05-19 13:06:22 Transaction processing Computing Data management Concurrency control Data Schedule Software transactional memory Database transaction Transactional memory Serializability Precedence graph Linearizability
19	Brief Announcement: Selfishness in Transactional Memory Raphael Eidenbenz Roger Wattenhofer Computer Engineering and Networks Lab Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:37 Concurrency control Computing Transaction processing Data management Software Software transactional memory Transactional memory Linearizability Lock Thread Concurrent data structure Non-blocking algorithm
20	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-23 09:01:50 Computing Concurrent computing Computer architecture Concurrency control Transaction processing Linearizability Shared register Queue FIFO Sequential consistency