Hadley Westover

CONCURDEP: Event-Guided Analysis of Dependency Invalidation in CPython Concurrency

Removing CPython's Global Interpreter Lock (GIL) exposes native code to concurrency absent from ordinary C types. Mutation or re-entry can revoke a borrowed object, storage pointer, traversal state, or lease between acquisition and use while its owner remains alive, causing native memory errors and runtime-state corrup...