Model Checked - MPSC queue + Rework State Machines#128

Merged

mratsim merged 14 commits intomasterfrom

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
Give the thread the opportunity to not deadlock on sleep on Mac/with Clang
mratsim
committed
whoopsie
mratsim
committed
Add impl of Weave MPSC channel in C++ for CDSChecker model checking + comment out fences
mratsim
committed
Comment out GEMM tests for syncRoot + Pledges: https://github.com/mratsim/weave/issues/97
mratsim
committed
don't use sleep, it's can deadlock in the CI ...
mratsim
committed
Try get epoch time to avoid mac bugs
mratsim
committed
use `getTime` and hope that it's properly implemented on Mac
mratsim
committed
State-machine, return to CheckTask to avoid leaving task spawning multitasks in queue (followup https://github.com/mratsim/weave/pull/121)
mratsim
committed
Don't spinlock for testing, deadlocks ARM and OSX
mratsim
committed
Could it be non-mono clock jitter?
mratsim
committed
Add some log for MacOS debug
mratsim
committed
Race condition between spawning the thread and entering the spinlock in the `isReady` test
mratsim
committed
a,d obviously I mess up the function call
mratsim
committed