From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 12 Nov 2023 20:30:36 +0000 (+0100)
Subject: Implement pthread_cond in sthread -- too bad it's TODO in MC
X-Git-Tag: v3.35~70
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7097ed501ac302a5f0a2b3cd37114c81ec2e9145?hp=7097ed501ac302a5f0a2b3cd37114c81ec2e9145

Implement pthread_cond in sthread -- too bad it's TODO in MC

I now have to implement the condition variables in the MC world
(adding the transitions and the dependence theorems), but I first have
to implement the asynchronous version of CV::wait(), as the model
checker can only deal with persistent transitions. That's not a small
assignment, and it will have to wait for tomorrow.

Until then, the pthread_cond support in sthread is somewhat useless.
---