A graded monad for deadlock-free concurrency (functional pearl)
A graded monad for deadlock-free concurrency (functional pearl)
复制标题
用于无死锁并发的分级 monad（功能性珍珠）
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
A. Mycroft
中科院分区：
文献类型：
--
作者：
Andrej Ivaskovic;A. Mycroft
我们提出了一种新的面向类型的框架，用于编写 Haskell 类型系统保证无死锁的共享内存多线程程序。该实现将所有并发计算包装在分级 monad 内，并假设在锁之间定义了总顺序。此类计算类型中的等级指定它获取和释放哪些锁。该信息来自代数，确保原则上可以在多项式时间内推断出类型。
We present a new type-oriented framework for writing shared memory multithreaded programs that the Haskell type system guarantees are deadlock-free. The implementation wraps all concurrent computation inside a graded monad and assumes a total order is defined between locks. The grades within the type of such a computation specify which locks it acquires and releases. This information is drawn from an algebra that ensures that types can, in principle, be inferred in polynomial time.
Haskell 中依赖类型的规范
影响因子：
--
作者：
Weirich, Stephanie;Voizard, Antoine;de Amorim, Pedro Henrique;Eisenberg, Richard A.
通讯作者：
Eisenberg, Richard A.