资料介绍
嵌入式并发软件的中断嵌套和线程交织等程序的随机性和不确定性( Randomicity and Nondeterminism)会引起数据竟争( Data race)和原子性违背( Atomicity Violations)等并发缺陷问题,并且这些问题很难被修复和重新构建。针对嵌入式软件中的数据竟争和原子性违背这类并发缺陷问题,文中提出了瘦中断处理( Thin Interrupt Service routine, Thin Isr)方式。首先,利用状态迁移矩阵( State transition matriⅸx,STM)进行建模,把中断处理程序中与访问共享变量相关的程序段移植到主程序中,即中断处理程序只负责将外界中断请求数据存到缓冲区中,中断的具体处理由主程序完成;然后,利用构建的STM模型生成对应的C代码,这样可以有效地避免原子性违背和数据竞争等并发缺陷;最后,利用排队方法对中断的到达时间与离开时间进行仿真。实验结果验证了本方法在解决数据竟争和原子性违背等并发缺陷问题方面的可行性与有效性。
- 嵌入式系统软件设计教材资料 5次下载
- 嵌入式系统概述
- 嵌入式系统的软件组成
- 基于RTOS的嵌入式系统软件的设计讲解
- 基于RTOS的嵌入式系统软件设计 17次下载
- 嵌入式系统死锁检测方法 0次下载
- ARM的嵌入式系统软件设计 8次下载
- 嵌入式机车车辆车载播放系统软件设计与实现 5次下载
- 基于ARM的嵌入式系统软件设计部分 15次下载
- 嵌入式系统软件可靠性设计
- 嵌入式实时系统软件测试实践
- 构造嵌入式系统软件的构件模型研究
- CODARTS建模方法在嵌入式软件开发中的应用
- 嵌入式数字视频播放系统软件平台的构建
- 基于ARM的嵌入式系统软件设计
- 基于UML嵌入式软件开发环境的自动取款机系统的应用方案 3608次阅读
- UML软件分析与建模威廉希尔官方网站 在嵌入式指纹门禁系统中的应用研究 1791次阅读
- 基于CPLD实现嵌入式软件bootrom自动备份及切换功能的方法介绍 1177次阅读
- 基于嵌入式软件的JNI威廉希尔官方网站 应用解析 1020次阅读
- 把软件项目管理方法引入嵌入式系统的开发之中的设计浅析 2034次阅读
- 嵌入式软件开发编程规范介绍 4206次阅读
- 嵌入式软件可靠性设计需注意以下四个方面的问题! 2440次阅读
- 基于SCADE模型的高安全性嵌入式软件解决方案设计 2665次阅读
- 关于嵌入式软件系统测试策略和方案设计详解 9081次阅读
- PSoC嵌入式系统设计的三大优势 3219次阅读
- 什么是嵌入式操作系统 常见的嵌入式系统有哪些 4w次阅读
- 嵌入式操作系统是什么_嵌入式操作系统有哪些 2w次阅读
- 嵌入式视觉系统的构建模块 1567次阅读
- 概述及汇总ARM的嵌入式操作系统 2951次阅读
- SHARC并行系统软件设计方法 1469次阅读
下载排行
本周
- 1TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 2开关电源基础知识
- 5.73 MB | 6次下载 | 免费
- 3100W短波放大电路图
- 0.05 MB | 4次下载 | 3 积分
- 4嵌入式linux-聊天程序设计
- 0.60 MB | 3次下载 | 免费
- 5基于FPGA的光纤通信系统的设计与实现
- 0.61 MB | 2次下载 | 免费
- 6基于FPGA的C8051F单片机开发板设计
- 0.70 MB | 2次下载 | 免费
- 751单片机窗帘控制器仿真程序
- 1.93 MB | 2次下载 | 免费
- 8基于51单片机的RGB调色灯程序仿真
- 0.86 MB | 2次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33564次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21548次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6653次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537796次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191185次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183278次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
评论
查看更多