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

5.1 存储层次结构 5.2 Cache基本知识 5.3 降低Cache失效率的方法 5.4 减少Cache失效开销 5.5 通过并行操作减少失效开销或失效率 5.6 减少命中时间 5.7 主存 5.8 虚拟存储器－基本原理

❖Unix文件系统概述 ❖文件 ❖硬链接和软链接 ❖文件类型 ❖文件描述符与索引节点 ❖访问权限和文件模式 ❖文件操作的系统调用 ❖Linux的虚拟文件系统 ❖虚拟文件系统VFS的作用 ❖VFS的数据结构 ❖文件系统类型 ❖文件系统安装 ❖路径名查找 ❖VFS系统调用的实现 ❖文件加锁 ❖Ext2文件系统简介

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

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 分布式死锁预防

– 词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任务 – 围绕词法分析器的自动生成展开 – 介绍正规式、状态转换图和有限自动机概念

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

1.3.2 网络出现安全威胁的原因 1.3.3 网络安全面临的困难 1.4 网络安全组织机构 1.5 安全体系框架 1.6 OSI安全体系结构 1.7 网络与信息安全相关法规 1.8 安全评估引言

• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

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