Mara Bos
6a417d4828
Lazily allocate+initialize locks.
2022-06-03 17:04:14 +02:00
Austin Kiekintveld
55a7d18189
Add comment
2022-05-01 19:07:36 -07:00
Austin Kiekintveld
a05df2ea19
Fix formatting
2022-05-01 19:02:28 -07:00
Austin Kiekintveld
df4457e20b
Relax memory ordering used in SameMutexCheck
...
`SameMutexCheck` only requires atomicity for `self.addr`, but does not need ordering of other memory accesses in either the success or failure case. Using `Relaxed`, the code still correctly handles the case when two threads race to store an address.
2022-05-01 16:46:19 -07:00
Aria Beingessner
c7de289e1c
Make the stdlib largely conform to strict provenance.
...
Some things like the unwinders and system APIs are not fully conformant,
this only covers a lot of low-hanging fruit.
2022-03-29 20:18:21 -04:00
Mara Bos
ac6996345d
Move pthread locks to own module.
2022-03-21 15:51:25 +01:00
Linus Färnstrand
828d4ace4d
Migrate standard library away from compare_and_swap
2020-12-22 12:19:46 +01:00
Mara Bos
58deb7001d
Make it possible to have unboxed mutexes on specific platforms.
...
This commit keeps all mutexes boxed on all platforms, but makes it
trivial to remove the box on some platforms later.
2020-10-02 09:47:08 +02:00
Mara Bos
a8c2d4fc3d
Move boxing and mutex checking logic of condvar into sys_common.
2020-10-02 09:47:08 +02:00