专利名称：依据全局变量在嵌入式实时系统中设置调度禁区的系统的制作方法
技术领域：
本发明涉及一种设置调度禁区的系统，尤其涉及一种依据全局变量在嵌入式实时系统中设置调度禁区的系统。
背景技术：
随着嵌入式系统功能的增强，现在大多数系统都采用了多进程的方式。而作为实时应用系统，进程调度成了嵌入式实时操作系统(RTOS-Real-TimeOperating System)中最关键的部分，因为进程调度所耗的时间直接关系到了实时系统的实时性。
进程的调度可以分成两部分一是进行进程“上下文”的交换，称为进程切换，它属于进程调度的后半部分；前半部分则是用来确定进程调度的时机，称为进程调度。在现在流行的嵌入式系统设计中，大家一般醉心优化进程切换操作。而即使是较复杂的系统，也往往只会多十几条指令，虽然速度确实会慢些，但对于现代CPU越来越快的运行速度，这方面的差别实际上可以忽略不计。
然而，进程调度就不同了，特别是当系统因功能的增强而越来越复杂时，同时运行的进程数急剧增加，实时调度策略运用又使得进程调度算法变得更复杂，这就会增加系统的调度延迟。但系统调度延迟主要还不在于此，而在于从产生调度要求到实施真正的进程调度，即进行切换，所需等待的时间。对于实时系统来说，最好是有调度请求，就能立即进行调度，因为这样才能更好地满足实现高优先级任务的要求。不论调度的请求是由当前进程主动发起的，还是由于中断产生更紧迫的任务，抢占CPU运行的任务往往具有更高的优先级。然而这只是个美好的愿望，因为在多进程的环境中不可能不存在“调度禁区”。调度禁区就是禁止进行进程切换的代码段。
事实上，整个系统所有“调度禁区”的勘定极为困难。对于简单地系统，也许靠经验丰富的系统设计人员可以划分出所需调度保护的代码片断。但对于日益复杂的嵌入式系统，如智能手机等，则几乎不可能了。为了满足嵌入式系统实时性的要求，目前常用的做法有两种一种是以时间片或定时器的方式统一限定了进程不可进行调度的时间限制；二是在嵌入式操作系统设计时，对“调度禁区”进行粗略地划分。明显对于第一种策略简单易行，但会产生当没有调度请求时也要进行进程调度，这与节约宝贵的嵌入式系统的精神是不相符的。第二种策略以最新嵌入式Linux2.6为代表，正是看到了第一种策略的弱点，对调度禁区进行了划分，并对操作系统的内核进行了修补，以实现更精确的实时调度。但是鉴于系统的复杂性，这种划分往往是粗略的，而耗时最长的调度禁区，它将决定我们嵌入式系统的实时性能。像嵌入式Linux2.6就是利用调度禁区与对称多处理器(SMP-Symmetric MultipleProcessor)结构的“访问禁区”大部分重合的特点，充分利用了“访问禁区”机制来实现规避调度禁区的实时调度。然而调度禁区并不完全与“访问禁区”重合，里面又包含了多余的“访问禁区”成分。
发明内容
本发明所要解决的技术问题在于提供一种依据全局变量在嵌入式实时系统中设置调度禁区的系统，从而更精细的划分嵌入式实时系统中的调度禁区。
为了解决上述技术问题，本发明提供一种依据全局变量在嵌入式实时系统中设置调度禁区的系统，包括变量查询模块，用于根据全局变量，确定该全局变量所能影响到的变量；变量判断模块，用于判断该受全局变量影响的变量是否会对系统进程的执行结果产生影响；代码段定位模块，当该受全局变量影响的变量会对系统进程的执行结果产生影响时，定位对该全局变量进行的操作的代码段与对该受全局变量影响的变量进行操作的代码段；代码段加锁模块，用于将所述两个代码段紧密的放在一起，作为一个整体代码段加锁，设置该区域为调度禁区。
所述系统进一步包括变量遍历模块，用于遍历所述操作系统内核中的所有全局变量，将每个全局变量依次提供给所述变量查询模块。
本发明的优点在于通过本发明提供的系统可以精细化划分嵌入式实时系统的调度禁区，有力地保证整个系统设计的稳定性，同时使得调度禁区短小精悍，从而使得新的调度请求可以迅速得到响应，极大提高了系统的实时性能。
图1为根据本发明实施例所述的设置调度禁区的系统结构图；图2为根据本发明实施例所述的设置调度禁区的方法流程图。
具体实施例方式
下面结合附图，对本发明的实施例进行详细说明。
要划分调度禁区，就是要对嵌入式操作系统中的代码段进行审查，将确实不允许在中途发生调度的代码片断保护起来，放在临界区中，即调度禁区中。如图1所示，本发明包含变量查询模块201，用于根据全局变量，确定该全局变量所能影响到的局部变量。变量判断模块202，用于判断该受全局变量影响的局部变量是否会对系统进程的执行结果产生影响，如果判断到该受全局变量影响的局部变量不会对系统进程的执行结果产生影响，则放弃对该变量的追踪。代码段定位模块203，当该受全局变量影响的局部变量会对系统进程的执行结果产生影响时，定位对该全局变量进行操作的代码段与对该受全局变量影响的局部变量进行操作的代码段。代码段加锁模块204，用于将所述两个代码段紧密的放在一起，作为一个整体代码段前/后设置lock/unlock原子操作进行加锁，设置该区域为调度禁区。变量遍历模块205，用于遍历所述操作系统内核中的所有全局变量，将每个全局变量依次提供给所述变量查询模块201。
如图2所示，在实际操作中，首先在所述嵌入式实时系统的操作系统内核中确定一个全局变量(步骤101)。通过变量查询模块201，确定该全局变量所能影响到的局部变量(步骤102)。然后，通过变量判断模块202判断该受全局变量影响的局部变量是否会对系统进程的执行结果产生影响(步骤103)。如果该受全局变量影响的局部变量不会对系统进程的执行结果产生影响，则放弃对该局部变量的追踪(步骤104)。如果该受全局变量影响的局部变量会对系统进程的执行结果产生影响，则通过代码段定位模块203定位对该全局变量进行操作的代码段与对该受全局变量影响的局部变量进行操作的代码段(步骤105)。接着，通过代码段加锁模块204将所述两个代码段紧密的放在一起，作为一个整体代码段前/后设置lock/unlock原子操作进行加锁，设置该区域为调度禁区(步骤106)。最后，通过变量遍历模块205遍历所述操作系统内核中的所有全局变量，对每个全局变量重复执行步骤102至步骤106(步骤107)。
所述变量遍历模块205，对嵌入式实时系统中所有变量的遍历，涉及到变量的统计工作。内核的全局量都是共享资源，其中全局常量因其值不变，不会影响调度禁区，因此不考虑全局常量。对于嵌入式系统中其他的共享资源，如外围端口等，一般与全局变量一样被映射到了某一内存地址，其值因随外部设备的状态会变化，因此把它当全局变量看待。光有进程，没有被抢的共享资源是不会产生调度禁区的问题的。因此要统计系统全局变量的信息。至于全局变量的统计，是通过分析各嵌入式源代码来实现的。全局变量在代码中有其独特的形式，根据其特点，应用SourceInsight等代码阅读与分析工具，可以方便地将它们找出来。各种嵌入式操作系统提供厂商，考虑到嵌入式系统的灵活性和针对性较强的特点，公开了绝大部分的源代码。
不同的操作系统往往有自己实现具体系统调用的接口的方法，但在源代码中也都是有迹可查的。如Linux中，所有上层要用到的系统调用的定义，都放在了/include/asm/unistd.h这个头文件中，这些系统调用又将会映射到内核中系统调用表的表项，而这些表项将指到具体的功能实现代码。运用SourceInsight等代码阅读分析工具可以方便地把进程与内核系统的通信找出。采取深度优先算法，在每个进程下进行了该类搜索，并将系统调用的名称，功能代码段的名称和牵涉到的交互变量以图的形式，记录在每一个进程树图下。一个进程可有多个系统调用，每个系统调用构成一个分支并挂在对应的进程下，最后形成了一棵树。
上述进程与内核系统交互的纵向探索中，重点就是要查获系统调用是否有返回，是否会对具体进程中的变量产生影响，并挖掘出影响该变量值的局部变量。工作完成后，这些属于各进程的变量和属于内核系统的变量，在上述对应的进程树中都将有所体现。这些是在应用代码阅读分析工具的基础上，由系统工程师深入阅读与分析源代码实现的。
由于进程的运行是动态的，没有人能对内核何时对进程的执行产生了影响作出判定。本发明是要更加精细化调度禁区，就是让不可抢占调度权的代码段尽可能地短，从而尽可能快地响应其他的实时任务。如上所述，如果发现有内核变量可能对上层进程的变量产生影响，就将在可能改变该内核变量的代码前后加上lock/unlock原子操作进行加锁，以表明该代码段将运行于调度禁区内。如在Linux中可在该代码前加上prempt_disable，以禁止其后代码运行时可被抢占CPU的执行权；而在该代码后加上prempt_enable，标识其后的代码可以继续被抢占调度，以让CPU响应更高优先级的任务。
权利要求
1.一种依据全局变量在嵌入式实时系统中设置调度禁区的系统，通过对系统全局变量的分析设置调度禁区，其特征在于，包括变量查询模块，用于根据全局变量，确定该全局变量所能影响到的变量；变量判断模块，用于判断该受全局变量影响的变量是否会对系统进程的执行结果产生影响；代码段定位模块，当该受全局变量影响的变量会对系统进程的执行结果产生影响时，定位对该全局变量进行操作的代码段与对该受全局变量影响的变量进行操作的代码段；代码段加锁模块，用于将所述两个代码段紧密的放在一起，作为一个整体代码段加锁，设置该区域为调度禁区。
2.如权利要求1所述的系统，其特征在于，进一步包括变量遍历模块，用于遍历所述操作系统内核中的所有全局变量，将每个全局变量依次提供给所述变量查询模块。
3.如权利要求1所述的系统，其特征在于，所述变量判断模块，如果判断到该受全局变量影响的变量不会对系统进程的执行结果产生影响，则放弃对该变量的追踪。
4.如权利要求1所述的系统，其特征在于，所述受全局变量影响的变量是一个局部变量。
5.如权利要求1所述的方法，其特征在于，所述代码段加锁模块，是通过在整体代码段前/后设置lock/unlock原子操作而进行加锁的。
全文摘要
本发明提供一种依据全局变量在嵌入式实时系统中设置调度禁区的系统，包含变量查询模块，用于根据全局变量，确定该全局变量所能影响到的变量；变量判断模块，用于判断该受全局变量影响的变量是否会对系统进程的执行结果产生影响；代码段定位模块，当该受全局变量影响的变量会对系统进程的执行结果产生影响时，定位对该全局变量进行操作的代码段与对该受全局变量影响的变量进行操作的代码段；代码段加锁模块，用于将所述两个代码段紧密的放在一起，作为一个整体代码段加锁，设置该区域为调度禁区。本发明的优点在于更精细的划分了嵌入式实时系统中的调度禁区。
文档编号G06F9/46GK1983188SQ200510134218
公开日2007年6月20日 申请日期2005年12月12日 优先权日2005年12月12日
发明者刘洋 申请人:中兴通讯股份有限公司