基于Pi演算的Android多线程程序的数据竞争检测

• 作者: 王涛 马川
• 来源期刊: 广西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: AndroidApps 数据竞争 并发行为 进程代数 多线程
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: CTCIS2019
• 页码范围: 29-42
• 页数: 14页
• 分类号: TP309
• 字数: 9072字
• 语种: 中文
• DOI: 10.16088/j.issn.1001-6600.2020.02.004

摘要

针对事件驱动机制下Android多线程程序的数据竞争问题,构造一个基于Pi演算的并发行为检测模型.利用扩展后的Pi演算对Android生命周期和多线程框架进行建模,得到形式化的行为模型;通过将安全约束抽象为形式化的IF-THEN规则,并利用Pi演算的性质进行进程演算和迁移,构建了检测模型;将动态检测与静态检测以相同的处理方式结合在检测模型中,并给出了并发行为检测算法和数据竞争检测的方法.理论分析和实验表明,本文所提出的方法具有线性的时间和空间复杂度,相比其他方法,在提高检测精确性的同时并没有牺牲检测的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王涛	河北科技师范学院工商管理学院	50	146	7.0	8.0
5	马川	燕山大学信息科学与工程学院	12	42	5.0	6.0