2.2 Adressraumverwaltung

Transkript

1 2.2 Adressraumverwaltung Einfachster Fall: Code und Daten 0 length-1 bs-2.2 1

2 2.2 Adressraumverwaltung Einfachster Fall: Code und Daten 0 length-1 Besser: getrennte Segmente, schreibgeschützer Code Code Daten 0 cl-1 0 dl-1 bs-2.2 2

3 Unix: 3 Segmente (oder mehr) mit variable Länge Code statische Daten Halde Keller (stack) Längenänderung durch brk Überlauf (und durch exec, Programm laden, 2.3) brk(addr), sbrk(incr) lässt das Datensegment bis Adresse addr-1 reichen bzw. verlängert das Datensegment um incr Fehler ENOMEM beim Überschreiten der maximalen Segmentgröße bs-2.2 3

4 Achtung: brk wird typischerweise von der Haldenverwaltung einer höheren Programmiersprache eingesetzt, nicht vom Programmierer Beispiel C: malloc impliziert ein sbrk, wenn die Halde überläuft bs-2.2 4

5 Weitere Operationen gibt es bei Betriebssystemen mit reichhaltiger strukturierten Adressräumen mit überlappenden Adressräumen z.b. shmget, shmat, mmap,... ( 5.4, 6) bs-2.2 5

6 2.3 Ein/Ausgabesystem ist meist geräteunabhängig realisiert: Prozess verfügt über Ein/Ausgabekanäle (channels, ports, open files,...) hinter denen sich Datenquellen/senken verbergen (Geräte, Dateien, Prozesse,...). Kanal = gepufferter Strom von Bytes Kanalnummer (in Unix file descriptor ) 0, 1, 2,... identifiziert Kanal bs-2.2 6

7 Standardkanäle in Unix, 0 Standard-Eingabekanal (standard input, stdin), vom Befehlsinterpretierer (Shell) verbunden mit der Tastatur 1 Standard-Ausgabekanal (standard output, stdout) vom Befehlsinterpretierer verbunden mit dem Bildschirm 2 Standard-Fehlerkanal (standard error, stderr) vom Befehlsinterpretierer verbunden mit dem Bildschirm! Ein Kanal kann auch gleichzeitig Ein- und Ausgabekanal sein! bs-2.2 7

8 1 2 0 Prozess P Prozess Q Scanner Dateisystem bs-2.2 8

9 Kanalnummern, Kanäle und Datenquellen/senken: Prozesse Kanalnummern Kanäle z.b. Dateien 1 P Q s.u. pos pos pos bs-2.2 9

10 Ein/Ausgabe-Operationen: read(channel,buffer,nbytes) liest sobald Bytes im Kanal vorhanden maximal nbytes Bytes von channel nach buffer und liefert die Anzahl der gelesenen Bytes (weniger gelesen wird z.b. bei Dateiende oder Zeilenende [beim Lesen von der Tastatur]) Fehler: ungültige Kanalnummer Kanal ist nur Ausgabekanal nicht behebbarer Lesefehler bs

11 write(channel,buffer,nbytes) schreibt sobald Platz im Kanal vorhanden maximal nbytes Bytes von buffer nach channel und liefert die Anzahl der geschriebenen Bytes (i.d.r. = nbytes) Fehler: ungültige Kanalnummer Kanal ist nur Eingabekanal nicht behebbarer Schreibfehler bs

12 close(channel) macht die Kanalnummer channel ungültig; falls dies die letzte gültige Nummer für den Kanal war, wird dieser gelöscht. Fehler EBADF falls ungültige Kanalnummer channel dup(channel) liefert neue zuvor ungültige Kanalnummer, die jetzt den gleichen Kanal wie channel identifiziert; gewählt wird die kleinste der ungültigen Nummern. Fehler EBADF falls ungültige Kanalnummer channel bs

13 dup2(old,new) vereinbart, dass die Kanalnummer new den gleichen Kanal wie old identifiziert; falls die Nummer new schon vorher einen Kanal bezeichnete und falls sie die letzte Nummer für diesen Kanal war, wird der Kanal gelöscht. Fehler EBADF falls ungültige Kanalnummer old Beachte: Kindprozess erbt Kanäle des Erzeugerprozesses (unter den gleichen Kanalnummern)! bs

14 2.4 Interprozesskommunikation (inter-process communication, IPC) erfolgt typischerweise über Ein/Ausgabekanäle, in Unix u.a. über Pipes ( Rohre ): Pipe = Puffer für Bytes (endliche Kapazität PIPE_MAX) (Variante: Puffer-Paar für bidirektionale Kommunikation) Bytes senden mit write Bytes empfangen mit read bs

15 pipe(channel) mit int channel[2] erzeugt eine Pipe und richtet einen Eingabekanal für das Empfangen und einen Ausgabekanal für das Senden ein; channel[0] wird mit der Nummer des Eingabekanals belegt, channel[1] wird mit der Nummer des Ausgabekanals belegt, Fehler EMFILE beim Überschreiten der maximalen Anzahl von Kanälen u.a. bs

