摘要:微内核—相对于大内核(monolithic kernels)来说,由于它的

lower performance,长期以来被认为是不可接受的。而现在,由于它潜

在的高可靠性(higher reliability),而这一点被现在的许多研究人员认为

是比性能(performance)更加的重要,因此在操作系统的研究中获得了新

你的电视机最近坏的一次是什么时候或者要你从web中更新一些比

较重要的软件是在什么时候?毕竟,它(不同于计算机)是一个古老的设

置,而计算机有一个CPU,一个显示屏,一些用来解码声音信号的晶体

管,一些比较特别的I/O设备---一个远程控制,一个VCR或者DVD驱动和

一个在ROM的驱动软件。

这个反问句指出一个讨厌的小秘密—而这是我们在计算机行业不喜欢讨论:

为什么电视机,DVD刻录机,MP3播放器,手机和其他装载有软件

的电子设备安全可靠而计算机并不是这样的?当然这里有许多“原因”:

计算机是灵活的,用户可以更改软件,IT行业还不成熟等等。但当我们

进入这样一个时代---计算机用户大多数是非技术人员,对于他们而言,这些

越来越多被看作是一个蹩脚的借口。

消费者对计算机的期望和对电视机的期望是一样的:你买了它,插

上插头,然后在以后的10年中它工作得非常好。作为计算机专家,我们

要迎接这种挑战,使计算机要像电视机那样可靠安全。

当谈到可靠性和安全性的时候,最大的问题出现在 操作系统上。

尽管应用程序中有很多问题, 但如果the operating system没有bug的话,

应用程序中的bugs产生的危害是有限的。因此这这里,我们把注意力放

在操作系统上。

然而在接触详细资料之前,一些跟可靠性和安全性有关的词会列出

来。这些领域经常出现的问题有着相同的产生根源:软件中的Bug。一

个缓冲器错误的结果能引起系统崩溃(reliability problem),或者是它会让

一些精心编写的病毒或蠕虫占领计算机(security problem)。虽然我们的注

意力集中在可靠性上,但提高可靠性同样的能提高安全性。

//////////////////////////////////////////////////////////////////////////////////////////////////////

可以下载这个ppt

对Can We Make Operating Systems Reliable and Secure 的翻译的更多相关文章

  1. Can We Make Operating Systems Reliable and Secure?

    Andrew S. Tanenbaum, Jorrit N. Herder, and Herbert Bos Vrije Universiteit, Amsterdam Microkernels-lo ...

  2. Modern Operating Systems(Ⅰ)——2014.12.15

    进程   进程模型     进程就是一个正在执行的程序的实例  值得注意的是,若一个程序运行了两遍,则算作两个进程 创建进程 在通用系统中,有四种主要事件导致进程的创建 ①系统的初始化 ②执行了 正在 ...

  3. [No00003D]操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock

    操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock 可以操刀了—从纸上到实际 从Linux 0.11 那里学点东西… 读磁盘 ...

  4. [No00003C]操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore

    操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore 进程合作:多进程共同完成一个任务 从纸上到实际:生产者− − ...

  5. [No00003A]操作系统Operating Systems 内核级线程Kernel Threads内核级线程实现Create KernelThreads

    开始核心级线程 内核级线程对多核的支持怎么样? 和用户级相比,核心级线程有什么不同? ThreadCreate 是系统调用,内核管理TCB ,内核负责切换线程 如何让切换成型? − − 内核栈,TCB ...

  6. Operating Systems (COMP2006)

    Operating Systems (COMP2006) 1st Semester 2019Page 1, CRICOS Number: 00301JOperating Systems (COMP20 ...

  7. the virtual machine is configured for 64-bit guest operating systems

    Security--Virtualization--Inter(R) Virtualization Technolog 设置为enable 本机安装的是WIN 7 ,详细版本是:Windows 7 U ...

  8. Method of address space layout randomization for windows operating systems

    A system and method for address space layout randomization ("ASLR") for a Windows operatin ...

  9. CMPT 300 – Operating Systems

    Assignment 4 – Create Simple YetFunctional File SystemCMPT 300 – Operating SystemsPlease submit a zi ...

随机推荐

  1. 面试题·HashMap和Hashtable的区别(转载再整理)

    原文链接: Javarevisited 翻译: ImportNew.com- 唐小娟 译文链接: http://www.importnew.com/7010.html HashMap和Hashtabl ...

  2. MAC 地址(单播、组播、广播地址分类)

    简介 一个制造商在生产制造网卡之前,必须先向 IEEE 注册,以获取到一个长度为 24bit 的厂商代码,也称为 OUI(Organizationally-Unique Identifier).制造商 ...

  3. Java并发(二)—— 并发编程的挑战 与 并发机制的底层原理

    单核处理器也可以支持多线程,因为CPU是通过时间片分配算法来循环执行任务 多线程一定比单线程快么?不一定,因为线程创建和上下文切换都需要开销. 如何减少上下文切换 无锁并发编程 CAS算法 使用最少线 ...

  4. IdentityServer4 中文文档 -12- (快速入门)添加外部认证支持

    IdentityServer4 中文文档 -12- (快速入门)添加外部认证支持 原文:http://docs.identityserver.io/en/release/quickstarts/4_e ...

  5. .Net NPOI 上传excel文件、提交后台获取excel里的数据

    1.导入NPOI.dll 2.添加类NPOIExcel.cs using System; using System.Collections.Generic; using System.Text; us ...

  6. Centos 7.6配置nginx反向代理负载均衡集群

    一,实验介绍 利用三台centos7虚拟机搭建简单的nginx反向代理负载集群, 三台虚拟机地址及功能介绍 192.168.2.76    nginx负载均衡器 192.168.2.82    web ...

  7. [PDOException] PDO::__construct(): php_network_getaddresses: getaddrinfo failed:

    执行数据迁移 php artisan migrate 报错: 网上很多资料说开启allow_open_url等其实没卵用...貌似问题出在dns上....原来数据库的配置是这样的 DB_CONNECT ...

  8. Netty 系列四(ChannelHandler 和 ChannelPipeline).

    一.概念 先来整体的介绍一下这篇博文要介绍的几个概念(Channel.ChannelHandler.ChannelPipeline.ChannelHandlerContext.ChannelPromi ...

  9. springboot之scheduled任务调度

    springboot整合Scheduled可以方便的进行任务调度,话不多说,直接上代码 package com.rookie.bigdata; import org.springframework.b ...

  10. js 正则表达式之环视结构

    一.环视 1:环视不“占用”字符,只匹配字符所在的特定位置. 2:正则表达式是从左向右进行匹配的. 二.肯定顺序环视(?=....) 子表达式匹配当前位置的右侧字符 图中:红色表示当前位置,绿色表示正 ...