FCS 11(6) 文章 | 高精度并发子程序间切片

导读

程序切片是一种重要的程序分析技术。由于不同并发单元中可并发执行语句间的数据依赖（干扰依赖）的引入，并发程序语句间依赖关系具有不可传递性，简单遍历并发程序依赖图不可避免地引入冗余语句，切片精度较低。

本文提出一种基于程序可达图的全局依赖性分析方法，并在此基础上构造了以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图（MSDG）。为提高并发子程序间切片效率，在不损失精确度的前提下，本文提出一种混合切片计算方法，该方法对不涉及到线程间交互的子程序采用传统的顺序子程序间切片方法，对涉及到线程间交互的子程序则进行内联，采用基于MSDG图的并发程序切片方法。

实验结果表明，与其他并发子程序间的切片方法相比，采用本文切片方法可计算出更高精度的并发子程序间切片，同时，偏序约简技术可有效地降低程序可达图的大小，在一定程度上改善算法的性能。

---

---

文章精要

---

---

如需阅读本期推荐文章的全文，请点左下角的「阅读原文」链接。

精彩推荐

FCS 优青论坛 | 基于分段Lyapunov函数的模糊仿射动态系统非脆弱控制

Shasha FU, Jianbin QIU, Wenqiang JI

FCS 优青论坛 | 基于用户行为建模的搜索结果排序

Yiqun LIU, Chao WANG, Min ZHANG, Shaoping MA

专题 | Smart Cities and Urban Computing

专题 | Deep Learning Applications in Computer Vision

专题 | Advances of Orange Technologies

Perspectives | Lifelong machine learning: a paradigm for continuous learning

Bing LIU

Perspectives | Urban computing: enabling urban intelligence with big data

Yu ZHENG

Perspectives | Computer Graphics 2.0: towards end-user-generated contents

Kun ZHOU

---

---

Frontiers of Computer Science

---

Frontiers of Computer Science （FCS）是由教育部主管、高等教育出版社出版、SpringerNature 公司海外发行的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为李未院士，执行主编为熊璋教授和周志华教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”。

---

长按二维码关注Frontiers of Computer Science公众号