第1页：第十一章操作系统管理
- 11.1操作系统使用
- 操作系统生成
- 操作系统装入
- 操作系统初启
- 操作系统运行11.2操作系统维护
- 改正性维护
- 适应性维护
- 完善性维护11.3操作系统保护
- 域结构
- 访问矩阵11.4操作系统安全
- 闯入与身份认证
- 程序威胁
- 安全策略
- 可信系统11.5系统举例
第2页：11.1 操作系统使用
- 11.1.1操作系统生成(SYSGEN)
- 根据系统配置情况(生成信息)
- 处理机数量,型号;
- 内存容量;
- 磁盘类型,容量;
- 设备类型,型号;
- 操作系统选项(缓冲区大小,数量,调度算法等)。生成与目标机相适应的系统(编译,连接,运行生成法)
- 生成后存在硬盘上,其后可以多次装入。
第3页：11.1.2 操作系统装入
- (boot)
- Power on(or Reset)
- ROM引导
- OS引导
- 在文件系统中找到“操作系统可执行文件”
- UNIX: /UNIX
- 此时不能按文件方式访问11.1操作系统使用
第4页：11.1.3 操作系统初启
- 系统初始化
- 中断向量,表,链,队列,全局变量等
- Eg. UNIX:(filesys, file, inode, map, proc, …)
- 创建系统进程(线程)Eg. UNIX 0#, 1#
- 低级调度:进程调度
- 初启后系统一直工作。11.1操作系统使用
第5页：11.1.4 操作系统运行
- (Multi-user system)1.系统负荷监测
- 用户数、用户类型与时间关系;
- 峰值工时;
- 作业类型(CPU型, I/O型);
- System bottleneck
- 2.系统负荷调整
- 大作业调整:批处理后台运行、降低优先级、运行时间;
- 限制用户数目、分散用户登录时间;
- 设计应用程序减少对瓶颈资源需求。11.1操作系统使用
第6页：11.2 操作系统维护
- 1.正确性维护改正新发现的错误和设计上的缺陷
- 2.适应性维护适应特定的运行环境
- 3.完善性维护扩充功能和改善性能
第7页：11.3 操作系统保护
- (Protection)
- 保护(protection)与安全都是与系统可靠性相关的问题
- 保护一般相对系统内部合法用户;
- 安全一般相对系统外部非授权用户。
- 保护的目标是提供一种机制(mechanism)以保证某种策略(policy)的实施
第8页：11.3.1 域结构
- Access-right= <object-name, rights-set>
- right-set为对该对象所能进行的所有合法操作集合的子集合.
- Domain= set of access-rights域的例子
第9页：11.3.2 访问矩阵
- 域与对象之间的访问权限可用一矩阵表示,矩阵的行为域,列为对象,元素为权限集合,称为访问矩阵。访问矩阵O4O3O2O1writereadD1read,writeD2readexecute, readD3executereadD4对象域
第10页：11.3.2 访问矩阵（续）
- 具有owner和copy权限的访问矩阵O3O2O1readD1read,writeD2execute*read,ownerD3对象域O3O2O1executereadD1read, writereadD2execute*read,owner,writeD3对象域
第11页：11.3.2 访问矩阵（续3）
- 域矩阵(Domain matrix):域矩阵的行和列均为域,权限为switch和control
- 若switch∈Domain [ i , j ] ,则Di可以切换到Dj;
- 若control∈Domain [ i , j ] ,则Di可以控制Dj,如收回其权限。
第12页：11.3.2 访问矩阵（续4）
域矩阵域域D1D2D3D4D1D2D3D4switchswitchswitchcontrolcontrol
第13页：11.3.2 访问矩阵（续5）
访问矩阵常见的实现方法①全局表(global table)三元组<Di, Oj, Rk>的集合,其中Di为域, Oj为对象, Rk为权限集合。当域Di对对象Oj实施M操作时,在全局表中找到对应三元组<Di, Oj,Rk>,判断M∈Rk是否成立。
第14页：11.3.2 访问矩阵（续6）
②访问表(access list) :基于列的组织方式。每个对象对应一个二元组<Di, Rk>集合,当域Di对对象Oj实施M操作时,在Oj对应的访问表中找<Di, Rk>,判断M∈Rk是否成立。
第15页：11.3.2 访问矩阵（续7）
③权力表(capability list):基于行的组织方式。每个域对应一个二元组<Oj, Rk>集合;当域Di对对象Oj实施M操作时,在Di对应的权利表中找<Oj, Rk>,判断M∈Rk是否成立。
