2. (12,5 points) We now know that the basic operations on semaphores, just like mutexes, must also be atomic (indivisible). This means: i. If at any time a process calls a wait() operation on a semaphore, this operation must be atomic in itself (both increment/decrement operations within itself, and between decrement and if/while operations within the wait() function itself), ii. Also, if a process is running a wait() on a semaphore, a signal() cannot be run by another process on the same semaphore (or vice versa). In order to provide the above-mentioned atomicity properties, what kind of changes should be implemented in the codes given below? Update the codes with necessary changes. add this process to S> list