Linux进程调度的数据结构

进程调度是Linux操作系统的核心,它对整个操作系统的执行效率至关重要.进程调度控制着进程对CPU的访问,Linux 内核利用一个数据结构(task_struct)代表一个进程,task_struct容纳了一个进程的所有信息,是系统对进程进行控制的唯一手段;代表进程的数据结构指针形成了一个task数组,数组的大小代表着系统中允许并发的最大进程数;调度程序一直维护着一个current指针,它指向当前正在运行的进程.     

一种实时系统进程调度方法探究

针对μC/OS-Ⅱ嵌入式实时系统中进程调度的时间复杂度高的问题,通过修改系统进程调度数据结构,建立一种嵌入式实时系统的进程调度模型,保证系统的调度实时性和关键实时进程的执行,同时有效降低进程调度时间复杂度,而且不失进程间的公平性,满足低优先级进程的需求,不至于使低优先级进程长时间等待或者因截止时间到而无法执行.     

支持多种虚拟化技术的进程非代理监控方法

为保障云环境中虚拟机应用的安全性与可用性,提出一种能够支持多种虚拟化技术的进程非代理监控方法及主动监控框架.本框架将进程监控点设在虚拟机监视器中,而不在其中安装任何代理,并且支持VMware,Xen和KVM三种虚拟化技术,实现了对客户操作系统(Guest OS)的隐藏进程检测和进程负载监控,保证虚拟机安全可靠地运行.从被监控虚拟机外部获取活动进程链、遍历线程获得进程列表,进而利用交叉视图技术可检测出隐藏进程;除开活动进程链,加上网络连接信息相关的另两条链表,从中定位到待监控进程,可获得进程负载状况.实验结果表明:本框架能有效地检测出系统中的隐藏进程,并且准确获取特定进程的负载信息.     

一种改进的分布式资源共享的互斥控制算法

改进了Andfew S.TanenlJaum等提出的分布式进程互斥算法,主要方法是客户进程给其他所有进程发送请求进入临界区的消息,然后当前使用临界区的进程回答NO消息,并把该进程排入等待队列.当使用临界区的进程退出时,再行唤醒因等待该临界区而被阻塞的进程.每次如此传递,一直到再无进程使用临界区.通过性能比较,该算法能明显减少网络传输的消息数量,具有一定优势.     

基于CSP的进程行为取证方法研究

针对取证过程中所获取的进程异常行为,提出进程行为事件重建犯罪过程的方法.该方法使用CSP(通信顺序进程)理论来形式化描述具有威胁乃至破坏性的进程操作及进程间的通信,根据系统保存的进程行为记录建立进程通信状态模型,使用基于路径搜索的进程行为解释算法分析模型内所有可能的进程通信序列,形成进程通信行为规则,在排除不符合规则的通信序列的基础上,找到能够形成合理证据链的通信序列.通过案例分析进行了证据的形式化及CSP建模,给出了进程行为的具体分析解释和原型系统,验证该方法的可行性和有效性.     

基于集群的Apache服务器进程迁移技术及实现

利用Linux操作系统检查点机制,中断正在运行的Apache服务器进程,进行核心转储产生了Core文件,在这个Core文件中保存被中断进程的上下文。位于集群中另外一个结点上的空闲Apache服务器进程重新加载Core文件,恢复被中断进程的上下文,恢复进程中断前打开的文件和网络连接,实现Apache服务器进程的迁移,并给出了集群中Apache服务器进程迁移的理论研究和实现技术。     

基于直接内核对象操作的进程伪装保护方法

