Questions from Operating Systems

Q: The OS/390 mainframe operating system is structured around the concepts

The OS/390 mainframe operating system is structured around the concepts of address space and task. Roughly speaking, a single address space corresponds to a single application and corresponds more or...

Q: Many current language specifications, such as for C and are inadequate

Many current language specifications, such as for C and are inadequate for multithreaded programs. This can have an impact on compilers and the correctness of code, as this problem illustrates. Consid...

Q: But some existing optimizing compilers (including gcc, which tends to

But some existing optimizing compilers (including gcc, which tends to be relatively conservative) will “optimize” / to something similar to What problem or potenti...

Q: Consider the following code using the POSIX Pthreads API: /

Consider the following code using the POSIX Pthreads API: In / we first declare a variable called mythread, which has a type of /. This is essentially an ID for a thread. Next, the / statement create...

Q: Demonstrate the correctness of Dekker’s algorithm. a. Show that

Demonstrate the correctness of Dekker’s algorithm. a. Show that mutual exclusion is enforced. Hint: Show that when Pi enters its critical section, the following expression is true: b...

Q: A software approach to mutual exclusion is Lamport’s bakery algorithm [LAMP74

A software approach to mutual exclusion is Lamport’s bakery algorithm [LAMP74], so called because it is based on the practice in bakeries and other shops in which every customer rece...

Q: How is the execution context of a process used by the OS

How is the execution context of a process used by the OS?

Q: Now consider a version of the bakery algorithm without the variable choosing

Now consider a version of the bakery algorithm without the variable choosing. Then we have Does this version violate mutual exclusion? Explain why or why not.

Q: Consider the following program which provides a software approach to mutual exclusion

Consider the following program which provides a software approach to mutual exclusion: Where 1≤k≤N, and each element of “controlâ€...

Q: Consider the first instance of the statement / in Figure 5.

Consider the first instance of the statement / in Figure 5.5b. Figure 5.5b: a. Achieve the same result using the exchange instruction. b. Which method is preferable?