53.df ge 2 3. The following diagram shows the execution of three threads on a si

Question

53.df ge 2 3. The following diagram shows the execution of three threads on a single object ol. The horizontal axis has time increasing as we go from left to right. The thicker lines show the duration of method calls. Assume that the schedule is from the perspective of an imaginary global observer in real time. So if two method calls overlap on a vertical line, it means that the two calls are interleaved. Explain clearly whether the following schedule is a) quiescent consistent, b) sequentially consistent, and c) linearizable o1 write(1) o1.read(1) o1.read(1) o1 read(2) o1.write(5) BLwrite(2) 1 writec3 o1 .read2) o1.read(1) MacBookA a WE 0

Explanation / Answer

a. Quiescent consistent : The given sequence is not quiescent since there are overaps over multiple threads.

b. Sequential consistent : The given set of programs is not sequential consistent since the order of execution is un-predictable and might affect the result produced.

c. Linearizable : The given set of programs is not Linearizable since they are not each atomic and are not independent.

Related Questions

Navigate

• Browse (All)
• Browse 5
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.