对Can We MakeOperating SystemsReliable and Secure 的翻译
摘要:微内核—相对于大内核(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 MakeOperating SystemsReliable and Secure 的翻译的更多相关文章
- Can We Make Operating Systems Reliable and Secure?
Andrew S. Tanenbaum, Jorrit N. Herder, and Herbert Bos Vrije Universiteit, Amsterdam Microkernels-lo ...
- Modern Operating Systems(Ⅰ)——2014.12.15
进程 进程模型 进程就是一个正在执行的程序的实例 值得注意的是,若一个程序运行了两遍,则算作两个进程 创建进程 在通用系统中,有四种主要事件导致进程的创建 ①系统的初始化 ②执行了 正在 ...
- [No00003D]操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock
操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock 可以操刀了—从纸上到实际 从Linux 0.11 那里学点东西… 读磁盘 ...
- [No00003C]操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore
操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore 进程合作:多进程共同完成一个任务 从纸上到实际:生产者− − ...
- [No00003A]操作系统Operating Systems 内核级线程Kernel Threads内核级线程实现Create KernelThreads
开始核心级线程 内核级线程对多核的支持怎么样? 和用户级相比,核心级线程有什么不同? ThreadCreate 是系统调用,内核管理TCB ,内核负责切换线程 如何让切换成型? − − 内核栈,TCB ...
- Operating Systems (COMP2006)
Operating Systems (COMP2006) 1st Semester 2019Page 1, CRICOS Number: 00301JOperating Systems (COMP20 ...
- the virtual machine is configured for 64-bit guest operating systems
Security--Virtualization--Inter(R) Virtualization Technolog 设置为enable 本机安装的是WIN 7 ,详细版本是:Windows 7 U ...
- Method of address space layout randomization for windows operating systems
A system and method for address space layout randomization ("ASLR") for a Windows operatin ...
- CMPT 300 – Operating Systems
Assignment 4 – Create Simple YetFunctional File SystemCMPT 300 – Operating SystemsPlease submit a zi ...
随机推荐
- PXC快速入门
1.快速入门 实验环境: Node Host IP Node1 pxc1 192.168.70.61 Node2 pxc2 192.168.70.62 Node3 pxc3 192.168.70.63 ...
- GNU C 与 ANSI C(下)
1. 语句表达式 GNU C 把包含在括号中的复合语句看做是一个表达式,称作语句表达式,它可以出现在任何允许表达式的地方.我们可以在语句表达式中使用原本只能在复合语句中使用的循环.局部变量等,例如: ...
- Web网站配置Gzip,压缩js css文件
启用apache的gzip 找到httpd.conf,打开文件找到对mod_deflate的注释 #LoadModule deflate_module modules/mod_deflate.so 去 ...
- 开发谷歌浏览器插件会上瘾,搞了一个JSONViewer,一个页面格式化多条JSON,提升工作效率
最近写了一个谷歌浏览器插件(Chrome extension),拿出来分享下,希望能提升大家的工作效率. 一.背景 先说痛点:日常开发中,经常需要不停的把接口输出的JSON拷贝到在线JSON格式化页面 ...
- openssl基本原理 + 生成证书 + 使用实例
前期准备 : 安装xampp:打开文件E:\xampp\apache\bin\openssl.exe 右键 以管理员身份运行 ------转载自 https://blog.csdn.net/oldm ...
- [PHP]算法-最长公共子串的PHP实现
最长公共子串问题: 给定两个字符串,求出它们之间最长的相同子字符串的长度. 暴力解法思路: 1.以两个字符串的每个字符为开头,往后比较,这样就会需要两层循环 2.两层循环内部的比较方式,也是一层循环, ...
- 29.C++- 异常处理
C++内置了异常处理的语法元素 try catch try语句处理正常代码逻辑 当try语句发现异常时,则通过throw语句抛出异常,并退出try语句 catch语句处理异常情况 当throw语句抛出 ...
- Java高并发 -- 线程池
Java高并发 -- 线程池 主要是学习慕课网实战视频<Java并发编程入门与高并发面试>的笔记 在使用线程池后,创建线程变成了从线程池里获得空闲线程,关闭线程变成了将线程归坏给线程池. ...
- 【转】AtomicReference与volatile的区别
来源:AtomicReference与volatile的区别 AtomicReference与volatile的在可见性上的意义是一致的. volatile不能保证原子性,AutomicReferen ...
- Module的加载实现
烂笔头开始记录小知识点啦- 浏览器要加载 ES6模块,: <script type="module" src="./foo.js"></scr ...