Analiza si el candado DoubleFlaky cumple con las siguientes propiedades, si es as$$ demuestralo,

sino presenta un contraejemplo.

$($a$)$ Exclusi$$n Mutua

$($b$)$ Libre de inanici$$n $($Starvation$-$free$)$

$($c$)$ Libre de candado muerto $($Deadlock$-$free$)$

$($d$)$ Justicia

Figure $1$: Implementaci$$n de un candado "Flaky"