Synchronous Message-Passing with Priority
Synchronous Message-Passing with Priority
复制标题
带优先级的同步消息传递
DOI：
10.1007/978-3-030-67438-0_3
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Ziarek, L.
中科院分区：
文献类型：
--
作者：
Chuang, CE.;Iraci, G.;Ziarek, L.
在本文中，我们介绍了一个分层优先级机制的同步消息传递语言支持选择性通信和一流的通信协议。至关重要的是，我们的机制允许高优先级线程与低优先级线程进行通信，提供表达程序的能力，这些程序将被经典的优先级机制拒绝，该机制不允许不同优先级的线程之间的任何（潜在的）阻塞交互。我们提供了一个原型实现我们的分层优先级机制，能够表达并发ML和内置在MLton SML编译器和运行时。我们通过在Swerve Web服务器和eXene窗口工具包中实现安全和可预测的关闭机制来评估我们实现的可行性。我们的实验表明，优先级可以很容易地添加到现有的CML程序，而不会降低性能。我们的系统表现出更温和的工作负载可以忽略不计的开销。
In this paper we introduce a tiered-priority mechanism for a synchronous message-passing language with support for selective communication and first-class communication protocols. Crucially our mechanism allows higher priority threads to communicate with lower priority threads, providing the ability to express programs that would be rejected by classic priority mechanisms that disallow any (potentially) blocking interactions between threads of differing priorities. We provide a prototype implementation of our tiered-priority mechanism capable of expressing Concurrent ML and built in the MLton SML compiler and runtime. We evaluate the viability of our implementation by implementing a safe and predictable shutdown mechanisms in the Swerve webserver and eXene windowing toolkit. Our experiments show that priority can be easily added to existing CML programs without degrading performance. Our system exhibits negligible overheads on more modest workloads.
Scala Actors：统一基于线程和基于事件的编程
DOI：
10.1016/j.tcs.2008.09.019
发表时间：
2009
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Philipp Haller;Martin Odersky
通讯作者：
Martin Odersky