4.1 用格里高利公式求π的近似值 (while语句) 4.2 统计一个整数的位数 (do-while语句) 4.3 判断素数 (break 和 continue 语句) 4.4 求1!+2!+...+100! (循环嵌套) 4.5 循环结构程序设计

• 流水线技术原理 • RV的五级流水线实现 – Verilog行为级定义： • Hazard问题 – 结构冲突：哈佛结构 – 数据依赖 • 编译技术：插入nop，指令重排，寄存器重命名 • forwarding技术：RAW • Interlock技术：Stall – 控制相关 • 编译技术：延迟分支 • 硬件优化：提前完成，投机，预测 • 多发射技术 • 硬件多线程

• 多周期设计需求：CISC采用 – 时钟周期对性能的影响 – 复用功能部件，减少硬件开销 • 多周期实现 – 数据通路，控制器（状态机，微程序）

3.3 选举算法 3.3.1 欺负（Bully）算法 3.3.2 环算法 3.4 原子事务 3.4.1 原子事务简介 3.4.2 事务模型 3.4.4 并发控制 3.5 分布式系统中的死锁 3.5.1 分布式死锁检测 3.5.2 分布式死锁预防

– RV指令系统 • 指令功能，指令格式与编码，寻址方式 – 汇编程序设计：C语言的机器表示 • 可执行程序生成：编译，汇编，链接，加载 – 指令系统特征

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动 围绕分析器的自动 成展开 生

1.1 网络安全的社会意义 1.2 网络安全基本概念 1.3 网络安全面临的威胁 1.3.1 网络安全面临的威胁 1.3.2 网络出现安全威胁的原因 1.3.3 网络安全面临的困难

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • 演算 – 表达式的文法、 演算的变换规则、Church数码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函数

• 基本知识 – 多核体系结构、并行编程模型 • 内存一致性模型 – 严格一致性模型、顺序一致性模型、内存一致性模型的重要性 • 共享变量并行编程模型 – 同步、锁、临界区、条件变量、死锁、数据竞争 • 消息传递并行编程模型 – 消息传递、同步与异步