Questions tagged «dc.distributed-comp»

定义 令并使，和为正整数（）。d - [R 克克> 2 - [R + 1ϵ > 0ϵ>0\epsilon > 0ddd[RrrGggG> 2 r + 1g>2r+1g > 2r+1 令是周长至少为的简单规则，无向，有限图。d gG = （V，E）G=(V,E)G = (V,E)dddGgg 令为的总阶。V≤≤\leVVV 对于每一个，让由在那个距离内的节点的从在（最短路径从到任何具有至多边缘），并让是子图引起的的。回想一下，我们假设有很高的周长；因此是一棵树。令为对的限制。V v ⊆ V - [R v G ^ v Ü ∈ V v [R G ^ v ģ V v ģ ģ …

10 graph-theory  co.combinatorics  dc.distributed-comp 

我是一名专注于分布式系统的研究生，但对理论计算机科学也很感兴趣。我想知道图灵机上是否有分布式系统的正式表示形式？也就是说，是否可以扩展（变型）图灵机的概念以利用分布式计算？ 一种想法是在TM之间制作一个共享磁带（类似于Tuple Space）。

10 turing-machines  dc.distributed-comp 

大卫·罗德里格斯（DavidRodríguez）-dribeas 在StackOverflow的评论中写道：“并非没有锁就可以实现所有集合”。我不确定这是否是正确的，而且我也找不到任何证据。 该语句不是很精确，但是让我尝试以一种更为正式的方式来重新表述：对于每种集合类型C，都有一个无锁集合类型CLF，它提供相同的操作集，并且在CLF上的每个操作都在哪里与上的相应操作具有相同的big-O复杂度C。 顺便说一句，我不希望有一个转变。

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

简化的经典数据库事务可以视为： 阅读M件 根据这些读数执行一些计算 根据这些计算写出N个结果，其中可能包括最初读取的元素。 （同时）执行这些事务时，需要保留ACID属性。 在其他非DBMS并发系统中确实存在相同的要求（基于M个事务读取的N个更新）。 我感兴趣的是找出存在哪些算法来执行/解决这些事务，以及这些算法的相对优势和劣势是什么。你能推荐一些阅读吗？这可能是书籍或在线参考资料/教程。 澄清： 因此，例如，一个幼稚的算法可能是每个事务都获得单个全局锁，实际上是强制执行单个线程并删除并发。稍微复杂一点的算法将是单个项目的读/写锁定，并带有避免死锁的顺序。等等。是否有大量文献记录了解决该问题的各种算法。即使仅指出具有其优点和缺点的单一算法的答案也将是有用的。

10 ds.algorithms  dc.distributed-comp 

您推荐哪些论文来处理分布式系统中的错误？

10 reference-request  dc.distributed-comp 

令是度为有界的不规则连通图。假设每个节点都包含一个唯一的令牌。G=(V,E)G=(V,E)G= (V, E) 我想只使用局部交换（即在两个相邻节点之间交换令牌）在图之间均匀地拖曳令牌吗？是否存在针对此问题的下限？ 我唯一的想法是使用随机游走结果，然后查看需要多少交换来“模拟”图形上代币的随机游走效果。

10 ds.algorithms  random-walks  dc.distributed-comp 

在本文的最终最终线性化共享对象（PO​​DC'10）的介绍中，作者提出了以下声明，但未提供参考： 但是，只有在可以达成共识的情况下，才能实现线性化。 这里，线性化是共享对象的最强的已知一致性属性，这在论文《线性化：并发对象的正确性条件》中提出。 由于以下参数，我对上述声明感到困惑： 在“ 在消息传递系统中稳健地共享内存”（JACM95）一文中，我们知道可以在异步消息传递系统中实现线性化，同时容忍少数进程崩溃： 只要至少大多数处理器没有故障并且保持连接，任何基于原子，单写多读取器寄存器的免等待算法都可以在消息传递系统中自动进行仿真。 另一方面，论文《有一个错误的过程的分布式共识的不可能》（JACM85）证明了即使只有一个过程崩溃，也无法达成共识的结果： 共识问题涉及进程的异步系统，其中某些进程可能不可靠。问题是可靠的过程在二进制值上达成共识。在本文中，表明即使有一个错误的过程，针对该问题的每种协议也都有可能不终止。 因此，我们能否得出以下结论： 共识要强于线性化能力？ 我的论点有什么问题？等价结论是否有直接参考？

9 reference-request  dc.distributed-comp 

编辑：现在有一个与此帖子相关的后续问题。 定义 令和为整数。我们使用符号。ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} 甲矩阵被说成是一个 -到-着色矩阵如果下式成立：c×cc×cc \times cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk 我们对所有有，mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] 对于与和我们都有。i,j,ℓ∈[c]i,j,ℓ∈[c]i,j,\ell \in [c]i≠ji≠ji \ne jj≠ℓj≠ℓj \ne \ellmi,j≠mj,ℓmi,j≠mj,ℓm_{i,j} \ne m_{j,\ell} 如果存在c -to- k着色矩阵，则我们将写入。c⇝kc⇝kc \leadsto kccckkk 请注意，对角线元素无关。我们只对M的非对角线元素感兴趣MMM。 以下替代观点可能会有所帮助。令R(M,ℓ)={mℓ,i:i≠ℓ}R(M,ℓ)={mℓ,i:i≠ℓ}R(M,\ell) = \{ m_{\ell,i} : i \ne \ell \}是\ ell行中非对角元素的集合ℓℓ\ell，类似地，令C(M,ℓ)={mi,ℓ:i≠ℓ}C(M,ℓ)={mi,ℓ:i≠ℓ}C(M,\ell) = \{ m_{i,\ell} : i \ne \ell \}是\ …

9 co.combinatorics  lower-bounds  dc.distributed-comp