针对目前基于隐藏的进程保护方法容易被Rootkit检测工具检测出而失效的情况,提出了一种基于直接内核对象操作(DKOM)的进程伪装保护方法.该方法将进程隐藏方法中较为常用的DKOM技术与传统的伪装技术相结合,通过直接修改操作系统内核空间中存储进程相关信息的数据结构,使进程在任务管理器中显示为一些系统进程,以此达到保护进程的目的.进程信息的修改涉及内核的操作,由Windows驱动实现,该驱动兼容Windows 2000以上多个版本的操作系统,具有广泛适用性.实验结果显示,经过该方法修改后,进程查看工具查看到的进程信息与正常的系统进程没有差别.伪装效果较好,用户无法发觉,Rootkit检测工具也不会提示异常.验证了基于DKOM的进程伪装保护方法的有效性.     

Linux进程调度分析

进程调度是多任务操作系统的核心。Linux中的每个进程用task_struct结构来描述,进程调度的依据是task_struct结构中的policy、priority、counter和rt_priority。Linux根据policy将进程划分为实时和普通两类,普通进程采用动态优先调度,实时进程采用基于优先级的FIFO调度和多级反馈轮转调度。函数schedule()是实现进程调度的函数,它通过调用函数goodness()来选择最值得运行的进程获得CPU。2.6内核的0(1)调度算法及其他快速响应策略更加适合实时环境。     

基于Verilog HDL的14层电梯控制系统

采用Verilog HDL语言,实现了14层电梯控制功能.设计中有2个进程,分别是状态机进程和信号灯控制进程.其中状态机进程是主要进程,信号灯控制进程是辅助进程,两者相互配合完成整个控制过程.整个控制系统采用Quartus II软件仿真设计,采用DE1的FPGA开发板对所设计的程序进行了硬件调试,由硬件调试结果可看出,所设计的控制系统能实现14层电梯楼层调换功能,且具有很强的实用性和适应性.     

Linux进程调度分析

进程调度是多任务操作系统的核心.Linux中的每个进程用task_struct结构来描述,进程调度的依据是task_struct结构中的policy、priority、counter和rt_priority.Linux根据policy将进程划分为实时和普通两类,普通进程采用动态优先调度,实时进程采用基于优先级的FIFO调度和多级反馈轮转调度.函数schedule( )是实现进程调度的函数,它通过调用函数goodness( )来选择最值得运行的进程获得CPU.2.6内核的O(1)调度算法及其他快速响应策略更加适合实时环境.     

Poisson 点过程及其性质

研究了 Possion 点过程和 Levy 过程,得到了以下结论：Possion 点过程是平稳过程,其特征测度是有限的;Levy 过程是适应于滤子的强 Markov 过程;最后得到了 Levy 过程的概率测度与 Possion 点过程的概率测度之间的关系.     

关于自然提升过程的一个新的应用

文[1]中提出了可测空间的自然乘积空间和随机过程的自然提升过程等概念,并且证明了一个随机过程循序可测的充分必要条件是其自然提升过程是适应过程.在此基础上,找到了可料过程与自然提升过程之间的关系,并且把自然提升过程引入到了可及过程当中,得出了自然提升过程是适应过程的另一个充分必要条件.     

关于自然提升过程的一个新的应用

文[1]中提出了可测空间的自然乘积空间和随机过程的自然提升过程等概念,并且证明了一个随机过程循序可测的充分必要条件是其自然提升过程是适应过程。在此基础上,找到了可料过程与自然提升过程之间的关系,并且把自然提升过程引入到了可及过程当中,得出了自然提升过程是适应过程的另一个充分必要条件。     

两参数强马氏过程之间的关系

利用两参数马氏过程和单参数强马氏过程的定义方式及各种停点之间的关系, 定义了1-强马氏过程、 2-强马氏过程和宽将来强马氏过程, 其中参数变换都是非随机的. 在随机过程循序可测条件下, 得到了*-强马氏过程一定是1,2-强马氏过程; 1,2-强马氏过程一定是宽将来强马氏过程. 在(F₄)条件下, 1,2-强马氏过程一定是单点强马氏过程. 宽将来强马氏过程一定是单点强马氏过程.     

三维装配工艺模型的数字化建模方法

