För att den aktuella semaforprincipen skulle ha varit säker, hade läsning och skrivning av tabellraden behövt vara en atomär operation (jämför 'Compare-and-swap' eller 'Test-and-set').
Å andra sidan används ju Disgen inte - som tur är - i några säkerhetskritiska sammanhang.