descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerroot
last changeTue, 11 Jul 2017 19:57:31 +0000 (12:57 -0700)
shortlog
2017-07-11 Steven Stewart... Remove unused dependency master
2017-07-11 Steven Stewart... Cleanup
2017-07-10 Steven Stewart... Remove shuffling stuff as I can't test it
2017-07-10 Steven Stewart... Distribute cores across two separate fallback locks
2017-06-28 Steven Stewart... Fix bug
2017-06-28 Steven Stewart... Cleanup tla models
2017-06-25 Steven Stewart... Remove drop abstraction
2017-06-25 Steven Stewart... Add example for profiling purposes
2017-06-25 Steven Stewart... Update performance comparisons
2017-06-25 Steven Stewart... Do test and test and set optimization
2017-06-25 Steven Stewart... Add spin loop before main lock phase
2017-06-25 Steven Stewart... Add a bit of spinning
2017-06-25 Steven Stewart... Fixup leftover code in futex implementation
2017-06-25 Steven Stewart... Upgrade futex code
2017-06-25 Steven Stewart... Fix Futexes are tricky algorithm and formally check it
2017-06-25 Steven Stewart... Use FUTEX_WAIT in tts_mutex.rs
...
heads
2 years ago master
2 years ago stack_lock
2 years ago hle