期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Java内存模型的并发程序模型检测
被引量：
5
1
作者
周志远
张大方
缪力
《计算机工程与科学》
CSCD
北大核心
2010年第3期111-114,123,共5页
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术...
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。
展开更多
关键词
java内存模型
模型
检测
java
并发程序
多线程
软件测试
在线阅读
下载PDF
职称材料
Java同步线程模型分析与改进
被引量：
6
2
作者
陈文宇
陈福
+1 位作者
余盛季
孙世新
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2010年第3期430-434,共5页
目前普遍采用急救包(Band-Aid)类库的方式解决Java线程模型存在的同步问题,但类库中的代码很难或无法实现优化。该文针对Java同步线程模型的缺陷,扩展synchronised关键字语法,使它支持多个参数和能接受一个超时说明;重新定义wait()使它...
目前普遍采用急救包(Band-Aid)类库的方式解决Java线程模型存在的同步问题,但类库中的代码很难或无法实现优化。该文针对Java同步线程模型的缺陷,扩展synchronised关键字语法,使它支持多个参数和能接受一个超时说明;重新定义wait()使它返回一个boolean变量来解决超时检测问题;通过扩展语法方法解决了同步问题,以确保使用Java线程所开发的程序的稳定、可靠和可优化。
展开更多
关键词
双检锁
java内存模型
java
线程
模型
同步
在线阅读
下载PDF
职称材料
题名
基于Java内存模型的并发程序模型检测
被引量：
5
1
作者
周志远
张大方
缪力
机构
湖南大学软件学院
湖南大学计算机与通信学院
出处
《计算机工程与科学》
CSCD
北大核心
2010年第3期111-114,123,共5页
基金
国家自然科学基金资助项目(60673155
90718008)
文摘
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。
关键词
java内存模型
模型
检测
java
并发程序
多线程
软件测试
Keywords
java
memory model
model checking
concurrent lava program
multithreaded, software testing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Java同步线程模型分析与改进
被引量：
6
2
作者
陈文宇
陈福
余盛季
孙世新
机构
电子科技大学计算机科学与工程学院
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2010年第3期430-434,共5页
基金
国家863计划(2007AA01Z131)
电子科技大学青年基金(L08010601JX0754)的资助
文摘
目前普遍采用急救包(Band-Aid)类库的方式解决Java线程模型存在的同步问题,但类库中的代码很难或无法实现优化。该文针对Java同步线程模型的缺陷,扩展synchronised关键字语法,使它支持多个参数和能接受一个超时说明;重新定义wait()使它返回一个boolean变量来解决超时检测问题;通过扩展语法方法解决了同步问题,以确保使用Java线程所开发的程序的稳定、可靠和可优化。
关键词
双检锁
java内存模型
java
线程
模型
同步
Keywords
double-checked locking
java
memory model
java
thread model
synchronization
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Java内存模型的并发程序模型检测
周志远
张大方
缪力
《计算机工程与科学》
CSCD
北大核心
2010
5
在线阅读
下载PDF
职称材料
2
Java同步线程模型分析与改进
陈文宇
陈福
余盛季
孙世新
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2010
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
