-
Philippe Gerum authored
This is a general fix for synchronization issues observed while deleting threads still in the process of running their trampoline code. At this chance, multiple locking weaknesses were fixed all over the map, thanks to a new builtin runtime check introduced in the framework (see copperplate/lock.h, _nocancel updates).
462b812d