多线程安全论文_陈韬,王明明

导读:本文包含了多线程安全论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:多线程,多核,线程,模型,程序,数据,资源。

多线程安全论文文献综述

陈韬,王明明[1](2019)在《面向多线程程序的内存安全运行时验证》一文中研究指出Linux操作系统、嵌入式系统、航电系统、通信系统等一般都是用C/C++语言进行编写。因为C语言具有偏底层硬件、移植性强、执行效率高等优秀特性。但是随着多核并行机的出现,许多语言也开始支持多线程编程。由于C语言本身存在着对内存访问时,不对内存边界进行检查的问题,从而造成软件系统相关的可靠性和安全性问题。对多线程C语言程序来说,由于多线程程序的不确定性,使得运行时验证多线程C程序的内存安全问题变得更加困难。通过使用基于改进的指针运行时验证技术、多核多线程技术、并行计算、无锁数据结构技术、源代码插桩技术方法,并结合开源工具Clang编译器实现原型工具Movec对多线程C程序的支持。该工具实现了对多线程C程序内存安全问题的运行时验证。然后通过Mibench和SARD测试用例进行实验,验证了该工具对多线程C程序进行运行时验证的有效性。(本文来源于《计算技术与自动化》期刊2019年02期)

[2](2019)在《Arm首款多线程处理器增强驾驶员对大规模部署自动驾驶的安全信任》一文中研究指出Arm宣布推出首款集成功能安全的多线程处理器Arm Cortex-A65AE,它是Arm汽车增强版IP产品组合的最新补充,旨在更高效地处理下一代车辆中产生的多种传感器数据流,安全地实现创新的驾驶员体验。2018年早些时候,Arm承诺,致力于帮助OEM厂商和一级汽车主机厂部署安全的全自动车辆,推出"安全就绪"计划和一系列专用的汽车增强版IP (包括Cortex-A76AE),其提供了自动应用所需的处理性能,同时具(本文来源于《单片机与嵌入式系统应用》期刊2019年02期)

陈益,王佩[3](2018)在《基于同步机制解决Java多线程安全问题的应用》一文中研究指出为了避免Java应用程序中多个线程共享同一个资源时产生访问冲突,确保线程安全,采用同步机制为每个线程合理地分配访问资源。编写一个模拟火车站售票过程的Java应用程序,由4个线程完成100张火车票的出售,调用sleep方法查看非同步环境下每个线程访问资源的状况。分析多线程采用同步机制和非同步机制的实验给系统带来的影响。实验证明,借助同步机制能合理地为每个线程提供没有任何冲突的资源访问,使Java多线程程序获得更好的健壮性。(本文来源于《软件导刊》期刊2018年12期)

李建辉[4](2016)在《Java多线程产生安全问题及对策分析》一文中研究指出引言:在Java语言程序设计中,多线程的并发执行可以提高程序的运行效率,但是,当多线程去访问同一个资源时,可能会引发安全问题,特别是用到线程休眠的时候,容易出现安全问题,为了解决这样的问题,第一尽量不要使用线程休眠,第二种方法是使用线程同步,限制某个资源在同一时刻只能被一个线程去访问。一、程序示例1我们写一个简单卖票程序,使用多线程去卖10张票,4个窗口卖10张票,我们给出第一个Java多线程程序代码及(本文来源于《中国新通信》期刊2016年18期)

张晓丽[5](2014)在《Java多线程编程中数据安全的应用研究》一文中研究指出随着各项技术的进步与发展,Java多线程编程技术在很多开发工作中得到非常广泛的应用,其能够有效实现计算机系统中的多线程,并将其予以执行,对于程序的执行效率的提升具有非常重要的作用,本文就主要对其多线程机制予以简单介绍,并在此基础上,对其多线程编程中的数据安全的应用研究予以简单分析,对于实际的Java多线程编程应用具有一定的参考价值。(本文来源于《计算机光盘软件与应用》期刊2014年16期)

刘烨[6](2013)在《基于多线程Java程序安全行为模型的静态检查对策探析》一文中研究指出本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,针对Java多线程序研究,总结出了从多线程Java程序自动生成安全相关行为模型的方法,该方法应用到携带模型代码方法的实现框架中,形象的描述了静态检查该模型是否满足安全策略的实现,同时为安全执行非信任多线程Java移动代码提供了有效支持。本文合理的使用静态分析多线程Java程序的措施,来进行相关安全性的检查,从中来考察出多线程Java程序的相关安全行为。(本文来源于《计算机光盘软件与应用》期刊2013年06期)