16 Fehler beim Benutzen von Pipes: Kopf des Puffers ist keinem Kanal mehr zugeordnet write generiert Unterbrechung SIGPIPE Ende des Puffers ist keinem Kanal mehr zugeordnet und der Puffer ist leer read liefert 0 (wie bei Dateiende) Zyklisch über Pipes verbundene Prozesse und alle Puffer voll und alle Prozesse hängen in write Verklemmung, nicht gemeldet! bs

17 Typische Benutzung von Pipes: pipe(channel); if(fork()!=0) { /* parent process */ close(channel[0]);... write(channel[1],...)... } else { /* child process */ close(channel[1]);... read (channel[0],...)... } zuzüglich Fehlerbehandlung Zur Erinnerung: Kindprozess erbt Kanäle des Erzeugerprozesses bs

18 2.5 Dateiverwaltung Dateien werden durch Namen identifiziert: einfacher Dateiname, z.b. sort Pfadname (pathname), z.b. /usr/bin/sort Verschiedene Dateiarten (Untertypen von Datei in OO BS): Daten Programm Verzeichnis, Ordner (directory, folder) Pseudodatei (special file): E/A-Gerät u.a. bs

19 Prozess besitzt aktuelles Verzeichnis (working directory): alle Pfadnamen, die nicht mit / beginnen, werden automatisch vorne um den Namen des aktuellen Verzeichnisses erweitert chdir(name) mit char *name setzt das aktuelle Verzeichnis auf name Fehler ENOENT wenn das Verzeichnis name nicht existiert u.a. bs

20 Erzeugen und Öffnen von Dateien: open(name,flags) erzeugt und/oder öffnet die Datei name gemäß den Angaben in flags und liefert die Nummer eines Kanals, über den auf die Datei zugegriffen werden kann. Die flags sind u.a. O_CREAT erzeugen, falls nicht vorhanden O_RDONLY nur Lesezugriff O_WRONLY nur Schreibzugriff O_RDWR Lese- und Schreibzugriff Fehler EACCES wenn gewünschter Zugriff nicht erlaubt u.a. bs

21 Direktzugriff möglich mit lseek(channel,offset,whence) setzt die Zugriffsposition in der über channel erreichbaren Datei bei whence = 0 auf offset, bei whence = 1 auf aktuelle Position + offset, bei whence = 2 auf Dateilänge + offset. *) Fehler ESPIPE wenn channel sich auf eine Pipe bezieht u.a. *) "The lseek() function allows the file offset to be set beyond the end of the existing end-of-file of the file. If data is later written at this point, subsequent reads of the data in the gap return bytes of zeros (until data is actually written into the gap)." bs

22 Laden von Programmen mit Varianten von exec, z.b. execv(program,argv) mit char *argv[] ersetzt das laufende Programm durch das in der Datei program vorgefundene Programm, springt an den Anfang von main und übergibt dabei die Zeichenketten im Feld argv als Parameter für main.! Routinen für die Unterbrechungsbehandlung gehen verloren! Fehler EACCES wenn Datei nicht als Programm ladbar u.a. bs

23 + weitere Operationen für Abfragen/Setzen von Dateieigenschaften Maßnahmen zum Zugriffsschutz usw. ( 6) bs

24 2.6 C-Bibliotheken Erinnerung: Leseempfehlung zu Unix: man s1 intro man s2 intro man s3 intro Benutzerschnittstelle (Shell) Systemschnittstelle Weitere Bibliotheken /usr/include Help-Dateien.h /usr/lib Bibliotheken bs

25 2.6.1 Weitere Bibliotheken man s3 intro liefert eine Übersicht über die in Abschnitt 3 der Dokumentation beschriebenen Bibliotheken für C mit einer Vielzahl von Prozeduren ( C library functions ) jenseits der in Abschnitt 2 beschriebenen Systemaufrufe, z.b. bs

26 malloc (2.2 ) printf formatierte Ausgabe auf stdout fopen fread gepufferte Datei-Ein/Ausgabe... sqrt,... mathematische Funktionen usw. usf. bs

27 2.6.2 Nichtsequentielle Benutzung Falls Threading unterstützt wird Achtung bei nebenläufiger Benutzung von Bibliotheken! Nicht jede Prozedur ist thread-safe! Gegebenenfalls Sperrsynchronisation vornehmen! Z.B. in Solaris ist jeder Bibliotheksprozedur zugeordnet ein MT-Level (multi-threading level): Unsafe, Safe, MT-Safe, Async-Signal-Safe bs

28 Unsafe: unsicher Beispiel: rand(3) Safe: sicher Beispiel: malloc(3) MT-Safe: sicher, mit interner Nebenläufigkeit Beispiel: sqrt(3) Async-Signal-Safe: wie MT-Safe, sogar beim Auftreten von (Software-)Unterbrechungen (durch Unterbrechungsunterdrückung während kritischer Abschnitte) Beispiel: write(2) + Varianten bs