摘要:微内核—相对于大内核(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. PXC快速入门

    1.快速入门 实验环境: Node Host IP Node1 pxc1 192.168.70.61 Node2 pxc2 192.168.70.62 Node3 pxc3 192.168.70.63 ...

  2. GNU C 与 ANSI C(下)

    1. 语句表达式 GNU C 把包含在括号中的复合语句看做是一个表达式,称作语句表达式,它可以出现在任何允许表达式的地方.我们可以在语句表达式中使用原本只能在复合语句中使用的循环.局部变量等,例如: ...

  3. Web网站配置Gzip,压缩js css文件

    启用apache的gzip 找到httpd.conf,打开文件找到对mod_deflate的注释 #LoadModule deflate_module modules/mod_deflate.so 去 ...

  4. 开发谷歌浏览器插件会上瘾,搞了一个JSONViewer,一个页面格式化多条JSON,提升工作效率

    最近写了一个谷歌浏览器插件(Chrome extension),拿出来分享下,希望能提升大家的工作效率. 一.背景 先说痛点:日常开发中,经常需要不停的把接口输出的JSON拷贝到在线JSON格式化页面 ...

  5. openssl基本原理 + 生成证书 + 使用实例

    前期准备 : 安装xampp:打开文件E:\xampp\apache\bin\openssl.exe  右键 以管理员身份运行 ------转载自 https://blog.csdn.net/oldm ...

  6. [PHP]算法-最长公共子串的PHP实现

    最长公共子串问题: 给定两个字符串,求出它们之间最长的相同子字符串的长度. 暴力解法思路: 1.以两个字符串的每个字符为开头,往后比较,这样就会需要两层循环 2.两层循环内部的比较方式,也是一层循环, ...

  7. 29.C++- 异常处理

    C++内置了异常处理的语法元素 try catch try语句处理正常代码逻辑 当try语句发现异常时,则通过throw语句抛出异常,并退出try语句 catch语句处理异常情况 当throw语句抛出 ...

  8. Java高并发 -- 线程池

    Java高并发 -- 线程池 主要是学习慕课网实战视频<Java并发编程入门与高并发面试>的笔记 在使用线程池后,创建线程变成了从线程池里获得空闲线程,关闭线程变成了将线程归坏给线程池. ...

  9. 【转】AtomicReference与volatile的区别

    来源:AtomicReference与volatile的区别 AtomicReference与volatile的在可见性上的意义是一致的. volatile不能保证原子性,AutomicReferen ...

  10. Module的加载实现

    烂笔头开始记录小知识点啦- 浏览器要加载 ES6模块,: <script type="module" src="./foo.js"></scr ...