Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
91	CS140 Operating Systems and Systems Programming Midterm Exam October 29th, 2004 (Total time = 50 minutes, Total Points = 50) Name: (please print)______________________________ In recognition of and in the spirit of the S Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2009-12-29 17:31:12 Scheduling Linearizability Operating system Lock Thread Computer architecture Paging Concurrency control Computing Concurrency
92	Concurrent Transformation Components using Contention Context Sensors Erik Österlund Welf Löwe Add to Reading List Source URL: welf.se Language: English - Date: 2014-09-21 12:09:18 Computer programming Non-blocking algorithm Lock Readers–writer lock Linearizability Spinlock Parallel computing Deadlock Actor model Concurrency control Computing Concurrency
93	The Impact of Memory Models on Software Reliability in Multiprocessors Alexander Jaffe Thomas Moscibroda Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:28:58 Transaction processing Computer memory Compiler construction Concurrency Programming language design Linearizability Parallel computing Thread Java Memory Model Computing Logic Software engineering
94	Software Transactional Memory Panacea or Pandora’s Box? Christos Kozyrakis Assistant Professor of EE & CS Stanford University Add to Reading List Source URL: csl.stanford.edu Language: English - Date: 2009-01-01 21:14:00 Data Information Transactional memory TM Software transactional memory Linearizability Parallel computing Lock Atomicity Transaction processing Concurrency control Data management
95	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: homes.cs.washington.edu Language: English - Date: 2007-09-14 13:31:03 Computer programming Critical section Lock Subroutine Linearizability Pointer Mutual exclusion Parallel computing Monitor Computing Concurrency control Software engineering
96	Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2002-12-21 01:16:06
97	Administrivia Readers-Writers Problem • Project 1 due right now Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2010-02-19 22:26:45 Computer programming Spinlock Lock Linearizability Mutual exclusion Test-and-set Deadlock Parallel computing Non-blocking algorithm Concurrency control Computing Concurrency
98	SEPTEMBERWRL Research ReportShared Memory Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2006-10-01 20:57:19 Computer memory Transaction processing Compiler construction Concurrency Programming language design Consistency model Sequential consistency Memory model Linearizability Computing Software engineering Computer architecture
99	Beyond Transactions The Evolution of Transactional Memory Christos Kozyrakis Computer Systems Lab Stanford University Add to Reading List Source URL: csl.stanford.edu Language: English - Date: 2009-01-01 21:13:56 Computing Information Software transactional memory TM Transactional memory Two-phase commit protocol Parallel computing Lock Linearizability Transaction processing Concurrency control Data
100	Review: Thread package API • tid thread create (void (fn) (void ), void arg); - Create a new thread that calls fn with arg • void thread exit (); • void thread join (tid thread); Add to Reading List Source URL: www.scs.stanford.edu Language: English* - Date: 2010-01-12 17:15:16 Computer architecture Computer hardware Transaction processing Central processing unit Linearizability CPU cache Parallel computing Thread Consistency model Computing Computer memory Concurrency control