Brief announcement: virtual stationary automata for mobile networks
Brief announcement: virtual stationary automata for mobile networks
复制标题
简短公告：移动网络虚拟固定自动机
DOI：
10.1145/1073814.1073876
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Tina Nolte
中科院分区：
文献类型：
--
作者：
S. Dolev;Limor Lahiani;Seth Gilbert;N. Lynch;Tina Nolte
为不断变化的网络设计算法的任务是困难的。我们专注于移动的ad-hoc网络，其中移动的处理器试图协调，尽管最小的基础设施的支持。我们开发新的技术来应对这种动态，异构和混乱的环境。我们掩盖了不可预测的行为的移动的网络通过定义和仿真的虚拟基础设施，包括定时感知和位置感知机器在固定位置，移动的节点可以进行交互。静态虚拟基础设施允许应用程序开发人员使用更简单的算法-包括许多以前为固定网络开发的算法。虚拟静止自动机编程层。我们的编程抽象包括一个静态的基础设施的固定，定时的虚拟机与明确的概念，真实的时间，称为虚拟静止自动机（VSA），分布在已知的位置在飞机上，并模拟系统中的真实的移动的节点。每个VSA表示预定的地理区域，并且具有与移动的节点的广播能力类似的广播能力，从而允许附近的VSA和移动的节点彼此通信。该编程层为移动的节点提供虚拟基础设施，以协调它们的动作。许多实用算法显著地依赖于定时，并且假设许多移动的节点可以访问合理同步的时钟是合理的。在VSA编程层中，虚拟自动机还可以访问虚拟时钟，保证不会偏离真实的时间太远。我们的虚拟基础设施不同的关键方式，从其他人以前提出的移动的ad-hoc网络。GeoQuorums算法[2]是第一个使用虚拟节点的算法;该算法中的虚拟节点是固定地理位置的原子对象。更一般的虚拟移动的自动机建议在[1]中，我们的自动机是更强大的比那些在[1]中，我们包括定时功能，这是很重要的许多应用。此外，我们的自动机是固定的，并安排在一个连接的模式，这是类似于传统的有线网络，
The task of designing algorithms for constantly changing networks is difficult. We focus on mobile ad-hoc networks, where mobile processors attempt to coordinate despite minimal infrastructure support. We develop new techniques to cope with this dynamic, heterogeneous, and chaotic environment. We mask the unpredictable behavior of mobile networks by defining and emulating a virtual infrastructure, consisting of timing-aware and location-aware machines at fixed locations, that mobile nodes can interact with. The static virtual infrastructure allows appplication developers to use simpler algorithms — including many previously developed for fixed networks. Virtual Stationary Automata programming layer. Our programming abstraction consists of a static infrastructure of fixed, timed virtual machines with an explicit notion of real time, called Virtual Stationary Automata (VSAs), distributed at known locations over the plane, and emulated by the real mobile nodes in the system. Each VSA represents a predetermined geographic area and has broadcast capabilities similar to those of the mobile nodes, allowing nearby VSAs and mobile nodes to communicate with one another. This programming layer provides mobile nodes with a virtual infrastructure with which to coordinate their actions. Many practical algorithms depend significantly on timing, and it is reasonable to assume that many mobile nodes have access to reasonably synchronized clocks. In the VSA programming layer, the virtual automata also have access to virtual clocks, guaranteed to not drift too far from real time. Our virtual infrastructure differs in key ways from others that have previously been proposed for mobile ad-hoc networks. The GeoQuorums algorithm [2] was the first to use virtual nodes; the virtual nodes in that work are atomic objects at fixed geographical locations. More general virtual mobile automata were suggested in [1]; our automata are more powerful than those in [1] in that ours include timing capabilities, which are important for many applications. Also, our automata are stationary, and are arranged in a connected pattern that is similar to a traditional wired ne-