First Page | Document Content | |
---|---|---|
![]() Date: 2002-06-04 12:26:51Software engineering Read-copy-update Lock Spinlock Thread Non-blocking algorithm Parallel computing Critical section Central processing unit Concurrency control Computing Computer programming | Source URL: www.rdrop.comDownload Document from Source WebsiteFile Size: 94,59 KBShare Document on Facebook |
![]() | Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor VafeiadisDocID: 1uNqb - View Document |
![]() | Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor VafeiadisDocID: 1o283 - View Document |
![]() | Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor VafeiadisDocID: 1mToP - View Document |
![]() | User-Level Implementations of Read-Copy UpdateDocID: 1moh7 - View Document |
![]() | Read-Copy-Update { Wait-free synchronization for the kernelDocID: 1efS3 - View Document |