Benutzer:JUser/Spielwiese

In einem Sprachbasierten System (Betriebssystem) wurden sowohl der Kernel, als auch die Programme in einer Hochsprache, wie z. B. Java programmiert.^[1]

In einem sprachbasierten Schutz-System gestattet der Kernel nur die Ausführung solchen Codes, der von einem als vertrauenswürdig eingestuften Compiler erzeugt wurde. Der Code muss zudem in einer als vertrauenswürdig angesehenen Sprache verfasst sein. Eine solche Sprache könnte dann beispielsweise so umgesetzt sein, dass sie es einem Programmierer unmöglich macht, sie für etwas einzusetzen, was den festgelegten Sicherheitsregeln des Systems widerspricht (siehe auch Managed Code).^[2]

• JX (Betriebssystem)
• Singularity
• Inferno (Betriebssystem)

• A Sabelfeld, AC Myers Language-based information-flow security IEEE Journal on Selected Areas in Communications, 2003 Volume: 21, Issue: 1 pp. 5- 19
• V Haldar, D Chandra, M Franz Semantic remote attestation—a virtual machine directed approach to trusted computing USENIX Virtual Machine Research and Technology Symposium, 2004
• Giacobazzi, Mastroeni Abstract non-interference: parameterizing non-interference by abstract interpretation Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages Pages: 186 - 197 (2004)
• Algis Rudys, Dan S. Wallach Termination in language-based systems ACM Transactions on Information and System Security (TISSEC) Volume 5 , Issue 2 (May 2002) pp. 138 - 168

[[Category:Betriebssystem]]

JX ist ein Mikrokernel Betriebssystem, dessen Kernel, ebenso wie die mitgelieferten Programme, in Java programmiert wurde.^[3]

JX ist eine Java Virtual Machine (der JX Core, zu deutsch JX Kern), die um Funktionen wie z.B. einen direkten Hardware-Zugriff und ebenfalls in Java geschriebene Programmen für Kernel-Funktionalitäten etc. erweitert wurde. Da es sich bei Java um eine typ-sichere Programmiersprache handelt, ist JX in der Lage, laufende Programme (im Speicherbereich) voneinander abzugrenzen, ohne auf Hardware-Speicherschutztechniken zurückgreifen zu müssen. Diese Technik, die als sprachbasierter Schutz bezeichnet wird, ermöglicht Betriebsystem-Aktionen und Interprozesskommunikation, ohne dass ein, auf vielen Computern langsamer, Wechsel des verwendeten Speicherbereichs stattfinden muss. JX läuft auf Standard-PCs, wobei eine begrenzte Anzahl herkömmlicher Hardware unterstützt wird. Das System ist Open Source und wird von der Universität Erlangen entwickelt.^[4][5]

Die großen Vorteile von JX sind:

• Eine leichtgewichtige, überschaubare Betriebssystem-Basis ermöglicht ein hohes Vertrauen in ihre Sicherheit und Zuverlässigkeit
• Da keine Wechsel des Speicherbereichs stattfinden müssen, wird eine, im Vergleich zu anderen Mikrokernel-Betriebssystemen, hohe Performance erreicht.

1. ↑ Michael Golm, Meik Felser, Christian Wawerish, Jürgen Kleinöder: JX - Ein flexibles Betriebssystem (Schaubild). Universität Erlangen, abgerufen am 21. April 2007. 
2. ↑ A Language-Based Approach to Security (PDF), Schneider F., Morrissett G. (Cornell University) and Harper R. (Carnegie Mellon University). Informatics: 10 Years Back, 10 Years Ahead. (2000)
3. ↑ Michael Golm, Meik Felser, Christian Wawerish, Jürgen Kleinöder: JX - Ein flexibles Java-Betriebssystem (Schaubild). Universität Erlangen, abgerufen am 21. April 2007. 
4. ↑ JX: Das schnelle und flexible Java-Betriebsystem (Englisch). Universität Erlangen, abgerufen am 21. April 2007. 
5. ↑ Das JX-Betriebssystem (Englisch). Abgerufen am 21. April 2007. 

• Projekt-Homepage (Englisch)

[[Category:Betriebssystem]] [[Category:Freie Software]]

JavaOS ist ein von Sun Microsystems entwickeltes Betriebssystem mit einer Java Virtual Machine als Basis. Anders als Unix oder Unix-ähnliche Systeme, die hauptsächlich in C realisiert werden, wurde JavaOS vorrangig in Java programmiert.

Seit 2006 wird JavaOS von Sun als Altsystem angesehen (siehe Zukunft).

Das System basiert auf einem für die jeweilige Hardware angepassten Mikrokernel.

Hardware-Plattformen, auf denen der Kernel läuft, sind unter anderem

• ARM
• PowerPC
• RISC
• SPARC
• StrongARM
• x86

Die Java Virtual Machine fungiert als oberste Instanz des Mikrokernels.

Alle Treiber wurden in Java geschrieben und werden von der Virtual Machine ausgeführt.

Das Grafiksystem und der Fenstermanager, die auf das AWT API aufsetzen, sind ebenfalls in Java geschrieben.

Da JavaOS als Betriebssystem für Embedded Systems entworfen wurde, findet es zum Beispiel auf Set-Top-Boxen, als Teil der Infrastruktur für Netzwerke und auch in Geldautomaten Anwendung. Auch die JavaStation läuft unter diesem Betriebssystem.

Sun bezeichnet JavaOS offiziell als Altsystem und empfiehlt die Umstellung auf Java ME ^[1]. Dabei handelt es sich jedoch nicht um eine vollwertige Alternative, da Java ME lediglich ein API und kein Betriebsystem ist.

1. ↑ Eintrag für JavaOS. In: CDC FAQ. Abgerufen am 11. Oktober 2006. 

• Java
• JNode Laufendes Projekt, das ein nahezu komplett in Java geschriebenes Betriebssystem zum Ziel hat, um Java-Programme ohne jegliche Zusatzsoftware ausführen zu können.
• JX (Betriebssystem) Ein sehr kleines, in Java geschriebenes Betriebssystem, das vor allem flexibel und stabil sein soll.

• JX-Betriebssystem (Englisch)
• Pressemitteilung von Sun zur Veröffentlichung von JavaOS (Englisch) (29. Mai 1996)

[[:Kategorie:Programmiersprache Java]] [[:Kategorie:Laufzeitumgebung]] [[:Kategorie:Betriebssystem]] [[en:JavaOS]] [[fr:JavaOS]] [[it:JavaOS]] [[ja:JavaOS]] [[ru:JavaOS]] [[tr:JavaOS]] [[zh:JavaOS]]