Assume a system of 4 processes P = {P1, P2, P3, P4} and 5 memory cells M = {M₁, M2, M3, M4, M5}. All memory cells are initialed to 0 before any processes are started. The processes implement the following instructions: Process Instructions M₁ +1 M5 M3 2M3 ⇒ M2 P₁ P2 P3 P4 2M2 ⇒ M4 |M4 +7 ⇒ M3; M3 - 1 ⇒ M2 (Sequentially) You are also given the following precedence relation: ⇒: {(P2, P4), (P2, P3), (P1, P2), (P1, P4)} What is the domain and range of each process? P₁ P2 • P3 P4 Process •-•-● Domain Range M3\; M3+ Ms MaXa M₁+-5/ 2M3 My+7 ама M3-1; M2+1 M412 Is the system of processes determinate? Why or why Not? Are all pairs of processes mutually non-interfering? Why or Why Not? What modifications are needed to guarantee that the system will be determinate for all interpretations?

Systems Architecture
7th Edition
ISBN:9781305080195
Author:Stephen D. Burd
Publisher:Stephen D. Burd
Chapter11: Operating Systems
Section: Chapter Questions
Problem 3VE
icon
Related questions
Question

Please help with this question. Please provide answer with step by step instructions as well as the answers to the bullet points with explanation !! (I got this question wrong because i had no idea how to do it, so I want to learn how to do it) 

Assume a system of 4 processes P = {P1, P2, P3, P4} and 5 memory cells M = {M₁, M2, M3, M4, M5}.
All memory cells are initialed to 0 before any processes are started.
The processes implement the following instructions:
Process
Instructions
M₁ +1 M5 M3
2M3 ⇒ M2
P₁
P2
P3
P4
2M2 ⇒ M4
|M4 +7 ⇒ M3; M3 - 1 ⇒ M2 (Sequentially)
You are also given the following precedence relation:
⇒: {(P2, P4), (P2, P3), (P1, P2), (P1, P4)}
What is the domain and range of each process?
P₁
P2
•
P3
P4
Process
•-•-●
Domain
Range
M3\; M3+ Ms
MaXa
M₁+-5/
2M3
My+7
ама
M3-1; M2+1
M412
Is the system of processes determinate? Why or why Not?
Are all pairs of processes mutually non-interfering? Why or Why Not?
What modifications are needed to guarantee that the system will be determinate for all
interpretations?
Transcribed Image Text:Assume a system of 4 processes P = {P1, P2, P3, P4} and 5 memory cells M = {M₁, M2, M3, M4, M5}. All memory cells are initialed to 0 before any processes are started. The processes implement the following instructions: Process Instructions M₁ +1 M5 M3 2M3 ⇒ M2 P₁ P2 P3 P4 2M2 ⇒ M4 |M4 +7 ⇒ M3; M3 - 1 ⇒ M2 (Sequentially) You are also given the following precedence relation: ⇒: {(P2, P4), (P2, P3), (P1, P2), (P1, P4)} What is the domain and range of each process? P₁ P2 • P3 P4 Process •-•-● Domain Range M3\; M3+ Ms MaXa M₁+-5/ 2M3 My+7 ама M3-1; M2+1 M412 Is the system of processes determinate? Why or why Not? Are all pairs of processes mutually non-interfering? Why or Why Not? What modifications are needed to guarantee that the system will be determinate for all interpretations?
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Systems Architecture
Systems Architecture
Computer Science
ISBN:
9781305080195
Author:
Stephen D. Burd
Publisher:
Cengage Learning