Názor ke zprávičce MS Windows Home Server poškozuje soubory

Jak souvisi dokazovani neexistence deadlocku s tim, zda je jazyk managed nebo nemanaged? Chapu, ze managed pomaha proti buffer overflow, memory leakum a dalsim problemum podobneho typu, ale IMHO co se tyce dokazovani neexistence deadlocku tam me nenapada nic, cim by me to pomohlo a dovedu si dost dobre predstavit dokazovani neexistence deadlocku (ktera vicemene souvisi se struktrurou volani funkci, coz je pomerne high-level zalezitost) v kodu v C.