Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
371	Synchronising C/C++ and POWER Susmit Sarkar1 1 2 Kayvan Memarian1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-03-26 05:14:09 Memory barrier Non-blocking algorithm Linearizability Test-and-set Load-link/store-conditional Lock Parallel computing Spinlock ABA problem Concurrency control Computer architecture Computing
372	Adding lock elision to Linux Linux Plumbers Conference Aug 2012 Andi Kleen [removed] Add to Reading List Source URL: www.halobates.de Language: English - Date: 2012-08-29 16:20:20 Concurrent computing Lock Critical section Transactional Synchronization Extensions Mutual exclusion POSIX Threads Atom Thread Linearizability Concurrency control Computing Concurrency
373	A Tutorial Introduction to the ARM and POWER Relaxed Memory Models Luc Maranget INRIA Susmit Sarkar University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-10 05:25:03 Computer memory Concurrency control Microprocessors Compiler construction Memory barrier Thread Linearizability Lock Microarchitecture Computing Computer architecture Computer hardware
374	The Java Memory Model Jeremy Manson, William Pugh Univ. of Maryland, College Park Java Memory Model and Thread Specification Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-10-24 05:47:30 Computer memory Compiler construction Programming language implementation Programming language design Memory model Volatile variable Java Memory Model Linearizability Lock Computing Concurrency control Software engineering
375	JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 23, 2004, 12:57pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Sp Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-04-23 12:58:08 Java Memory Model Memory barrier Lock Memory model Monitor Deadlock Thread Volatile variable Linearizability Computing Concurrency control Software engineering
376	Thread 1 Thread 2 1: r2 = A; 3: r1 = B 2: B = 1; 4: A = 2 May return r2 == 2, r1 == 1 Figure 1: Behaves Surprisingly Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-02-01 21:43:05 Double-checked locking Volatile variable Java Memory Model Thread safety Lock Memory model Critical section Linearizability Memory barrier Concurrency control Computing Software engineering
377	JSR-133: JavaTM Memory Model and Thread Specification This document is the community review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specification is intended to be p Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-08-08 11:08:03 Java Memory Model Lock Memory barrier Memory model Monitor Volatile variable Linearizability Deadlock Thread Computing Concurrency control Software engineering
378	JSR-133: JavaTM Memory Model and Thread Specification October 17, 2003, 11:24am This document is a preliminary version of the public review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Speci Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-10-17 11:25:56 Java Memory Model Lock Memory barrier Monitor Memory model Volatile variable Thread Linearizability Deadlock Computing Concurrency control Software engineering
379	Architectural and Compiler Support for Strongly Atomic Transactional Memory by C. Scott Ananian M.Sc Electrical Engineering and Computer Science, Add to Reading List Source URL: cscott.net Language: English - Date: 2007-05-31 03:48:33 Data Information Transactional memory Linearizability Software transactional memory Atomicity Lock Isolation Database transaction Transaction processing Concurrency control Data management
380	Using Lightweight Theorem Proving in an Asynchronous Systems Context Matthew Danish and Hongwei Xi Boston University Computer Science 111 Cummington Mall Boston, MA 02215 Add to Reading List Source URL: cs-people.bu.edu Language: English - Date: 2014-04-20 18:02:21 Arrays Computer memory Data types Parallel computing ATS Linearizability Circular buffer Variable Lookup table Computing Software engineering Computer programming