Computer Science · Operating Systems

Consider three 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. Thread T1: while(true) { wait(S3); print("C"); signal(S2); } Thread T2: while(true) { wait(S1); print("B"); signal(S3); } Thread T3: while(true) { wait(S2); print("A"); signal(S1); } Which initialization of the semaphores would print the sequence BCABCABCA...?