Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

The reads-from equivalence for the TSO and PSO memory models

Autor: Bui, Truc Lam, Chatterjee, Krishnendu, Gautam, Tushar, Pavlogiannis, Andreas, Toman, Viktor

Publikováno v: Bui, T L, Chatterjee, K, Gautam, T, Pavlogiannis, A & Toman, V 2021, ' The reads-from equivalence for the TSO and PSO memory models ', Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164 . https://doi.org/10.1145/3485541

The verification of concurrent programs remains an open challenge due to the non-determinism in inter-process communication. One recurring algorithmic problem in this challenge is the consistency verification of concurrent executions. In particular,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c321fe65ffd80ec838c69339385a582d
https://pure.au.dk/portal/da/publications/the-readsfrom-equivalence-for-the-tso-and-pso-memory-models(ab00bd17-c839-481d-a1b7-ab1b6ad50d0e).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

Autor: Christopher Pulte, Shaked Flur, Peter Sewell, Will Deacon, Susmit Sarkar, Jon French

Publikováno v: Proceedings of the ACM on Programming Languages. 2:1-29

ARM has a relaxed memory model, previously specified in informal prose for ARMv7 and ARMv8. Over time, and partly due to work building formal semantics for ARM concurrency, it has become clear that some of the complexity of the model is not justified

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0e74f5947fa0fafc570661ceac2fd33
https://doi.org/10.1145/3158107