实时系统不仅要保证任务运行逻辑上的正确性,而且还要保证在限定的时间内能够完成指定任务。否则,错过了截止期的实时任务会造成像任务运行出错时一样严重的后果。实时调度算法是实时系统研究的核心课题之一。随着计算机技术的飞速发展,多处理器实时系统的应用已越来越广泛。多处理器系统上的实时调度也越来越引起人们的关注。最早截止期优先(Earliest Deadline First,简称EDF)调度算法和最小松弛时间优先(Least Laxity First,简称LLF)调度算法已被证明是单处理器系统上的最优调度算法。然而,在多处理器系统上,这种最优性失败了,最早截止时间零松弛(Earliest Deadline Zero Laxity,简称EDZL)调度算法明显优于这两种算法。本文从EDF实时调度模型出发,分析了EDF模型在单处理器实时系统上的最优性,以及EDF模型在多处理器实时系统上的非最优性。引入了EDF模型的改进算法——多处理器实时系统EDZL调度算法。本文对EDZL调度算法进行了较为深入的研究。研究了EDZL算法的性质,并对EDF调度算法和EDZL调度算法进行了比较。证明了EDZL调度算法支配EDF调度算法。实时调度算法的可调度性是衡量实时系统可靠性的重要指标。EDZL算法是作业级动态优先级算法,用常规的利用率分析方法进行可调度性判定比较困难。本文从实时作业在执行时受到的干涉出发,分析了实时作业能够容忍干涉的下界,以及其它任务对作业可能产生干涉的上界,通过比较这两个界,证明了EDZL算法可调度的充分条件。并给出了EDZL调度算法可调度性判定的算法。从实时系统工程设计出发,本课题编写了一个测试EDZL调度算法可调度性的程序。用这个程序可以对设计的任务集合进行EDZL算法可调度性判定,保证了使用EDZL调度算法的实时系统的可靠性。