semi-partitioned 调度平台实验手册

将linux2.6.20的内核与补丁文件semipart.patch放在同级目录下，然后进入linux内核打补丁：
cd linux2.6.20
patch -p1 < ../semipart.patch
补丁打完后，重新编译内核即可。
用户库主要由三部分组成，litmus库文件、semipartitioned算法库文件和跟踪文件，分别是三个文件夹liblitmus、algorithm和trace。
算法库和litmus库需要make之后使用。算法库中的主程序是partition，用户只需要在终端下运行它就可以按照提示信息对任务进行划分。
litmus库中的任务创建主要由bin目录下的base_task来实现，如果是切割任务，在我们的实现中用户可以选择手动输入切割任务信息或者是在程序中写入，这部分的内容在src目录下的litmus.c文件中的sporadic_task_split()函数中实现。由set_rt_mode来实现实时跃迁。
trace中运行litmus_trace脚本后将建立litmus_log文件，用于跟踪semi-partitioned调度器中的运行信息。只需要在终端下进行如下操作就可以进行跟踪：
cat litmus_log > my_debug
这样跟踪的信息就被写入到my_debug文件中。