CAREER: Monitoring and Assertion-Checking for Internet-Scale Applications

职业：互联网规模应用程序的监控和断言检查

• 批准号: 0347222
• 负责人: Monica Brockmeyer
• 金额: --
• 依托单位: Wayne State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-05-01 至 2010-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0347222&HistoricalAwards=false
• 关键词: CAREER; Monitoring; Assertion; Checking; Internet

The overall objective of this CAREER award is the development of an Internet-scale, on-line predicate-evaluation. The first specific objective of the project is the validation of a partial synchrony model for the Internet. The second specific objective is the development of scalable monitoring and predicate-evaluation algorithms which exploit hierarchy by aggregating information, approximating to control of the tradeoff between fidelity and performance, distributing the evaluation of sub-predicates to local domains, within which partial synchrony assumptions will be exploited within. Symbolic model-checking and partial order methods enhance the performance of intra-domain monitoring. Finally, compositional reasoning techniques and data aggregation will be used to perform inter-domain monitoring. The expected result of the proposed research is a set of robust and scalable algorithms to evaluate system state with correctness guarantees established with respect to validated synchrony assumptions. This research is expected to provide a fundamental ability to understand the behavior of a distributed system using techniques that are formally correct and practical, suitable for Grid computing, large-scale collaboration systems, and replicated servers. The educational objective is to increase in the retention and success of underrepresented students in computer science by explicitly teaching educational success skills through participation in research, through a broad-spectrum introduction to computer science, and through development of academic preparedness specifically relevant to computer science. These activities will take place within the context of the affinity group model. It is expected that such participation will lead to greater retention and success through the development of affinity and persistence.

该职业奖的总体目标是开发互联网规模的在线谓词评估。 该项目的第一个具体目标是验证互联网的部分同步模型。 第二个具体目标是开发可扩展的监控和谓词评估算法，该算法通过聚合信息来利用层次结构，近似控制保真度和性能之间的权衡，将子谓词的评估分布到本地域，其中将利用部分同步假设。符号模型检查和偏序方法增强了域内监控的性能。 最后，组合推理技术和数据聚合将用于执行域间监控。 所提出的研究的预期结果是一组稳健且可扩展的算法，用于评估系统状态，并根据经过验证的同步假设建立正确性保证。 这项研究预计将提供一种基本能力，以使用形式上正确且实用的技术来理解分布式系统的行为，这些技术适用于网格计算、大规模协作系统和复制服务器。 教育目标是通过参与研究、广泛介绍计算机科学以及发展与计算机科学特别相关的学术准备，明确教授教育成功技能，从而提高计算机科学领域代表性不足的学生的保留率和成功率。这些活动将在亲和团体模型的背景下进行。 预计这种参与将通过培养亲和力和毅力带来更大的保留和成功。