diff options
| author | Enrico Tassi | 2014-12-11 14:29:47 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-12-17 15:05:05 +0100 |
| commit | f9a6efbb2647e7856c34966fd7bcc00a1d8fbc4d (patch) | |
| tree | 2a19dda07a4ea19b4084f43476f62b1bb734d1f6 /stm/asyncTaskQueue.mli | |
| parent | f5a0e2136dacf635c2790099972961b086665a38 (diff) | |
TQueue: a way to unblock threads begin destroyed waiting on pop
Diffstat (limited to 'stm/asyncTaskQueue.mli')
0 files changed, 0 insertions, 0 deletions