1. Analyze the code below and tell if a deadlock may occur or not. Justify your answer. semaphore a T1: wait (a); wait (b); signal (b); = 1, b = 1, c = 1; T2: wait (c); wait (b); signal (b); signal (c); T3 : wait (c); signal (c); wait (b); wait (a); signal (a); wait (c); signal (c); wait (a); signal (a); signal (a); signal (b);