操作系统课件13.分布式

1、计算机操作系统教师：助教：82316284，wa赵玉龙,分布式操作系统特征分布性自治性模块性并行性功能进程迁移分布式进程同步任务分配资源管理与计算机网络的区别多机合作和健壮性航空航天大学计算机学院Multiprosor (1)Bus-based multipro计算机学院sors航空航天大学Multiprosor (2)Omega Switching Network航空航天大学计算机学院Multiprosor (3)航空航天大学计算机学院操作系统类型Multiprosor Synchronization航空航天大学计算机学院Multiprosor Scheduling (1)航空航天大学计算机

2、学院Multiprosor Scheduling (2)航空航天大学计算机学院puter (1)puter (2)航空航天大学计算机学院比较航空航天大学计算机学院航空航天大学计算机学院Network Hardware (1)Computer(a)Ethernetclassic Ethernetswitched Ethernet航空航天大学(b)计算机学院Network Hardware (2)Theernet航空航天大学计算机学院-Based MiddlewareThe Weba big directed graph ofs航空航天大学计算机学院Shared Object-Based Midd

3、lewareMain elements of CORBA based systemCommon Object Request Broker Architecture航空航天大学计算机学院进程迁移数据迁移计算迁移航空航天大学计算机学院迁移的原因负载平衡通信性能加速计算需要特殊资源提高可利用性航空航天大学计算机学院进程迁移机制发动迁移迁移那些部分如何进行迁移航空航天大学计算机学院分布式进程同步事件排序为每个进程建立逻辑时钟收到消息进程的逻辑时钟大于发出消息的逻辑时钟，如果收到消息的进程发现消息的逻辑时钟大于自己的逻辑时钟，则重置自己的逻辑时钟。Send(m)=100, Receive(m)=90,

4、 因此需要Receive(m)=Send(m)+1=101ort算法L航空航天大学计算机学院假设条件对系统节点N进行出请求。按序传递消息。，每个节点有一个进程提消息在有限时间内送达。处理器直接通信。航空航天大学计算机学院每个进程在发消息时加上自己的逻辑时钟Ti，并保持一个请求队列Pi请求某个资源时，Request（Ti，i）放到自己的队列，并发送给其他进程Pj收到Request（Ti，i），回复Reply(Tj, j)，放入自己的队列。如果Pj收到Request（Ti，i）前，也请求过同一资源，其比较本地的邮戳时间，如果小于（Ti，i），则推迟回复。允许Pi请求处于队列的最前面收到的其他请求，

5、晚于（Ti，i）从自己队列中去掉消息，发Release消息给其他进程Pj收到Pi的Release后，消去请求消息。当每一个进程要一个共享资源时，本算法要求该进程发送3（N-1)个消息，其中(N-1)个Request消息，(N-1)个Reply消息，(N-1)个Release消息。航空航天大学计算机学院过程调用航空航天大学计算机学院RPCs can be used to communicate betn addressspaon different machines or the same machinecan be run wherever its most appropriateExServ

6、iAcs to local and remote servilooks the sameles of modern RPC systems:CORBA (Common Object Request Broker Architecture) DCOM (Distributed COM)RMI (Java Remote Method Invocation)航空航天大学计算机学院Amoeba - Tanenbaum, Mullender1983 1.0Mach - Richard RashidRIG Mach 1.0(1986) Mach 2.5 Mach 3.0Chorus -IA0(1980)

7、1(1982-1984) 2(1984-1986) 3(1987)航空航天大学计算机学院安全性性完整性可用性航空航天大学计算机学院在信息现代化建设中，要实施式发展，就需要引进和借鉴发达国家的成熟技术，但是在涉及国家安危的重要领域决不可简单地采取“拿来主义”。航空航天大学计算机学院实例的英特尔公司在其生产的奔腾处理器中加入了一种唯一序列码，可通过计算机的“唯一识别”功能用来识别并自动用户，用户信息；微软公司的“视窗98”系统在编制时留有一个具有超级的用户账号，微软总部通过这个账号可以随时畅通无阻地进入用户操作系统。航空航天大学计算机学院对计算机系统的安全防护防止技术、安全网关技术主要是防止；防止

