gdkchan 3e6afeb513 Fix some thread sync issues (#172) ...

* Fix some thread sync issues

* Remove some debug stuff

* Ensure that writes to the mutex address clears the exclusive monitor

2018-06-21 23:05:42 -03:00

21 KiB

Raw Blame History

View Raw