KIT-Bibliothek

16: Echtzeitsysteme, Vorlesung, SS 2018, 12.06.2018

Diese Audio- bzw. Video-Datei ist urheberrechtlich geschützt. Der Zugriff ist nur über Rechner des Karlsruher Instituts für Technologie (KIT) erlaubt.

Autor

Torsten Kröger

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

  • 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

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 128000 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 597137 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5423 s
Dateiname DIVA-2018-473_hd.mp4
Dateigröße 404.810.066 byte
Bildwiederholfrequenz 25
Videobitrate 463031 bps
Video Codec h264

Embed-Code