Operativsystem

generelt synes jeg at de eksisterende teknologier er aldrende. Der hvor man har været innovative med hensyn til operativsystemer de sidste mange år, har været på HCI (human-computer interface) siden: KDE, Gnome, Vista, MacOS X Tiger, osv.
Det har næsten stået stille med hensyn til OS filosofier, arkitekturer, sikkerhedsmodeller, kernedesign og filsystemer (selvom ZFS ser ud til at prøve nogle spændne ting af i praksis).

Der er sket SÅ meget inden for bl.a. programmeringssprog og sikkerhed de sidste 15 år, og der er blevet foretaget nogle virkeligt interessante eksperimenter i diverse laboratorier og enkelte open source projekter, men intet af dette synes jeg rigtigt har nået mainstream systemerne, hvilket primært skyldes de radikale designændringer en implementering vil medfører.

OK, I fik mig alligevel. Én af de ting som jeg synes har holdt udviklingen tilbage, er programmeringssprogne C og C++.
Folk burde efterhånden vide, at der ER muligt at lave systemer som er 100% garenteret buffer-overrun fri, som er fejltolerente, som undlader at tvinge programmøren til at tænke på memory management og som måske endda kører hurtigerer - alt dette er også muligt for dem der skriver operativsystemer.

OK, I fik mig alligevel. Én af de ting som jeg synes har holdt udviklingen tilbage, er programmeringssprogne C og C++.
Folk burde efterhånden vide, at der ER muligt at lave systemer som er 100% garenteret buffer-overrun fri, som er fejltolerente, som undlader at tvinge programmøren til at tænke på memory management og som måske endda kører hurtigerer - alt dette er også muligt for dem der skriver operativsystemer.

Dette er gjort før, se på "oldtidens" Lisp-machines for et styresystem implementeret et i objektorienteret, garbage-collecting, bounds-checking og dynamisk programmeringssprog. Desværre holdt konceptet ikke, da styresystemet (Genera) krævede specifik hardware (Lisp machines) for at fungere virkelig godt. Med de hastigheder moderne hardware har, burde det dog være muligt at emulere denne hardwaresupport uden betydelig ydelsesnedsættelse.
--
Blog:
http://www.sigkill.dk/blog

Dette er gjort før, se på "oldtidens" Lisp-machines for et styresystem implementeret et i objektorienteret, garbage-collecting, bounds-checking og dynamisk programmeringssprog. Desværre holdt konceptet ikke, da styresystemet (Genera) krævede specifik hardware (Lisp machines) for at fungere virkelig godt. Med de hastigheder moderne hardware har, burde det dog være muligt at emulere denne hardwaresupport uden betydelig ydelsesnedsættelse.
--
Blog:
http://www.sigkill.dk/blog

Den (sparsome) omtale jeg har hørt far folk som har arbejdet med disse maskiner, har kun været positiv. Det blav bare ikke nogen stor kommerciel succes, hvilket nok bl.a. var på grund af den specielle hardware.

Men hvis man dropper den dynamiske del af sproget, kan man kompilerer til maskinkode som kan kører på almindelig hardware.
Med JITing kan man dog også beholde den dynamiske natur, på bekostning af noget opstarts og hukommelses overhead.

Men der hvor jeg gerne vil hen er, at meget af denne viden ikke eksistere i de systemer som bliver brugt mest idag. Det er dét der går mig på: moderne mainstream systemer døjer med fejl og sygdomme som man har bevist at man kan undgå i praksis. (Lisp machines er et af disse beviser )