对等网络中的对称与同步通信
分布式、并行与集群计算
2008-04-14 v4 计算机科学与博弈论
摘要
受博弈论算法分布式实现的启发，我们研究了对称进程系统以及进程间达成共同知识的问题。通过在通信顺序进程（CSP）的语境下定义对等网络(*)的概念及相应的对称性概念，我们将研究背景形式化，这得益于其同步通信原语在创造共同知识方面的效应。随后我们证明，带有输入和输出守卫的 CSP 使得对称对等网络中的共同知识成为可能，但通常被实现的、禁止在守卫中包含输出语句的受限版本则无法实现。(*) 请注意，我们并非处理诸如文件共享网络等时尚变体，而仅仅是借用该名称来指代一种由直接连接的、被“平等对待”的对等节点组成的网络的数学概念，即不具有客户端 - 服务器结构或其他预定义角色的网络。
引用
@article{arxiv.0710.2284,
title = {Symmetric and Synchronous Communication in Peer-to-Peer Networks},
author = {Andreas Witzel},
journal= {arXiv preprint arXiv:0710.2284},
year = {2008}
}
备注
polished, modernized references; incorporated referee feedback from MPC'08