Collaborative Research: Formal Analysis of Multicore Communication APIs and Applications

CCF-0903408协作研究-MCDA：多核通信API和应用程序的正式分析Gopalakrishnan，Ganesh L.犹他大学CCF-0903491协作研究：多核通信API和应用程序的正式分析Mercer，Eric G.Brigham Young UnivABSRTA此项目有助于设计未来的信息处理系统，使其可靠而高效地运行。鉴于这些系统中的许多将在单个微芯片上生产，以及对设计快速周转时间的日益增长的需求，制造商正在标准化这些芯片中的中央处理单元进行通信的方法。这样的标准将消除重复劳动，并允许来自不同制造商的零部件混合和匹配。由于这样的标准将管理未来数百万个系统的建设，人们必须应用严格的工程原理，并辅之以数学上合理的分析方法，以确保这些标准没有缺陷。这是该项目的重要目标之一。其他关键目标是确保这些系统的制造按照标准定义进行，并确保及时制定检查制造正确性的测试方法。主要研究人员的优势互补，其中一人来自盐湖城犹他大学计算学院，另一人来自犹他州普罗沃市杨百翰大学，他们将以独特的方式推动这一项目。这个项目的第一年将研究这个称为MCAPI的标准的严格规范方法。第二年将涉及使用mCAPI编写的程序的各种分析工具的研究设计。第三年将在芯片系统的制造商现场对我们的工具进行试点测试。

"This award is funded under the American Recovery and Reinvestment Act of 2009(Public Law 111-5)."CCF - 0903408 Collaborative Research - MCDA: Formal Analysis of Multicore Communication APIs and ApplicationsGopalakrishnan, Ganesh L. University of Utah CCF - 0903491 Collaborative Research: Formal Analysis of Multicore Communication APIs and ApplicationsMercer, Eric G. Brigham Young UnivABSRTACTThis project contributes tools to engineer future information processing systems so that they operate reliably and efficiently. Given that many of these systems will be produced on single micro-chips, and given the increasing demands for rapid turn-around times of designs, manufacturers are standardizing on methods by which the central processing units in these chips may communicate. Such standards will eliminate duplication of labor and allow components originating from different manufacturers to be mixed and matched. Since such standards will govern the construction of millions of future systems, one has to apply rigorous engineering principles accompanied by mathematically sound analysis methods to ensure that the standards are not flawed. This is one of the important goals of this project. The other key goals are to ensure that the manufacturing of these systems proceeds as per the standard definition and that testing methods to check the correctness of manufacture will be in place in a timely manner. The complementary strengths of the principal investigators, one of whom is from the School of Computing, University of Utah, Salt Lake City, and the other from Brigham Young University in Provo Utah will help drive this project forward in unique ways. The first year of this project will investigate rigorous specification methods for this standard called MCAPI. The second year will involve the research design of a variety of analysis tools for programs written using MCAPI. The third year will involve pilot testing of our tools at the manufacturer sites of systems on chips.