Model Checked - MPSC queue + Rework State Machines - #128

Merged

mratsim merged 14 commits into

model-checked-mpsc-queue

May 9, 2020

Commits on May 9, 2020

model checking - 1st try to fix MPSC queue (the model checker crashes with not enough memory :/)
mratsim
committed
1f70d6a
Give the thread the opportunity to not deadlock on sleep on Mac/with Clang
mratsim
committed
fa881e8
whoopsie
mratsim
committed
bd762f9
Add impl of Weave MPSC channel in C++ for CDSChecker model checking + comment out fences
mratsim
committed
ce8dfe0
Comment out GEMM tests for syncRoot + Pledges: https://github.com/mratsim/weave/issues/97
mratsim
committed
da5ae0b
don't use sleep, it's can deadlock in the CI ...
mratsim
committed
4bb7916
Try get epoch time to avoid mac bugs
mratsim
committed
7b205b7
use `getTime` and hope that it's properly implemented on Mac
mratsim
committed
5673eec
State-machine, return to CheckTask to avoid leaving task spawning multitasks in queue (followup https://github.com/mratsim/weave/pull/121)
mratsim
committed
c31e45f
Don't spinlock for testing, deadlocks ARM and OSX
mratsim
committed
82265ad
Could it be non-mono clock jitter?
mratsim
committed
7c760dd
Add some log for MacOS debug
mratsim
committed
cd116d0
Race condition between spawning the thread and entering the spinlock in the `isReady` test
mratsim
committed
efac680
a,d obviously I mess up the function call
mratsim
committed
ea59771