{"id":108407,"date":"2023-05-07T00:48:15","date_gmt":"2023-05-06T22:48:15","guid":{"rendered":"https:\/\/prohoster.info\/?p=108407"},"modified":"2023-05-09T08:51:41","modified_gmt":"2023-05-09T06:51:41","slug":"proektu-sel4-prisuzhdena-premiya-acm-software-system-award","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/novosti-interneta\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","title":{"rendered":"Das seL4-Projekt wurde mit dem ACM Software System Award ausgezeichnet","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Das Projekt zur Entwicklung des offenen Mikrokernels seL4 wurde mit dem ACM Software System Award ausgezeichnet, der j\u00e4hrlich von der Association for Computing Machinery (ACM), der renommiertesten internationalen Organisation im Bereich der Computersysteme, vergeben wird. Die Auszeichnung wurde f\u00fcr die Erfolge im Bereich des mathematischen Nachweises der Zuverl\u00e4ssigkeit verliehen, der die vollst\u00e4ndige \u00dcbereinstimmung mit formal festgelegten Spezifikationen belegt und die Einsatzbereitschaft in kritischen Anwendungen anerkennt. Das seL4-Projekt hat gezeigt, dass eine vollst\u00e4ndige formale Verifikation der Zuverl\u00e4ssigkeit und Sicherheit f\u00fcr Projekte auf dem Niveau industrieller Betriebssysteme m\u00f6glich ist, ohne dabei Abstriche bei Leistung und Flexibilit\u00e4t zu machen. <\/p>\n
Der ACM Software System Award wird j\u00e4hrlich f\u00fcr die Entwicklung von Software-Systemen verliehen, die einen wesentlichen Einfluss auf die Branche gehabt haben, indem sie neue Konzepte eingef\u00fchrt oder neue kommerzielle Anwendungsbereiche erschlossen haben. Die Pr\u00e4mie betr\u00e4gt 35.000 US-Dollar. In den vergangenen Jahren wurden die ACM-Preise unter anderem an die Projekte GCC und LLVM sowie an deren Gr\u00fcnder Richard Stallman und Chris Lattner verliehen. Auch Projekte und Technologien wie UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl\/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB und Eclipse wurden ausgezeichnet. <\/p>\n
Die Architektur des Mikro-Kernels seL4 zeichnet sich dadurch aus, dass Teile zur Verwaltung der Kernressourcen in den Benutzermodus ausgelagert werden, und dass dieselben Zugriffsteuerungsmechanismen f\u00fcr diese Ressourcen verwendet werden wie f\u00fcr Benutzerr\u00e4ume. Der Mikro-Kernel bietet keine fertigen, hochrangigen Abstraktionen zur Verwaltung von Dateien, Prozessen, Netzwerkverbindungen usw.; stattdessen stellt er lediglich minimale Mechanismen zur Verf\u00fcgung, um den Zugriff auf den physischen Adressraum, Interrupts und CPU-Ressourcen zu steuern. Hochrangige Abstraktionen und Treiber zur Interaktion mit der Hardware werden separat \u00fcber dem Mikro-Kernel in Form von Aufgaben implementiert, die im Benutzermodus ausgef\u00fchrt werden. Der Zugriff dieser Aufgaben auf die Ressourcen des Mikro-Kernels erfolgt durch die Festlegung von Regeln. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"