Follow along with the video below to see how to install our site as a web app on your home screen.
Anmerkung: This feature may not be available in some browsers.
Ich habe diese Umfrage gestartet, weil ich wissen wollte, ob es sich lohnt, bei dem GNU/Hurd mitzuarbeiten, da sich das Projekt noch in der Entwicklungsphase befindet.
Ich wäre eigentlich auch dafür, bei Kerneln&Co endlich mal von C abzukehren (es wird sowieso Zeit für eine modernere Low-Level-Sprache), aber das wäre wohl zu viel verlangtwikipedia hat gesagt.:Im Jahre 2009 wurde am Forschungsinstitut NICTA in Zusammenarbeit mit der UNSW mit seL4 erstmals ein für allgemeine Anwendungen tauglicher Betriebssystemkern formal verifiziert, d.h. es wurde mathematisch bewiesen, dass die Implementierung die Spezifikation des Kerns erfüllt und somit funktional korrekt ist. Dies bedeutet unter anderem, dass der Kern nachweislich keinen der bisher verbreiteten Entwurfsfehler (Speicherüberläufe (Buffer Overflow), Zeigerfehler und Speicherlecks) enthält.
Außerdem wurden nur 7500/8700 Zeilen bewiesen
Naja, das wäre schon mal ein guter Start, wenn man zumindest teilweise Entwurfsfehler/Implementierungen ausschließen kann . Allgmein hält sich der Kernelcode doch sehr in Grenzen, was das auditen ziemlich erleichtern sollte.Formal bewiesene Systeme bringt keine zusätzliche Sicherheit.
Bei Hardware lässt sich eher nichts machen, aber ein Stichwort zum Compiler wäre Ada & Compilervalidierung (*denkt gerade an "gcc -O3" * )Compiler arbeitet korrekt oder das die Hardware korrekt funktioniert.
Allgmein hält sich der Kernelcode doch sehr in Grenzen, was das auditen ziemlich erleichtern sollte.
Definierte Schnittstellen hat man zumindest bei Win ja schon, afaik kann ich auch als Treiber nicht einfach Interne Funktionen aufrufen - auch oder gerade weil die Parameter unbekannt sein dürften...