Desynchronizing Synchronous Programs by Modes
Desynchronizing Synchronous Programs by Modes
复制标题
按模式取消同步程序
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
K. Schneider
中科院分区：
文献类型：
--
作者：
J. Brandt;Mike Gemünde;K. Schneider
同步编程范式简化了反应式系统的规范和验证。然而，同步程序必须经常在不遵循这种计算模型的架构上实现（如分布式系统或片上系统）。这就产生了去同步化技术，它将同步程序映射到一个没有全局时间的平台上，同时保持原始的同步语义。我们的方法是基于分区的系统，并得出合适的计算模式，分区。这些计算模式通过消除暂时不必要和不期望的计算和通信来动态地解耦系统的组件。我们提出了几个变化的一般概念，并讨论他们的优点和缺点。最后，我们说明了我们的方法的帮助下，几个小例子。
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures that do not follow this model of computation (like distributed systems or systems-on-a-chip). This gives rise to desynchronization techniques, which map the synchronous program to a platform without global time while preserving the original synchronous semantics.In this paper, we present a new approach to desynchronize synchronous programs. Our approach is based on partitioning the system and deriving suited computation modes for that partitioning. These computation modes dynamically decouple the components of a system by eliminating temporarily unnecessary and undesired computations and communications. We present several variations of the general concept and discuss their pros and cons. Finally, we illustrate our approach with the help of several small examples.