Show that this system can become deadlocked

Assignment Help Electrical Engineering

Reference no: EM131212715

A spooling system (Figure 6.16) consists of an input process I, a user process P, and an output process O connected by two buffers. The processes exchange data in blocks of equal size. These blocks are buffered on a disk using a floating boundary between the input and the output buffers, depending on the speed of the processes. The communication primitives used ensure that the following resource constraint is satisfied:

The following is known about the processes:

1. As long as the environment supplies data, process I will eventually input it to the disk (provided disk space becomes available).

2. As long as input is available on the disk, process P will eventually consume it and output a finite amount of data on the disk for each block input (provided disk space becomes available).

3. As long as output is available on the disk, process O will eventually consume it.
Show that this system can become deadlocked.

Reference no: EM131212715

Questions Cloud

Rank the alternatives according to how efficient they are : Rank the alternatives according to how efficient they are in responding to the threat of oil spills. Explain your ranking.

High degree of connectedness : With so many ways to stay connected (e-mail, voice mail, , text messaging, and so on) and with many people feeling overwhelmed because of this high degree of connectedness, what are some ways to give yourself a break from always being on call whil..

Pitfalls of capitalism and unethical behavior : Following the crash of the real estate market in 2007-2008, we exposed to the pitfalls of capitalism and unethical behavior. What role do you believe politicians, real estate brokers, banks and Wall Street played in the crash (watch the Big Short..

How would you evaluate the request of mining companies : As a government official interested in advancing the national interest in a strict country, how would you evaluate the request of your mining companies?

Show that this system can become deadlocked : As long as output is available on the disk, process O will eventually consume it.Show that this system can become deadlocked.

What is the purpose of establishing security procedures : What is the purpose of establishing security procedures in relation to payroll information - Describe in one or two sentences how you would expect each procedure to operate.

Recruitment drive for a consulting firm : Imagine that you have been taken on to undertake a recruitment drive for a consulting firm at the analyst and consultant level. What would you look for in prospective candidates? with online references and examples around 350 words.

Which of the given violate the rules of the wto : Which of the following probably violate the rules of the WTO? - A country's government places a tax on domestic production to reduce pollution caused by this production.

Personal harbor workspaces : What product-selling strategies are most e±ective when selling a new and emerging product such as the Personal Harbor Workspaces?

User Account

All Pages