Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
171	CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-03-26 08:41:48 Computer memory Concurrent computing Memory management Transaction processing Memory barrier Non-blocking algorithm C dynamic memory allocation Linearizability Priority queue Computing Software engineering Concurrency control
172	N1909 Note 1 Clarification for atomic_compare_exchange Blaine GarstInThe atomic_compare_exchange generic functions paragraph 3 states Add to Reading List Source URL: www.open-std.org Language: English - Date: 2015-02-23 15:49:39 Concurrency control C programming language C++ Cross-platform software Linearizability Transaction processing C Sizeof Lock Computing Computer programming Software engineering
173	,ch19Page 555 Thursday, November 18, :44 PM Chapter 19 CHAPTER 19 Add to Reading List Source URL: modperlbook.org Language: English - Date: 2014-03-23 01:05:13 Computing Transaction processing Dbm C POSIX library File locking Lock Berkeley DB Deadlock Linearizability Data management Concurrency control Structured storage
174	Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures Tudor David Rachid Guerraoui Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2015-04-13 02:34:08 Computer programming Non-blocking algorithm Hash table Trie Linearizability Concurrent data structure CPU cache Parallel algorithm Thread Computing Concurrency control Concurrent computing
175	Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints Peng Liu Charles Zhang Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-09-05 04:11:28 Concurrency Data management Information Concurrent computing Deadlock Lock Parallel computing Petri net Linearizability Concurrency control Computing Transaction processing
176	A Proposal for a UPC Memory Consistency Model, v1.0 Lawrence Berkeley National Lab Tech Report LBNLKatherine Yelick Dan Bonachea University of California, Berkeley Charles Wallace Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-11-10 21:04:26 Transaction processing Software engineering Computer memory Compiler construction Memory model Programming language design Consistency model Linearizability Universal Product Code Computing Concurrency control Computer architecture
177	Atomic Instructions in Java David Hovemeyer, William Pugh, and Jaime Spacco Dept. of Computer Science, University of Maryland, College Park, MDUSA {daveho,pugh,jspacco}@cs.umd.edu Abstract. Atomic instructions at Add to Reading List Source URL: faculty.ycp.edu Language: English - Date: 2014-08-22 12:24:21 Concurrency Compare-and-swap Linearizability Double compare-and-swap Lock Load-link/store-conditional Non-blocking algorithm Memory barrier Monitor Concurrency control Computing Computer architecture
178	Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage Jinguo Zhou Xiao Xiao Charles Zhang The Prism Research Group Department of Computer Science and Engineering The Hong Kong University of Sci Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-05-22 11:04:10 Transaction processing Software engineering Lock Linearizability Parallel computing Extensible Storage Engine Variable Thread Concurrency control Computing Data management
179	Microsoft PowerPoint - HC18.0120.T1.tutorialAM_part2.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:48:32 Data Information Software transactional memory Lock Transactional memory Linearizability Hash table Parallel computing Hash function Concurrency control Transaction processing Data management
180	Bulk Disambiguation of Speculative Threads in Multiprocessors Luis Ceze, University of Washington sa pa Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:57 Concurrent computing Parallel computing Linearizability Consistency model Thread Concurrency Scalability Microarchitecture Weak consistency Computing Transaction processing Computer architecture

UPDATE