×
沃尔特·福格勒

异步系统的效率、读弧和MUTEX问题。 （英语） Zbl 1026.68099号

西奥。计算。科学。 275，第1-2号，589-631（2002）.
摘要：比较了MUTEX问题的两种解决方案的时间效率。为此，以前开发的异步系统效率测试适用于具有所谓读弧的Petri网。此外，还提出了公平行为的组合语义（在进展假设的意义上）。一方面，这种语义与效率测试有关。另一方面，它用于正式指定MUTEX问题的解决方案。结果表明，我们的解决方案之一确实满足此规范，而没有读弧的普通网络无法解决MUTEX难题。

引用于12文件

MSC公司：

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

关键词：

并发系统;测试;性能;公平;相互排斥
PDF格式BibTeX公司 XML格式引用
\textit{W.福格勒}，Theor。计算。科学。275，编号1--2，589--631（2002；Zbl 1026.68099）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Dill，D.，时间自动机理论，定理。计算。科学。，126, 183-235 (1994) ·兹比尔0803.68071
[2] Arun-Kumar，S。；Hennessy，M.，《流程的效率预购》，《信息学报》。，29, 737-760 (1992) ·Zbl 0790.68039号
[3] 北布西。；Pinna，M.，《上下文P/T网的非顺序语义》，（Billington，J.；Reisig，W.，《Petri网的应用和理论》，1996年。Petri网的应用和理论，1996年，计算机科学讲义，第1091卷（1996），施普林格：施普林格柏林），113-132·Zbl 1418.68136号
[4] Corradini，F。；Gorrieri，R。；Roccetti，M.，《速度方面的性能预排序过程》（Wiedermann，J.；Hajek，P.，MFCS’95）。MFCS’95，计算机科学讲义，第969卷（1995），施普林格：施普林格柏林），444-453·Zbl 1193.68173号
[5] Christensen，S。；Hansen，N.D.，《用位置容量、测试弧和抑制弧扩展的有色Petri网》（Ajmone-Marsan，M.，《Petri网的应用和理论》，1993年）。Petri网的应用和理论1993，计算机科学讲义，第691卷（1993），施普林格：施普林格柏林），186-205
[6] R.Cleaveland，A.Zwarico，《实时测试理论》，摘自Proc。第六交响曲。《计算机科学中的逻辑》，IEEE计算机学会出版社，马里兰州银泉出版社，1991年，第110-119页。；R.Cleaveland，A.Zwarico，《实时测试理论》，摘自Proc。第六交响曲。《计算机科学中的逻辑》，IEEE计算机社会出版社，马里兰州银泉出版社，1991年，第110-119页。
[7] Degano，P。；Loddo，J.-V。；Priami，C.，《带本地时钟的移动进程》，（LOMAPS多代理语言分析和验证研讨会，计算机科学讲稿，第1192卷（1996），Springer:Springer Berlin），296-319
[8] 德尼古拉，R。；Hennessy，M.C.B.，《过程等效性测试》，Theoret。计算。科学。，34, 83-133 (1984) ·Zbl 0985.68518号
[9] Dijkstra，E.W.，《不变性和不确定性》，（Hoare，C.A.R.；Sheperdson，J.C.，《数学逻辑和编程语言》（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西），157-165·Zbl 0544.68011号
[10] Francez，N.，《公平》（1986），《施普林格：柏林施普林格》·Zbl 0602.68007号
[11] R.Gold，Verklemummungsfreiheit bei modularer Konstruktion fairer Petrinetze，Diplorabeit，慕尼黑理工大学，1988年。；R.Gold，Verklemummungsfreiheit bei modularer Konstruktion fairer Petrinetze，慕尼黑理工大学文凭，1988年。
[12] 轩尼诗，M。；Regan，T.，《定时系统的进程代数》，Inform。和计算。，117, 221-239 (1995) ·Zbl 0826.68068号
[13] Janicki，R。；Koutny，M.，《抑制剂网络的语义》，Inform。和计算。，123, 1-16 (1995) ·兹比尔1096.68678
[14] 詹纳，L。；Vogler，W.，《密集时间内的快速异步系统》，Theor。公司。科学。，254, 379-422 (2001) ·Zbl 0974.68128号
[15] Kindler，E。；Walter，R.，Message passing mutex，（Desel，J.，并发理论中的结构，计算研讨会（1995），Springer:Springer Berlin），205-219
[16] Kindler，E。；Walter，R.，Mutex需要公平，Inform。过程。莱特。，62, 31-39 (1997) ·Zbl 1336.68182号
[17] Lamport，L.，《互斥问题第二部分——陈述和解决方案》，J.Assoc.Compute。机械。，33, 327-348 (1986) ·Zbl 0627.68018号
[18] Lynch，N.，《分布式算法》（1996），Morgan Kaufmann出版社：Morgan Koufmann-Publishers San Francisco·Zbl 0877.68061号
[19] 林奇，N。；Vaandrager，F.，前向和后向仿真IUntimed系统，Inform。和计算。，121214-233（1995年）·Zbl 0834.68123号
[20] 莫勒，F。；Tofts，C.，《速度相关过程》（Baeten，J.；Groote，J.，CONCUR’91）。CONCUR’91，《计算机科学讲义》，第527卷（1991），施普林格：施普林格柏林），424-438
[21] 蒙塔纳里，美国。；罗西，F.，《情境网》，《信息学报》。，32, 545-596 (1995) ·Zbl 0835.68084号
[22] V.Natarajan，R.Cleaveland，《过程效率的代数理论》，第11卷，交响乐团。《计算机科学中的逻辑》（LICS’96），IEEE，1996年，第63-72页。；V.Natarajan，R.Cleaveland，《过程效率的代数理论》，第11卷，交响乐团。《计算机科学中的逻辑》（LICS’96），IEEE，1996年，第63-72页。
[23] Peterson，J.L.，《Petri网理论》（1981年），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯》，新泽西州·Zbl 0461.68059号
[24] G.Peterson，M.Fischer，分布式系统中关键部分问题的经济解决方案，第九届ACM Symp。计算理论，1977，91-97。；G.Peterson，M.Fischer，分布式系统中关键部分问题的经济解决方案，第九届ACM Symp。计算理论，1977，91-97。
[25] 菲利普斯，I.，拒绝测试，理论。计算。科学。，50, 241-284 (1987) ·Zbl 0626.68011号
[26] Popova，L.，《准时Petri网》，J.Inform。过程。网络。艾克，27227-244（1991）·Zbl 0731.68082号
[27] Raynal，M.，《互斥算法》（1986），伦敦北牛津学院·Zbl 0662.68002号
[28] Reisig，W.，《类CSP语言的部分顺序语义与交错语义及其对公平性的影响》，（Paredaens，J.，《自动化》，《语言与编程》，《自动化，语言与编程，计算机科学讲义》，第172卷（1984），斯普林格：斯普林格-柏林），403-413·Zbl 0597.68019号
[29] Reisig，W.，Petri Nets，EATCS理论计算机科学专著4（1985），Springer:Springer Berlin·Zbl 0555.68033号
[30] Richter，G.，关于副作用和抑制弧的注释，Petri Net Newslett。，21, 29-37 (1985)
[31] W.Thomas，《关于无限物体的自动机》，载：Jan.van Leeuwen（编辑），《理论计算机科学手册》，第4章，爱思唯尔，阿姆斯特丹，1990年。；W.托马斯（W.Thomas），《无限对象上的自动机》（Automata on finite objects），载于：Jane van Leeuwen（Ed.），《理论计算机科学手册》，第4章，爱思唯尔，阿姆斯特丹，1990年·Zbl 0900.68316号
[32] Vogler，W.，《Petri网的模块构造和偏序语义》。Petri网的模块化构造和部分顺序语义，计算机科学讲义，第625卷（1992），Springer:Springer-Berlin·Zbl 1293.68015号
[33] 福格勒，W.，《公平与偏序语义学》，《信息》。过程。莱特。，55, 33-39 (1995) ·Zbl 0875.68622号
[34] Vogler，W.，《并发系统的定时测试》，Inform。和计算。，121, 149-171 (1995) ·Zbl 0833.68048号
[35] W.Vogler，《更快的异步系统》，收录于：I.Lee，S.Smolka（编辑），CONCUR 95，《计算机科学讲义》，第962卷，Springer，柏林，1995年，第299-312页，完整版，报告编号317，Inst.f.Mathematik，Univ.Augsburg，1995年。；W.Vogler，《更快的异步系统》，收录于：I.Lee，S.Smolka（编辑），CONCUR 95，《计算机科学讲义》，第962卷，Springer，柏林，1995年，第299-312页，完整版，报告编号317，Inst.f.Mathematik，Univ.Augsburg，1995年。
[36] W.Vogler，部分顺序语义和读弧，《1997-1年技术报告》，Informatik研究所，奥格斯堡大学，1997年；参见http://www.math.uni-augsburg.de/\(∼\); W.Vogler，部分顺序语义和读弧，《1997-1年技术报告》，Informatik研究所，奥格斯堡大学，1997年；参见http://www.math.uni-augsburg.de/\(∼\)
[37] Walker，D.，使用CCS自动分析互斥算法，形式方面计算。，1, 273-292 (1989) ·Zbl 0696.68039号
[38] R.Walter，Petrinetzmodelle verteilter Algorithmen，Versal版，第2卷，Bertz Verlag，柏林，1995年。；R.Walter，Petrinetzmodelle verteilter Algorithmen，Versal版本，第2卷，Bertz Verlag，柏林，1995年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。