Hazard pointer - PDFSEARCH.IO - Document Search Engine

Hazard pointer
Results: 15

#	Item
1	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:34:26 Concurrency control Software transactional memory Compare-and-swap Non-blocking algorithm ABA problem Monitor Hazard pointer Lock Load-link/store-conditional Linearizability Mutual exclusion Thread safety
2	Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu, Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:23 Concurrency control Linearizability Non-blocking algorithm Hazard pointer Compare-and-swap Lock Monitor Reference counting Mutual exclusion File locking Concurrent data structure Standard Template Library
3	Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2013-03-28 17:48:03 Concurrency control Computing Computer programming Concurrent computing Non-blocking algorithm Hazard pointer Mutual exclusion Lock Concurrent data structure Synchronization Compare-and-swap Linearizability
4	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Add to Reading List Source URL: www.hboehm.info Language: English Concurrency control Hazard pointer Mutual exclusion Non-blocking algorithm Thread Unix signal Pointer ABA problem X86-64 Stack X86 C dynamic memory allocation
5	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Computer programming Mutual exclusion Non-blocking algorithm Hazard pointer Pointer ABA problem Thread Stack X86-64 Computing Concurrency control Software engineering
6	A Provably Correct Scalable Concurrent Skip List Maurice Herlihy1,2 , Yossi Lev1,2 , Victor Luchangco2 , and Nir Shavit2 1 2 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2007-02-18 04:19:12 Skip list Hazard pointer Software engineering Binary trees Binary search tree B-tree Linked lists Computer programming Computing
7	Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software Damian Dechev Bjarne Stroustrup Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 Computer programming Software transactional memory Compare-and-swap Non-blocking algorithm Linearizability Lock Pointer Hazard pointer Parallel computing Concurrency control Computing Software engineering
8	Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX[removed] {dechev, peter.pirkelbauer}@tamu.edu, [removed] Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:47 Software engineering Non-blocking algorithm Linearizability Lock Spinlock Hazard pointer Circular buffer Compare-and-swap Concurrent data structure Concurrency control Computing Computer programming
9	HAZARD ANALYSIS - LASERS Description of Work: Class III-B Laser Testing: VCSEL (laser diode), PIN photodiode and optical fiber characterization and testing. The optical power used will place the VCSEL up to class III-B Add to Reading List Source URL: www-ese.fnal.gov Language: English - Date: 1999-09-04 07:28:12 Technology Optical devices Laser safety Vertical-cavity surface-emitting laser Laser Photodiode Optical fiber Lasers and aviation safety Laser pointer Optics Photonics Light