×
弗拉维奥·科拉迪尼;迪贝拉尔迪尼，玛丽亚·丽塔;沃尔特·福格勒

具有非阻塞读取的进程代数中的时间和公平性。 （英语） Zbl 1206.68213号

尼尔森，莫根斯（编辑）等人，《SOFSEM 2009：计算机科学的理论与实践》。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404193-204（2009）。
摘要：我们介绍了第一个具有非阻塞读取操作的进程代数，用于建模并发异步系统。我们使用Dekker的互斥算法作为应用程序，研究了这种新型操作对系统的公平性、活跃性和定时的影响[F.Corradini，M.R。迪·贝拉迪尼和W.福格勒，“系统计算中操作的公平性”，《信息学报》。43，第2期，73-130（2006年；Zbl 1097.68087号)]. 将一些动作视为读取，该算法在动作公平的假设下已经满足MUTEX活性。我们展示了一个有趣的对应关系，即我们在[F.科拉迪尼和W.福格勒，“使用PAFAS测量异步系统的性能”，Theor。计算。科学。335，第2–3号，187–213（2005年；Zbl 1080.68076号)]在研究流水线性能时。最后，我们之前关于时间和公平之间对应关系的结果[Corradini等人，2006年，loc.cit.]扩展到了扩展语言。
关于整个系列，请参见[Zbl 1154.68020号].

引用于6文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）

引文：

Zbl 1097.68087号;Zbl 1080.68076号
PDF格式BibTeX公司 XML格式引用
\textit｛F.Corradini｝等人，Lect。注释计算。科学。5404193-204（2009年；Zbl 1206.68213）
全文： 内政部 链接

参考文献：

[1] Bouyer，P.，Haddad，S.，Reynier，P.A.：时间Petri网和时间自动机：关于Zeno序列的判别能力。收录：Bugliesi，M.、Preneel，B.、Sassone，V.、Wegener，I.（编辑）ICALP 2006。LNCS，第4052卷，第420-431页。斯普林格，海德堡（2006）·兹比尔1133.68383 ·doi:10.1007/11787006_36
[2] Christensen，S.，Hansen，N.D.：彩色Petri网扩展了位置容量、测试弧和抑制弧。In:Ajmone Marsan，M.（编辑）ICATPN 1993。LNCS，第691卷，第186-205页。斯普林格，海德堡（1993）·doi:10.1007/3-540-56863-847
[3] Corradini，F.，Di Berardini，M.R.，Vogler，W.：在公平的过程代数中检查互斥算法。收录：Baier，C.，Hermanns，H.（编辑）CONCUR 2006。LNCS，第4137卷，第142-157页。斯普林格，海德堡（2006）·Zbl 1151.68522号 ·doi:10.1007/11817949_10
[4] Corradini，F.、Di Berardini，M.R.、Vogler，W.：系统计算中行为的公平性。信息学报43，73–130（2006）·Zbl 1097.68087号 ·doi:10.1007/s00236-006-0011-2
[5] Corradini，F.，Di Berardini，M.R.，Vogler，W.：非阻塞阅读过程代数中的时间和公平。奥格斯堡大学计算机科学研究所2008-2013年技术报告（2008）·Zbl 1206.68213号
[6] Corradini，F.，Vogler，W.：使用PAFAS测量异步系统的性能。理论计算机科学335187-213（2005）·Zbl 1080.68076号 ·doi:10.1016/j.tcs.2004.01.039
[7] Corradini，F.、Vogler，W.、Jenner，L.：比较异步系统与PAFAS的最坏情况效率。《信息学报》38，735–792（2002）·Zbl 1034.68047号 ·doi:10.1007/s00236-002-0094-3
[8] Costa，G.，Stirling，C.：CCS中的弱公平和强公平。信息与计算73，207–244（1987）·兹比尔0618.68026 ·doi:10.1016/0890-5401（87）90013-7
[9] Crazzolara，F.，Winskel，G.：安全协议中的事件。In：程序。第八届ACM计算机和通信安全会议，CCS 2001，第96–105页（2001）·doi:10.145/01983.501998
[10] Milner，R.：沟通与并发。普伦蒂斯·霍尔国际计算机科学国际丛书（1989）
[11] Montanari，U.，Rossi，F.：情境网。信息学学报32445-596（1995）·Zbl 0835.68084号 ·doi:10.1007/BF01178907
[12] Montanari，U.，Rossi，F.：上下文发生网和并发约束编程。发表于：Ehrig，H.，Schneider，H.-J.（编辑）Dagstuhl研讨会1993。LNCS，第776卷，第280-295页。斯普林格，海德堡（1994）·doi:10.1007/3-540-57787-4_18
[13] Raynal，M.：互斥算法。北牛津学院（1986）·Zbl 0662.68002号
[14] Ristori，G.：通过Petri网对共享资源的系统进行建模。比萨大学计算机科学系博士论文（1994年）
[15] Vogler，W.：异步系统的效率，读弧和MUTEX问题。理论计算机科学275（1-2），589–631（2002）·Zbl 1026.68099号 ·doi:10.1016/S0304-3975（01）00300-0
[16] Walker，D.J.：使用CCS的互斥算法自动分析。计算的形式方面1，273–292（1989）·Zbl 0696.68039号 ·doi:10.1007/BF01887209
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。