基于控制流的多线程程序的静态切片算法

基于控制流的多线程程序的静态切片算法

张晶，金成植

吉林大学计算机科学与技术学院，长春 130012

收稿日期:2003-05-16 修回日期:1900-01-01 出版日期:2003-10-26 发布日期:2003-10-26
通讯作者: 张晶

Control-Flow-Based Static Slicing Algorithmof Threaded Programs

ZHANG Jing, JIN Cheng-zhi

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2003-05-16 Revised:1900-01-01 Online:2003-10-26 Published:2003-10-26
Contact: ZHANG Jing

摘要/Abstract

摘要： 介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.

关键词: 多线程程序, 程序依赖图, 程序切片, 切片算法

Abstract: The present paper deals with a new static slicing algori thm of threaded program based on the program’s control-flow information. The main idea of the algorithm is to retain the control-flow information while the threaded program dependency graph is constructed, with which the threaded realized paths can beidentified, by doing this we can improve the slice’s precision and slicing’s efficiency. An example program and its slice are provided in the end.

Key words: threaded program, program dependency graph, program slicing, slicing algorithm

中图分类号:

TP312

张晶，金成植. 基于控制流的多线程程序的静态切片算法[J]. J4, 2003, 41(04): 481-486.

ZHANG Jing, JIN Cheng-zhi. Control-Flow-Based Static Slicing Algorithmof Threaded Programs[J]. J4, 2003, 41(04): 481-486.

[1]	姜建华, 吴迪, 郝德浩, 王丽敏, 张永刚, 李克勤. 基于CDbw和人工蜂群优化的密度峰值聚类算法[J]. 吉林大学学报(理学版), 2018, 56(6): 1469-1475.
[2]	李健, 王明月, 姚汝婧, 曹春玲, 胡雅婷. 大数据背景下混合层次包围盒碰撞检测算法的优化[J]. 吉林大学学报(理学版), 2017, 55(03): 673-678.
[3]	刘磊, 李振国, 高艳华, 丁岩, 申春, 刘雷. 特定领域语言MISPC及其编译框架实现技术[J]. 吉林大学学报(理学版), 2016, 54(04): 805-812.
[4]	李海涛. 基于JPEG图像信息隐藏F5算法的改进[J]. 吉林大学学报(理学版), 2015, 53(04): 754-756.
[5]	周屹, 李海龙, 王锐. 遗传算法求解物流配送中带时间窗的VRP问题[J]. J4, 2008, 46(02): 300-303.