[发明专利]基于应用逻辑序的并行程序调试方法和装置有效
| 申请号： | 201210441991.8 | 申请日： | 2012-11-06 |
| 公开（公告）号： | CN102929780A | 公开（公告）日： | 2013-02-13 |
| 发明（设计）人： | 王敬宇;陈华蓉;冯赟龙;王雯霞 | 申请（专利权）人： | 无锡江南计算技术研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京集佳知识产权代理有限公司 11227 | 代理人： | 骆苏华 |
| 地址： | 214083 江苏*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于应用逻辑序的并行程序调试方法和装置。所述并行程序调试方法包括定义数据链，抽象描述复杂并行程序的语义逻辑，所述数据链包括应用逻辑序、逻辑分段集合和正确性验证算法，所述应用逻辑序为迭代步序或数据流序；按照所述数据链的定义跟踪所述并行程序运行时所述程序变量的数据，以所述正确性验证算法验证所述程序变量的数据并记录验证结果；在所述并行程序运行结束或异常退出后，重放所记录的验证结果。本发明基于并行应用系统语义逻辑的重放调试方案有利于并行程序的错误定位，并且减少了逻辑序信息量，节省了存储和分析的开销。 | ||
| 搜索关键词： | 基于 应用 逻辑 并行 程序 调试 方法 装置 | ||
【主权项】：
一种基于应用逻辑序的并行程序调试方法，其特征在于，包括：定义数据链{x，y，L，A}，其中，x为链号，y定义为应用逻辑序，L表示应用系统对物理量的逻辑行为的集合，L＝{Li|i＝0，1，...，n}，i为逻辑行为出现次序的自然序号，Li＝{dj|j＝0，1，...，m‑1}，Li表示并行程序中一个程序模块对该物理量的逻辑行为，dj为Li对应的逻辑行为涉及的程序变量，j为程序变量的计数；n为逻辑行为的总数，m为Li对应的逻辑行为中与物理量关联的程序变量的数量，A为正确性验证算法，所述应用逻辑序为迭代步序或数据流序；按照所述数据链的定义跟踪所述并行程序运行时所述程序变量的数据，以所述正确性验证算法验证所述程序变量的数据并记录验证结果；在所述并行程序运行结束或异常退出后，重放所记录的验证结果。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于无锡江南计算技术研究所，未经无锡江南计算技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210441991.8/，转载请声明来源钻瓜专利网。
- 上一篇：一种书籍的缺页检测系统
- 下一篇：基于互联网的安全性信息交互装置及方法
