Migrating protocols in multi-threaded message-passing systems
Migrating protocols in multi-threaded message-passing systems
复制标题
多线程消息传递系统中的迁移协议
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
J. Rathke
中科院分区：
文献类型：
--
作者：
Austin Anderson;J. Rathke
动态软件更新是一种技术，通过该技术，运行的程序可以在不中断其执行的情况下使用新代码和数据进行更新。我们常常希望在更新边界上保留程序的属性。对于单线程程序，跨更新边界保留简单类型已经得到了很好的研究。我们可能希望保留其他更高级别的属性，特别是对于多线程程序。会话类型用于保证一组并行线程根据给定的协议进行通信。因此，我们研究保持正确的通信行为的一组并行线程正确地跨越更新边界，改变运行协议。我们提出了一个程序更新多个线程干净迁移系统从一个协议到另一个。
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properties of programs across update boundaries. Preserving simple typing across update boundaries for single-threaded programs is well studied. There are other higher-level properties we may wish to preserve, particularly for multi-threaded programs. Session typing is used to guarantee that a set of parallel threads communicate according to a given protocol. Hence we investigate preserving correct communications behaviour of a set of parallel threads correctly across update boundaries which change the running protocol. We present a procedure for updating multiple threads to cleanly migrate a system from one protocol to another.