Reading and Analysis (total: 10 scores) 36. Read the following program A and program B, and point out which program (A or B) may deadlock. Please explain why. Program A: var mutex, empty, full: psemaphore; i,j , goods:integer;buffer:array [0...n-1] of item ; procedure producer; begin procedure begin while true do while true do begin begin produce next product P (mutex); P (mutex); P(empty); goods: =buffer(j) buffer(i):=product; j:=(j+1)mod(n); i:=(i+1)mod(n);V (mutex) V (mutex); V (empty); V( full ); consume praduct end end end; end; begin seminitial (mutex.v, 1; empty.v, n; full.v, 0); i:=j:=0; cobegin producer; consumer ; coend end var mutex, empty, full: psemaphore; i,j , goods:integer;buffer:array [0...n-1] of item ; begin seminitial (mutex.v, 1; empty.v, n; full.v, 0); i:=j:=0; cobegin producer; consumer; coend end