Volgens Gerard Holzmann, maker van de SPIN model checker, is de betrouwbaarheid van Vista zo laag dat klanten uit wanhoop XP blijven gebruiken of overstappen op open source besturingssystemen zoals Linux. Holzmann: “Voor een zware gebruiker is Vista gewoon niet acceptabel: het is te groot en complex.”
Gerard Holzmann, maker van de SPIN model checker, een softwaretool voor het controleren van de betrouwbaarheid van gedistribueerde softwaresystemen: "De omvang van de Vistacode heeft de magische grens gepasseerd waar voorbij het mogelijk is een systeem echt betrouwbaar te maken. Bovendien gebruikt Vista buitensporige hoeveelheden geheugen en laat weinig over voor de gebruiker. Een gewone gebruiker merkt daar misschien niet zoveel van, maar voor een zware gebruiker is Vista gewoon niet acceptabel: het is te groot en complex."
Ontwikkelaars mijden Vista
"Microsoft is aan het ontdekken dat ze een grens bereikt hebben: veel klanten blijven XP gebruiken in plaats van over te stappen. Dat is nog niet eerder op deze schaal gebeurd, voor zover ik weet. Linux wint enorm aan kracht en ik denk dat we op een keerpunt zijn aangekomen: gebruikers keren commerciële besturingssystemen de rug toe en adopteren open source besturingssystemen. Open source producten zijn betrouwbaarder. In de eerste plaats omdat ze kleiner zijn, verder omdat ze op een meer open manier ondersteund worden door een erg grote gebruikersgemeenschap. Open source software is transparanter: je hoeft niet meer blindelings te geloven in de software die iemand anders aan je verkoopt zonder je te vertellen hoe het werkt."
Eerder deze maand bleek al dat slechts 8 procent van de Noord-Amerikaanse ontwikkelaars applicaties schrijft voor besturingssysteem Windows Vista. Het grootste deel van de programmeurs schrijft nog steeds applicaties voor Windows XP.
Verificatie van softwaresystemen
Gerard Holzmann deed zijn uitspraken aan Computable na afloop van een lezing die hij vrijdag 23 mei bij het CWI gaf ter ere van het vijfentwintig bestaan van de SEN2 groep. Deze groep houdt zich sinds 1982 bezig met het ontwikkelen van algebraïsche technieken voor de specificatie en verificatie van softwaresystemen.
Gerard Holzmann
Gerard Holzmann promoveerde in 1979 als informaticus in Delft. Tussen 1980 en 2003 maakte hij binnen Bell Labs deel uit van de Computing Science Research groep, waarbinnen onder andere de programmeertalen C en C++ ontwikkeld werden. Holzmann werkte er tien jaar aan de SPIN model checker, een softwaretool voor het controleren van de betrouwbaarheid van gedistribueerde softwaresystemen. Hiervoor ontving hij in in 2002 de Software System Award van de Amerikaanse Association for Computing Machinery. Vanaf 2003 werkt Holzmann bij het Jet Propulsion Laboratory van NASA aan het verbeteren van de betrouwbaarheid van de software voor ruimtevaartuigen.
Jij draait Adobe onder Windows..?? HAHAHAHA..!!!
@Marc
Niet bot bedoeld maar in hoeverre kun je gebruikersfouten toeschrijven aan een besturingssysteem. Ook is bekend dat Vista na de installatie langzaam is i.v.m. het indexeren van de harde schijven om het search gebeuren goed te laten werken, dit kun je ook uitschakelen. Het probleem van ieder besturingsysteem zijn altijd de zogenaamde “power users”, ze hebben de klok horen luiden maar weten niet waar de klepel hangt. In de praktijk blijkt dan ook dan de reguliere gebruiker geen problemen heeft met welk OS dan ook maar dat de “power users” vaak de dienst uitmaken en de andere gebruikers proberen te helpen.
Voor jouw probleem met Vista heb ik echter niet een snel antwoord maar ik denk dat je gebruik maakt van een brakke driver welke je systeem langzaam laat lopen. Mijn advies is dan ook draai een windows update en kijk of er driver updates bijzitten.
Ik ben betatester bij Microsoft, ik draai al Vista, voordat het woord ‘Windows Longhorn’ gepubliceerd was. Ik vind dit een heel typisch verhaaltje van de reguliere “Unix/Cobol Guru Programmer” wat hier uitgesproken wordt, typisch…, heel typisch.
Als je het bovenste plaatje bekijkt zie je twee gekken staan dansen. Waar doet mij dat nou aan denken .. Oh ja dictator Jeltsin stond dat ook te doen om aandacht voor zijn monopoly te halen.
@snelle popey: Helaas kan ik het niet laten om hier op te reageren. Wie zijn geschiedenis niet kent maakt dezelfde fouten is correct. Echter vraag ik me af of het opsluiten in een ivoren toren ver weg van de realiteit je nog een correct beeld geeft van de realiteit. Dat is meer mijn definitie van geitenwollen.
Geschiedenis is goed maar je moet niet in het verleden blijven leven, dat gaat nooit goed neem de opkomst en ondergang van alle oude wereldmachten (Grieken, Romeinen, Azteken, Inca’s etc.) als je je niet aan kan passen ben je gedoemd om uit te sterven.
Trek je conclusie tot welke groep jij behoort
Ik ben het helemaal eens met whatelse, Windows Update gaat het probleem van de traagheid vast en zeker oplossen! Ook ik heb daar last van gehad, na het draaien van de update ging ie een stuk sneller!
Probeer het eens!
Jan
@JanVanDoorn
Kan je die Windows Update op een FTP server zetten, ik ben daar ook wel benieuwd naar..
Thanks!!
@Sjarrel
Het is veel makkelijker dan dat. Zit gewoon in het startmenu (Start -> Windows Update). Echt een geweldig systeem!
Maar je kunt natuurlijk ook gewoon overstappen op OSX. Verfrissend, stabiel en veeeel prettiger om mee te werken…
@de knuppel in het hoenderhok
jouw opmerking slaat als een tang op een varken……