News

Ergebnisse Nachklausuren und Nacharbeit Projekt

Geschrieben am 15.10.15 von Thilo Krüger

Die Ergebnisse der Nachklausuren sind jetzt online und für alle sichtbar. Es sollten jetzt die Noten für alle einzelnen Klausuren sowie die Gesamtnote für die Klausuren angezeigt werden. Die Klausuren wurden insgesamt bestanden, wenn mindestens eine Zwischen- sowie mindestens eine Endklausur… Weiterlesen

Die Ergebnisse der Nachklausuren sind jetzt online und für alle sichtbar. Es sollten jetzt die Noten für alle einzelnen Klausuren sowie die Gesamtnote für die Klausuren angezeigt werden. Die Klausuren wurden insgesamt bestanden, wenn mindestens eine Zwischen- sowie mindestens eine Endklausur bestanden wurde. Da auf alle Klausuren die gleiche Notenskala angewendet wurde, wurde die Endnote aus der Durchschnittspunktzahl mit der gleichen Notenskala ermittelt. Hierbei wurde jeweils die bessere Zwischen- und die bessere Endklausur gewertet. Wer Fragen hat und/oder eine Einsicht in die Klausuren wünscht, meldet sich bitte per Mail bei Thilo. 

Desweiteren haben wir die Frist für die Abgabe der Projekt-Nacharbeit um 24 Stunden verlängert: Sie endet heute abend (15.10.) um 23:59 Uhr.

Nachklausuren, organisatorisches

Geschrieben am 06.10.15 von Thilo Krüger

Morgen, am 7.Oktober 2015, finden ab 14:15 Uhr die Nachklausuren statt, hier die letzten organisatorischen Details:

  • in den Materialien befinden sich die Raumpläne (eine Datei, zwei Pläne) für die Klausuren, falls jemand angemeldet sein sollte und in den Raumplänen noch fehlt, bitte schnell… Weiterlesen

Morgen, am 7.Oktober 2015, finden ab 14:15 Uhr die Nachklausuren statt, hier die letzten organisatorischen Details:

  • in den Materialien befinden sich die Raumpläne (eine Datei, zwei Pläne) für die Klausuren, falls jemand angemeldet sein sollte und in den Raumplänen noch fehlt, bitte schnell noch eine e-Mail an Thilo schreiben
  • die Wiederholung der Zwischenklausur wird als erstes geschrieben, sie startet um 14:15 Uhr
  • die Wiederholung der Endklausur startet um 15:20 Uhr

Nachklausuren und Projektbewertung

Geschrieben am 02.10.15 von Thilo Krüger

Zur Projektbewertung gibt es im Zusammenhang mit den Nachklausuren noch einen Nachtrag:

Es ist natürlich noch nicht nötig, das Projekt endgültig bestanden zu haben, um für die Nachklausur zugelassen zu werden, die Projekt-Nacharbeit bleibt fällig zum 14. 10. Dementsprechend werden die meisten… Weiterlesen

Zur Projektbewertung gibt es im Zusammenhang mit den Nachklausuren noch einen Nachtrag:

Es ist natürlich noch nicht nötig, das Projekt endgültig bestanden zu haben, um für die Nachklausur zugelassen zu werden, die Projekt-Nacharbeit bleibt fällig zum 14. 10. Dementsprechend werden die meisten Ergebnisse des Projekts erst nach den Nachklausuren bzw. nach der Deadline für die Nacharbeit eingetragen. Die Ausnahme bilden hierbei die Projekte, die einen Bonus bekommen haben, diese sind bereits mit 2/2 Punkten eingetragen. Zur Bedeutung der Punkte bei der Projektbewertung: Mit einem Punkt hat man das Projekt bestanden, hat man einen zweiten Punkt bekommen, so bekommt man einen Bonus von 0.3 auf die Endnote für das Projekt. Alle Mitglieder von Gruppen, die einen Bonus bekommen haben, sollten eine e-Mail als Benachrichtigung bekommen haben.

 

Alle weiteren Infos zur Nachklausur folgen am Dienstag, nach dem Anmeldeschluss für die Nachklausuren.

 

