新型操作系统.doc

新型操作系统 对很多嵌入式系统来说，一个设计良好的实时操作系统(RTOS)可以让开发工程师掌握系统执行任何任务或响应任何关键事件的时间，满足系统实时性要求。为了理解RTOS如何通过系统调度策略实现实时性要求，本文介绍了抢占式调度、可抢占的内核、优先级继承和中断处理等概念。 在设计工业控制系统或医疗设备时，大部分工程师和系统设计工程师会认为采用RTOS是必需的。然而，网际路由器、车载娱乐系统和多媒体设备等普通应用还需要采用RTOS吗？像Linux或Windows这样的通用操作系统是否就能胜任呢？通常，这些产品需要采用RTOS，但是这个问题常常直到设计阶段的后期才能意识到。 RTOS对于很多嵌入式系统来说不但是有益的，而且也是必要的，认识到这一点很重要。例如，一个播放如MPEG格式电影的设备，如果依靠软件来实现其整个内容传输，可能会出现用户难以接受的高丢帧率。然而，通过使用RTOS，系统设计工程师能够准确地控制软件过程的执行顺序，从而保证按照给定的媒体速率进行播放。上述大部分情况适用于用户希望对输入做出立即响应的系统。通过RTOS，开发人员能够保证由用户的操作总能得到及时的响应，除非一个更重要的操作(如一项有助于保障用户安全的操作)必须首先执行。 总之,一个好的RTOS支持开发人员控制系统执行任何任务或对任何重要事件做出反应的时间，并且能够以一种可以预测并且完全一致的形式满足任务执行的最终期限要求。但是，如果RTOS崩溃，这些最终期限就不能被满足。因此，RTOS必须提供高度的可靠性。特别是它必须提供在不需要重启的情况下，从软件故障中快速并智能恢复的机制。 在像Linux这样的通用操作系统中，在对线程和进程的CPU占用上采用了“公平”调度策略。这样的策略能够提供良好的整体表现，但是不能保证高优先级、对时间要求严格的线程将优先于低优先级的线程执行。事实上，操作系统有时甚至会中断高优先级的线程来为低优先级线程提供CPU时间。其结果可能造成对时间要求严格的线程很容易地错过它们的最终期限，甚至在一个高速的高端处理器上运行时也会出现这种情况。 而在RTOS中，线程按照其优先级顺序执行。如果一个高优先级的线程准备运行时，它将在一个短的、有限时间间隔内从任何可能正在运行的低优先级进程接管CPU。另外，高优先级的线程能够不被中断地运行，直到它已经完成了需要做的事情－当然是在不被更高优先级进程抢占的前提下。这种方法就是抢占式调度，保证了高优先级线程始终满足其最终期限，而不管有多少其它线程正在竞争CPU时间。 通过合理地控制线程优先级，开发者能显著地提高很多对用户非常重要的应用响应速度。然而，控制优先级可能是一把双刃剑，当使用不当时它可能会潜在地导致低优先级的进程不能得到CPU时间。保证高优先级的进程和线程的同时确保不会使其它进程处于“饥饿”状态的关键是要对它们的执行进行限制，通过对执行进行调整或在响应加载的过程中进行控制，开发人员能够限制这些活动消耗的CPU时间比例，并支持低优先级进程获得对CPU的共享。 在大部分通用操作系统中，操作系统的内核是不可抢占的。其结果是，一个高优先级的进程不可能抢占一个内核调用，而是必须等待整个调用完成，即使这个调用是由系统中的低优先级进程发起的。另外，当经常在内核调用中执行的驱动程序或其它系统服务代表一个客户线程执行的时候，所有的优先级信息常常会丢失，这导致了不可预测的延迟并阻止了关键活动的准时完成。 而在RTOS中,内核操作是可抢占的。尽管仍然会存在一些时间窗口，在这些时间窗口中可能没有抢占，但是这些时间间隔应该是相当短暂的，通常在几百纳秒。另外，必须有一个关于抢占被推迟或中断被禁止的时间上限，这样开发者可以确定最坏情形下的等待时间。 为了实现这个目标，操作系统内核必须尽可能简洁，只有具有较短执行路径的服务才被包含在内核中，任何需要大量工作(如进程加载)的操作必须被安排到外部进程或线程。这种方法有助于通过内核确保最长的不可抢占代码路径具有一个时间上限。 采用微内核(mricokernel)架构来提供更精确的故障隔离，像QNX Neutrino这样的操作系统都基于微内核架构。 微内核有两个明确的特征： 1. 在操作系统内核中只实现了一个包含了基本OS服务的小内核(如信号量、定时器、任务调度等)。包括驱动程序、文件系统、协议栈和用户应用程序在内的所有其它的组件在内核外部分离的、保护内存的进程中运行。有问题的系统服务不再作为孤立的故障点，而是在它破坏其它服务或操作系统内核之前被终止并重启。 2. 所有的组件能够通过消息传递进行通信，一个定义良好的通信机制保障了程序在保持彼此安全隔离的前提下进行数据交换。适当实现的消息传递也可以作为一个