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

该论文关注 CPython 移除全局解释器锁（GIL，即 free-threaded 构建）后带来的新安全问题：原生 C 扩展代码原本不必面对 C 语言类型之外的并发语义，如今却会在「获取」与「使用」之间遭遇对象的并发撤销。作者指出，一个原

历史摘要 · 未重新核验 · arXiv cs.CR