×
伊万娜·菲利波维奇;彼得·奥赫恩;诺姆·里内茨基;杨红seok

并发对象的抽象。 （英语） Zbl 1209.68156号

西奥。计算。科学。 411，编号51-52，4379-4398（2010）.
概要：并发数据结构通常设计为满足正确性条件，如序列一致性或线性化能力。在本文中，我们考虑以下基本问题：这些条件为客户端程序提供了什么保证？我们正式表明，这些条件可以通过观测精细化来表征。我们的研究还从抽象客户端程序计算步骤之间的依赖关系的角度，对序列一致性和线性化能力提供了新的理解。

引用于27文件

MSC公司：

68第05页 数据结构
68N99型 软件理论

关键词：

线性化能力;顺序一致性;观察等价;观测精细化
PDF格式BibTeX公司 XML格式引用
\textit｛I.Filipović｝等人，Theor。计算。科学。411、编号51-52、4379-4398（2010；Zbl 1209.68156）
全文： 内政部

参考文献：

[1] 阿费克，Y。；布朗，G。；Merritt，M.，《惰性缓存》，ACM Trans。程序。语言系统。，15, 1, 182-205 (1993)
[2] A.Banerjee，D.A.Naumann，《表示独立、限制和访问控制》，载于：ACM编程语言原则研讨会，2002年，第166-177页。；A.Banerjee，D.A.Naumann，《表示独立、限制和访问控制》，载于：ACM编程语言原则研讨会，2002年，第166-177页·兹比尔1323.68352
[3] 伯恩斯坦，P.A。；哈齐拉科斯，V。；Goodman，N.，《数据库系统中的并发控制和恢复》（1987），Addison-Wesley
[4] Brookes，S.，《具有共享可变数据的并行程序的无颗粒语义》，Electron。注释Theor。计算。科学。，155, 277-307 (2006) ·Zbl 1273.68203号
[5] S.D.Brookes，《并发分离逻辑的语义》，载《并发理论国际会议》，2004年，第16-34页。；S.D.Brookes，《并发分离逻辑的语义》，载《并发理论国际会议》，2004年，第16-34页·Zbl 1099.68650号
[6] P.Cousot，R.Cousot，《抽象解释：通过构造或逼近不动点对程序进行静态分析的统一格模型》，载于：美国计算机学会编程语言原理研讨会，1977年，第238-252页。；P.Cousot，R.Coosot，《抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型》，载于：ACM编程语言原理研讨会，1977年，第238-252页。
[7] I.Filipović，P.O'Hearn，N.Rinetzky，H.Yang，并发对象抽象，摘自：2009年欧洲编程研讨会，第252-266页。；I.Filipović，P.O'Hearn，N.Rinetzky，H.Yang，并发对象抽象，摘自：2009年欧洲编程研讨会，第252-266页·Zbl 1234.68065号
[8] N.D.Francesco，U.Montanari，G.Ristori，通过Petri网对共享数据的并发访问建模，in：编程概念、方法和计算，1994年，第403-422页。；N.D.Francesco，U.Montanari，G.Ristori，《通过Petri网对共享数据进行并发访问建模》，载于《编程概念、方法和计算》，1994年，第403-422页。
[9] Graf，S.，通过抽象描述顺序一致内存的特征和验证缓存，Distrib.Comput。，12, 2-3, 75-90 (1999) ·Zbl 1448.68103号
[10] J.He，C.A.R.Hoare，J.W.Sanders，《数据精化》，载于：欧洲编程研讨会，1986年，第187-196页。；J.He，C.A.R.Hoare，J.W.Sanders，《数据精炼》，摘自：《欧洲编程研讨会》，1986年，第187-196页·Zbl 0587.68018号
[11] Herlihy，M。；Shavit，N.，《多处理器编程的艺术》（2008），Morgan Kaufmann
[12] Herlihy，M。；Wing，J.M.，线性化：并发对象的正确性条件，ACM Trans。程序。语言系统。，12, 3, 463-492 (1990)
[13] Hoare，C.A.R.，《数据表示正确性的证明》，《信息学报》，1271-281（1972）·Zbl 0244.68009号
[14] 霍尔，C.A.R。；He，J。；Sanders，J.W.，《数据精炼中的预规范》，Inform。过程。莱特。，25, 2, 71-76 (1987) ·兹比尔062468027
[15] 杰弗里，A。；Rathke，J.，《完全抽象可以测试并发对象的语义》，Theoret。计算。科学。，338, 1-3, 17-63 (2005) ·Zbl 1078.68107号
[16] Jonsson，B。；普努利，A。；Rump，C.，使用转导证明精细化，分布计算。，12, 2-3, 129-149 (1999) ·Zbl 1448.68118号
[17] Lamport，L.，《如何制作正确执行多进程程序的多处理器计算机》，IEEE Trans。计算。，28, 9, 690-691 (1979) ·Zbl 0419.68045号
[18] A.W.Mazurkiewicz，《痕迹、历史、图：过程幺半群的实例》，载于：1984年计算机科学数学基础国际研讨会，第115-133页。；A.W.Mazurkiewicz，《痕迹、历史、图形：过程幺半群的实例》，载于：计算机科学数学基础国际研讨会，1984年，第115-133页·Zbl 0577.68061号
[19] J.米切尔。；Plotkin，G.，抽象类型有存在类型，ACM Trans。程序。语言系统。，10, 3, 470-502 (1988)
[20] Papadimitriou，C.H.，并发数据库更新的可序列化性，J.ACM，26，4，631-653（1979）·Zbl 0419.68036号
[21] Plotkin，G.，LCF被认为是一种编程语言，Theoret。计算。科学。，5, 223-255 (1977) ·Zbl 0369.68006号
[22] G.Plotkin，M.Abadi，《参数多态性的逻辑》，载《类型化Lambda演算与应用国际会议》，1993年，第361-375页。；G.Plotkin，M.Abadi，参数多态性的逻辑，载于：国际类型Lambda微积分和应用会议，1993年，第361-375页·Zbl 0788.68091号
[23] V.Pratt，并行过程的pomset模型：统一时间和空间，载于：并发研讨会，1984年，第180-196页。；V.Pratt，并行过程的pomset模型：统一时间和空间，载于：并发研讨会，1984年，第180-196页·兹伯利0589.68025
[24] Reynolds，J.C.，《类型、抽象和参数多态性》（Mason，R.E.A.，《信息处理》，83年（1983年），北荷兰：北荷兰阿姆斯特丹），513-523
[25] J.C.Reynolds，走向共享变量并发的无颗粒语义，摘自：软件技术和理论计算机科学基础，2004年，第35-48页。；J.C.Reynolds，走向共享变量并发的无颗粒语义，摘自：软件技术和理论计算机科学基础，2004年，第35-48页·Zbl 1117.68449号
[26] G.Ristori，通过Petri网对共享资源的系统建模，博士论文，比萨大学信息学院，1994年。；G.Ristori，通过Petri网对共享资源的系统建模，博士论文，比萨大学信息学院，1994年。
[27] 斯坦克，R.C。；Nutt，G.J.，共享内存一致性的统一理论，J.ACM，51，5，800-849（2004）·兹比尔1204.68136
[28] 威库姆，G。；Vossen，G.，《事务信息系统：并发控制的理论、算法和实践》（2001），摩根·考夫曼
[29] Winskel，G。；Nielsen，M.，并发模型，（计算机科学逻辑手册（1995），牛津大学出版社），1-148·Zbl 0876.68001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。