Embedding Semantics
of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection
Tool Conference Contributions uri icon

event

  • 7th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM16

event place

  • BARCELONA

participation category

  • PONENCIA

main title

  • Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores

publication date

  • 2016

start page

  • 20

end page

  • 29

isbn

  • 978-1-4503-4196-7