基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对多线程并发程序中的数据竞争问题,本文提出了一种基于Java抽象语法树的数据竞争修复办法.首先利用抽象语法树对需要进行插锁的ast节点进行查找,这一过程包括:寻找发生数据竞争的变量所在方法;对发生数据竞争的变量所在的语句进行搜索;对需要加锁的位置进行确定.找到加锁位置后,对需要加锁的位置进行自动加锁操作,从而实现对数据竞争问题的自动修复.
推荐文章
多线程程序数据竞争检测与证据生成方法
多线程程序测试
数据竞争
约束求解
证据生成
一种基于类的Java多线程程序数据竞争静态检测算法
多线程程序
数据竞争
程序切片
静态分析
竞争检测
基于线程调度顺序控制的多线程程序测试
多线程程序
测试
软件可靠性
线程调度
数据竞争
基于SMT求解器的嵌入式多线程程序数据竞态条件分析
嵌入式多线程程序
数据竞态条件
竞态条件分析
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 多线程并发程序数据竞争修复方法的研究
来源期刊 数字技术与应用 学科 工学
关键词 并发程序 数据竞争 抽象语法树 重构
年,卷(期) 2019,(3) 所属期刊栏目 应用研究
研究方向 页码范围 58-59
页数 2页 分类号 TP311.53
字数 1819字 语种 中文
DOI 10.19695/j.cnki.cn12-1369.2019.03.36
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张晓萱 河北科技大学信息科学与工程学院 1 0 0.0 0.0
2 赵钰玮 河北科技大学信息科学与工程学院 1 0 0.0 0.0
3 李天慧 河北科技大学信息科学与工程学院 1 0 0.0 0.0
4 常琳珂 河北科技大学信息科学与工程学院 1 0 0.0 0.0
5 孙瑞男 河北科技大学信息科学与工程学院 1 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2019(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
并发程序
数据竞争
抽象语法树
重构
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
数字技术与应用
月刊
1007-9416
12-1369/TN
16开
天津市
6-251
1983
chi
出版文献量(篇)
20434
总下载数(次)
106
总被引数(次)
35701
论文1v1指导