Synchronous cooperative threading model in MSSL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Synchronous cooperative threading model in MSSL

Darine Rammal
Wadoud Bousdira

Résumé

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.
Fichier non déposé

Dates et versions

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

Licence

Identifiants

Citer

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⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More