Modular Relaxed Dependencies in Weak Memory Concurrency

We present a denotational semantics for weak memory concurrency that avoids thin-air reads, provides data-race free programs with sequentially consistent semantics (DRF-SC), and supports a compositional refinement relation for validating optimisations. Our semantics identifies false program dependen...

Descripción completa

Detalles Bibliográficos
Autores principales: Paviotti, Marco, Cooksey, Simon, Paradis, Anouk, Wright, Daniel, Owens, Scott, Batty, Mark
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702250/
http://dx.doi.org/10.1007/978-3-030-44914-8_22

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702250/
http://dx.doi.org/10.1007/978-3-030-44914-8_22

Ejemplares similares