导读:本文包含了调度内核论文开题报告文献综述及选题提纲参考文献，主要关键词:操作系统,进程调度,Linux内核,教学方法
调度内核论文文献综述
邱煜炎[1]（2019）在《基于Linux内核的操作系统进程调度教学方法研究》一文中研究指出进程管理是操作系统课程的核心,而进程调度是进程管理理论的教学重点.如果不能将理论与真实操作系统相结合,学生很难掌握各种调度算法的应用背景和运行原理.笔者通过剖析Linux内核源码,采用探索启发式教学方法,引入进程调度应用于Linux操作系统的真实案例,使学生真切感知实际操作系统中进程调度的运行机理.并且通过修改内核源代码改进调度算法,使学生加强对调度算法理论的深入理解,从而提高学生对操作系统课程学习的积极性及分析解决问题的能力.(本文来源于《赤峰学院学报(自然科学版)》期刊2019年01期）
王建,舒睿俊,王旭,周婷[2]（2017）在《面向通信系统的GPP平台内核调度算法研究》一文中研究指出Linux内核调度算法直接影响基于通用处理器(GPP)平台的通信系统传输性能。文中分析了Linux内核基于截止时间算法(DEADLINE)和先进先出算法(FIFO)的原理,及DEADLINE算法的准入条件。在此基础上搭建了基于GPP的LTE系统实验平台,通过实验比较了基于两种内核调度算法的通信系统在时间响应、CPU使用率等方面的性能。结果表明,基于DEADLINE算法的通信系统时间响应性能优于FIFO,提高了28.38%,同时CPU使用率提高了36.53%。实验结果对基于不同场景搭建软件定义无线电平台提供了参考。(本文来源于《信息技术》期刊2017年12期）
仇阳[3]（2017）在《Linux内核进程调度算法发展》一文中研究指出Linux诞生至今,取得了巨大的发展。进程调度程序作为内核的重要组成部分也随着处理器性能提高、新的交互方式的出现、调度需求的变化而不断发展变化,在提高处理器利用率、提升用户使用体验、提高计算机工作效率等方面扮演重要角色。本文将阐述Linux内核调度程序的发展及演变过程,并对未来调度程序的发展做一些展望。(本文来源于《电子世界》期刊2017年07期）
任强[4]（2017）在《Linux SMP内核调度机制实现原理分析》一文中研究指出本文通过对Linux不同版本调度机制的研究,分析对SMP的支持能力。并分析不同版本的调度机制、算法对SMP性能的影响。支持SMP的Linux的逐步完善过程中所积累的经验及成果,无论在理论上还是实践上,都为其他嵌入式操作系统实现SMP架构提供了很好的借鉴作用。因此,深入分析Linux SMP系统的实现原理,对后续其他嵌入式操作系统实现SMP架构能够提供理论支持和实践依据。(本文来源于《2017年3月建筑科技与管理学术交流会论文集》期刊2017-03-27）
杜雨晴[5]（2015）在《基于Isabelle/HOL的Linux0.11内核调度模块形式化设计与验证研究》一文中研究指出随着软件应用日益广泛,人们对软件的可信度要求越来越高,其中对操作系统这种基础系统软件的可信要求更是迫切。形式化方法通过使用严格的数学逻辑推理系统,可以保证系统的正确性和安全性,因此将形式化方法运用在操作系统的设计和实现中是十分必要的。由于大多数的操作系统采用C语言实现,而且操作系统内核规模巨大而复杂,直接在源码级进行完整的形式化验证是十分困难的。操作系统一般可以分为系统设计和系统实现,针对这两个方面,首先应该使用形式化的逻辑验证操作系统的设计是否满足系统安全需求,进而再去对代码实现进行形式化分析。因此,本文基于Linux 0.11内核调度模块,使用形式化的方法对其代码实现进行了抽象重构设计,并验证了内核的部分安全性,主要研究工作如下:首先对Linux 0.11内核代码进行了深入的分析,在此基础上使用高阶逻辑语言Isabelle/HOL对内核入口到调度模块的工作过程进行了重构设计。在形式化设计中,提出了一种PCB分层设计方法,该方法可以保护PCB中安全级较高的数据,使操作均执行在可被并发读取的数据部分;同时提出了扩展规约描述方法,这种方法不仅支持在抽象层次验证内核系统的完整性而且支持调度行为的可信性验证,避免了对调度行为的精化证明过程。其次,基于模型结构,定义了内核状态转换过程中应该满足的不变式条件,在此基础上使用霍尔公理逻辑、最弱前置条件和定理证明的相关规则和策略在Isabelle环境中进行推理证明,结果表明在内核相应功能的执行过程中,对内核状态的更新和读取安全可靠,内核的可信度得到提高。(本文来源于《国防科学技术大学》期刊2015-10-01）
李开旭,温东彪,刘锦棠[6]（2015）在《基于优先级调度的8位单片机内核实现方案》一文中研究指出普通的8位单片机的程序在主循环里一般都是顺序执行,主循环中有时候执行较长,有时候又较短,导致有些实时性要求较高,需要优先处理的程序无法放在主循环里运行,如果放在中断里又会增加中断的内容,同时也会影响整个程序的架构,使程序的可读性和移植性变差。鉴于此,在时间片内核的基础上引入优先级的调度,形成了不可剥夺的优先级内核。(本文来源于《日用电器》期刊2015年08期）
阮维龙,翟正军[7]（2015）在《VxWorks平台内核态ARINC653分区实时调度算法设计与实现》一文中研究指出集成模块化航空电子架构(integrated modular avionic,IMA)已成为主流航空电子系统;ARINC 653作为航空电子设备IMA架构的标准应用接口,成为研究航空电子软件编程方法的入口;最新研究表明,VxWorks能够为航空电子分区管理提供最优化的平台;然而,基于VxWorks的ARINC 653高效分区调度算法依然是研究的"盲区";由此,设计了VxWorks内核态分层ARINC 653分区实时调度算法,提高了分区调度效率,为VxWorks内核ARINC 653完整性的研究提供非常有价值的参考;实验数据说明,相较于传统用户态分区管理模型,该调度算法使分区释放开销和分区释放抖动两项指标均显着降低。(本文来源于《计算机测量与控制》期刊2015年06期）
张传栋[8]（2015）在《嵌入式Linux内核实时调度策略改进方案》一文中研究指出中断线程化及SMP技术是两种嵌入式Linux实时性改造方案,它可以提高嵌入式Linux的实时性,分析了这两种方案存在的问题,并在这两种改造方案的基础上分别提出了等待队列优先权排队及SMP的优先级任务动态平衡两种改进方案,以提高嵌入式Linux的实时性,测试结果表明对提高嵌入式Linux实时性有显着效果.(本文来源于《济宁学院学报》期刊2015年03期）
陈雄[9]（2015）在《无线传感器网络节点定位技术及内核调度机制的研究》一文中研究指出无线传感器网络通过大量的传感器节点协作以监控物理位置或环境状况,节点的位置信息及其网络定位技术是无线传感器网络的热点研究问题。无线传感器网络操作系统(Wireless Sensor Network Operating System,WSNOS)是无线传感器网络的基本软件环境,其调度机制极其重要,是操作系统的核心。因此,节点的定位技术及内核调度机制的研究具有非常重要的意义。DV-HOP算法无需添加额外的硬件,成本低,能耗小,拥有较强的网络生存能力,但算法定位精度略低。为提高定位精度,本文提出了一种基于RSSI跳数修正的DV-HOP定位算法。TinyOS作为一种已被广泛运用的无线传感器网络操作系统,其先来先服务(First-Come-First-Served,FCFS)的调度方式,在某些场合会出现任务阻塞、吞吐量下降等一系列问题。为此,本文提出了一种基于拥塞避免的动态优先级调度策略以实现系统内核优化。论文主要工作如下:(1)提出了一种基于RSSI跳数修正的DV-HOP定位算法。针对传统算法中整数跳数降低定位精度的问题,该算法首先通过RSSI路径损耗模型中的经验公式计算待测节点到信标节点的理论测距;然后使用理论测距与节点通信半径的比值作为新的跳数计算方式;最后根据统计学中的高斯分布函数建立平均跳距误差的修正模型,通过对误差模型求取极限,降低平均跳距误差对算法的影响。实验证明,与其他算法相比,该算法在各类网络中具有更好的精度及稳定性。(2)提出了一种基于拥塞避免的动态优先级调度策略。针对TinyOS原始FIFO调度策略中实时性及吞吐量不足的问题,首先,通过对TinyOS内核调度器源码进行修改,系统将优先调度具有高优先级属性的任务队列,提升实时性能;然后根据计算机网络中TCP拥塞避免(加性增、乘性减)的算法思想,通过添加少数临时变量和控制函数,实现任务队列的优先级加性增、乘性减,提高了网络吞吐量。实验证明,相比FIFO调度策略,改进的调度策略提高了 TinyOS系统的实时性及吞吐量。(本文来源于《湖南大学》期刊2015-04-28）
周雷[10]（2015）在《事件驱动的嵌入式系统调度内核研究与实现》一文中研究指出嵌入式操作系统是运用在对成本、大小、功能、功率多方面有特殊要求的应用中，嵌入式操作系统可根据应用的需求来裁剪软硬件，更加的灵活。嵌入式系统应用的特点是对实时性要求高且资源受限，因而，提高系统资源利用率，是嵌入式操作系统领域研究的焦点。本课题对基于事件驱动的嵌入式操作系统调度内核进行深入研究，实现了基于事件驱动的调度内核。本课题研究了解了现有实时嵌入式操作系统的调度机制，阐述了任务优先级调度机制的，介绍了事件优先级与任务优先级调度内核的区别。介绍了事件优先级的优点和事件驱动调度内核的基本设计思路，明确了事件驱动调度内核要实现的目标，奠定了实现事件驱动调度内核的理论基础。通过分析和设计，事件驱动调度内核采用了事件优先级、单堆栈的设计、采用订阅-发布模式、任务不可重入性、采用静态事件池等设计思路。设计了内核目录结构、数据结构以及各数据结构之间的关系，确定了事件调度的流程。事件驱动的调度内核实现了事件控制块、事件帮助类、事件池、事件池帮助类等数据结构。利用事件就绪组和事件就绪表实现了事件优先级并实现了O（1）时间复杂度查找最高优先级事件；所有任务都是RTC(Run To Compeletion)的，它们统一使用系统栈，实现了单堆栈设计；用户通过使用事件帮助类和事件池帮助类操作事件控制块和事件池，任务只需要注册、处理和产生事件，不需要了解与其他任务如何协作，内核决定调度哪个事件，实现了订阅-发布模式；在任务函数中，用一个标志位表示该任务是否正在执行，若正在执行则退出，实现了任务不可重入。本文最后对内核进行了测试，分别进行了Win32平台测试、Arduino平台[21]测试，分别计算出了在Win32平台下事件驱动调度内核和任务驱动调度内核在执行过程中任务占用的内存，实际应用中，内存节省率会随着任务所占内存大小和任务的执行顺序不同而改变。通过内存比较得出了事件驱动的调度内核更节省内存、更高效；另一方面，使用事件驱动调度内核，编程人员可以很少使用甚至不使用信号量等同步机制，降低编程人员多线程编程难度。通过实验测试并给出相应数据，验证了事件驱动的嵌入式系统调度内核的正确性、可行性、高效性。本课题对提高系统资源利用率、使多线程编程更简单有重要的参考价值。(本文来源于《吉林大学》期刊2015-04-01）
调度内核论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Linux内核调度算法直接影响基于通用处理器(GPP)平台的通信系统传输性能。文中分析了Linux内核基于截止时间算法(DEADLINE)和先进先出算法(FIFO)的原理,及DEADLINE算法的准入条件。在此基础上搭建了基于GPP的LTE系统实验平台,通过实验比较了基于两种内核调度算法的通信系统在时间响应、CPU使用率等方面的性能。结果表明,基于DEADLINE算法的通信系统时间响应性能优于FIFO,提高了28.38%,同时CPU使用率提高了36.53%。实验结果对基于不同场景搭建软件定义无线电平台提供了参考。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
调度内核论文参考文献
[1].邱煜炎.基于Linux内核的操作系统进程调度教学方法研究[J].赤峰学院学报(自然科学版).2019
[2].王建,舒睿俊,王旭,周婷.面向通信系统的GPP平台内核调度算法研究[J].信息技术.2017
[3].仇阳.Linux内核进程调度算法发展[J].电子世界.2017
[4].任强.LinuxSMP内核调度机制实现原理分析[C].2017年3月建筑科技与管理学术交流会论文集.2017
[5].杜雨晴.基于Isabelle/HOL的Linux0.11内核调度模块形式化设计与验证研究[D].国防科学技术大学.2015
[6].李开旭,温东彪,刘锦棠.基于优先级调度的8位单片机内核实现方案[J].日用电器.2015
[7].阮维龙,翟正军.VxWorks平台内核态ARINC653分区实时调度算法设计与实现[J].计算机测量与控制.2015
[8].张传栋.嵌入式Linux内核实时调度策略改进方案[J].济宁学院学报.2015
[9].陈雄.无线传感器网络节点定位技术及内核调度机制的研究[D].湖南大学.2015
[10].周雷.事件驱动的嵌入式系统调度内核研究与实现[D].吉林大学.2015