Názor k článku
Linspire a Microsoft: Další dva kamarádi

0) Vytykat nekomu tykani na webovych diskusnich forech je asi nejaka nova moda. Tohle je uz druhy pripad v poslednich par dnech tady na rootu :-)

1)Staticky rozhodnout, zda v programu nedojde k buffer overflow (napr. indexaci mimo rozsah pole) nebo k deadlocku je algoritmicky nerozhodnutelne, takze v plne obecnosti to asi nikdy nepujde, castecne zaruky (za urcitych podminek bude mozne prokazat, ze k tomu nedojde) je delat i pro C. Dynamicke kontroly je mozne vicemene delat i v C, akorat se to moc nepouziva.

2) Wine je (nekompletni) reimplementace Windowsich API, nikoliv emulace (alespon ne emulace v obvyklem slova smyslu).

3) Pokud mas uniprocesor a vypnutou kernelovou preempci, tak mas podstatne mensi sanci na race conditions v kernelu. Tudiz pokud neni potreba, tak je lepsi ji nepouzivat. Myslis, ze vsechny hardwarove drivery pro Windows jsou proste race-condition bugu? Mozna, ze kdyby sla ve Windows kernelova preempce vypnout, tak by byly stabilnejsi.

E) Prvni z techto veci AFAIK vicemene ma. Viz ionice.