 Agustina Arzille
|
0f62594b82
Improve shared/exclusive locks so that waiters acquire the lock in order
|
hai 1 ano |
|
Agustina Arzille
|
20e74ef344
Rework capabilities
|
hai 1 ano |
|
Agustina Arzille
|
09e27bbdb7
Optimize sxlock unlocking
|
hai 1 ano |
|
Agustina Arzille
|
d324d64d87
Numerous style and bug fixes
|
hai 1 ano |
|
Agustina Arzille
|
1587437abf
Improve readability of sxlock and thread modules
|
hai 1 ano |
|
Agustina Arzille
|
318756235f
Fix race conditions in sxlock unlocking
|
hai 1 ano |
|
Agustina Arzille
|
2b0259d083
Safely unregister interrupts on capability destruction
|
hai 1 ano |
|
Agustina Arzille
|
563975929b
Optimize page fault concurrent handling
|
hai 1 ano |
|
Agustina Arzille
|
176c1c4146
Include tests for radix tree API
|
%!s(int64=2) %!d(string=hai) anos |
|
Agustina Arzille
|
3ab33edef0
Code restructuring (sxlock mostly)
|
%!s(int64=2) %!d(string=hai) anos |
|
Agustina Arzille
|
2481e5b27e
Simplify sxlock implementation
|
%!s(int64=2) %!d(string=hai) anos |
|
Agustina Arzille
|
e4b4e5ff83
Revert typing in guards cleanup (clang doesn't like them)
|
%!s(int64=2) %!d(string=hai) anos |
|
Agustina Arzille
|
a5ac1c179c
Cleanup leftover comments from sxlock
|
%!s(int64=2) %!d(string=hai) anos |
|
Agustina Arzille
|
808efdb1e0
Use stronger typing in guards
|
%!s(int64=2) %!d(string=hai) anos |
|
Agustina Arzille
|
035f50e713
Redesign sxlock and make it more fair
|
%!s(int64=2) %!d(string=hai) anos |
|
Agustina Arzille
|
e4374cdc9c
Add several comments; style fixes
|
%!s(int64=2) %!d(string=hai) anos |
|
Agustina Arzille
|
47d57a4c25
Implement shared-exclusive locks
|
%!s(int64=2) %!d(string=hai) anos |
