导读:本文包含了互斥锁论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:互斥,死锁,自动机,优先权,优先级,扩展性,临界。
互斥锁论文文献综述
王广辉[1]（2013）在《基于FPGA的实时操作系统互斥锁硬件化技术研究》一文中研究指出随着嵌入式系统的普及应用,选用实时操作系统(RTOS)作为其基础软件平台已成为必然选择。然而,由于嵌入式系统的强实时约束,导致RTOS无法对资源竞争等高复杂度的操作提供全面的安全防护。随着嵌入式系统的网络化、并行化、智能化发展趋势日益显着,由应用系统自行保障可靠性的传统方式将捉襟见肘。采用软硬件协同手段,对RTOS功能模块进行硬化处理及功能重构,是一种兼顾系统实时性及可靠性的有效手段,因而成为当前RTOS研究的热点之一。本文在分析现有RTOS中互斥锁功能模块安全防护缺陷基础上,以现场可编程门阵列(FPGA)为硬件平台,对互斥锁的硬件化处理若干关键技术开展研究,设计并实现了一套基于FPGA的原型系统HM-RTOS,以提高RTOS在复杂应用场景中资源竞争处理的可靠性。本文的主要研究工作如下：1)在对VxWorks5.4、Rtems4.10.0、μC/OS-Ⅱ2.86、μC/OS-Ⅲ、ThreadX3.0、 RT-Thread0.3.0多个RTOS进行实验分析的基础上,针对现有优先级继承协议实现方法的缺陷,提出了基于链式优先级继承和回落优先级的改进方案。2)以提高互斥锁功能模块可靠性为入手点,对互斥锁硬件化处理中的若干关键技术开展研究,包括：优先级继承树模型、软硬件互连形态、互斥锁硬件结构设计。3)基于FPGA设计并实现了一个包含MutexMU互斥锁硬件单元的原型系统HM-RTOS,通过功能及性能测试验证了其有效性。(本文来源于《浙江大学》期刊2013-01-10）
王磊,曹龙汉[2]（2011）在《一种Glibc互斥锁的统计方法》一文中研究指出提出一种Glibc互斥锁的快速查找统计方法。利用面向对象技术和基于接口的编程思想,使用哈希算法查找mutex统计对象,使用循环队列技术记录mutex近期的操作,使用原子操作解决资源冲突,实现了Glibc互斥锁的快速统计。试验并结合X86CPU的打点技术进行统计分析,结果表明算法可以节约统计空间开销和避免资源冲突。(本文来源于《中国新技术新产品》期刊2011年02期）
陶毅,杨红雨,胡术[3]（2008）在《一种基于语法扩展的自动互斥锁实现机制》一文中研究指出针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足,提出扩展C/C++标准语法,增加临界资源定义及操作关键字的方案,通过隐藏互斥锁的概念及实现从而降低开发复杂度、实现平台无关.在扩展语法基础上,提出采用分支栈检查算法在代码进行临界资源访问顺序合法化及配对完整性检查,可有效地减少死锁隐患、增强系统的可靠性.(本文来源于《四川大学学报(自然科学版)》期刊2008年03期）
Intel编程系统实验室,Ali－RezaAdl－Tabatabai[4]（2008）在《TM将取代互斥锁助益并行编程》一文中研究指出并行计算是发挥处理器多核的关键优势，编程面临的同步机制又出了新的研究——事务内存（ＴＭ），它有望取代互斥锁方法。 ——Ｉｎｔｅｌ编程系统实验室Ａｌｉ－Ｒｅｚａ Ａｄｌ－Ｔａｂａｔａｂａｉ 目前，解决并行编程面临的大问题——对共享内存的同步(本文来源于《中国计算机报》期刊2008-03-10）
庞飞[5]（2004）在《分布式网络互斥锁的设计与实现》一文中研究指出随着计算机网络的快速发展,分布式应用逐渐成为主流。传统的集中式服务器系统因其固有的,诸如单一故障点、可扩展性差等缺点,越来越制约着网络业务向多元化方向发展,人们也慢慢地转向使用分布式服务器系统。使用分布式系统的好处很多,例如可以实现资源共享、提高系统可靠性、降低商业成本等等。为了满足众多信息服务提供商对高性能、高性价比、高可扩展性的分布式并行服务器系统的需求,我们基于Linux 内核开发了具有自主知识产权的分布式并行文件系统DPFS。DPFS 是一种面向服务器的分布式并行文件系统,在其基础上可以构建分布式并行服务器系统,典型应用就是宽带视频点播(BOD)服务器系统。本文首先讨论了在分布式文件系统设计时面临的几个重要问题,然后给出了DPFS 的总体结构,并介绍了各模块的功能特点。最后重点描述了基于PQ-RW算法的网络互斥锁的设计与实现,包括下面主要内容:DPFS 读写一致性问题、几种典型的互斥算法的分析比较、PQ-RW 算法的描述和实现、网路互斥锁的实现、性能测试和分析。PQ-RW 算法是一种基于优先权队列的具有读写特性的分布式互斥算法。基于该算法实现的网络互斥锁,是DPFS 用来对各个服务器节点中的临界资源实现互斥访问,并作为解决文件读写一致性问题的根本保障。在以只读方式访问文件为主的系统中,能够大大降低并发控制的时间开销和消息量。同时加入了节点失效和加锁进程失效检测机制,使得整个网络互斥锁的容错性能得到极大的改善。(本文来源于《电子科技大学》期刊2004-12-01）
赵慧斌,李小群,孙玉芳,叶以民[6]（2003）在《Linux互斥锁机制的研究及改进》一文中研究指出1 引言随着Linux操作系统的成功,改进Linux的设计和性能,使其应用于实时领域吸引了许多研究人员和开发人员的注意力,Linux的实时化已有多种方案,如RTAI,RTLinux为代表的硬实时化,KuRT、ART Linux等的软实时化方案。硬实时化方案主要在中断处理、调度和时钟管理方面进行了改进工作,中断处理方面,RTAI提出的中断虚拟层减少了由于中断屏蔽而引起的调度延迟,硬实时化方案同时提供了一个具有进程管理、中断管理等基本核心服务的实时核心为实时任务服务,而原核心对于该实时核心来说是一个i-dle进程。另外,硬实时化方案采用了动态精度的时钟管理策(本文来源于《计算机科学》期刊2003年08期）
互斥锁论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
提出一种Glibc互斥锁的快速查找统计方法。利用面向对象技术和基于接口的编程思想,使用哈希算法查找mutex统计对象,使用循环队列技术记录mutex近期的操作,使用原子操作解决资源冲突,实现了Glibc互斥锁的快速统计。试验并结合X86CPU的打点技术进行统计分析,结果表明算法可以节约统计空间开销和避免资源冲突。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
互斥锁论文参考文献
[1].王广辉.基于FPGA的实时操作系统互斥锁硬件化技术研究[D].浙江大学.2013
[2].王磊,曹龙汉.一种Glibc互斥锁的统计方法[J].中国新技术新产品.2011
[3].陶毅,杨红雨,胡术.一种基于语法扩展的自动互斥锁实现机制[J].四川大学学报(自然科学版).2008
[4].Intel编程系统实验室,Ali－RezaAdl－Tabatabai.TM将取代互斥锁助益并行编程[N].中国计算机报.2008
[5].庞飞.分布式网络互斥锁的设计与实现[D].电子科技大学.2004
[6].赵慧斌,李小群,孙玉芳,叶以民.Linux互斥锁机制的研究及改进[J].计算机科学.2003
论文知识图
