季颖 李文丰 孙仁诚 胡晓辉 李志蜀 侯义斌 舒新峰 温冬婵 段振华 房家国 吴运星 谭水木 张素娟 熊政 刘天立 袁飞 田丽娜 张玉馥 吴涛 刘椿年 芦东昕 胡子义 王艳春 杨光友 王念永 满春涛 张玉璘 余正军 邵峰晶 丁聪

调度算法 计算机专业 嵌入式系统 进程控制块 内核 定理证明 Fair-Share 核心层 调度验证 数据结构 时间片 操作系统实验 目标语言 linux实时性 优先级反向 多核处理器 实时性 操作系统原理 定时器驱动 优先级检索 O（1）算法 优先级 优先级继承协议 μCOS-II LFS算法 实时 互斥锁 进程控制块（PCB） 模拟仿真 实时系统