设计具有预定义全局动态的运行时间环境
Designing Run-Time Environments to Have Predefined Global Dynamics
摘要：
计算机网络算法性能的稳定性和可预测性与网络软件的主要功能目的一样重要。然而，从协议的有限状态机实现中断言或导出这些属性是很困难的，除了像TCP这样的特殊情况外，目前还没有这样做。在本文中，我们建议设计和研究运行时间环境的网络协议，固有地执行理想的，可预测的全球动态。为此，我们合并两个互补的设计方法：（一）设计时和自自底向上的的方法，使我们能够工程算法的基础上分析（反应）流模型。(ii)一个运行时间和自上而下的方法，基于一个自主的堆栈组合框架，实现方案之间的切换，以找到最佳的操作配置。我们证明了我们的自我优化系统在模拟和现实世界的互联网设置的可行性。
英文摘要：
The stability and the predictability of a computer network algorithm's performance are as important as the main functional purpose of networking software. However, asserting or deriving such properties from the finite state machine implementations of protocols is hard and, except for singular cases like TCP, is not done today. In this paper, we propose to design and study run-time environments for networking protocols which inherently enforce desirable, predictable global dynamics. To this end we merge two complementary design approaches: (i) A design-time and bottom up approach that enables us to engineer algorithms based on an analyzable (reaction) flow model. (ii) A run-time and top-down approach based on an autonomous stack composition framework, which switches among implementation alternatives to find optimal operation configurations. We demonstrate the feasibility of our self-optimizing system in both simulations and real-world Internet setups.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