8、信息泄密各种信息加密技术主要是保证信息传递中的安全；以及防止对系统的破坏。安全技术则主要是确保计算机系统本身的安全性，以便保证计算机应用系统和可靠地运行，以及在万一被后将破坏限制在最小的局部范围，以保证计算机及其网络系统整体的安全。同时，它也为防止提供了基本的技术支持。航空航天大学计算机学院在保证计算机系统及上，安全技术和技术两者。而CPU和操作系统是安全技术的关键，安全操作系统是安全技术的。操作系统是构建安全系统的基石。为了构筑我国信息与网络安全防线，我国在研究方面，制订了相应的标准，并进行了安全操作系统、多级安全数据库等的研制。须采用国产的CPU和相应的与之配套的安全操作系统，在此基础上构

9、筑自己的安全和应用系统，从根本上解决我国的问题。航空航天大学计算机学院国防部于1983年提出了“计算机评估准则”，它是迄今评估计算机安全最有名的标准之一。其后又制订了关于网络系统、数据库等方面的系列安全解释，形成了安全信息系统体系结构的最早原则。航空航天大学计算机学院TCSEC将安全保护分成四等、八个级别，分别为D，C1，C2，B1，B2，B3，A1，超A1，安全级渐次增强。不满足任何较高级别安全条件的系统划入D类。航空航天大学计算机学院C 类为型保护，由两个级别组成。C1 级：具有一定的型存取控制机制。象UNIX 的OWNER/GROUP/OTHER 存取控制。C2级：具有更细粒度（到每一个

10、单独用户）的机制，而且引入审计机制。型存取航空航天大学计算机学院B类为强制型保护，由三个级别组成：B1级：满足C2级所有的要求，而且需要有所用安全策略模型的非形式化描述，实施强制型存取控制。B2级：系统的计算基(TCB)是基于明确定义的形式化模型，并对系统中所有的主体和客体实施了型存取控制和强制型存取控制。另外，具有通路机制、系统结构化设计、最小管理以及对隐通道的分析和处理等。B3级:系统的TCB设计要满足能对系统中所有的主体对客体的进行控制，TCB不会被窜改，且TCB设计要非常的小巧和结构化以便于分析和测试其正确性。支持安全管理者的实现，审计机制能实系统的安全性事件，支持系统恢复。告航空航天

11、大学计算机学院A类为验证型保护，由两个级别组成：A1级：从实现的功能上看，它等同于B3。它的特色在于形式化的顶层设计规格（FTDS）、形式化验证FTDS与形式化模型的一致性和由此带来的更高的度；A1以：比A1级度更高的系统归入该级。航空航天大学计算机学院对应于TCSEC，我国于九十年代提出了自己的计算机安全等级，称为计算机信息系统安全保护等级划分准则，该准则将计算机信息系统的安全等级划分为五级：航空航天大学计算机学院第一级：用户保护级-C1第二级：系统审计保护级-C2第三级：安全标记保护级-B1第四级：结构化保护级-B2第五级：验证保护级-B3航空航天大学计算机学院ISO/IEC 15408标

12、准对安全的内容和级别则给予了更完整的规范，为用户对安全需求的选取提供了充分的灵活性，更适合和今后IT应用环境网络化、多样化的要求。ISO/IEC 15408标准是一个新的国际标准，国际上还没有按照该标准推出的安全产品的典范。航空航天大学计算机学院对系统安全的中断类型截获的TCP/IP协议研究大流量，分析修改航空航天大学计算机学院方式主动的全球侦听计划登月计划的巨型机航空航天大学计算机学院途径主机通信链路海底电缆航空航天大学计算机学院数据加密数据加密模型加密算法类型对称性非对称性序列加密分组加密航空航天大学计算机学院基本加密方法易位法置换法航空航天大学计算机学院数据加密标准DES公开密钥法航空航

13、天大学计算机学院数字签名简单电子签名电子签名航空航天大学计算机学院密钥管理“管理上的！”航空航天大学计算机学院验证航空航天大学计算机学院航空航天大学计算机学院航空航天大学计算机学院航空航天大学计算机学院Login SpoofingCorrect login screenPhony login screen航空航天大学计算机学院Trap Doors(a) Normal code.(b) Code wi航空航天大学trapdoor inserted计算机学院Buffer Overflow(a) Situation when main program is runningrogram A called(b) Aft(c) Buffer overflow shown in gray航空航天大学计算机学院UnixLpr删除口令文件Core文件与口令文件相连mkdir foo航空航天大学计算机学院航空航天大学计算机学院Fam