Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-08-07 | Make deadlock detection loop more robust | Boris Kolpackov | 1 | -9/+19 | |
2019-08-07 | Distinguish between internal/external wait deactivation in scheduler | Boris Kolpackov | 1 | -11/+18 | |
This turns out to be necessary for the deadlock detection to work properly. | |||||
2019-08-06 | Implement general deadlock detection via monitoring thread | Boris Kolpackov | 1 | -55/+91 | |
2019-07-01 | Split build system into library and driver | Boris Kolpackov | 1 | -0/+820 | |