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.
@Sjarrel
Waar kun je zo’n feature request indienen? Ik wil namelijk graag de mogelijkheid hebben om de startbalk vast te zetten. Ik word echt helemaal gek van die balk die automatisch onderin het beeld verdwijnt 🙁
@ Theo
Dat werkt dus niet, dat staat aan! komen enge foutmeldingen uit. Ik heb wel eens een avondje voor hem gezeten, die updates hebben blijkbaar een bepaalde volgorde, 1 voor 1 krijg je ze wel geinstalleerd. fijn als je elke x de pc opnieuw moet opstarten.
@ whatelse
Softgrid voor 10 eurie heb ik nog nooit gehoord, wel een toffe tip!
@Mark
Probeer de updates eerst ’s in de juiste volgorde te zetten… ff zoeken bij Google en je vind het juiste KB-artikel hoe dat moet, known error bij bepaalde installaties..
@Sjarrel
Eh, mijn setup heet natuurlijk niet setup.exe, ik kijk wel uit …
@Theo
vastzetten startbalk:
rechtsklik startknop
kies eigenschappen
knop Taakbalk
vinkje uit bij Taakbalk automatisch verbergen
Mark: heb ik ook last van gehad maar tegenwoordig heb ik geen problemen meer. Ik sorteer nu de updates op datum en dat werkt echt perfect!
@Jaap:
Als je in XP als user zonder adminrechten bent ingelogd, dan kun je toch ook geen software installeren? Dan moet je eerst opnieuw inloggen, of runas gebruiken. Beide vind ik lastiger dan wat Vista nu biedt. Het probleem is echter, dat XP-gebruikers gewend zijn om standaard admin-rechten te hebben. En dat is iets wat je Microsoft w?l kunt aanrekenen. Het is dus verkeerd aangeleerd.
Wat nu eigenlijk nodig is, is een radicale breuk met het verleden. Daarmee bedoel ik dat de volgende versie van Windows zich helemaal niks meer moet aantrekken van het verleden, maar vanaf nul opnieuw opgezet moet worden. Als ik het goed heb, denkt Microsoft ook in die richting.
@Theo
Ik wil graag ook windowsupdate deinstalleren, maar ik kan hem niet vinden bij add/remove programs. Onder XP staat dat er wel, ik wil ook de updates removen. Of heb je hiervoor een aparte remove.exe gedownload? Ik snap er niks meer van, wat een rot OS.
Ligt het nu aan mij of zijn hier heel erg veel mensen Vista aan het verdedigen als ontwikkel-systeem terwijl ze helemaal geen softwareontwikkelaar zijn? (En nee, Visual Basic op zolder maakt je geen ontwikkelaar).
Ik werk op vrij veel verschillende projecten en in sommige sectoren mag dat niet met mijn eigen laptop, daarbij zie je in de meerderheid een mix van Windows XP, Vista en Red Hat Linux workstations. De laatste paar keer dat ik een Vista systeem had (en dat gaat dan over een C2D met 4GB geheugen) was alles gewoon merkbaar trager.
Ik zeg dus niet dat iedereen die hierboven begint over de leuke kleurtjes van Vista ook zou moeten overstappen op Linux, maar dat is ook niet wat het artikel stelt. In het artikel spreekt men ook van “zware gebruiker” (dat zijn dus geen gamers in deze context), en het lijkt mij toch overduidelijk dat zware gebruikers gebaat zijn bij een stabieler en sneller OS dan Vista.
@VistaVlek
Windows 7 zou toch van begin af aan herschreven worden? Maar zeiden ze dat ook niet over Vista?
Ik zou het een prima idee vinden als ze breken met het verleden. Maar dan moet het wel radicaal anders. Uiteraard moet er wel een mogelijkheid zijn om bestaande software te blijven gebruiken.
Jaap ik zie alleen een knop ‘OK’ en ‘Annuleren’. De knop ‘Toepassen’ is daarentegen grijs. Waar zit die taakbalk knop dan?
@theo
Ik heb inderdaad een apart bestandje gedownload om Windows Update te deinstalleren, volgens mij heette die wsusuninstall.exe. Na het starten van dat programmatje werkt alleen m’n toetsenbord niet meer. Even hard uit- en aanzetten je pc en het werkt weer. En ik ben van Windows Update af!