Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
51	Automatic Contention Detection and Amelioration for Data-Intensive Operations John Cieslewicz∗, Kenneth A. Ross†, Kyoho Satsumi, Yang Ye Department of Computer Science, Columbia University, New York NY (johnc,kar,ye Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:01 Parallel computing Concurrency control MapReduce Thread Data-intensive computing CPU cache Non-blocking algorithm Concurrent data structure Synchronization Cray MTA Lock Linearizability
52	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringExam II Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2016-05-24 12:32:40 Concurrency control Transaction processing Linearizability Distributed computing architecture MapReduce Sequential consistency Foreach loop
53	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: css.csail.mit.edu Language: English - Date: 2014-12-08 14:33:01 Transaction processing Concurrency control Data management Databases Unix signal Lock Linearizability Hash table File locking Serializability Monitor Two-phase commit protocol
54	Scal: A Benchmarking Suite for Concurrent Data Structures Andreas Haas, Thomas H¨ utter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, and Ana Sokolova University of Salzburg Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Abstract data types Concurrency control Queue FIFO Double-ended queue Non-blocking algorithm Stack Linked list Concurrent data structure C dynamic memory allocation Linearizability Compare-and-swap
55	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Lock-Free and Distributed Memory Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-01-06 07:53:19 Concurrency control Consensus Non-blocking algorithm Lock Linearizability Thread Synchronization Monitor Java concurrency
56	Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-04-27 14:17:24 Concurrency control Computer architecture Computing Software Read-copy-update Memory barrier Linearizability Mutual exclusion Synchronization Futures and promises
57	Using Restricted Transactional Memory to Build a Scalable In-Memory Database Zhaoguo Wang†, Hao Qian‡, Jinyang Li§, Haibo Chen‡ † School of Computer Science, Fudan University ‡ Institute of Parallel and Distri Add to Reading List Source URL: ipads.se.sjtu.edu.cn Language: English - Date: 2014-03-30 05:29:28 Transaction processing Concurrency control Data management Databases Software transactional memory Database transaction Serializability Extensible Storage Engine Linearizability Transactional memory Optimistic concurrency control Atomicity
58	Performance Evaluation of Adaptivity in Software Transactional Memory Mathias Payer ETH Zurich, Switzerland Abstract—Transactional memory (TM) is an attractive platform for parallel programs, Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Concurrency control Computing Transaction processing Data management Information science Software transactional memory Lock Non-blocking algorithm Transactional memory Linearizability Critical section Synchronization
59	High-Performance Distributed RMA Locks Patrick Schmid∗ Maciej Besta∗ Torsten Hoefler Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2016-04-21 19:31:29 Concurrency control Readerswriter lock File locking Spinlock Non-blocking algorithm Compare-and-swap Lock Mutual exclusion Synchronization Linearizability Parallel computing
60	adaptSTM - An Online Fine-grained Adaptive STM System Mathias Payer Thomas R. Gross ETH Zurich, Switzerland Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Concurrency control Information science Computing Information retrieval Transaction processing Hashing Search algorithms Error detection and correction Software transactional memory Lock Hash table Linearizability