Non-blocking

Results: 272



#Item
21Concurrency control / Computing / Computer programming / Software engineering / Lock / Readerswriter lock / Non-blocking algorithm / Mutual exclusion / Spinlock / Monitor / Fetch-and-add / File locking

Administrivia  Design of Parallel and High-Performance Computing

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2015-11-23 13:58:39
22Computing / Concurrency control / Software / Software transactional memory / Non-blocking algorithm / Lock / Parallel computing / Concurrency / Concurrent data structure / Separation logic / Thread / Concurrent computing

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2013-12-03 05:32:06
23Concurrency control / Computing / Transaction processing / Data management / Software / Compare-and-swap / Non-blocking algorithm / Linearizability / Software transactional memory / Stack / Reagent / Atomicity

Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2012-04-04 10:35:42
24Concurrency control / Computing / Transaction processing / Data management / Software / Software transactional memory / Transactional memory / Linearizability / Lock / Thread / Concurrent data structure / Non-blocking algorithm

Brief Announcement: Selfishness in Transactional Memory Raphael Eidenbenz Roger Wattenhofer Computer Engineering and Networks Lab

Add to Reading List

Source URL: www.tik.ee.ethz.ch

Language: English - Date: 2015-05-18 12:16:37
25Concurrent computing / Computing / Scheduling / Parallel computing / Concurrency / Computer programming / Producerconsumer problem / Synchronization / Non-blocking algorithm / Work stealing / Thread / ACT-R

SALSA: Scalable and Low Synchronization NUMA-aware Algorithm for Producer-Consumer Pools Elad Gidron CS Department Technion, Haifa, Israel

Add to Reading List

Source URL: webee.technion.ac.il

Language: English - Date: 2012-07-22 09:33:51
26Computing / Java platform / Computing platforms / Concurrent programming languages / Java / Actor model / Non-blocking I/O / Message Passing Interface

J Supercomput DOIs11227F-MPJ: scalable Java message-passing communications on parallel systems Guillermo L. Taboada · Juan Touriño ·

Add to Reading List

Source URL: www.des.udc.es

Language: English - Date: 2010-08-25 15:51:10
27Concurrency control / Computing / Data management / Transaction processing / Databases / Information science / Lock / Two-phase locking / Synchronization / Non-blocking algorithm / Optimistic concurrency control / Thread safety

Towards Automatic Lock Removal for Scalable Synchronization Maya Arbel?1,2 , Guy Golan-Gueta1 , Eshcar Hillel1 , and Idit Keidar1,2 1 2

Add to Reading List

Source URL: webee.technion.ac.il

Language: English - Date: 2015-08-16 08:19:17
28Computing / Concurrency control / Software engineering / Computer programming / Synchronization / Linearizability / Mutual exclusion / Memory model / Non-blocking algorithm / Lock / Thread / Parallel computing

Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks 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
29Concurrency control / Computing / Computer programming / Software engineering / Lock / Linearizability / Resource Acquisition Is Initialization / Non-blocking algorithm / Thread / Mutual exclusion / Consistency model / Queue

Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability 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
30Concurrency control / Computing / Computer architecture / Concurrent computing / Readerswriter lock / Non-blocking algorithm / Lock / Linearizability / Parallel computing / Consensus / Mutual exclusion / File locking

Design of Parallel and High-Performance Computing Fall 2015 Lecture: Locks and Lock-Free continued Motivational video: https://www.youtube.com/watch?v=-7Bpo1Quxyw

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2015-11-23 13:58:39
UPDATE