对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 ...
随机推荐
- 面试题·HashMap和Hashtable的区别(转载再整理)
原文链接: Javarevisited 翻译: ImportNew.com- 唐小娟 译文链接: http://www.importnew.com/7010.html HashMap和Hashtabl ...
- MAC 地址(单播、组播、广播地址分类)
简介 一个制造商在生产制造网卡之前,必须先向 IEEE 注册,以获取到一个长度为 24bit 的厂商代码,也称为 OUI(Organizationally-Unique Identifier).制造商 ...
- Java并发(二)—— 并发编程的挑战 与 并发机制的底层原理
单核处理器也可以支持多线程,因为CPU是通过时间片分配算法来循环执行任务 多线程一定比单线程快么?不一定,因为线程创建和上下文切换都需要开销. 如何减少上下文切换 无锁并发编程 CAS算法 使用最少线 ...
- IdentityServer4 中文文档 -12- (快速入门)添加外部认证支持
IdentityServer4 中文文档 -12- (快速入门)添加外部认证支持 原文:http://docs.identityserver.io/en/release/quickstarts/4_e ...
- .Net NPOI 上传excel文件、提交后台获取excel里的数据
1.导入NPOI.dll 2.添加类NPOIExcel.cs using System; using System.Collections.Generic; using System.Text; us ...
- Centos 7.6配置nginx反向代理负载均衡集群
一,实验介绍 利用三台centos7虚拟机搭建简单的nginx反向代理负载集群, 三台虚拟机地址及功能介绍 192.168.2.76 nginx负载均衡器 192.168.2.82 web ...
- [PDOException] PDO::__construct(): php_network_getaddresses: getaddrinfo failed:
执行数据迁移 php artisan migrate 报错: 网上很多资料说开启allow_open_url等其实没卵用...貌似问题出在dns上....原来数据库的配置是这样的 DB_CONNECT ...
- Netty 系列四(ChannelHandler 和 ChannelPipeline).
一.概念 先来整体的介绍一下这篇博文要介绍的几个概念(Channel.ChannelHandler.ChannelPipeline.ChannelHandlerContext.ChannelPromi ...
- springboot之scheduled任务调度
springboot整合Scheduled可以方便的进行任务调度,话不多说,直接上代码 package com.rookie.bigdata; import org.springframework.b ...
- js 正则表达式之环视结构
一.环视 1:环视不“占用”字符,只匹配字符所在的特定位置. 2:正则表达式是从左向右进行匹配的. 二.肯定顺序环视(?=....) 子表达式匹配当前位置的右侧字符 图中:红色表示当前位置,绿色表示正 ...