void $*$producer$($void $*$arg$)\{//$core of producer

for $($i $=0$; i $<$ num; i$++)\{$

sem$\_$wait$($&empty$)$;

sem$\_$wait$($&mutex$)$;

put$($i$)$;

sem$\_$post$($&mutex$)$;

sem$\_$post$($&full$)$;

$\}$

$\}$

void $*$consumer$($void $*$arg$)\{//$ core of consumer

while $(!$done$)\{$

sem$\_$wait$($&full$)$;

sem$\_$wait$($&mutex$)$;

int tmp $=$ get$($i$)$;

sem$\_$post$($&mutex$)$;

sem$\_$post$($&empty$)$;

$//$ do something with tmp $...$

$\}$

$\}$

using this classic semaphore version of the producer$/$consume$,$ select whether the statement is true or false. The semaphore full must be initialized to $1.$