响应式并行性与同步
摘要：使用静态和动态技术结合的方法来防止使用互斥锁和条件变量的代码中的优先级倒置。一个类型系统确保条件变量的安全使用，即使动态技术在运行时改变线程优先级以消除使用互斥锁的优先级倒置。我们使用基于并行程序成本模型的优先级倒置模型来证明我们系统的正确性。为了证明类型系统的实用性，我们将其编码到Rust和C++的类型系统中，并通过编写大规模的案例研究来展示这些限制不会过于繁重，包括将Memcached对象服务器移植到我们的C++实现中。
作者：Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
论文ID：2304.03753
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-10