User-Level Implementations of Read-Copy Update

First Page		Document Content
Date: 2011-08-30 18:02:32 Concurrent computing Read-copy-update Readers–writer lock Lock ABA problem Non-blocking algorithm Critical section Memory barrier Thread Concurrency control Computing Concurrency		User-Level Implementations of Read-Copy Update Add to Reading List Source URL: www.efficios.com Download Document from Source Website File Size: 248,37 KB Share Document on Facebook

	Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis DocID: 1uNqb - View Document
	Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis DocID: 1o283 - View Document
	Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis DocID: 1mToP - View Document
	User-Level Implementations of Read-Copy Update DocID: 1moh7 - View Document
	Read-Copy-Update { Wait-free synchronization for the kernel DocID: 1efS3 - View Document