詹姆斯·安德森。 复合寄存器。 （英语） Zbl 0781.68042号 分布计算。 6，第3期，141-154（1993）. 我们引入了一个共享数据对象，称为复合寄存器，它概括了原子寄存器的概念。复合寄存器是一个类似数组的共享数据对象，它被划分为多个组件。复合寄存器的操作要么将值写入单个组件，要么读取所有组件的值。当只有一个组件时，复合寄存器减少为普通的原子寄存器。我们展示了多读取器、单写入器原子寄存器可以用于实现复合寄存器，其中每个组件只有一个写入器。在一篇相关的文章中，我们展示了如何使用本文的复合寄存器结构来实现每个组件具有多个写入程序的复合寄存器。这两种结构表明，可以实现一个共享内存，该内存可以在单个快照操作中完全读取，而无需使用相互隔离。审核人：詹姆斯·安德森 引用于16文件 MSC公司： 第68页第25页 操作系统理论 68问题55 计算理论中的语义学 第68季度10 计算模式（非确定性、并行、交互式、概率性等） 关键词：并发；交错语义；线性化能力；共享变量；复合寄存器；原子寄存器；快照 软件：联合 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Anderson}，分布式计算。6，第3号，141--154（1993；Zbl 0781.68042） 全文： 内政部 参考文献： [1] Afek Y、Attiya H、Dolev D、Gafni E、Merritt M、Shavit N：共享内存的原子快照。《第九交响乐团原理汇编》第1-14卷（1990年）·Zbl 0783.68029号 [2] Anderson J：复合寄存器。Proc Ninth Ann Sympi Principal Distribute Compute，第15–30页（1990年） [3] Anderson J：多写入复合寄存器。技术报告，计算机科学系，马里兰大学帕克分校，1991年。1989年德克萨斯大学奥斯汀分校计算机科学系技术报告TR.89.26提供了初步版本 [4] Anderson J，Gouda M：耐心的优点：有等待和无等待的并发编程。技术报告TR.90.23，德克萨斯大学奥斯汀分校计算机科学系，1990年 [5] 安德森J，古达M：原子性的标准。形式Asp计算：国际形式方法杂志4（3）：273–298（1992）·Zbl 0746.68057号 ·doi:10.1007/BF01212305 [6] Anderson J，Grošelj B：伪读-修改-写操作：有界无等待实现。程序。第五届国际研讨会Distrib Alg。Lect Notes Compute Sci第579卷Springer，柏林-海德堡，纽约，1991年，第52–70页，1991年。（将出现在Sci Compute程序中的扩展版本） [7] Aspnes J，Herlihy M：异步PRAM模型中的无等待数据结构。Proc Second Ann ACM Symp Parallel Archit Alg（1990年7月） [8] Awerbuch B，Kirousis L，Kranakis E，Vitanyi P：关于证明寄存器原子性。报告CS-R8707，数学和计算机科学中心，阿姆斯特丹，1987年。更短的版本名为：寄存器原子性的证明技术，出现在：Proc Eighth Conf Found Softw Techn Theor Comput Sci。Lect Notes Compute Sci第338卷Springer，柏林-海德堡，纽约，1988年，第286–303页 [9] Bloom B：构造两个写入程序原子寄存器。IEEE Trans Compute 37（12）：1506–1514（1988）·Zbl 0663.68034号 ·doi:10.1109/12.9729 [10] Burns J，Peterson G：从非原子值构建多阅读器原子值。Prox Sixth Ann Sympi Principal Distribute Comput 222-231（1987年） [11] Chandy K，Misra J：并行程序设计：基础，Addison-Wesley 1988·Zbl 0717.68034号 [12] Chor B、Israel A、Li M：使用异步硬件进行处理器协调。普林西比第六交响乐团普林西比发行计算86–97（1987） [13] Courtois P，Heymans F，Parnas D：与读者和作家的并发控制。通用ACM 14（10）：第667–668页（1971）·数字对象标识代码：10.1145/362759.362813 [14] Herlihy M：无等待同步。ACM Trans Program Lang Syst 13（1）：124–149（1991）·Zbl 1314.68380号 ·数字对象标识代码：10.1145/114005.102808 [15] Herlihy M，Wing J：线性化：并发对象的正确条件。ACM Trans程序语言系统12（3）：463–492 [16] 以色列A，Li M：有限的时间戳。第28期IEEE Symp-Found Comput Sci 371–382（1987） [17] Kirousis L、Kranakis E、Vitanyi P：原子多读寄存器。Proc Second Int Workshop Distribute Compute，Lect Notes Compute Sci第312卷。施普林格，柏林-海德堡-纽约，第278-296页（1987） [18] 兰波特L：同时阅读和写作。美国通信协会20（11）：806–811（1977）·Zbl 0361.68091号 ·数字对象标识代码：10.1145/359863.359878 [19] Lamport L：关于进程间通信，第一部分和第二部分。分布计算1:77–101（1986）·Zbl 0598.68022号 ·doi:10.1007/BF01786227 [20] Li M，Tromp J，Vitanyi P：如何构造无等待变量。Proc Int Colloq Autom Lang程序。Lect Notes Compute Sci第372卷（1989年）。Springer，Berlin Heidelberg New York 1989，第488–505页 [21] Loui M，Abu-Amara H：不可靠异步进程之间协议的内存要求。高级计算研究。日本工业协会出版社1987年，第163-183页 [22] Misra J：异步硬件系统中内存访问的公理。ACM Trans Program Lang Syst 8（1）：142–153（1986）·兹比尔0593.68017 ·doi:10.1145/5001.5007 [23] Newman-Wolfe R：一种无等待、原子化、多阅读器共享变量的协议。Proc Sixth Ann Sympi Principal Distribute Comput 232–248（1987年） [24] 彼得森G：边读边写。ACM Trans Program Lang Syst，5:46–55（1983年）·Zbl 0498.68010号 ·doi:10.1145/357195.357198 [25] 彼得森·G，伯恩斯·J：写作中的同时阅读II：多作者案例。《计算机科学期刊》第28卷，第383–392页（1987年） [26] 辛格·A、安德森·J、古达·M：重温了难以捉摸的原子寄存器。Proc Sixth Ann Sympi Principal Distribute Compute 206-221（1987）·Zbl 0806.68025号 [27] Tromp J：如何构造原子变量。Proc Third Int Workshop Distribute Alg，Lect Notes Compute Sci第392卷。施普林格出版社：柏林-海德堡，纽约，1989年，第292-302页 [28] Vitanyi P，Awerbuch B：异步硬件对原子共享寄存器的访问。第27届IEEE Symp-Found Comput Sci会议记录，233–243 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。