Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
201	Programming and Debugging Shared Memory Programs with Data Coloring Luis Ceze† , Christoph von Praun‡ , C˘alin Ca¸scaval‡ Pablo Montesinos# and Josep Torrellas# † Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2009-02-28 21:02:25 Data Computing Transactional memory Linearizability Software transactional memory Parallel computing Lock Consistency model Atomicity Transaction processing Concurrency control Data management
202	UPC Optional Library Specifications, Version 1.3 Add to Reading List Source URL: upc.lbl.gov Language: English - Date: 2014-12-08 00:46:08 C programming language Procedural programming languages Transaction processing C++ Data types Pointer C Reference Linearizability Computing Software engineering Computer programming
203	AtomTracker: A Comprehensive Approach to Atomic Region Inference and Violation Detection∗ Abdullah Muzahid, Norimasa Otsuki† , and Josep Torrellas University of Illinois at Urbana-Champaign http://iacoma.cs.uiuc.edu Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2010-10-23 11:07:53 Data Transaction processing Computer memory Parallel computing Linearizability CPU cache I1 Cache Q Computing Data management Concurrency control
204	RelaxReplay: Record and Replay for Relaxed-Consistency Multiprocessors Nima Honarmand and Josep Torrellas University of Illinois at Urbana-Champaign {honarma1,torrella}@illinois.edu http://iacoma.cs.uiuc.edu Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2014-01-10 19:23:01 Computing Parallel computing Instruction set CPU cache Microarchitecture Processor register Linearizability MIMD Computer architecture Computer hardware Central processing unit
205	FlexBulk: Intelligently Forming Atomic Blocks in Blocked-Execution Multiprocessors to Minimize Squashes Rishi Agarwal and Josep Torrellas University of Illinois at Urbana-Champaign, USA {agarwa29,torrella}@illinois.edu Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2011-04-01 11:23:57 Parallel computing Lock Compiler optimization C dynamic memory allocation Memory barrier Hazard Critical section Linearizability Concurrency control Computing Computer architecture
206	DeAliaser: Alias Speculation Using Atomic Region Support Wonsun Ahn Yuelu Duan Josep Torrellas Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2013-01-25 16:44:16 Software engineering Programming language implementation Central processing unit Computer memory Compiler construction Alias analysis CPU cache Loop unwinding Linearizability Computing Computer architecture Compiler optimizations
207	Colorama: Architectural Support for Data-Centric Synchronization ∗ Luis Ceze, Pablo Montesinos, Christoph von Praun† and Josep Torrellas University of Illinois at Urbana-Champaign {luisceze, pmontesi, torrellas}@cs.u Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2006-12-17 12:19:01 Computer programming Critical section Lock Subroutine Linearizability Pointer Mutual exclusion Parallel computing Monitor Computing Concurrency control Software engineering
208	AtomTracker: A Comprehensive Approach to Atomic Region Inference and Violation Detection -Abdullah Muzahid, Norimasa Otsuki, Josep Torrellas University of Illinois at Urbana-Champaign Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2010-12-24 12:36:17 Data management Data Concurrency Linearizability Lock Struct Atomicity Thread Software bug Concurrency control Transaction processing Computing
209	Design Note: Kernel Interrupt and Concurrency Management† Jonathan S. Shapiro, Ph.D. The EROS Group, LLC March 18, 2006 Abstract Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:10:22 Interrupts Transaction processing Lock Kernel Spinlock Linearizability Interrupt flag Thread Microkernel Computer architecture Computing Concurrency control
210	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2014; 26:2386–2404 Published online 4 July 2014 in Wiley Online Library (wileyonlinelibrary.com). DOI: cpe.3304 SPECIAL Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2015-04-01 12:33:54 Concurrent computing Non-blocking algorithm Compare-and-swap Linearizability Lock Thread Concurrent data structure Multi-core processor Parallel computing Concurrency control Computing Concurrency

UPDATE