Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
41	Review of last lecture  Cache-coherence is not enough!  Many more subtle issues for parallel programs! Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-10-13 13:49:30 Concurrency control Linearizability Lock Resource Acquisition Is Initialization FIFO Mutual exclusion Queue Monitor
42	Making RAMCloud Writes Even Faster (Bring Asynchrony to Distributed Systems) Seo Jin Park John Ousterhout Add to Reading List Source URL: stanford.edu Language: English - Date: 2016-06-10 01:40:17 Transaction processing Consistency model Linearizability Replication Eventual consistency Crash MySQL
43	High Performance Hardware Transactional Memory does not Equal High Performance Transaction Systems Justin Levandoski (Microsoft) Darko Makreshanski (ETH Zurich) Ryan Stutsman (Utah) Add to Reading List Source URL: hpts.ws Language: English - Date: 2015-10-02 08:07:40 Concurrency control Transaction processing Linearizability Non-blocking algorithm Lock Transactional memory Compare-and-swap Software transactional memory Transactional Synchronization Extensions
44	A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1 Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2015-08-17 06:31:40 Concurrency control Transaction processing Linearizability Algorithm Concurrent computing Parallel computing
45	Administrivia  Design of Parallel and High-Performance Computing Fall 2013 Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-11-30 16:07:53 Concurrency control Lock Mutual exclusion Non-blocking algorithm File locking Two-phase locking Tree traversal Parallel computing Linearizability Deadlock Synchronization Key
46	What is Safe in Transactional Memory Hagit Attiya1 Sandeep Hans1 Petr Kuznetsov2 Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English - Date: 2012-07-13 04:06:54 Transaction processing Concurrency control Data management Schedule Linearizability Transactional memory Database transaction
47	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: 2013-11-03 08:27:59 Computer memory Transaction processing Parallel computing Compiler construction Concurrency Cache coherence Memory ordering Consistency model Linearizability Sequential consistency CPU cache Processor consistency
48	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-26 16:22:37 Concurrency control Transaction processing Data management Linearizability Databases Sequential consistency Parallel computing Serializability Non-blocking algorithm Schedule Lock Mutual exclusion
49	Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu, Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:23 Concurrency control Linearizability Non-blocking algorithm Hazard pointer Compare-and-swap Lock Monitor Reference counting Mutual exclusion File locking Concurrent data structure Standard Template Library
50	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: 2015-10-04 17:36:16 Computer memory Transaction processing Computer architecture Concurrency control Compiler construction Memory ordering Consistency model Cache coherence Memory barrier Linearizability Schedule Sequential consistency