Which two solution techniques can solve all the falacies of race condition like mutual exclusion , progress and bounded waiting ?