Paper Review Questions - OS Structures Flashcards

1
Q

SPIN Paper

What features of Modula-3 are essential for implementing the extensibility features of SPIN? Why?

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

SPIN Paper

Strand is an abstraction provided by SPIN for processor scheduling. Explain what this means. In particular, how will a library OS use the strand abstraction to achieve its desired
functionality
with respect to processor scheduling?
[Hint: Think of the data structures to be associated by the
the library OS with a strand.]

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

SPIN Paper

How can SPIN ensure that a given library OS does not become a CPU hog, shutting out other library OSes?
[Hint: Think of how SPIN can control “macro” resource allocation
at start up time for a library OS.]

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

SPIN Paper

How can SPIN ensure that a given library OS does not become a physical memory hog, shutting out other library OSes?
[Hint: Think of how SPIN can control “macro” resource allocation
at start up time for a library OS.]

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Exokernel paper

A library OS implements a paged virtual memory on top of Exokernel. An application running in this OS encounters a page fault.

Walk through the steps from the time the page fault occurs to the resumption of this application.

Make any reasonable assumptions to complete this exercise (stating the assumptions).

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Exokernel paper

“The high level goals of SPIN and Exokernel are the same.” Explain why this statement is true.

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Exokernel paper

Map the mechanisms in Exokernel to corresponding mechanisms in SPIN.

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Exokernel paper

Explain how the mechanisms in Exokernel help to meet the high level
goals.

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Exokernel paper

Explain how the mechanisms in SPIN help to meet the high level
goals.

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Liedtke paper

Sketch how you will implement a device driver (say for a simple device like a keyboard; if you are really adventurous do for a disk) using the primitives provided by Liedtke’s microkernel. [Hint: Assume address space A0 magically exists that exposes the
physical memory. Assume the device registers are memory mapped at some well known physical addresses in high memory.]

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Liedtke paper

What is the difference between a “thread” as defined in Liedtke’s paper and a Strand in SPIN?

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Liedtke paper

Liedtke argues that a microkernel should fully exploit whatever the architecture gives to get a performance-conscious implementation of the microkernel. With this argument as the backdrop, explain how
context switching overhead of a microkernel may be mitigated in modern architectures. Specifically, discuss the difference in approaches to solving this problem for the PowerPC and Intel Pentium architectures. Clearly explain the architectural difference between the two that warrant the difference in the microkernel implementation approaches.

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Liedtke paper

Explain the notions of “independence” and “integrity” in the L3 microkernel.

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Liedtke paper

All the subsystems in L3 live in user space. Every such subsystem has its own address space. The address space mechanism “grant” allows an address space to give a physical memory page frame to a peer subsystem. Can this compromise the “integrity” of a subsystem? Explain why or why not.

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Liedtke paper

“Trust in the L3 microkernel is transitive.” Explain what this sentence means.

A

TODO

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Xen paper

Imagine a Linux OS top of Xen (XenoLinux). A user launches an application “foo” on top of XenoLinux. Walk through the steps that happen actually starts running.

A

TODO

17
Q

Xen paper

foo starts executing; it executes a blocking system call:

fd = fopen(“bar”);

(a) Show all the interactions between XenoLinux and Xen for Clearly indicate when foo resumes execution.

Upon resumption, foo executes another blocking system call:

fwrite(fd, bufsize, buffer);

(b) Show all the interactions between XenoLinux and Xen for Clearly indicate when foo resumes execution.

Don’t worry about the exact syntax of the above calls.

A

TODO

18
Q

Xen paper

Construct and analyze a similar example for network transmission and reception by foo.

A

TODO

19
Q

Xen paper

All processes in XenoLinux occupy the virtual address space 0 through VMMAX, where VMMAX is some system defined limit of virtual memory per process. XenoLinux itself is a protection domain on top of Xen and contains all the processes that run on top of it. Given this how does XenoLinux provide protection of processes from one another? [Hint: Work out the details of how the virtual address spaces of the processes are mapped by XenoLinux via Xen.]

A

TODO

20
Q

Xen paper

Give three important motivations for OS virtualization.

A

TODO

21
Q

VMWare ESX

What is the difference between VMWare workstation and VMware ESX server? Discuss how OS calls from a user process running inside a VM are handled in the two cases.

A

TODO

22
Q

VMWare ESX

Discuss the difference in memory virtualization in VMware and Xen.

A

TODO

23
Q

VMWare ESX

What are the approaches to reclaiming memory in a virtualized over-subscribed server? Discuss the pros and cons of each approach.

A

TODO

24
Q

VMWare ESX

Describe how ballooning may be used with Xen.

A

TODO

25
Q

VMWare ESX

Explain how page sharing works in VMWare.

A

TODO

26
Q

VMWare ESX

Explain the allocation policy of VMWare.

A

TODO

27
Q

Microkernel based OS will always be less efficient compared to Monolithic kernel. True or False? Explain your answer in detail.

A

TODO

28
Q

To what extent has the idea of configurable system services ({\it a la} SPIN and Exokernel) influenced commercial operating systems? (Note: For the sake of this question, any flavor of Unix and Microsoft
Windows fall under commercial OS).

You have to clearly explain how they have been or have not been influential, and back such statements with facts and reasons.

A

TODO