• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • λ演算 – λ表达式的文法、 λ演算的变换规则、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 分布式死锁预防

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

• 4.1 概述 – 分类，指标 • 4.2 主存储器 – SRAM/DRAM devices –主存系统组成 –提高访存性能 • 4.3 高速缓冲存储器 • 4.4 辅助存储器 寄存器 缓存 主存 磁盘 磁带

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

• 异常与中断的基本概念 – 功能：处理意外事件，I/O • 指令异常，系统服务（syscall） • 外部中断 – 时序：顺序语义 • 指令周期：同步，异步（中断周期） – 属性：5种 • 异常与中断响应的基本过程 – 机构 • 向量式/非向量式，控制栈 • 异常：EPC，Cause，Vector • 中断：EPC，Cause，Vector，Enable，Mask – OS：ESR/ISR – 约定：软硬件接口 • 异常与中断响应过程控制 – 多周期异常处理：中断周期 – 流水线异常处理 • 精确，非精确

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