<--- Back to Details
First PageDocument Content
Software engineering / Read-copy-update / Lock / Spinlock / Thread / Non-blocking algorithm / Parallel computing / Critical section / Central processing unit / Concurrency control / Computing / Computer programming
Date: 2002-06-04 12:26:51
Software engineering
Read-copy-update
Lock
Spinlock
Thread
Non-blocking algorithm
Parallel computing
Critical section
Central processing unit
Concurrency control
Computing
Computer programming

Add to Reading List

Source URL: www.rdrop.com

Download Document from Source Website

File Size: 94,59 KB

Share Document on Facebook

Similar Documents

Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

DocID: 1uNqb - View Document

Concurrency control / Computer architecture / Computing / Software / Read-copy-update / Memory barrier / Linearizability / Mutual exclusion / Synchronization / Futures and promises

Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

DocID: 1o283 - View Document

Concurrency control / Computer architecture / Computing / Software / Read-copy-update / Memory barrier / Linearizability / Mutual exclusion / Synchronization / Futures and promises

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