对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 ...
随机推荐
- Linux comm命令求出文件的交集、差集
A(1,2,3)和B(3,4,5),A和B的交集是3,A对B的差集是1和2,B对A的差集是4和5,A和B求差的结果是1.2.4.5. 在Linux中可以使用comm命令求出这些集. [root@xue ...
- js_jquery_创建cookie有效期问题_时区问题
用jquery设置Cookie过期的两种方式: $.cookie('名', '值', { expires: 过期时间(DateTime), path: "/", domain: w ...
- 设置TabWidget的样式的方法、关联Fragment与tabwidget的方法、点击tab显示相应Fragment方法
private void updateTabHost(TabHost tabHost) { int count = tabHost.getTabWidget().getChildCount(); ; ...
- 数据库部分(MySql)_4
约束 约束:给表的字段名添加限制条件; 非空约束(not null):添加非空约束后,字段值不能为null: 唯一约束(unique):添加唯一约束后,字段值不能重复: 主键约束(primary ke ...
- 各种官网系统镜像文件(Windows 7 ,Windows 10,Ubuntu 18.6,Centos 6.8 ,Centos 7.6 )
在以前的刚进去计算机行业的时候,学的第一件事就是装系统,在网上苦于找不到正版的系统,这些是一直以来,见识的比较稳定的,有些是从官网下载的系统,给大家分享一哈.大家如果有用到其他好的系统,可以给我留言或 ...
- Element-UI 日期范围 date-picke
实际项目应用案例: <el-form-item label="开始日期:" prop="StartDate"> <el-date-picker ...
- java体系架构
java概念 java本身是一种面向对象的语言,最显著的特性有两方面,一是所谓的“书写一次,到处运行”(write once ,run anywhrer),能够非常容易的获得跨平台能力,另外就是垃圾收 ...
- Netty中的HttpObjectAggregator
Http的Get,POST Get请求包括两个部分: request line(包括method,request uri,protocol version)) header 基本样式: GET /?n ...
- 7个拒绝使用TypeScript的借口
译者按: TypeScript 学习成本不高,项目切换成本不低,不过还是值得试一试的! 原文:7 bad excuses for not using TypeScript 译者: Fundebug 为 ...
- python名片管理
python名片管理是我根据视频自己敲敲的代码,后续学习会持续更新 代码 card_main.py import card_tools # 无限循环,由用户决定什么时候退出 while True: # ...