linux内核进程抢占式调度的博弈决策文档.docVIP

PAGE PAGE 4 Linux内核进程抢占式调度的博弈决策 林攀 （江苏大学 计算机科学与通信工程学院 江苏 镇江） 摘要:以博弈论的思想来解读Linux 2.6 内核进程调度的策略，在博弈树构造中寻找纳什均衡，已达到计算机资源协调，实现资源的最优化；通过研究非实时进程的时间片策略，分析进程调度的策略，在做出策略后它们的是否实现调度设计目标，把博弈理论中得声誉名词引入进程调度中，衡量决策的优良性能指标，用复出的内部机制，让超时的进程得到复出的机会。 关键词:进程调度；博弈论；声誉； 复出 引言 从古代开始，数学家研究室内游戏，试图构造一个最优的游戏策略，至到20世纪中期左右，计算机之父约翰·冯诺依曼提出了新的研究成果，一个真正的，严谨的，模型化的关于策略环境的理论产生了，被称为博弈论[2](Game Thory)，目前博弈论广泛应用到数学、经济、社会学、生物、计算机等学科，它主要研究决策主体的行为发生相互作用的时候主体的决策以及这些决策之间的均衡问题，数学家纳什提出的纳什均衡是博弈论的核心，这是一种有着深刻意义的理念，越来越到底认可，经济学家和数学家不断研究。 自由开放Linux操作系统凭借其开源代码的优势，得到广泛的认可，内核一直不断完善，尤其Linux 2.6在内核实现了抢占式优先级算法，一个优良的调度算法必须同时兼顾以下几个互相冲突的目标：（1）响应时间尽可能短、系统吞吐量可能的高、考虑进程死锁公平的问题、异常处理的能力等，一个算法的策略决定了该算法是否实现上述的目标，在计算机运行的当前环境，做出在哪个时间段选择那种新进程的规则集就是调度策略[1]。近年来, 很多学者将经济学中的博弈论应用于任务分配中较好地解决了智能体的资源分配问题，依据因对博弈论的贡献而获得诺贝尔经济学奖的 RobertAumann教授的说法, 博弈论就是研究互动决策的理论。所谓互动决策,即各行动方( player)的决策是相互影响的,每个人在决策的时候必须将他人的决策纳入自己的决策考虑之中,当然也需要把别人对于自己的考虑纳入考虑之中, 在如此迭代考虑情形下进行决策,选择最有利于自己的战略[2]( strategy)，以至于不愿意改变策略。把博弈理论引入的内核进程抢占式算法中，并且提出一个概念声誉(Reputation)一个分量。 进程博弈树 我们把决策有先有后的博弈，叫做序贯决策博弈[2]，因为有次序性质，所以我们这里不采用矩阵收益表示方法，而采用是扩展式的 “树型”，根和分支点是决策节点（decision node），树梢即各枝梢是末端节点（terminal node），博弈的“树型表示”，就是要在每个决策节点处说明这是谁的决策点，并且说明在这个决策点供它选择的策略或行动是什么，而且在末端节点，意味着博弈结束。在linux2.6中采用的是新调度机制基于两个优先级参数策略：静态优先级与动态优先级。静态优先级是用于计算机进程的时间片，而动态优先级是作为调度器选择当前“合适”进程的直接依据。 图1进程博弈树图1是一个典型的博弈树，节点A是决策的起点，在启动进程运行时，就面临着做出决策，通过rt_task()算法的判断是实时进程还是普通的进程，从而A-B还是A-C。B是非实时进程的时间片的策略，它的时间片由进程的静态决定，当在B节点时，需要在非对称信息集里查看shedular_tick()函数，时间片是否为0，产生了D、E两个节点，C是实时进程的时间片，根据实时进程策略的不同，设置不同的时间片，体现了极大的灵活性， 图1进程博弈树 F、G分别是SHED_FIFO和SCHED_RR调度策略。 在linux内核里进程的动态博弈树并不是完全的树，其博弈树典型地还可以具有各种形式，在内核中调度器会根据优先级，时间片等会呈现非对称的树，可能会茂盛和稀疏的树。在理想的情况下，负载能力均衡的是最优二叉树，总之，“树”的生长方向，就是博弈进行就是博弈进行的方向，“进程树”的生长，反映博弈决策时刻的进程,一个成功进程的调度存在纳什均衡，纳什均衡就是参与者不愿意改变选择，否则它的收益（payoffs）会降低，是所有博弈者的一个策略组合，其中一个策略组成要成为纳什均衡，必须使这个组合的每个策略和其他的策略构成最优反映函数（best response），在进程调度中，调度器按着设计提出的目标要求，进行进程策略组合， 必然找到纳什均衡点，但是当进程被阻塞，且拥有某些临界资源的情况，当前进程通常是不能释放处理器、进入睡眠状态，进而会导致系统死锁，这就不是纳什均衡，对于它们来说，不是最优函数，损失收益就是使其他的进程得不到处理器的权利，资源浪费、死循环等。不良的进程表现，一个进程策略的所得并不一定意味着计算机内部资源遭受损失，更不一定意味使它的进程运行要遭受同样数