一种解决嵌入式软件并发缺陷的建模方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户：venus1231

【摘要】

：

嵌入式并发软件的中断嵌套和线程交织等程序的随机性和不确定性(Randomicity and Nondeterminism)会引起数据竞争(Data Race)和原子性违背(Atomicity Violations)等并发缺陷

【作者】

：

崔凯赵国亮周宽久李明楚

【机构】

：

大连理工大学软件学院,北京大学软件与微电子学院

【出处】

：

计算机科学

【发表日期】

：

2020年6期

【关键词】

：

中断嵌套数据竞争原子性违背状态迁移矩阵瘦中断 Interrupt nestingData raceAtomicity violationState tr

【基金项目】

：

国家自然科学基金(61872052,61772113,61733002),中央高校基本科研业务费专项资金(DUT2019ZD104)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

嵌入式并发软件的中断嵌套和线程交织等程序的随机性和不确定性(Randomicity and Nondeterminism)会引起数据竞争(Data Race)和原子性违背(Atomicity Violations)等并发缺陷问题,并且这些问题很难被修复和重新构建。针对嵌入式软件中的数据竞争和原子性违背这类并发缺陷问题,文中提出了瘦中断处理(Thin Interrupt Service Routine,Thin ISR)方式。首先,利用状态迁移矩阵(State Transition Matrix,STM)进

其他文献

干砌石护面结构破坏机理分析及其优化措施

干砌石类护面结构具有就地取材、成本低廉等优点,已广泛应用于堤坝等工程。在考虑块石间的摩擦力、嵌卡力后构建的块石临界跳脱稳定平衡方程的基础上,分析块石失稳形式,分析

期刊

干砌石护面破坏机理混凝土半灌块石嵌卡力

第一朵在国际空间站里绽放的花

最近刚在空间站里度过整整一年的美国宇航员斯科特·凯利1月8日报道:在地球环境外的国际空间站里培植出“第一朵”花。那朵花属于百日草属植物,并且可以把它用作为色拉的原料

期刊

国际空间站宇航员

在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程

Jourdan等在其2012年发表的论文“Validating LR(1)Parsers”中提出了一种形式化验证语法分析器的方法,并将其成功地应用于CompCert编译器(2.3以上版本)的语法分析器验证中。

期刊

语法分析LR(1)分析器形式化验证Lustre*语言CompCertCOQSyntax parsingLR(1)parserFormal verif

Synthesis and Crystal Structure of a New Mn_8 Compound with Tripodal Ligand

A new manganese compound [Mn8(tmp)2(Htmp)4((CH3)3CCO2)4(py)2Cl2]·2py (1·2py, H3tmp = 1,1,1-tri(hydroxymethyl)propane, py = pyramid) has been synthesiz

期刊

合成三脚架晶体锰化合物X射线衍射X射线分析红外光谱元素分析manganese compound crystal structure trip

江汉平原典型乡村产业振兴规划初探——以荆门钟祥墩岭村为例

后疫情时代,人们对健康生活环境和乡村田园生活方式的追求将为乡村复兴、城乡融合带来更多的机遇。由于集约化程度较低、农产品附加值不高、品牌不响、农产品加工、农业+等产

期刊

乡村振兴产业江汉平原运营模式countryrevitalizationindustryJianghan plainoperation mode

基于多目标优化的测试用例优先级排序方法

回归测试是软件测试中使用最频繁、成本最昂贵的测试方法。测试用例优先级排序是一种能够有效降低回归测试成本的方法,其目的是通过优先执行高级别的测试用例来达到提升软件

期刊

软件测试测试用例优先级多目标优化非支配排序遗传算法选择函数Software testingTest case priorityMulti-object

我国历代行政制度和官制简介（二）

约在公元前十六世纪，“夏桀无道”，商汤起兵，推翻夏朝，建立商朝，成为找困历史上第二个奴隶制国家。商朝从汤开始到最后一个王纣灭亡为止，（约公元前十一世纪）共传了十七代，三十一王，约六百多年。

期刊

行政制度简介官制历代奴隶制国家十六世纪公元前商朝

溶剂法合成硝基氯苯

用四氯化碳作溶剂，研究了氯苯的硝化反应，反应温度允许范围宽，收率接近定量；有４０％左右的对硝基氯苯可以痤反应液中析出。

期刊

硝基氯苯溶剂法合成氯苯ChlorobenzeneNitrationCarbon tetrachloride

（S）—（＋）—γ—苄氧基甲基—γ—丁内酯的合成研究

以Ｌ－谷氨酸为原料，首先在－５￣０℃条件下重氮化，随后常温内酯化，然后在对甲苯磺酸催化下于苯中回流进行酯化，用硼氢化钠在常温下还原，最后用氧化银作为碱发生常温威廉逊（Ｗｉｌｌｉａｍｓｏｎ）醚化反应，以３２．３％的总产率

期刊

丁内酯光学活性化合物合成苄氧基甲基γbutyrolactoneoptical active compoundsynthesis

汽车大数据应用模式与挑战分析

随着车联网技术的不断演进,人、车、路、云全方位连接,催生出了大量应用服务,覆盖汽车生产制造、汽车产品网联化、汽车后服务、智能出行服务等多个环节。这些应用的核心是海

期刊

车联网大数据架构应用Connected vehiclesBig dataArchitectureApplication

一种解决嵌入式软件并发缺陷的建模方法

与本文相关的学术论文