scholarly journals Decoupling lock-free data structures from memory reclamation for static analysis

2019 ◽  
Vol 3 (POPL) ◽  
pp. 1-31 ◽  
Author(s):  
Roland Meyer ◽  
Sebastian Wolff
2019 ◽  
Vol 19 (3) ◽  
pp. 209-218
Author(s):  
Alexander Baumstark ◽  
Constantin Pohl

Author(s):  
Jaewoong Chung ◽  
Luke Yen ◽  
Stephan Diestelhorst ◽  
Martin Pohlack ◽  
Michael Hohmuth ◽  
...  

Author(s):  
Michael McGee ◽  
Robert Medina ◽  
Neil Moore ◽  
Jason Stavrinaky

OpenMemDB is an in-memory database that is implemented solely using wait-free data structures. OpenMemDB is the first and only database currently developed in such a way. OpenMemDB also provides linearizable correctness guarantees for all operations executed on the database. OpenMemDB uses a form of snapshot isolation to ensure linearizability, and avoids the write-skew problem that can occur when using snapshot isolation by eliminating writes that are out of data. OpenMemDBs biggest contribution is its completely wait-free implementation. Every operation executed in OpenMemDB is guaranteed to be wait-free and linearizable. This implementation also scales competitively when compared against similar in-memory database management systems. OpenMemDB achieves its best scaling in select heavy operation loads with nearly 12 times speedup at 16 threads. This is better scaling than either VoltDB or MemSQL showed in our testing.


Sign in / Sign up

Export Citation Format

Share Document