Back to Results
First PageMeta Content
Computing platforms / Monolithic kernels / Operating system kernels / MINIX 3 / Kernel / Operating system / Linux kernel / Mach / Loadable kernel module / Computer architecture / Computing / System software


A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IR-CS-018, January 2006 Jorrit N. Herder Herbert Bos
Add to Reading List

Document Date: 2012-03-07 05:50:27


Open Document

File Size: 145,38 KB

Share Result on Facebook

City

Amsterdam / /

Company

Monolithic Systems / Kernel Systems / Microsoft / /

Country

Netherlands / /

Event

Product Issues / Reorganization / /

Facility

I/O port / /

IndustryTerm

electronic device / user-mode server / multimillion-line systems / software patches / multiserver systems / deadlock avoidance protocol / file server / damage systems / process server / unreliable systems / file systems / level memory management / broken authorization protocols / transport protocol / legacy operating systems / bus server / clever multiserver protocols / character devices / block devices / raw disk block device / reincarnation server / raw block device / software averages / semiannual software updates / peripheral manufacturer / commodity operating systems / user-space applications / intermodule protocol / peripheral device / /

MarketIndex

IPC / /

MusicAlbum

I/O / /

OperatingSystem

UNIX / Linux / MINIX / MINIX 3 / BSD / Windows XP / Microsoft Windows / POSIX / /

Organization

U.S. Securities and Exchange Commission / /

Person

Hard / Andrew S. Tanenbaum / Herbert Bos Andrew / /

/

Position

driver / sound driver / system administrator / sick driver / disk controller / malicious driver / user-mode driver / process server / network server / block device driver / kernel driver / Ethernet driver / kernel-mode sound driver / device driver / faulty driver / printer driver / disk driver / Restricting Driver / keyboard driver / revived driver / usermode sound driver / buggy driver / faulty user-mode driver / Performance General / process server / scheduler / malfunctioning driver / character device driver / shadow driver / programmer / memory manager / /

Product

code / driver / user-mode driver / drivers / component / /

ProgrammingLanguage

C / C++ / /

ProvinceOrState

Manitoba / /

Technology

RAM / UNIX / Linux / API / operating system / Operating Systems / clever multiserver protocols / broken authorization protocols / Ethernet / cryptography / intermodule protocol / PCI-X / transport protocol / deadlock avoidance protocol / gigabit Ethernet / /

SocialTag