In this project, we aim at specifying an operating system kernel and formally verifying its correctness.
The operating system kernel supports memory management without shared memory , I / O with devices , and process management , and synchronous interprocess communication .
Ansprechpartner:
www-wjp.cs.uni-saarland.deIn diesem Projekt möchten wir einen Betriebssystemkern spezifizieren und formal verifizieren.
Der Betriebssystemkern unterstützt Memory Management ohne Shared Memory, I / O mit Geräten, Prozess-Management und synchrone Interprocess-Communication.
Ansprechpartner:
www-wjp.cs.uni-saarland.deThe compute nodes and the master are connected with two GBit ethernet interfaces each.
One of the interfaces is reserved for interprocess communications .
At the newer 26 nodes an additional network interface is used for remote maintenance access.
www.helmholtz-berlin.deDie Knoten und der Master sind mit jeweils zwei GBit-Ethernet-Schnittstellen an zwei Netzwerk-Switches vernetzt.
Je eine Schnittstelle der Knoten ist für die Inter-Prozess-Kommunikation reserviert.
Eine weiterer Netzwerkanschluss bei den neueren 26 Knoten dient der Fernkonfiguration und -wartung.
www.helmholtz-berlin.deSystem.IO.Pipes
The System.IO.Pipes namespace contains types that provide a means for interprocess communication through anonymous and / or named pipes .
System.IO.Ports
msdn.microsoft.comSystem.IO.Pipes
Der System.IO.Pipes-Namespace enthält Typen, die durch anonyme und / oder benannte Pipes eine Möglichkeit zur prozessübergreifenden Kommunikation bereitstellen.
System.IO.Ports
msdn.microsoft.comMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.