为实现基于三维模型的装配工艺设计,研究了三维装配工艺模型的数字化建模方法. 根据装配工艺设计过程的特点,将三维装配工艺设计过程分为粗装配工艺设计阶段和精装配工艺设计阶段. 针对不同的工艺设计阶段,为三维装配工艺模型提出了3种阶段工艺模型,分别为拆卸工艺模型、粗装配工艺模型及精装配工艺模型,建立了不同阶段模型及辅助工艺信息的表达方法和模型信息间的映射机制,详细阐述了3种阶段工艺模型的建模过程. 基于上述建模方法,开发了基于三维模型的装配工艺设计系统,以一个发动机模型验证了文中提出的建模方法的正确性.      

汽车冲压件成形工艺规划中的若干实现技术

以汽车翼子板冲压件为例，系统研究了汽车冲压件制造中的工序分解、工序组合和工序安排问题，归纳了工序分解、工序组合与工序安排的主要准则，并阐述了整个技术的实现过程．提出了采用聚类映射方法生成工序分解树，采用左子结点/右兄弟结点的方法和单链表，将各工序子结点对应的产品模型形状特征有序地连接在一起，并通过工艺组合推理建立初步的工序组合方式．所提出的方法将大大提高汽车冲压件制造前的工艺规划效率．     

智能过程控制的应用

研究智能过程控制的应用问题，即智能过程自动化问题。文中分若干个领域讨论了智能过程控制的应用，给出典型系统的原理结构框图。这些应用领域包括智能过程监控、自动加工过程智能控制，生产过程的智能故障检测与诊断、飞行器飞行与降落过程的智能控制和医疗过程智能控制等。     

重力沉降-浓缩稳态过程数学模型及模拟

浓缩过程现代数学模型的建立,为沉降-浓缩工艺过程模拟仿真及其设备的选型设计提供了强有力的工具。在工业实践中,浓缩设备通常处于稳态运行状态。因此,建立浓缩机稳态过程数学模型,进行浓缩过程稳态模拟仿真,对了解浓缩工艺过程,优化浓缩工艺参数有非常重要的意义。本文通过对工业稳态浓缩过程进行研究,建立了浓缩过程稳态数学模型,并初步开发了稳态浓缩过程仿真程序。又通过对理想浓缩机进行了稳态模拟仿真,得到稳态过程的浓缩设备工艺参数的变化及其规律和浓缩机给料参数发生变化时对工艺过程的影响,尤其是对底流浓度的影响,其模拟结果可作为浓缩机设计的重要参考。     

基于UML和XML的工艺族信息模型表达方法

随着大规模定制模式的发展与应用,对产品族的研究从设计逐步延伸到制造,针对工艺族的建模提出了基于UML和XML的对工艺族信息模型表达的方法.首先通过对工艺平台及工艺族的介绍,明确了工艺族的元素实体及实体间的相互关系;而后基于面向对象的思想,采用UML静态关系图对工艺族进行了描述;为了使工艺族模型在工程中得到应用并保证不同系统间工艺族信息的可传递性和共享性,通过UML模型向XML Schema的转换规则,用XML对工艺族模型进行表达.最后以卫星结构板面板机加工艺为例,通过对其机加工艺的分析,建立了面板机加工艺族的UML模型,并采用XML描述了面板机加工艺族的实例.     

基于更改域的工作流过程演变算法

针对工作流过程演变时过程实例的跃迁策略不易确定的问题,提出了一种表达灵活的工作流过程模型,并将过程模型的更改转化成若干更改域,更改域包含三类元更改操作.为了确定过程实例能否平滑地迁移至新的过程模型,又提出了通过更改域边缘查找更改点的方法.比较更改点位置与当前过程实例状态,确定过程演变策略,并给出过程演变算法,从而实现了过程实例迁移.实际应用表明,所提算法可自动导出工作流过程演变策略,并实现过程实例的批量跃迁.