导读:本文包含了多线程同步论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:多线程,机制,多核,可达性,语言,程序,系统。
多线程同步论文文献综述
杨志斌,袁胜浩,谢健,周勇,陈哲[1]（2019）在《一种同步语言多线程代码自动生成工具》一文中研究指出随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证.目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成.提出一种同步语言SIGNAL多线程代码生成工具.首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码.通过在多核处理器上的实验,验证了所提方法的有效性.(本文来源于《软件学报》期刊2019年07期）
王敏[2]（2019）在《Java多线程同步机制下的网络售票系统》一文中研究指出现如今我国已经进入了信息化的时代,信息技术水平也不断发展,程序的执行效率也在不断提高,多线程的并发执行一直都是传统的提高系统资源利用率的一种技术手段。但是在某些特殊情况下,多个线程在访问一个变量时,如果处理不妥当,很有可能会出现问题,发生混乱。因此多线呈同步机制被引入,这种机制可以保证多个线程同时运行,但是当运行的过程中不会出现多个线程对共享资源同时访问,共享资源的安全性可能会出现一定问题。本文主要探讨了使用Java多线程同步机制模拟网络售票过程,希望能有一定的借鉴作用。(本文来源于《电子技术与软件工程》期刊2019年04期）
田春婷[3]（2018）在《基于Java多线程同步技术的简易模拟售票系统实现》一文中研究指出Java多线程应用程序可以由多个线程调用同一方法,同时线程彼此之间又互不干扰[1]。但是在多个线程同时对共享资源进行读写操作时,有可能会有数据处理不当的问题出现,而Java多线程同步技术可以有效避免这种数据混乱情况。通过对Java多线程同步技术的研究与分析,介绍了简易模拟售票系统的实现。(本文来源于《电脑编程技巧与维护》期刊2018年12期）
陈益,王佩[4]（2018）在《基于同步机制解决Java多线程安全问题的应用》一文中研究指出为了避免Java应用程序中多个线程共享同一个资源时产生访问冲突,确保线程安全,采用同步机制为每个线程合理地分配访问资源。编写一个模拟火车站售票过程的Java应用程序,由4个线程完成100张火车票的出售,调用sleep方法查看非同步环境下每个线程访问资源的状况。分析多线程采用同步机制和非同步机制的实验给系统带来的影响。实验证明,借助同步机制能合理地为每个线程提供没有任何冲突的资源访问,使Java多线程程序获得更好的健壮性。(本文来源于《软件导刊》期刊2018年12期）
鲁向前[5]（2018）在《多线程并发同步的独立消息窗口调试方法》一文中研究指出共享内存多处理器系统中并发程序执行过程与结果高度不确定,导致并发错误难触发、难调试.提出一种复杂性介于传统方法与现代方法之间的新的调试方法,每个线程使用独立的消息循环和输出窗口,并控制多任务间的同步逻辑与窗口输出的时间序列保持一致,它能降低并发任务之间的输出耦合性,使并发性观察和同步互斥正确性判断十分直观.将调试方法应用于RPCP算法,实验结果表明,该方法直观、简易、有效.(本文来源于《韶关学院学报》期刊2018年12期）
郭敏,郑定富[6]（2017）在《基于多线程的NAO机器人同步启动技术研究与实现》一文中研究指出探讨采用多线程软件编程技术实现多个NAO机器人的同步启动。首先,以NAO机器人为基础,将多线程同步技术应用到多台NAO机器人的协调控制中,使多台机器人在同一时刻同时启动。其次,通过多线程方法执行并行任务,使多机器人在同一个系统中同时执行各自的任务,具有较稳定的同步性。最后,通过实验验证了该方法的有效性和可靠性。(本文来源于《软件导刊》期刊2017年06期）
彭娇[7]（2016）在《Java多线程同步机制在网络售票系统中的应用》一文中研究指出多线程的并发执行可以提高程序的执行效率,提高系统资源的利用率。然而在某些情况下,当多个线程同时访问一个变量时,如果处理不当,很可能发生混乱。而多线程同步机制的引入则可以保证多个线程可以独立运行、互不干扰。该文主要使用Java的多线程同步机制模拟网络售票过程。(本文来源于《科技资讯》期刊2016年29期）
陈伟[8]（2016）在《基于扩展同步序列的Java多线程程序可达性测试方法探讨》一文中研究指出随着计算机技术的不断创新与发展,传统Java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在Java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列的Java多线程程序可达性测试,探讨基于扩展同步序列的可达性测试方法,旨在为我国计算机程序的编写和测试提供参考。(本文来源于《电子世界》期刊2016年13期）
郑龙[9]（2016）在《多线程锁同步运行时特征分析与调优机制研究》一文中研究指出随着多核/众核处理器的出现,计算机的处理能力得到大幅增强。为了充分地发挥多核/众核处理器强大的计算能力,多线程编程技术应运而生,但同时也引入了线程间通信问题,因此,设计出了锁同步机制来协调线程间的通信。在多线程编程语言中,锁同步机制的核心理念是保证不同线程对同一共享资源的冲突访问以互斥的方式进行。尽管锁同步机制保证了线程间通信的正确性,但由于多线程程序运行时调度的随机性与复杂性,在程序动态执行的过程中,现有的锁同步机制也同时带来了大量的非冲突型互斥执行,即不当锁同步。不当锁同步指由同一锁保护的多个临界区并未同时访问同一共享资源。程序运行时形成的不当锁同步带来了诸多负面影响：1)在程序性能影响方面,由于不当锁同步保护的多个临界区没有对同一共享资源进行冲突访问,因此这些临界区原本可并行执行,然而锁同步机制的互斥保护使得它们以串行的方式执行,因此影响了多线程程序的性能。特别地,在锁密集型的多线程程序中存在着大量的不当锁同步,这对多线程程序的性能造成了严重的影响。2)在数据竞争检测方面,现阶段主流的动态数据竞争检测方法大都基于Happens-Before (HB)关系实现。该检测方法通常对不同线程间的解锁和加锁事件形成偏序时序关系,但凡两个程序事件没有偏序关系同时又冲突访问了同一共享资源,那么它们便构成一个数据竞争。然而,由于不当锁同步可并行化的特征,HB模型的强边界时序关系通常会漏掉大量的数据竞争。此外,不当锁同步在程序动态执行过程中有指数量级变化的可能性,因此高效地识别不当锁同步并非一件易事。围绕上述若干锁同步相关问题,开展了“多线程锁同步运行时特征分析与调优机制研究”的课题,主要包括以下叁方面：在特征研究方面,首次对多线程锁同步运行时特征进行了系统的分析,特别是不当锁同步运行时的特征分析。具体来说,以若干真实的(real-world)多线程程序(例如OpenLDAP、mysq1、pbzip2、transmissionBT、handbrake)为基准程序,对它们中的锁同步进行测试、跟踪、收集,通过观察进一步对锁同步运行时特征进行总结,具体包括：锁同步特征分类及其表现形式、产生原因、系统影响、防范策略和可能的修复措施等。特征研究同时揭示了11个锁同步运行时特征相关的新观察,基于收集到的观察结果探讨了其所折射的研究蕴意。通过对多线程锁同步运行时特征研究,加强了对不当锁同步的认识与理解,对解决不当锁同步的程序影响有着重要的指导意义。在性能调试方面,针对不当锁同步所造成的性能影响问题,提出了基于记录/重放技术的性能调试方法-PerfPlay。该方法的核心思想如下：首先,记录下含有不当锁同步性能问题的原始程序执行轨迹文件：其次,利用拓扑图分析技术消除其中的不当锁同步执行序列,使之变为不含有不当锁同步性能问题的程序执行轨迹文件；接着,对原始和修改后的程序执行轨迹文件重放；最后,对比分析两次重放结果进而定量分析出不当锁同步所造成的净性能损耗。实验结果表明,PerfPlay方法：1)有着很高的性能稳定性与性能精确性,进而保证了重放分析的性能保真度；2)以低(<4.3%)运行时锁集开销,推荐的不当锁同步代码段有很高的优化价值；3)案例分析的结果也进一步逆向证明了PerfPlay在发掘不当锁同步方面的有效性。在数据竞争检测方面,提出了面向不当锁同步的弱时序边界Happens-Before关系-ULCP-HB, ULCP-HB关系改善了传统HB关系的强时序边界特点,其能穿透不当锁同步交错解锁和加锁事件之间形成的偏序关系并使之并行化。为了实现ULCP-HB关系,结合不当锁同步运行时特征,进一步提出了在线启发式分析与离线重排序分析相结合的轻量级数据竞争检测方法,该方法在几乎不引入额外运行时开销的情况下能够发掘出因不当锁同步而隐藏的数据竞争。实验表明,相比于HB检测方法,ULCP-HB能发掘出额外19.8%的数据竞争；且在几乎不引入(<4.45%)运行时分析开销的情况下,能够节约51.0%重排序开销和52.3%执行轨迹文件大小。综上所述,围绕多线程程序动态运行过程中产生的不当锁同步现象,从基础研究(即多线程锁同步运行时特征研究)和扩展研究(包括面向不当锁同步的性能调试技术和数据竞争检测两方面的研究)两个方面对不当锁同步进行了全面又深入的系统分析,这些研究加强了程序设计人员对不当锁同步的运行时行为及程序影响的理解,进而帮助程序设计人员有效地修复不当锁同步相关的程序影响。(本文来源于《华中科技大学》期刊2016-05-01）
杨志斌,赵永望,黄志球,胡凯,马殿富[10]（2016）在《同步语言的时间可预测多线程代码生成方法》一文中研究指出能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.(本文来源于《软件学报》期刊2016年03期）
多线程同步论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
现如今我国已经进入了信息化的时代,信息技术水平也不断发展,程序的执行效率也在不断提高,多线程的并发执行一直都是传统的提高系统资源利用率的一种技术手段。但是在某些特殊情况下,多个线程在访问一个变量时,如果处理不妥当,很有可能会出现问题,发生混乱。因此多线呈同步机制被引入,这种机制可以保证多个线程同时运行,但是当运行的过程中不会出现多个线程对共享资源同时访问,共享资源的安全性可能会出现一定问题。本文主要探讨了使用Java多线程同步机制模拟网络售票过程,希望能有一定的借鉴作用。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
多线程同步论文参考文献
[1].杨志斌,袁胜浩,谢健,周勇,陈哲.一种同步语言多线程代码自动生成工具[J].软件学报.2019
[2].王敏.Java多线程同步机制下的网络售票系统[J].电子技术与软件工程.2019
[3].田春婷.基于Java多线程同步技术的简易模拟售票系统实现[J].电脑编程技巧与维护.2018
[4].陈益,王佩.基于同步机制解决Java多线程安全问题的应用[J].软件导刊.2018
[5].鲁向前.多线程并发同步的独立消息窗口调试方法[J].韶关学院学报.2018
[6].郭敏,郑定富.基于多线程的NAO机器人同步启动技术研究与实现[J].软件导刊.2017
[7].彭娇.Java多线程同步机制在网络售票系统中的应用[J].科技资讯.2016
[8].陈伟.基于扩展同步序列的Java多线程程序可达性测试方法探讨[J].电子世界.2016
[9].郑龙.多线程锁同步运行时特征分析与调优机制研究[D].华中科技大学.2016
[10].杨志斌,赵永望,黄志球,胡凯,马殿富.同步语言的时间可预测多线程代码生成方法[J].软件学报.2016
论文知识图
