关键词: 实时多处理器, 并行调度, 任务分割, Petri网仿真, 可达标识图

Abstract: Multiprocessor scheduling algorithm is the key in the embedded real-time systems. According to the multiprocessor features, a new dynamic parallel scheduling algorithm of real-time multiprocessor, named Split-Parallel (SPara), was proposed. The algorithm solved the problem that the previous algorithms, such as Myopic, EDPF, only judge by the deadline to schedule the tasks, and it was also developed by adding the restriction of the urgency and an effective method as the task with long execution time and tight deadline. Furthermore, the multiprocessor scheduling algorithm which combined the theory of high-level coloured time Petri net was analyzed by modeling, and according to the model, an example of SPara algothrim was simulated and tested. The experimental results show that SPara performances are much better than the other algorithms like Myopic in processor utilization and scheduling success ratio.

Key words: real-time multiprocessor, parallel scheduling, task split, Petri net simulation, reachable marking set