16: Echtzeitsysteme, Vorlesung, SS 2018, 12.06.2018

Autor

Torsten Kröger

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

16 |
0:00:00 Start
0:00:05 Kapitel 6 Echtzeitsysteme
0:00:44 Rate-Monotonic-Scheduling (RMS) für periodisch auszuführende Tasks
0:01:31 RMS = Optimale Prioritätenverteilung?
0:01:58 FTS Beispiel mit drei Aufgaben
0:02:34 Daten aus industriellem FTS mit aufgeklebter Fahrspur und Landmarken
0:03:27 Prozessorauslastung
0:04:19 Ablauf des FTS Beispiels mit Priorität T1 > T2 > T3
0:06:44 EDF-Scheduling
0:07:35 Ablauf des FTS-Beispiels mit EDF-Scheduling
0:08:59 LLF-Scheduling
0:11:33 Ablauf des FTS Beispiels mit LLF-Scheduling
0:17:17 Time-Slice-Scheduling
0:20:57 Guaranteed Percentage Scheduling
0:22:12 Guaranteed Percentage Scheduling auf dem Komodo Mikrocontroller
0:23:35 Synchronisation und Verklemmungen von gemeinsam genutzten Betriebsmitteln
0:27:11 Sperrsynchronisation und Reihenfolgensynchronisatioen
0:30:37 Semaphore mit den Operationen »Passieren« und »Verlassen« für die Synchronisation
0:34:12 Sperrsynchronisation mit einem Semaphore
0:35:51 Reihenfolgensynchronisation mit zwei Semaphoren
0:38:36 Erzeuger-/Verbraucher-Synchronisation mit zwei Semaphoren
0:40:43 Verklemmungen: Deadlocks
0:44:59 Verklemmungen: Livelocks
0:46:29 Prioritäteninversion
0:48:38 Ein Livelock bei Prioritäteninversion
0:50:18 Vermeidung des Livelocks durch einen Mutex mit Prioritätenvererbung
0:51:19 Priority Ceiling Protocol
0:56:47 Priority Ceiling Protocol (1)
1:03:15 Priority Ceiling Protocol (2)
1:11:41 Kommunikation zwischen Tasks
1:15:35 Synchrone und asynchrone Kommunikation
1:17:14 Beispiel nachrichtenbasierter Kommunikation: Botschaftenaustausch
1:18:52 Synchronous Message Passing
1:23:23 Entfernter Prozeduraufruf mittels Botschaftenaustausch
1:24:25 Implentierungsaspekte der Taskverwaltung mit Taskiste mit Taskkontrollblock und Taskkontext
1:25:53 Speicherverwaltung: Modelle
1:28:34 Lineare Adressbildung durch Segmente, dynamische Zuteilung, reele Adressierung, keine Verdrängung
1:29:55 Lineare Adressbildung mit Speicherbereinigung

Laufzeit (hh:mm:ss)

01:30:23

Serie

Echtzeitsysteme, Vorlesung, SS 2018

Publiziert am

26.06.2018

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz