Názor k článku Porovnání systémů Linux a FreeBSD (2) od Clock - "Chyby v SMP zamykani vpodstate vubec debuggovat nejdou...

"Chyby v SMP zamykani vpodstate vubec debuggovat nejdou a nezbyva nez si cely kod precist a ujistovat se, ze je zamykani spravne."

Tento priklad demonstruje, ze v dnesni dobe bezne pouzivany vyvojovy cyklus "napis program - zkus jestli funguje - oprav nalezene chyby - zkus ho znovu - uvolni ho" je fundamentalne spatne. Zde se konecne ukazuje, ze psani BugFree(TM) kodu, neboli ze si po sobe kod peclive precteme a popremyslime, jestli je spravne (pripadne to nahradime nejaky strojovym popremyslenim), je jediny univerzalni nastroj, jak dosahnout semanticke spravnosti programu.