检索结果-内蒙古大学图书馆

计算机工程与科学 2010年第3期32卷 111-114,123页

作者：周志远张大方缪力湖南大学软件学院湖南长沙410082 湖南大学计算机与通信学院湖南长沙410082

为了提高性能,java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的java程序模型检测技术... 详细信息

为了提高性能,java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的java并发程序。

关键词： java内存模型模型检测 java并发程序多线程软件测试

来源：评论

学校读者我要写书评

暂无评论

java内存模型描述及变量运用分析

引用

现代信息科技 2019年第4期3卷 98-99页

作者：王茂钢广东省工业贸易职业技术学校广东佛山528237

在使用java编程的过程中,内存是保障编程程序顺利进行的重要资源,而加强对内存的合理、有效运用,有助于编程效率的极大提升,并且在大量的研究和探索中,挖掘出其更加全面的功能。本文主要对java内存模型的概念、java的内存分配及相关功... 详细信息

在使用java编程的过程中,内存是保障编程程序顺利进行的重要资源,而加强对内存的合理、有效运用,有助于编程效率的极大提升,并且在大量的研究和探索中,挖掘出其更加全面的功能。本文主要对java内存模型的概念、java的内存分配及相关功能进行了介绍,最后通过对java内存的详细分析,明确了java内存分配机制的具体应用,以供相关研究工作者参考。

关键词： java内存模型 java堆内存分配 java虚拟机栈

来源：评论

学校读者我要写书评

暂无评论

基于java内存模型的并发程序模型检测

基于Java内存模型的并发程序模型检测

引用

第五届中国测试学术会议

作者：周志远张大方缪力赵丹黄谷湖南大学软件学院湖南大学计算机与通信学院

为了提高性能,java内存模型允许编译器在优化过程中改变代码的执行顺序,缓存技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程java并发程序中,这些乱序执行会引起很多难以发现的错误。现有的java程序模型检测技术并没有... 详细信息

为了提高性能,java内存模型允许编译器在优化过程中改变代码的执行顺序,缓存技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程java并发程序中,这些乱序执行会引起很多难以发现的错误。现有的java程序模型检测技术并没有考虑这些顺序改变的问题。因此,提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的java并发程序。

关键词： java内存模型模型检测 java并发程序多线程软件测试

来源：评论

学校读者我要写书评

暂无评论

java同步线程模型分析与改进

引用

电子科技大学学报 2010年第3期39卷 430-434页

作者：陈文宇陈福余盛季孙世新电子科技大学计算机科学与工程学院成都610054

目前普遍采用急救包(Band-Aid)类库的方式解决java线程模型存在的同步问题,但类库中的代码很难或无法实现优化。该文针对java同步线程模型的缺陷,扩展synchronised关键字语法,使它支持多个参数和能接受一个超时说明;重新定义wait()使它... 详细信息

目前普遍采用急救包(Band-Aid)类库的方式解决java线程模型存在的同步问题,但类库中的代码很难或无法实现优化。该文针对java同步线程模型的缺陷,扩展synchronised关键字语法,使它支持多个参数和能接受一个超时说明;重新定义wait()使它返回一个boolean变量来解决超时检测问题;通过扩展语法方法解决了同步问题,以确保使用java线程所开发的程序的稳定、可靠和可优化。

关键词：双检锁 java内存模型 java线程模型同步

来源：评论

学校读者我要写书评

暂无评论

JMM与DCL失效探究

引用

微处理机 2005年第6期26卷 53-56页

作者：徐茜亮王成良王远斌重庆大学计算机学院重庆400044

java提供的synchronized关键字可使多线程实现同步,但也会导致双重检查锁定(Double-Checked Locking,DCL)失效。一般采用继承ThreadLocal类的方式来避免这种失效,但实现效率低,性能损失大。针对这些不足,本文结合实例分析了java内存模型... 详细信息

java提供的synchronized关键字可使多线程实现同步,但也会导致双重检查锁定(Double-Checked Locking,DCL)失效。一般采用继承ThreadLocal类的方式来避免这种失效,但实现效率低,性能损失大。针对这些不足,本文结合实例分析了java内存模型(JMM)、DCL失效原因以及ThreadLocal的内部运行机制,给出了将类的对象设计成Singleton模式的策略。

关键词： java内存模型双重检查锁定 ThreadLocal方式 Singleton模式

来源：评论

学校读者我要写书评

暂无评论

java同步线程模型的缺陷以及改进措施

引用

电脑编程技巧与维护 2014年第21期 16-17页

作者：韩颜聪北京邮电大学北京100876

目前解决java同步线程模型缺陷采用的是急救包类库的方式,但是此方法面临着一项重大技术难题,就是代码无法或者很难实现优化。针对java同步线程模型缺陷问题,可以采用扩展synchronised关键字语法,使其能够接受超时说明,并且支持多个参数... 详细信息

目前解决java同步线程模型缺陷采用的是急救包类库的方式,但是此方法面临着一项重大技术难题,就是代码无法或者很难实现优化。针对java同步线程模型缺陷问题,可以采用扩展synchronised关键字语法,使其能够接受超时说明,并且支持多个参数;解决超时检测问题,可以重新定义wait(),便于返回boolean变量,这样超时检测得以解决;扩展语法来解决同步的问题。从而,java同步线程模型的缺陷得以解决,程序稳定且可以优化。

关键词： java内存模型 DCL失败 wait0)超时扩展synchronised关键字语法

来源：评论

学校读者我要写书评

暂无评论

编写JSP程序中的线程安全问题

编写JSP程序中的线程安全问题

引用

2006年中国计算机学会信息保密专业委员会年会

作者：王泓中国工程物理研究院结构力学研究所

介绍了JSP多线程机制,通过一个实例并结合java的内存模型说明引起JSP线程不安全的原因,给出了保证JSP线程安全的三种解决方案.

关键词： JSP 线程安全多线程机制 java内存模型

来源：评论

学校读者我要写书评

暂无评论

JMM与double/long变量同步方法探究

引用

微处理机 2010年第1期31卷 79-82,85页

作者：俞松郑骏杨云华东师范大学计算中心上海200062

java存储模型是java语言和java虚拟机研究中的核心关键部分。java语言规范规定:所有对基本类型的操作,除了对double/long类型的操作之外,都必须是原子级的。java提供的volatile关键字可以使double/long变量实现变量级同步,但仍不能保证... 详细信息

java存储模型是java语言和java虚拟机研究中的核心关键部分。java语言规范规定:所有对基本类型的操作,除了对double/long类型的操作之外,都必须是原子级的。java提供的volatile关键字可以使double/long变量实现变量级同步,但仍不能保证线程间同步。针对这些不足,结合实例分析了java内存模型,synchronized方法,引入了硬件原语(CAS),给出了非阻塞算法的同步策略。

关键词： java内存模型 Double/long变量 Volatile关键字 Synchronized方法非阻塞算法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：