Step 1: Section Definitions.
- Critical section (C): Accesses shared resources.
- Entry section (A): Requests access to the critical section.
- Remainder section (B): Performs other tasks after the critical section.
- Exit section (D): Manages the exit from the critical section.
Step 2: Correct Sequence.
A process follows this order for critical section management:
- Enters Entry section (A) to check conditions.
- Proceeds to Critical section (C) to access shared resources.
- Moves to Exit section (D) to release resources.
- Completes other tasks in the Remainder section (B).
Step 3: Final Order.
The correct sequence of sections is (A), (C), (D), (B).
Consider the following threads, T1, T2, and T3 executing on a single processor, synchronized using three binary semaphore variables, S1, S2, and S3, operated upon using standard wait() and signal(). The threads can be context switched in any order and at any time.

Consider the following multi-threaded code segment (in a mix of C and pseudo-code), invoked by two processes $P1$ and $P2$, and each of the processes spawns two threads $T1$ and $T2$:
int x = 0; // global
Lock L1; // global
main() {
create a thread to execute foo(); // Thread T1
create a thread to execute foo(); // Thread T2
wait for the two threads to finish execution;
print(x); }
foo() {
int y = 0;
Acquire L1;
x = x + 1;
y = y + 1;
Release L1;
print(y); } Which of the following statement(s) is/are correct?