内存模型相关论文
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,缓存技术也会造成共享数据的更新顺序与本来的执行顺序不同......
随着互联网的普及，基于Web的应用需要越来越强大的并发能力来应对用户的请求。Java语言是最早原生支持并发的主流程序设计语言，在Web......
随着多核时代的到来，共享内存的多线程编程开始普及。多个线程在并发访问共享内存时会存在内存一致性问题。Java语言通过直接在语言......
多核时代已经到来了。在多核体系下，能够更好的利用多核处理能力的并发数据结构算法得到了广泛应用。并发数据结构往往采用细粒度锁......
C语言以其对底层机器操控的灵活性，在操作系统、嵌入式软件、底层驱动等要求高效的软件设计领域得到广泛应用。然而出于灵活性和效......
程序的过程间分析是静态分析中的难点之一,本文针对过程间分析框架中出现的精度以及效率问题,基于Clang内存模型对原有的过程间分......
基于符号执行框架分析程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模......
本文研究了500万像素的电荷耦合器件(Charge Couple Device,CCD)驱动电路,设计了一种和传统模拟图像采集方式不同的高清数字图像采......
随着Java语言在计算机软件开发领域的广泛使用，人们开始考虑把它用于实时系统开发的可能性。经过一批专家的努力，《实时Java规范》(......
Java语言规范包括对线程和并发的支持,使得指定和管理共享数据变得更简单,但是这没有使得并发编程的复杂性更易于理解.本文详细介......
指针是C语言的重要特色,也是C语言教学的重点和难点。对指针概念的正确理解是学生的一大难题,指针的教学方法也成为每位教师研究的......
符号执行技术以其良好的精确度控制和代码覆盖率被广泛应用于静态程序分析和高覆盖率测试用例自动生成。符号执行在分析程序时,以......
为了解决智能手机的安全性问题,以Symbian操作系统为对象分析了该操作系统中内存管理机制。主要研究内存模型如何应用物理内存、内......
Java语言规范包括对线程和并发的支持,使得指定和管理共享数据变得更简单,但是这没有使得并发编程的复杂性更易于理解.本文详细介......
由于Servlet在服务器端事务处理方面的优异表现，在许多的Web应用中，它仍然是不可或缺的。在默认情况下，Servlet是以单实例多线程方式......
WINCE系统内存配置较小，嵌入式软件如果出现内存泄露问题，将会导致系统的可用内存不足，甚至出现系统崩溃。为此针对WINCE操作系统内存......
计算机程序设计语言的教学一直就是高校的一个教学难点,学生们普遍存在理解起来难,知识抽象等问题,本文就此问题提出了一个内存模......
基于嵌入式实时操作系统VxWorks对内存的基本要求，提出并实现基于VxWorks操作系统基于生命周期的内存管理的设计和实现。......
Java虚拟机(JVM)虽自带内存回收机制,但随着业务量增大和高并发运行,资源的不合理分配及自身编码缺陷仍可导致内存溢出、延迟及吞......
使用形式化方法对程序进行验证是保证软件可信的重要手段．对于像C语言这样的较低级的命令式语言可以直接对内存进行操作，对其操作语......
C语言作为当今最为流行的编程语言，目前已成为国内高校非计算机专业必修的计算机基础课程之一。本文针对C语言的教学中存在的问题，结......
初次接触面向对象程序设计,不易弄清楚各种类型变量在内存中是如何分配和管理的。以Java为例,主要介绍基本数据类型一维数组内存模......
μClinux内存管理采用非标准Linux内存模型。系统为进程分配连续内存区域，代码段、数据段和栈段间无空隙，且进程私有堆被取消，所有进......
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化......
多核处理器为并发编程打开了一扇扇新的大门,Java内置的多线程机制可以方便地实现多个并发程序的开发以及多任务同时执行,但是Java......
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静......
伴随着移动互联网的快速发展,越来越多的软件被应用在我们的生活中,软件的安全性却一直是一个亟待解决的问题。在C语言这样的显式......
C语言中的指针导致C程序中会出现表达式别名的情况.在基于演绎推理的程序验证中,使用Hoare逻辑的赋值规则前必须消除断言中的别名.......
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本......
今天软件在我们的生活中已经无处不在,它对人们的影响越来越大,虽然有时会觉察不到它的存在。在许多领域如航空航天、金融、医疗、......
