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?
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?
Chapter11: Operating Systems
Section: Chapter Questions
Problem 3VE
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?](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F4217e83c-b4b2-47da-9d7a-2d6031448fca%2Fd1760521-6409-4e19-8992-2e6b71e38c42%2Fx6qfpif_processed.png&w=3840&q=75)
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
![](/static/compass_v2/shared-icons/check-mark.png)
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 2 steps with 1 images
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
Recommended textbooks for you
![Systems Architecture](https://www.bartleby.com/isbn_cover_images/9781305080195/9781305080195_smallCoverImage.gif)
Systems Architecture
Computer Science
ISBN:
9781305080195
Author:
Stephen D. Burd
Publisher:
Cengage Learning
![Systems Architecture](https://www.bartleby.com/isbn_cover_images/9781305080195/9781305080195_smallCoverImage.gif)
Systems Architecture
Computer Science
ISBN:
9781305080195
Author:
Stephen D. Burd
Publisher:
Cengage Learning