First, I explain the function of these two data items:

The variable true indicates whose true it is to enter its critical section.

The flag array is used to indicate if a process is ready to enter its critical section.

 

I now prove this solution is correct. If this solution is correct, it should meet the following requirements:

1. Mutual exclusion is preserved


2. The progress requirement is satisfied


3. The bounded-waiting requirement is met