semaphore s$1=1$;

semaphore s$2=0$;

while$($ true $)\{$

wait$($s$1)$;

data $=$ produce$\_$data$()$; $//$ critical section

signal $($s$2)$;

while$($ true$)$ f

wait $($s$1)$;

consume$\_$data data$)$; $//$ critical section

signal$($s$2)$;