2026-08-12T06:14:37Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4220 2024-03-06T10:34:55Z ddc:004 open_access

A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables Nishimura, Susumu shared variable parallelism non-blocking synchronization full abstraction game semantics We present a fully abstract game semantics for an Algol-like parallel language with non-blocking synchronization primitive. Elaborating on Harmer's game model for nondeterminism, we develop a game framework appropriate for modeling parallelism. The game is a sophistication of the wait-notify game proposed in a previous work, which makes the signals for thread scheduling explicit with a certain set of extra moves. The extra moves induce a Kleisli category of games, on which we develop a game semantics of the Algol-like parallel language and establish the full abstraction result with a significant use of the non-blocking synchronization operation. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Susumu Nishimura 2013 Is Part Of LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2013.578 urn:nbn:de:0030-drops-42201 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.578 eng https://creativecommons.org/licenses/by/3.0/legalcode