Taskservice. Stefan Brähler, Martin Kiefel. June 4, 2009 SDI2

Größe: px

Ab Seite anzeigen:

Download "Taskservice. Stefan Brähler, Martin Kiefel. June 4, 2009 SDI2"

Leon Salzmann
vor 6 Jahren
Abrufe

1 SDI2 June 4, 2009

2 Vortragsübersicht Ziele Stand der Dinge Erstellen einer Task Weitere Funktionalitäten IDL4-Interface Optionales

3 Was wollen wir? Tasks & Threads erstellen Tasks & Threads beenden/löschen Kooperation unterstützen Information über Threads und Tasks zur Verfügung stellen

4 Mögliche(s) API ThreadCreate TaskCreate Wait Exit, Kill ListTasks, etc.

5 Mögliche(s) API ThreadCreate TaskCreate Wait Exit, Kill ListTasks, etc. kleines Beispiel Um eine fiktive Anwendung foo mit zwei Threads zu erhalten: Shell: TaskCreate("foo"), pager TaskStart() Foo: ThreadCreate(), L4 Start()

6 Was wir haben ThreadControl SpaceControl L4 Start

7 Was wir haben ThreadControl SpaceControl L4 Start Probleme Diese privilegierten Syscalls sollten nicht frei zugänglich sein, da sie es ermöglichen Einfluß auf andere Anwendugen zu nehmen Ausserdem sollte sich eine Anwedung nicht um die gory details kümmern müssen (Fehleranfälligkeit, Modularität, Einfachheit... ) Accounting wird erst durch zentrale Instanz möglich

8 ELF Dateien parsen Erinnerung Eine ELF Datei besteht aus einem Einsprungspunkt und mehreren Sections mit ihren virtuellen Adressen.

9 ELF Dateien parsen Erinnerung Eine ELF Datei besteht aus einem Einsprungspunkt und mehreren Sections mit ihren virtuellen Adressen. Wo kommt was hin? Die in den Sections angegebenen virtuellen Adressen geben die Adressen im ZielAS an, wohin die einzelnen Sections gemappt werden müssen.

10 Überführung ELF ZielAS AS ELF-Datei ELF-Header Prog-Header.text.data.bss

11 Überführung ELF ZielAS AS ELF-Datei ELF-Header Prog-Header.text.data.bss Code

12 Überführung ELF ZielAS AS ELF-Datei ELF-Header Prog-Header.text.data.bss Data Code

13 Überführung ELF ZielAS ELF-Datei ELF-Header Prog-Header.text.data.bss AS Stack Heap Data Code KIP,...???

14 TaskCreate CreateTask + ELF Eventuell Berechtigungen oder Limits prüfen. Neue ThreadID wählen. Interne Datenstrukturen updaten. Pager

15 TaskCreate CreateTask + ELF Pager/Memoryservice anweisen ELF Datei bei Pagefaults der neuen Task von einem entsprechenden Image zu laden. Pager

16 TaskCreate Inaktiven Thread + neuem AS mit ThreadControl erstellen. Ggf. durch Syscallservice. CreateTask + ELF Foo Pager

17 TaskCreate CreateTask + ELF UTCB Area und KIP mit SpaceControl vom Kernel pinnen lassen. Foo Pager

18 TaskCreate CreateTask + ELF Ort des UTCB und Pager durch zweites ThreadControl festlegen. Foo Pager

19 TaskCreate ThreadID Neue ThreadID an rufenende Anwendung zurückreichen. Foo Pager

20 TaskCreate von hier aus: pager TaskStart StartIPC mit IP und SP (IP aus ELF-Datei) an neue Anwendung verschicken. Ausgelösten Pagefault mit entsprechendem Mapping beantworten. ThreadID Foo Pager

21 TaskCreate von hier aus: pager TaskStart StartIPC mit IP und SP (IP aus ELF-Datei) an neue Anwendung verschicken. Ausgelösten Pagefault mit entsprechendem Mapping beantworten. ThreadID Foo Pager

22 ThreadCreate Eventuell Berechtigungen oder Limits prüfen. Neue ThreadID wählen. Interne Datenstrukturen updaten. Inaktiven Thread (mit Pager und neuem UTCB) in dem AS der rufenden Anwendung erstellen durch ThreadControl. Pager der Anwendung über neuen Thread informieren und SP erfragen. ThreadID und SP an rufende Anwedung zurückgeben. (Warum nicht IP?)

23 Kill, Exit & Wait Kill Weist an Thread mit ThreadControl zu löschen. (Sofern man einen Thread löscht, der alleine einen AS bewohnt, löscht L4 implizit auch den AS)

24 Kill, Exit & Wait Kill Weist an Thread mit ThreadControl zu löschen. (Sofern man einen Thread löscht, der alleine einen AS bewohnt, löscht L4 implizit auch den AS) Exit Ähnlich wie Kill, als ThreadID wird eigene ThreadID verwendet und ein Rückgabewert überreicht.

25 Kill, Exit & Wait Kill Weist an Thread mit ThreadControl zu löschen. (Sofern man einen Thread löscht, der alleine einen AS bewohnt, löscht L4 implizit auch den AS) Exit Ähnlich wie Kill, als ThreadID wird eigene ThreadID verwendet und ein Rückgabewert überreicht. Wait IPC an den blockiert so lange bis sich der gewünschte Thread beendet wird. Der mit Exit übergebene Rückgabewert wird ggf. überreicht.

26 IDL4-Interface TaskCreate(in path t file, in arg seq t args, out ThreadID tid) raises (permission, oom, filenotfound, io) ThreadCreate(out ThreadID tid, out long sp) raises (permission, oom) Wait(in ThreadID tid, out long result) raises (invalidid) Exit(in long result) Kill(in ThreadID tid) raises (permission, invalidid)

27 Optional: Informationen und Verwaltung Statusinformationen Attribute (taskid, parent, owner,... ) hinzufügen um z.b.: Mittels des Nameservice Interface z.b. /services/task/bytaskid/42/... exportieren TaskID(), TaskThreads() anzubieten

28 Optional: Informationen und Verwaltung Statusinformationen Attribute (taskid, parent, owner,... ) hinzufügen um z.b.: Mittels des Nameservice Interface z.b. /services/task/bytaskid/42/... exportieren TaskID(), TaskThreads() anzubieten Verwaltung Globale/lokale Limits/Policies durchsetzen, z.b.: Anzahl Threads pro Task Tasks pro User MaxTasks im System Accounting (benötigt u.a. Informationen vom Scheduler)

29 Fragen?

Ähnliche Dokumente

Memory Management Server

Memory Management Server Kai Beskers, Sven Janko 18. Juni 2009 SDI 1 Übersicht 1 Einführung 2 Starten 3 ELF-Loader Protokoll 4 Datenstrukturen 5 Pagefault Protokoll 6 Client Interface 7 Taskserver Interface