1 લી, તે તપાસવાની જરૂર છે કે બીજી પ્રોસેસ જે p2 છે તે ક્રિટીકલ સેક્શનની અંદર નથી અને જ્યારે p2_inside = false હોય ત્યારે આવું થાય છે.
ആദ്യത്തേത്, P2 എന്ന രണ്ടാമത്തെ പ്രക്രിയ ക്രിട്ടിക്കൽ സെക്ഷനകത്തല്ലെന്നും p2_inside = തെറ്റായിരിക്കുമ്പോഴാണ് ഇത് സംഭവിക്കുന്നതെന്നും പരിശോധിക്കേണ്ടതുണ്ട്.