Which of the following statements regarding mutual exclusion in operating…

2023

Which of the following statements regarding mutual exclusion in operating systems is false?

  1. A.

    No two processes can execute in their critical sections simultaneously.

  2. B.

    Multiple processes can safely access a shared critical resource simultaneously without synchronization.

  3. C.

    Processes outside the critical section should not interfere with processes inside the critical section.

  4. D.

    Mutual exclusion helps prevent race conditions during shared resource access.

  5. E.

    Only one process is allowed to access a critical resource at a time.

Attempted by 21 students.

Show answer & explanation

Correct answer: B

Concept

Mutual exclusion is the synchronization property that guarantees at most one process at a time may execute inside its critical section, the region of code that touches a shared resource. Its purpose is to serialize access so that concurrent operations on the shared data cannot interleave and corrupt it.

Why the false statement is false

The statement "Multiple processes can safely access a shared critical resource simultaneously without synchronization" directly contradicts mutual exclusion. Allowing simultaneous, unsynchronized access to a shared resource is exactly the situation mutual exclusion is designed to prevent; doing so produces interleaved reads and writes, i.e. a race condition, and unpredictable corrupted state. So this statement is false, which is what the question asks for.

Why the other statements are true

  • "Only one process is allowed to access a critical resource at a time" and "No two processes can execute in their critical sections simultaneously" are two phrasings of the mutual-exclusion definition itself, so both are true.

  • "Mutual exclusion helps prevent race conditions during shared resource access" states the very motivation for the property and is true.

  • "Processes outside the critical section should not interfere with processes inside the critical section" expresses the no-interference / progress expectation that complements mutual exclusion and is true.

Cross-check

Reread each option against the one rule "at most one process in the critical section at any instant." Four options are consistent with that rule; only the claim of safe simultaneous unsynchronized access violates it, confirming it is the single false statement.

Explore the full course: Niacl Ao It Specialist