How can we make sure that there will be NO Race Condition in the

following program with two threads?

int $A=100$;

Semaphore SO $=0$

Semaphore S$1=1$;

Semaphore $S0=0$

Semaphore S$1=1$;

Th$1$:

Th$2$:

$(1)$

$(2)$

A$++$ ;

A$--$

$(4)$

$(1)$ empty

$(2)$ sem$\_$wait$($S$0)$;

$(3)$ sem$\_$post$($S$0)$;

$(4)$ empty

$(1)$ sem$\_$wait$($S$1)$;

$(2)$ sem$\_$wait$($S$1)$;

$(3)$ sem$\_$post$($S$1)$

$(4)$ sem$\_$post$($S$1)$;

$(1)$ empty

$(2)$ sem$\_$post$($SO$)$;

$(3)$ sem$\_$wait$($SO$)$;

$(4)$ empty

A and $B$