Questions tagged «concurrency»

1
分布式系统中是否存在一些规范问题？
上周，我再次阅读了莱斯利（Leslie）的兰莫特（Lamport）于1982年撰写的一次会议的摘要，该会议他发表了有关并发问题的解决，未解决的问题和非问题的讨论。该论文易于阅读，但让我思考的一件事是以下主张： 是否可以将任何问题视为互斥问题或生产者－消费者问题，或两者兼而有之？ 我想知道分布式系统案例是否已经回答了这个问题。 是否存在一组规范的分布式系统问题，可以从中解决所有可能的分布式系统问题？这是什么规范清单？ 如果没有规范列表，那么当前的问题列表是什么，存在哪些减少措施？ 例如，我很天真地说，领导人选举和互斥问题可以简化为共识问题。我还要说，分布式快照可以减少为分布式时钟。是对还是错？ 如果可能的话，我希望答案能为支持其主张的已发表论文提供参考：）
1
与信号量相比，什么是“伪时间”
我目前正在听艾伦·凯斯（Alan Kays）的演讲：“它真的很复杂，还是我们只是使其变得复杂了？” （https://www.youtube.com/watch?v=ubaX1Smg6pY&=），他说“信号量是个坏主意，有些叫伪时间的东西比较好”（链接视频的时间为51:40）。也许我误解了“伪时间”一词，但您对这些一无所知吗？
2
为什么线性化是安全属性，为什么安全属性是封闭集？
在南希·林奇（Nancy Lynch）的《分布式算法》（Distributed Algorithms）一书的第13章“原子对象”中，线性化（也称为原子性）被证明是安全性。也就是说，其相应的跟踪属性是非空的，前缀关闭的和限制关闭的，如第8.5.3节中所定义。非正式地，安全特性通常被解释为说某些特定的“坏”事情永远不会发生。 基于此，我的第一个问题如下： 线性化作为安全属性有哪些优势？文献中是否有基于此事实的结果？ 在研究安全性和活动性的分类时，众所周知，安全性可以被描述为适当拓扑中的封闭集。在Amir Pnueli等人在1993年发表的论文《安全-进展分类》中。，采用度量拓扑。更具体地说，属性是字母一组（有限或无限）单词。属性由所有无限字，使得所有的前缀属于。例如，如果，则ΦΦ\Phi甲（Φ ）σΣΣ\SigmaA(Φ)A(Φ)A(\Phi)σσ\sigmaΦ Φ = 一个+ b *阿（Φ ）= 一σσ\sigmaΦΦ\PhiΦ=a+b∗Φ=a+b∗\Phi = a^{+}b^{\ast}A(Φ)=aω+a+bωA(Φ)=aω+a+bωA(\Phi) = a^{\omega} + a^{+}b^{\omega}。如果的某些最终特性则将最终特性定义为安全特性。度量无限字之间和被定义为0，如果它们是相同的，并且否则，在那里是他们同意的最长公共前缀的长度。使用此度量，可以将安全特性表征为拓扑上的封闭集。ΠΠ\PiΦ d （σ ，σ '）σ σ ' d （σ ，σ '）= 2 - Ĵ ĴΠ=A(Φ)Π=A(Φ)\Pi = A(\Phi)ΦΦ\Phid(σ,σ′)d(σ,σ′)d(\sigma, \sigma')σσ\sigmaσ′σ′\sigma'd(σ,σ′)=2−jd(σ,σ′)=2−jd(\sigma, \sigma') = 2^{-j}jjj 这是我的第二个问题： 如何在拓扑上将线性化描述为封闭集？特别是，基础集是什么，拓扑是什么？
1
实用的多字比较和交换操作
在标题与此问题的标题相同的论文中，作者描述了如何仅使用单个单词CAS 来构建无阻塞 线性化 多单词CAS运算。他们首先介绍了双比较单交换操作RDCSS，如下所示： word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); } while (IsDescriptor(r)); if (r == d->o2) Complete(d); // !! return r; } void Complete(RDCSSDescriptor_t *d) { v = *(d->a1); if (v == d->o1) CAS1(d->a2, d, d->n2); else CAS1(d->a2, d, d->o2); } …
2
限制无锁集合吗？
大卫·罗德里格斯（DavidRodríguez）-dribeas 在StackOverflow的评论中写道：“并非没有锁就可以实现所有集合”。我不确定这是否是正确的，而且我也找不到任何证据。 该语句不是很精确，但是让我尝试以一种更为正式的方式来重新表述：对于每种集合类型C，都有一个无锁集合类型CLF，它提供相同的操作集，并且在CLF上的每个操作都在哪里与上的相应操作具有相同的big-O复杂度C。 顺便说一句，我不希望有一个转变。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.