艾曼纽·戈达尔;达米安·伊姆斯;米歇尔·雷纳尔;加迪·陶本费尔德 匿名读/写存储器：领导人选举和非匿名化。 （英语） Zbl 1534.68027号 Censor-Hillel，Keren（编辑）等人，《结构信息和通信复杂性》。第26届国际学术讨论会，2019年7月1日至4日，意大利拉奎拉，SIROCCO 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11639, 246-261 (2019). 摘要：匿名性的研究大多是在进程没有身份的情况下进行的。最近引入了匿名的新概念[G.陶本菲尔德PODC 2017，325–334（2017；兹比尔1380.68069)]也就是说，这个概念认为进程具有不同的身份，但在定义共享内存的读/写寄存器的名称上存在分歧。例如，一个进程命名为\（a\）的寄存器和另一个进程名为\（q\）的共享寄存器可能对应于同一个寄存器\（X\），而相同的名称\（C\）可能对应于\（p\）和\（q \）的不同寄存器。最近，一些作者提出了一种记忆匿名无死锁互斥算法。本文解决了两个不同的问题，即选举和记忆去匿名化。选举包括选举单个流程作为每个流程都知道的领导者。将共享内存视为原子读/写寄存器的数组\（\mathrm{SM}[1..m]\），内存非对称化包括为每个进程\（p_i\）提供一个映射函数\（\mathsf{map}}_i（）\），这样，对于任意两个进程\（p2\）和\（p.j\）以及任意整数\（x\in[1..m]）、\（mathsf{map}_i\)允许他们寻址同一个寄存器。设\（n\）为进程数，\（\alpha\）为正整数。本文提出了（m=alpha-n+beta）寄存器的选择和非对称化算法，其中，（beta）等于（1），（n-1），或属于一个表示为（m（n）的集合（该集合表征了尽管匿名，但可以解决互斥的值）。非对称化算法基于选举算法的使用。本文还表明，由于非对称化，寄存器必须永久保存的永久控制信息的大小可以减少到一个位。关于整个系列，请参见[Zbl 1416.68005号]. 引用于2文件 MSC公司： 64岁以下 分布式系统 68宽15 分布式算法 关键词：匿名寄存器;异步系统;原子读/写寄存器;并行算法;领导人选举;本地存储器;记忆去异名;相互排斥;同步 引文：Zbl 1380.68069号 PDF格式BibTeX公司 XML格式引用 \textit{E.Godard}等人，Lect。注释计算。科学。11639、246--261（2019年；Zbl 1534.68027） 全文： 内政部 哈尔