韦庆清,任卫东[7](2012)在《Java多线程编程中数据安全的应用研究》一文中研究指出通过分析Java多线程并发机制的基本特征,着重针对Java多线程程序中的数据安全问题作深入探讨研究,指出在利用Java多线程技术进行实际编程过程中容易出现的数据安全问题以及相应解决方法,并结合实例说明数据安全在Java多线程编程中的具体实现。(本文来源于《现代计算机(专业版)》期刊2012年25期)

杨小斐,高洁[8](2012)在《多线程技术在油库安全监控中的应用》一文中研究指出首先介绍了多线程技术,讨论了多串口多线程并发数据获取方法。充分利用C#.NET中的串口类和多线程并发技术,将该方法应用于油库安全监控系统软件开发,实现对所需监控数据的实时采集和处理,使得系统高效、可靠。(本文来源于《价值工程》期刊2012年18期)

杨军[9](2010)在《多线程在Java中的应用及线程同步安全问题的解决方法》一文中研究指出多线程是多任务操作的实现方式之一。Java语言提供多线程机制,线程表现为线程类,该类封装所有需要的线程操作控制方法,线程类是控制线程行为的惟一手段。利用多线程机制在Java中的应用可以实现应用系统多任务、多线程并发的工作方式。主要分析Java中的两种创建线程的方法比较及线程同步安全问题的解决方法。(本文来源于《硅谷》期刊2010年16期)

姜励,陈健,平玲娣,陈小平[10](2010)在《多线程程序的信息抹除和降密安全策略》一文中研究指出为了满足多线程环境下实际应用程序故意释放敏感信息以及加强信息机密性的需求,基于强互模拟等价的方式定义能够同时处理信息降密和抹除的安全属性.该属性能控制被释放的机密信息的内容,使得降密机制不会被攻击者破坏而获得额外的机密信息,并且保证低安全级信息被抹除后无法再被攻击者滥用;使用交叉拷贝技术构造实施该安全属性的安全转换类型系统,可消除由于线程之间互相竞争执行而引起的内部时间隐蔽通道.通过转换类型系统可将一个给定程序转换成具有相同结构以及时间行为的安全程序,消除其中的信息泄露.根据操作语义证明了该类型系统的类型可靠性,表明遵循类型规则转换后的程序可满足系统的安全属性.(本文来源于《浙江大学学报(工学版)》期刊2010年05期)

多线程安全论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

Arm宣布推出首款集成功能安全的多线程处理器Arm Cortex-A65AE,它是Arm汽车增强版IP产品组合的最新补充,旨在更高效地处理下一代车辆中产生的多种传感器数据流,安全地实现创新的驾驶员体验。2018年早些时候,Arm承诺,致力于帮助OEM厂商和一级汽车主机厂部署安全的全自动车辆,推出"安全就绪"计划和一系列专用的汽车增强版IP (包括Cortex-A76AE),其提供了自动应用所需的处理性能,同时具

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

多线程安全论文参考文献

[1].陈韬,王明明.面向多线程程序的内存安全运行时验证[J].计算技术与自动化.2019

[2]..Arm首款多线程处理器增强驾驶员对大规模部署自动驾驶的安全信任[J].单片机与嵌入式系统应用.2019

[3].陈益,王佩.基于同步机制解决Java多线程安全问题的应用[J].软件导刊.2018

[4].李建辉.Java多线程产生安全问题及对策分析[J].中国新通信.2016

[5].张晓丽.Java多线程编程中数据安全的应用研究[J].计算机光盘软件与应用.2014

[6].刘烨.基于多线程Java程序安全行为模型的静态检查对策探析[J].计算机光盘软件与应用.2013

[7].韦庆清,任卫东.Java多线程编程中数据安全的应用研究[J].现代计算机(专业版).2012

[8].杨小斐,高洁.多线程技术在油库安全监控中的应用[J].价值工程.2012

[9].杨军.多线程在Java中的应用及线程同步安全问题的解决方法[J].硅谷.2010

[10].姜励,陈健,平玲娣,陈小平.多线程程序的信息抹除和降密安全策略[J].浙江大学学报(工学版).2010

论文知识图

程序运行结果示意图飞控数采系统软件流程采用安全机制的多线程事例可信平台组成结构面向税务端的电子报税系统结构图3地测数据流2线程安全队列的思想

标签:;  ;  ;  ;  ;  ;  ;  

多线程安全论文_陈韬,王明明
下载Doc文档

猜你喜欢