Commit 39b0ceb1 authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add treiber-stack; hazard-pointers


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 11822163
......@@ -3120,6 +3120,25 @@
ids = {ms-queue, msqueue}
}
@Article{ michael2004:hazard-pointers,
title = {Hazard Pointers: Safe Memory Reclamation for Lock-Free
Objects},
author = {Michael, Maged M.},
journal = {\bibTPDS},
year = {2004},
month = {jun},
issue_date = {June 2004},
publisher = {IEEE Press},
volume = {15},
number = {6},
issn = {1045-9219},
url = {https://doi.org/10.1109/TPDS.2004.8},
doi = {10.1109/TPDS.2004.8},
pages = {491–504},
numpages = {14},
ids = {hazard-pointers, hps}
}
@InProceedings{ mitchell1986:data-abstraction,
title = {Representation independence and data abstraction},
author = {John C. Mitchell},
......@@ -4219,6 +4238,15 @@
publisher = {ACM}
}
@TechReport{ treiber1986:stack,
title = {Systems Programming: Coping with Parallelism},
author = {R. Kent Treiber},
year = {1986},
institution = {Technical Report RJ5118, IBM},
url = {https://dominoweb.draco.res.ibm.com/58319a2ed2b1078985257003004617ef.html},
ids = {treiber-stack}
}
@InProceedings{ trippel2017:tricheck,
title = {TriCheck: {Memory} model verification at the trisection of
software, hardware, and {ISA}},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment