Page 18 - slides.dvi

•
•
•
•
•
•
So
and
⇒
Operating
Hence
e.g.
lots
e.g.
and
Still
Lots
why
Kernels
of
not
Systems
back
linux
isn’t
today
—
is
Microkernel
IPC
Microkernels
Windows
clear
a
microkernel.
into
microkernels
most
versus
Structures
adds
NT
&
often
what
kernel
synchronisation.
everything
was
usually
a
end
the
“kernel”,
for
Protection
common
up
overhead
but
implementation
best
perform
with
has
Mechanisms
originally
OS
Microkernels
operating
less
microkernel?
performance.
kernel
sometimes
well.
structure
redundant
systems
microkernel
is,
tricky:
modules
or
blur
copies
(3.5),
and
of
need
the
how
but
to
OS
much
certain
now
it
data
worry
distinction
(4.0
really
servers.
about
between
structures.
onwards)
matters.
.
.
kernel
concurrency
pushed
14