Working to port Kcas to Picos I noticed some (I believe) lost wakeups causing benchmarks to never finish. This test exercises a similar scenario, running schedulers on two domains. This doesn't seem to reproduce the issue however. The mutex and condition cancelation test also works on all the schedulers (at least on macOS).
Working to port Kcas to Picos I noticed some (I believe) lost wakeups causing benchmarks to never finish. This test exercises a similar scenario, running schedulers on two domains. This doesn't seem to reproduce the issue however. The mutex and condition cancelation test also works on all the schedulers (at least on macOS).