Formal Verification of the Processor Pre-allocation Algorithm for Multiprocessor Scheduling

• 作 者: LihuiLei;YongmingLi;
• 机 构: School of Computer Science, Shaanxi Normal University, Xi'an 710062, China
• 出 处: 2012年全国理论计算机科学学术年会(NCTCS2012)
• 发表日期: 2012年期

In multiprocessor systems,several processors may deal with a task at the same or different time,so traditional test methods are hardly used to validate multiprocessor scheduling algorithms.In this paper,a lattice-valued finite automaton(l-FA) is proposed to verify the processor pre-allocation algorithm for multiprocessor scheduling.