-
题名实时嵌入式系统的竞态条件及其分析方法研究
被引量：4
- 1
-
-
作者
陈艳
徐晓峰
李晓潮
郭东辉
-
机构
厦门大学信息科学与技术学院
厦门大学物理系
福建省集成电路设计工程技术研究中心
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2010年第7期1201-1210,共10页
-
基金
国家自然科学基金项目(60753001)
教育部新世纪人才计划基金项目
-
文摘
竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果.
-
关键词
实时嵌入式系统
执行序列
竞态条件
竞态集
竞态条件图
-
Keywords
real-time embedded system
execution sequence
race condition
race set
race condition graph
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式系统同步进程的竞态条件分析与推理学习方法
被引量：1
- 2
-
-
作者
张晶
潘有顺
-
机构
昆明理工大学云南省计算机技术应用重点实验室
昆明理工大学信息工程与自动化学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第2期141-144,共4页
-
基金
国家自然科学基金项目(61263017)
云南省自然科学基金项目(2012FB137
2011 FZ060)资助
-
文摘
针对嵌入式系统同步进程的竞态条件问题,提出了一个竞态条件分析与推理模型,包括竞态依赖集、竞态协作图和竞态条件数组三要素。其中,模型分析并推理嵌入式系统中具有竞态关系的进程,生成竞态依赖集,定义竞态协作图来描述同步进程竞态条件关系,设计竞态条件数组来存储进程竞态逻辑推理关系以便进一步学习分析。该分析与推理学习方法提高了分析效率,具有一定的实用价值。
-
关键词
嵌入式系统
竞态条件分析与推理模型
竞态依赖集
竞态协作图
竞态条件数组
-
Keywords
Embedded system, Race condition analysis and reasoning model, Race dependency set, Race cooperation graph, Race condition array
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名Ajax应用中的竞态条件
- 3
-
-
作者
陈丰
黄贤英
-
机构
重庆理工大学计算机科学与工程学院
-
出处
《重庆工学院学报（自然科学版）》
2009年第12期87-92,共6页
-
基金
重庆市自然科学基金资助项目(CSTC2009AC2068)
-
文摘
在Web应用程序中,由于Ajax技术的异步特性,当客户端同时产生多个请求时,这些请求将在服务器端异步运行.由于无法预测这些请求的执行次序,如果它们在同一时间试图修改同一个关键数据片段,就可能导致在服务器响应时发生竞态条件问题.针对这个问题,分析了产生竞态条件的原理,给出了实例,对可能导致的安全问题进行了研究.结果表明,提出的锁定机制可以有效地避免竞态条件的产生.
-
关键词
AJAX
竞态条件
并发
动态Web应用程序
锁
-
Keywords
Ajax
race condition
concurrency
dynamic Web application
lock
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名云边端内核竞态漏洞大模型分析方法研究
- 4
-
-
作者
陈平
骆明宇
-
机构
复旦大学大数据研究院
复旦大学计算机科学技术学院
-
出处
《信息网络安全》
北大核心
2025年第7期1007-1020,共14页
-
基金
国家重点研发计划[2022YFB3104300]。
-
文摘
随着云边端场景的广泛应用,操作系统内核竞态条件检测面临新的挑战,其复杂性日益提升。针对这一问题,文章提出一种基于大语言模型的内核竞态条件分析方法Log Fuzz。该方法通过知识注入机制,实现对系统调用依赖关系的动态学习与精准分析,有效缓解云边端环境下内核漏洞分析的难题。研究首先利用崩溃日志进行系统调用模式提取与分析,解决传统方法在复杂依赖关系建模中的局限性。在此基础上,引入大语言模型的领域知识,通过参数高效微调框架深度挖掘系统调用的语义与语法特征,指导模糊测试。实验结果表明,在Linux内核测试中,文章所提方法在18 h后的分支覆盖率较传统方法提升3.31%,并成功触发7个系统崩溃。该方法有助于提升系统安全,为云边端内核竞态条件检测提供一种技术路径。
-
关键词
内核竞态条件
系统调用序列
模糊测试
大语言模型
云边端安全
-
Keywords
kernel race conditions
system call sequences
fuzz testing
large language model
cloud-edge-device security
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
