તેથી, અહીં આપણે જોઈએ છીએ કે આપણી પાસે એક સ્થિતિ છે જ્યાં p2_inside = true સૂચવે છે કે p2 ક્રિટીકલ સેક્શનમાં છે તેમ જ p1_inside = true સૂચવે છે કે p1 પણ ક્રિટીકલ સેક્શનમાં છે.
അതിനാൽ, p2_inside = true p 2 ക്രിട്ടിക്കൽ സെക്ഷനിലും p1_inside = p1 എന്നത് ക്രിട്ടിക്കൽ സെക്ഷനിലും ഉണ്ടെന്ന് സൂചിപ്പിക്കുന്ന ഒരു അവസ്ഥ ഇവിടെ നമുക്ക് കാണാം.