1 Background and System Model 2 Deadlock Characterization Necessary Conditions Resource-Allocation Graph Methods for Handling Deadlocks 3 Deadlock Prevention (死锁预防) 4 Deadlock Avoidance (死锁避免) Safe State (安全状态) Resource-Allocation Graph Scheme Banker’s Algorithm (银行家算法) 5 Deadlock Detection (死锁检测) and Recovery

• Complexity Challenge – CBD：分治，结构 – MBD：抽象，方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL

• The Effects of Power • Low Power Design – DPM based low power optimization – DVS based low power optimization • ex: Program-level optimization for multimedia – ACPI：OS supported PM – ACPI：OS supported PM – 软硬件协同低功耗设计 • Power model: Power Analysis/Estimation Tek & Tools • Temperature Aware Design • Leakage Power • Case Study – Cache、Memory、Data Center、Handheld • Conclusion

• 嵌入式处理器概述（实例） • 通用处理器体系结构 – CISC – RISC • 嵌入式处理器 • I/O系统 – 中断 – DMA

1 多道程序技术和程序并发执行的条件 2 Process Concept 3 Process Scheduling 4 Operation on processes 5 Interprocess Communication (进程间通信, IPC) 6 Example of IPC Systems 7 Communication in C/S Systems

1 操作系统的组成、服务、特征 System components OS Services System Calls & Types system programs 操作系统的特征 2 操作系统的抽象模型和体系结构 进程模型 线程模型 OS structure Virtual Machine 系统设计与实现

Computer System Operation A modern computer system System boot Interrupt I/O Structure I/O Structure I/O operation DMA Storage Structure and Storage Hierarchy Storage Structure Storage hierarchy Hardware Protection Hardware Protection General System Architecture General System Architecture system call Computing Environments

• 嵌入式操作系统概述 – 嵌入式操作系统体系结构 – 典型的嵌入式操作系统 • RTOS基本概念 – 编程模型 • RTOS内核功能 • RTOS的性能指标

分布式路由算法导论 一般类型网络的最短路径路由算法 特殊类型网络的单播算法 特殊类型网络中的多播算法

虚信道和虚网络 完全自适应和无死锁路由算法 几个自适应和无死锁路由算法 容错单播的一般方法 网格和圆环中的容错单播算法 超立方中的容错单播算法 容错组播算法