Synchronous cooperative threading model in MSSL - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

Synchronous cooperative threading model in MSSL

Darine Rammal
Wadoud Bousdira


We propose a synchronous cooperative threading model for a programming language called MSSL. In MSSL, threads are executed cooperatively by a round-robin scheduler. Meanwhile, shared data between threads does not require the locking primitives for protection. This result is achieved by introducing a new type of smart pointers, named Trc, that combines sharing and mutability. Furthermore, using the notion of logical time, called instants, threads can progress synchronously with a consistent view of the state of signals. Signals are powerful, flexible, and have compelling means of communication. In this paper, we present a subset of the formal semantics of MSSL in the format of structural operational semantics.
No file

Dates and versions

hal-04142455 , version 1 (26-06-2023)





Darine Rammal, Wadoud Bousdira, Frederic Dabrowski. Synchronous cooperative threading model in MSSL. SAC '23: 38th ACM/SIGAPP Symposium on Applied Computing, 2023, Tallinn, Estonia. pp.1380-1383, ⟨10.1145/3555776.3577815⟩. ⟨hal-04142455⟩
10 View
0 Download



Gmail Facebook X LinkedIn More