Back to Results
First PageMeta Content
Concurrency / Read-copy-update / ABA problem / Hazard pointer / Mutual exclusion / Compare-and-swap / Pointer / Stack / Non-blocking algorithm / Concurrency control / Computing / Computer programming


Verifying Concurrent Memory Reclamation Algorithms with Grace Alexey Gotsman, Noam Rinetzky, and Hongseok Yang
Add to Reading List

Document Date: 2013-01-04 11:19:32

Open Document

File Size: 545,82 KB

Share Result on Facebook

Company

HP / /

Facility

University of Oxford Abstract / Tel-Aviv University / /

IndustryTerm

above algorithms / memory reclamation algorithms / concurrent algorithms / automatic tools / temporal protocols / Memory management / non-blocking algorithms / /

OperatingSystem

Linux / /

Organization

Tel-Aviv University / IMDEA Software Institute / /

Person

Grace Alexey Gotsman / Noam Rinetzky / Hongseok Yang / /

Position

representative / guard / /

ProgrammingLanguage

R / C++ / /

Technology

above algorithms / non-blocking algorithms / Concurrent Memory Reclamation Algorithms / Repeat-Offender algorithm / shared memory / Linux / RCU-based algorithms / memory reclamation algorithms / /

SocialTag