Anmeldung Nachklausuren

Geschrieben am 24.09.15 (letzte Änderung am 24.09.15) von Thilo Krüger

Am 7. Oktober finden die Wiederholungsklausuren unserer Vorlesung Nebenläufige Programmierung statt.

Zur Erinnerung: An den Nachklausuren darf nur teilnehmen, wer mindestens eine der beiden Semesterklausuren bestanden hat, und die Klausurzulassung erreicht hat (aufgrund von praktischem Projekt… Weiterlesen

Am 7. Oktober finden die Wiederholungsklausuren unserer Vorlesung Nebenläufige Programmierung statt.

Zur Erinnerung: An den Nachklausuren darf nur teilnehmen, wer mindestens eine der beiden Semesterklausuren bestanden hat, und die Klausurzulassung erreicht hat (aufgrund von praktischem Projekt (EDIT: Das steht natürlich noch nicht fest, ausgeschlossen ist hier nur, wer das Projekt bereits jetzt endgültig nicht bestanden hat), Freiversuchen und schriftlichen Aufgaben). Wer die Zwischenklausur nicht bestanden hat, ist automatisch (unter den obigen Bedingungen) für die Wiederholungsklausur der Zwischenklausur angemeldet. Eine Teilnahme an der Wiederholung der Endklausur ist dann nicht möglich. Wer die Endklausur nicht bestanden hat, ist automatisch (unter den obigen Bedingungen) für die Wiederholungsklausur der Endklausur angemeldet. Eine Teilnahme an der Wiederholung der Zwischenklausur ist dann nicht möglich.

Falls beide Semesterklausuren bestanden wurden und alle weiteren Voraussetzungen erfüllt sind, dann (und nur dann) besteht die Möglichkeit, sich im persönlichen Bereich im mCMS verbindlich für eine oder beide Nachklausuren zu registrieren. Diese Anmeldungen müssen bis Montag, den 5. Oktober, 23:59 Uhr erfolgt sein.

Weitere Informationen folgen dann am 6. Oktober. Bei Fragen kann nach wie vor das Forum genutzt werden.

Projekt Nacharbeit

Geschrieben am 27.08.15 von Thilo Krüger

Demnächst werden, sofern nicht schon geschehen, die Feedbacks für den Meilenstein 2 an die jeweiligen Gruppen verschickt. Für alle Gruppen, die das Projekt mit Abgabe von Meilenstein 2 bestanden haben, ist diese News nicht relevant, Glückwunsch.

 

Für alle anderen folgen hier die genauen… Weiterlesen

Demnächst werden, sofern nicht schon geschehen, die Feedbacks für den Meilenstein 2 an die jeweiligen Gruppen verschickt. Für alle Gruppen, die das Projekt mit Abgabe von Meilenstein 2 bestanden haben, ist diese News nicht relevant, Glückwunsch.

 

Für alle anderen folgen hier die genauen Bedingungen für die Nacharbeit. Die Nacharbeit muss bis zum

14.10.2015, 23:59 Uhr

abgegeben werden, eine Abgabeoption steht hier im mCMS bereit. Desweiteren kann die Nacharbeit nur bestanden werden, wenn die folgenden Punkte erfüllt sind:

  1. In den Materialien ist eine neue zip-Datei von Testdateien bereitgestellt. Diese enthält Testdateien mit unterschiedlich großen Gittern und die dazugehörigen Lösungen. Es muss aus der Nacharbeit erkennbar sein, dass diese Tests alle bestanden werden, die Laufzeit ist hierbei egal.
  2. Die Implementierung muss nebenläufig korrekt sein. Um dies zu überprüfen, werden die Tutoren unter anderem dieses Tool verwenden: http://www.contemplateltd.com/threadsafe . Falls die Analyse mit diesem Tool Warnungen ausgibt, müssen die betroffenen Gruppen in der Lage sein, zu begründen, warum die Implementierung trotz der Warnungen korrekt ist.
  3. Es muss eine Dokumentation, wie in der Projekt-Aufgabenstellung beschrieben, vorliegen. Diese muss gut lesbar sein und alle Aspekte der Nebenläufigkeit (hierzu gehört auch Terminierung) erklären.
  4. Die Implementierung muss letzten Endes den jeweiligen Tutor überzeugen. Falls die Abgabe nicht selbsterklärend ist, kann ein Treffen mit dem jeweiligen Tutor notwendig sein, zu dem alle Gruppenmitglieder erscheinen müssen.

Natürlich müssen auch alle Gruppenmitglieder am Projekt mitarbeiten, dieses wird auch in einem möglichen Treffen getestet.

Deadline-Verlängerung Meilenstein 2

Geschrieben am 18.08.15 von Thilo Krüger

Die Deadline für den Meilenstein 2 des praktischen Projekts wurde um 24 Stunden verlängert, sie endet heute, 18.8.2015, 23:59 Uhr. Die Abgabe kann also noch beliebig verändert werden. Die neue Deadline ist fix und wird nicht erneut verlängert werden. Die Abgabe eines hinreichenden Meilensteins 2 ist… Weiterlesen

Die Deadline für den Meilenstein 2 des praktischen Projekts wurde um 24 Stunden verlängert, sie endet heute, 18.8.2015, 23:59 Uhr. Die Abgabe kann also noch beliebig verändert werden. Die neue Deadline ist fix und wird nicht erneut verlängert werden. Die Abgabe eines hinreichenden Meilensteins 2 ist Voraussetzung für das Bestehen von NP.

Einsicht in die Endklausur

Geschrieben am 17.08.15 von Thilo Krüger

Liebe Studierende,

die Einsicht in die Endklausur findet an diesem

Mittwoch, 19.8., 13:15-14:15 Uhr

in SR016, E1 3

statt. 

Ergebnisse der Endklausur

Geschrieben am 12.08.15 von Thilo Krüger

Liebe Studierende,

die Ergebnisse der Endklausur sind jetzt online und für alle sichtbar. Es werden jetzt die Note für die beiden Einzelklausuren und die Gesamtnote angezeigt. Da für beide Einzelklausuren die gleiche Notenskala angewendet wurde, wurde die Endnote aus der Durchschnittspunktzahl… Weiterlesen

Liebe Studierende,

die Ergebnisse der Endklausur sind jetzt online und für alle sichtbar. Es werden jetzt die Note für die beiden Einzelklausuren und die Gesamtnote angezeigt. Da für beide Einzelklausuren die gleiche Notenskala angewendet wurde, wurde die Endnote aus der Durchschnittspunktzahl mit der gleichen Notenskala ermittelt.

Eine Einsicht in die Klausur wird stattfinden, ein Termin für die Einsicht wird zu einem späteren Zeitpunkt bekanntgegeben. Fragen können wie immer per e-Mail an Thilo gesendet oder im Forum gestellt werden.

Informationen zur Klausur(zulassung)

Geschrieben am 29.07.15 von Thilo Krüger

Am nächsten Dienstag, dem 4. 8. findet unsere Endklausur statt. Hier einige Informationen:

  • Am Freitag, 31.7. findet von 12:00 Uhr bis 14:00 Uhr ein Zusatztutorium in HS002, E1 3 statt. Dort können alle aufgekommenen thematischen Fragen geklärt und vertieft werden. Teilnahme ist dringend… Weiterlesen

Am nächsten Dienstag, dem 4. 8. findet unsere Endklausur statt. Hier einige Informationen:

  • Am Freitag, 31.7. findet von 12:00 Uhr bis 14:00 Uhr ein Zusatztutorium in HS002, E1 3 statt. Dort können alle aufgekommenen thematischen Fragen geklärt und vertieft werden. Teilnahme ist dringend empfohlen.
  • Die Ergebnisse für das letzte Aufgabenblatt sind jetzt für alle sichtbar. Die Einsicht in dieses Blatt wird in das Zusatztutorium integriert. Dabei können keine Punktestände verändert werden. Falls noch jemand Punkte für die Zulassung benötigt und deswegen in das Aufgabenblatt einsehen möchte, geht das nach vorheriger e-Mail-Anmeldung individuell bei Thilo (thilo.krueger@uni-saarland.de).
  • Da die Anzahl an maximal erreichbaren Punkten während des Semesters reduziert wurde, wurde die Zulassungsgrenze auf 22 von 46 Punkten reduziert.
  • Die Endklausur findet am Dienstag um 10:00 statt und dauert 60 Minuten. Sie findet vorraussichtlich im Günter-Hotz-Hörsaal und im Mathe-Hörsaal 1 statt.
  • Es ist keine Anmeldung zur Klausur notwendig. Jeder der die Zulassung zur Klausur erreicht hat, ist automatisch für die Klausur registriert.
  • Sitzpläne finden sich ab Freitag in den Materialien hier im mCMS und am Montag an den Hörsälen.

Bei Fragen oder Problemen kann wie immer das Forum genutzt werden oder auch eine e-Mail an Thilo geschrieben werden.

Verlängerung Deadline Meilenstein 1

Geschrieben am 21.07.15 von Thilo Krüger

Die Deadline für den Meilenstein 1 des praktischen Projekts wurde um 24 Stunden verlängert, sie endet heute, 21.7.2015, 23:59 Uhr. Die Abgabe kann also noch beliebig verändert werden. Die neue Deadline ist fix und wird nicht erneut verlängert werden. Die Abgabe eines hinreichenden Meilensteins 1 ist… Weiterlesen

Die Deadline für den Meilenstein 1 des praktischen Projekts wurde um 24 Stunden verlängert, sie endet heute, 21.7.2015, 23:59 Uhr. Die Abgabe kann also noch beliebig verändert werden. Die neue Deadline ist fix und wird nicht erneut verlängert werden. Die Abgabe eines hinreichenden Meilensteins 1 ist Voraussetzung für das Bestehen von NP.

Diverse Infos

Geschrieben am 08.07.15 von Thilo Krüger

Hier einige Informationen, die zum Teil schon in der Vorlesung bekannt gegeben wurden

  1. Die letzte Vorlesung findet nächste Woche bereits am Montag um 14:15 Uhr statt.
  2. Am morgigen Donnerstag findet keine Einsicht statt.
  3. Die Projekte werden in Gruppen von 2 bis 3 Studenten bearbeitet werden.… Weiterlesen

Hier einige Informationen, die zum Teil schon in der Vorlesung bekannt gegeben wurden

  1. Die letzte Vorlesung findet nächste Woche bereits am Montag um 14:15 Uhr statt.
  2. Am morgigen Donnerstag findet keine Einsicht statt.
  3. Die Projekte werden in Gruppen von 2 bis 3 Studenten bearbeitet werden. Da die Aufgabenstellung für das Projekt bereits nächste Woche veröffentlicht wird, versuchen Sie bitte bereits jetzt Gruppen für das Projekt zu bilden. Sobald Sie eine Gruppe gebildet haben, lädt bitte ein Student aus Ihrer Gruppe unter Abgaben>Projektgruppen eine Textdatei hoch, die die Namen und die Matrikelnummern von allen Gruppenmitgliedern enthält. Diese Abgabe schließt nächste Woche Mittwoch um 23:59 Uhr. Bis dahin sollte jeder einen oder zwei Gruppenpartner gefunden haben. Projekte, die allein bearbeitet werden, können wir nicht akzeptieren. Alle, die keine Projektpartner finden, schreiben daher bitte eine kurze Mail an thilo.krueger@uni-saarland.de und werden dann zusammengelo(t)st.

 

Einsicht in die Zwischenklausur / Projekt vom letzten Jahr

Geschrieben am 22.06.15 von Thilo Krüger

Liebe Studierende,

die Einsicht in die Zwischenklausur findet an diesem

Freitag, 26.6., 12:00-13:00 Uhr

in SR015, E1 3

statt. 

Desweiteren sollte auf jeder persönlichen Statusseite unter Tests und Klausuren ein neuer Punkt 'Projekt' auftauchen. Falls jemand das Projekt aus dem Vorjahr… Weiterlesen

Liebe Studierende,

die Einsicht in die Zwischenklausur findet an diesem

Freitag, 26.6., 12:00-13:00 Uhr

in SR015, E1 3

statt. 

Desweiteren sollte auf jeder persönlichen Statusseite unter Tests und Klausuren ein neuer Punkt 'Projekt' auftauchen. Falls jemand das Projekt aus dem Vorjahr einbringen möchte, sollte dort bereits '1/1 Punkte' eingetragen sein. Falls nicht, kann man das noch bis zur Ausgabe des Projekts per e-Mail bei Thilo anmelden.

Ergebnisse der Zwischenklausur

Geschrieben am 16.06.15 von Thilo Krüger

Liebe Studierende,

die Ergebnisse der Zwischenklausur sind jetzt online und für alle sichtbar. Die angezeigte Note ist nur die Note für die Zwischenklausur. Die Gesamtnote für die Klausuren ergibt sich als Mittelwert aus den Noten für die Zwischen- und die Endklausur.

Eine Einsicht in die… Weiterlesen

Liebe Studierende,

die Ergebnisse der Zwischenklausur sind jetzt online und für alle sichtbar. Die angezeigte Note ist nur die Note für die Zwischenklausur. Die Gesamtnote für die Klausuren ergibt sich als Mittelwert aus den Noten für die Zwischen- und die Endklausur.

Eine Einsicht in die Klausur wird stattfinden, ein Termin für die Einsicht wird zu einem späteren Zeitpunkt bekanntgegeben. Fragen können wie immer per e-Mail an Thilo gesendet oder im Forum gestellt werden.

Vollversammlung aller Fakultäten

Geschrieben am 09.06.15 von Thilo Krüger

Liebe Studierende,

morgen, Mi., 10. Juni, 12:00 Uhr findet eine Vollversammlung aller Fakultäten im Audimax statt. Allen Studenten, die daran teilnehmen möchten und dafür aber nicht auf das Tutorium/den Freiversuch verzichten möchten, bieten wir an, einmalig im frühen Zeitslot an den beiden… Weiterlesen

Liebe Studierende,

morgen, Mi., 10. Juni, 12:00 Uhr findet eine Vollversammlung aller Fakultäten im Audimax statt. Allen Studenten, die daran teilnehmen möchten und dafür aber nicht auf das Tutorium/den Freiversuch verzichten möchten, bieten wir an, einmalig im frühen Zeitslot an den beiden Veranstaltungen teilzunehmen. Allerdings geht das nur nach Voranmeldung per e-Mail an Thilo bis morgen früh um 9:00 Uhr (da wir die Freiversuche drucken müssen).

Zwischenklausur

Geschrieben am 08.06.15 (letzte Änderung am 08.06.15) von Thilo Krüger

Liebe Studierende,

hier die letzten Infos zur Zwischenklausur, heute um 14:00 Uhr:

  • Die Klausur findet in den Hörsälen 1 und 3 in der Mathematik (E2 5), sowie im Hörsaal 002, E1 3 statt
  • Seien Sie bitte pünktlich um 14:00 s.t. vor Ort
  • Raumpläne befinden sich in den Materialien hier im CMS… Weiterlesen

Liebe Studierende,

hier die letzten Infos zur Zwischenklausur, heute um 14:00 Uhr:

  • Die Klausur findet in den Hörsälen 1 und 3 in der Mathematik (E2 5), sowie im Hörsaal 002, E1 3 statt
  • Seien Sie bitte pünktlich um 14:00 s.t. vor Ort
  • Raumpläne befinden sich in den Materialien hier im CMS unter 'Sonstiges', werden aber auch an den Räumen ausgehängt sein und in der Office Hour ausliegen
  • Heute findet noch eine reguläre Office Hour um 12:30 Uhr in SR015 statt, diese endet heute schon um 13:55 Uhr
  • Jeder, der sich für die Klausur angemeldet hat, sollte auf der veröffentlichten Liste stehen. Falls jemand fehlt, bitte kurz in Raum 325, E1 3 melden.

 

Änderungen im Zeitplan und Zwischenklausur

Geschrieben am 01.06.15 von Thilo Krüger

Liebe Studierende,

wegen des Feiertags am Donnerstag und wegen der Zwischenklausur am Montag, hier ein paar Ankündigungen

  1. Die Ergebnisse des Freiversuchs werden frühestens am Freitag veröffentlicht
  2. Die Einsicht in den Freiversuch und damit auch in Aufgabenblatt 5-6 kann erst am Dienstag… Weiterlesen

Liebe Studierende,

wegen des Feiertags am Donnerstag und wegen der Zwischenklausur am Montag, hier ein paar Ankündigungen

  1. Die Ergebnisse des Freiversuchs werden frühestens am Freitag veröffentlicht
  2. Die Einsicht in den Freiversuch und damit auch in Aufgabenblatt 5-6 kann erst am Dienstag (9.6.) stattfinden. Sie findet in der üblichen Office-Hour Zeit statt, also 12:30 -14:00. Die Office Hour findet stattdessen am Donnerstag (11.6.) statt.
  3. Die Frist für die Abgabe des Aufgabenblattes 7-8 endet dafür erst am Freitag (12.6.) um 23:59 Uhr. Nichtsdestotrotz ist die Bearbeitung dieses Blattes eine sinnvolle Übung zur Vorbereitung auf die Zwischenklausur
  4. Die Zwischenklausur findet am Montag, 8.6. um 14:00 Uhr statt, im mCMS steht für jeden Teilnehmer des Kurses eine Anmeldefunktion bereit. Wer nicht für die Klausur angemeldet ist, kann die Klausur nicht mitschreiben.
  5. Inhalt der Zwischenklausur ist alles, was gemacht wurde bis Vorlesung 9, im Video 1:17:00, im Buch alles von Kapitel 1, Grundlagen der Nebenläufigkeit. 
  6. Es gibt eine zusätzliche Office Hour am Freitag, 5.6. von 12:00-14:00
  7. Weitere Informationen zur Klausur, auch die Raumzuteilung für alle Teilnehmer werden erst am Montag vormittag veröffentlicht. Die Raumpläne werden auch an den Hörsälen ausgehängt werden.

Die Termine sind im Kalender hier im mCMS eingetragen. Für Fragen steht das Forum bereit.

Änderungen im Zeitplan

Geschrieben am 12.05.15 von Thilo Krüger

Liebe Studierende,

aus verschiedenen Gründen müssen wir Änderungen im Zeitplan für diese und nächste Woche vornehmen:

  1. Der Freiversuch im frühen Zeitslot diese Woche beginnt bereits um 10:10 Uhr. Wir fangen pünktlich an, wir müssen den Hörsaal bis 10:30 Uhr verlassen haben
  2. Die Ergebnisse… Weiterlesen

Liebe Studierende,

aus verschiedenen Gründen müssen wir Änderungen im Zeitplan für diese und nächste Woche vornehmen:

  1. Der Freiversuch im frühen Zeitslot diese Woche beginnt bereits um 10:10 Uhr. Wir fangen pünktlich an, wir müssen den Hörsaal bis 10:30 Uhr verlassen haben
  2. Die Ergebnisse des Freiversuchs werden frühestens am Freitag veröffentlicht
  3. Die Einsicht in den Freiversuch und damit auch in Aufgabenblatt 1-2 kann erst am Montag (18.5.) stattfinden. Sie findet in der üblichen Office-Hour Zeit statt, also 12:30 -14:00. Die Office Hour findet stattdessen am Donnerstag (21.5.) statt.  
  4. Die Frist für die Abgabe des Aufgabenblattes 3-4 endet dafür erst am Freitag (22.5.) um 23:59 Uhr.

Die Termine sind im Kalender hier im mCMS eingetragen. Für Fragen steht das Forum bereit.

Show all

Aktuelles

  • Die erste Vorlesung findet am Montag, dem 20.04.2015 statt.

Kurzbeschreibung

Multi-Cores und andere parallele Architekturen finden sich mittlerweile auf jedem Schreibtisch. Korrekte Programme für solche Systeme zu entwerfen, ist eine große Herausforderung. Glaubt man den Vorhersagen der Hardware-Hersteller, wird dies schon bald zum Alltag jedes/jeder Informatiker/Informatikerin gehören. Das Ziel dieser Vorlesung ist es, die Studenten mit der Theorie und Praxis des nebenläufigen Programmierens vertraut zu machen. Die Vorlesung wurde ausgezeichnet mit dem Preis des Fakultätentages Informatik 2013.

Zielgruppe

Dies ist eine Pflichtvorlesung im Bachelor Informatik an der Universität des Saarlandes. Sie ist laut Studienplan im 4. Fachsemester angesiedelt, kann jedoch bereits ab dem 2. Semester belegt werden. Einzige Vorraussetzung ist die erfolgreiche Teilnahme an der Vorlesung Programmierung 1.

Wöchentliche Termine

Mo 14:15 - 16:00 Vorlesung HS002 Geb. E1 3
Di 10:15 - 12:00 Vorlesung HS002 Geb. E1 3
Mi 10:15 - 10:30 Freiversuche HS002 Geb. E1 3
Mi 10:35 - 12:05 Tutorien SR014, SR015, SR016 Geb. E1 3
Mi 12:15 - 12:30 Freiversuche HS1 Geb. E2 5
Mi 12:35 - 14:05 Tutorien SR 1, SR 2 Geb. E2 5, SR7 (203) Geb. E2 4

           

 

 

 

 

Achtung: Jede Woche finden zwei der drei Termine statt. Nutzen Sie den Kalender für einen genauen Plan. Die Midterm-Klausur findet an einem Montag als dritter Termin einer Woche statt.

Registrierung

Die Registrierung für den Kurs ist unter Anmeldung bis Samstag, den 25. April möglich! Details zum Übungsbetrieb erfahren Sie in der ersten Vorlesung.

Office Hours / Einsichten

Unsere Office Hours finden vorraussichtlich jeweils am Montag, und Dienstag von 12:30 bis 14 Uhr in SR 015 in Geb. E1 3 statt. Donnerstags kann im selben Raum von 12:30 bis 14:00 Uhr Einsicht in die korrigierten Freiversuche und Aufgaben genommen werden

Literatur

Zu den Vorlesungsmaterialien, die den Teilnehmern zur Verfügung gestellt werden, gehört ein Skript, welches den Inhalt der Vorlesung umfassend darstellt. Weiterführende Literatur findet sich hier:  http://www.infomath-bib.de/tmp/vorlesungen/info-basic_nebenlaeufig.html

Inhalt (Auswahl)

1. Grundlagen der Nebenläufigkeit

  • Nebenläufige Systeme als Prozesse
    • Beschriftete Transitionssysteme
    • Nichtdeterminismus
  • CCS
    • Sequentielles CCS
    • Nebenläufigkeit, Interaktion und Synchronisation
    • Restriktion
    • Daten und Parameter
  • Beobachtbares Verhaltenhttp://mosi.uni-saarland.de/
    • Äquivalenzrelationen
    • Kongruenzrelationen
    • Bisimulationen
    • Beobachtungskongruenz

2. Konzepte des Nebenläufigen Programmierens

  • Nebenläufige Programmierung in der Praxis
    • pseuCo: Eine Programmiersprache für nebenläufige Agenten
    • pseuCo und CCS
  • Kooperation durch Nachrichten
    • Ungepufferte und gepufferte Kommunikation
    • Auswahl von Nachrichten (select/case)
    • Nachrichtenkommunikation in der Praxis
    • Go
  • Kooperation durch gemeinsame Ressourcen
    • Gegenseitiger Ausschluss - Mutexe
    • Monitore
    • Shared Memory vs. Message Passing
  • Nebenläufiges Programmieren in Java
    • Threads in Java
    • Signalisierung und Koordination
Datenschutz | Impressum
Bitte wenden Sie sich bei technischen Problemen an die Administratoren.