内存模型

作品数：34被引量：65H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：董玉坤宫云战金大海刘浩张莉更多>>
相关机构：北京邮电大学中国石油大学（华东）中国科学技术大学国防科学技术大学更多>>
相关期刊：《计算机技术与发展》《计算机教育》《电脑编程技巧与维护》《电子测试》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于类C语言内存模型的复杂数据结构验证方法
《计算机技术与发展》2024年第8期57-66,共10页李薛剑 王俊宜 
安徽省自然科学基金面上项目(2008085MF188)。
对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础...
关键词：形式化验证 复杂数据结构 程序逻辑 内存模型 操作系统内核 
TSO内存模型下限界可线性化的可判定性研究
《软件学报》2022年第8期2896-2917,共22页王超 吕毅 吴鹏 贾巧雯 
国家自然科学基金(62002298,62072443);中央高校基本科研业务费专项资金(SWU019036);中国科学院对外合作重点项目(GJHZ1844)。
TSO-to-TSO可线性化、TSO-to-SC可线性化和TSO可线性化是Total Store Order(TSO)内存模型下可线性化的3个变种.提出了k-限界TSO-to-TSO可线性化和k-限界TSO可线性化,考察了k-限界TSO-to-TSO可线性化、k-限界TSO-to-SC可线性化和k-限界TS...
关键词：并发数据结构 可线性化 TSO内存模型 可判定性 易失通道机器 
基于抽象内存模型的内存相关漏洞检测方法被引量：7
《计算机工程与应用》2022年第8期96-108,共13页许健 陈平华 熊建斌 
广东省科技计划项目(2020B1010010010,2019B101001021);广东省自然科学基金(2019A1515010700)。
针对现有的内存相关漏洞检测方法中存在依赖指针数据流而导致大量误报漏报、缺乏漏洞特征的形式化描述以及漏洞特征描述不全面的问题,提出一种基于抽象内存模型的内存相关漏洞检测方法。对抽象内存模型进行相关定义;基于抽象内存模型,...
关键词：内存相关漏洞检测 抽象内存模型 内存泄漏 重复释放内存 读写释放后的内存 
单元自动化测试中类的抽象内存模型研究
《计算机测量与控制》2022年第2期84-94,共11页杜婉莹 王雅文 
国家自然科学基金项目(U1736110)。
由于面向对象程序具有多态性等复杂特性,在软件单元测试中仅凭静态分析难以判断指针和引用指向对象的具体类型,为了解决这一问题,对类的抽象内存模型进行研究,并提出类的操作语义模拟算法;在路径分析时,通过构建和更新抽象内存模型,从...
关键词：面向对象 单元测试 抽象内存模型 符号表 静态分析 测试用例 
基于Java虚拟机内存模型的性能调优方法被引量：5
《指挥信息系统与技术》2020年第6期96-100,共5页高远 王建强 
Java虚拟机(JVM)虽自带内存回收机制,但随着业务量增大和高并发运行,资源的不合理分配及自身编码缺陷仍可导致内存溢出、延迟及吞吐量下降等性能问题出现。上述问题的性能调优是一个系统而复杂的过程,不但需要熟练掌握JVM内存模型,很大...
关键词：JAVA虚拟机 内存模型 性能调优 
面向顺序存储结构的数据流分析被引量：5
《软件学报》2020年第5期1276-1293,共18页王淑栋 尹文静 董玉坤 张莉 刘浩 
中央高校基本科研业务费专项资金(19CX02028A);国家自然科学基金(61873281)。
C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生...
关键词：顺序存储结构 数据流分析 抽象内存模型 过程间分析 内存泄漏 
一种基于栈区内存模型的C程序别名判断算法被引量：1
《小型微型计算机系统》2019年第2期353-358,共6页常欢 罗奇鸣 李薛剑 陈意云 
国家自然科学基金项目(61170018;61229201)资助
C语言中的指针导致C程序中会出现表达式别名的情况.在基于演绎推理的程序验证中,使用Hoare逻辑的赋值规则前必须消除断言中的别名.别名增加了程序验证的难度.本文根据C语言的语义提出了一种栈区内存模型,可以精确地跟踪栈区的多种类型...
关键词：程序验证 HOARE逻辑 内存模型 别名 栈区 
Java内存模型分析与其在编程中的应用
《福建电脑》2018年第10期102-104,共3页唐科 
Java编程应用中内存是重要的资源,安全而有效地利用它能够提高编程效率,促进开发出优秀的应用。分析Java内存模型及其分配机制,剖析了JVM的主要内部结构及各部分的功能,通过创建对象及对象初始化的示例展示了内存模型与分配机制理论的应...
关键词：内存模型 内存分配 JAVA虚拟机 Java虚拟机栈 Java堆 
基于数据结构与简化内存模型的Java集合教学方法研究被引量：2
《计算机教育》2018年第5期30-32,共3页胡建华 鄢旭 
浙江省高等教育课堂教学改革项目"指尖翻转课堂教学模式改革与实践"(kg20160604)
分析高校Java语言课程集合框架章节中学生难懂的问题,提出从数据结构的角度理解Java集合的各种类及各自的特点,并以JVM的简化内存模型分析Java集合类的实现方式,帮助学生轻松掌握Java集合框架的应用。
关键词：JAVA语言 集合框架 教学方法 
基于符号约束集的条件表达式数据流分析被引量：1
《科学技术与工程》2018年第7期172-178,共7页董玉坤 
山东省自然科学基金(No.BS2015DX017)资助
C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式...
关键词：条件表达式 数据流分析 抽象内存模型 区间运算 符号约束集 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部