News
Ergebnisse Nachklausuren und Nacharbeit ProjektGeschrieben 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, organisatorischesGeschrieben 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:
Morgen, am 7.Oktober 2015, finden ab 14:15 Uhr die Nachklausuren statt, hier die letzten organisatorischen Details:
|
Nachklausuren und ProjektbewertungGeschrieben 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 NachklausurenGeschrieben 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 NacharbeitGeschrieben 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:
Natürlich müssen auch alle Gruppenmitglieder am Projekt mitarbeiten, dieses wird auch in einem möglichen Treffen getestet. |
Deadline-Verlängerung Meilenstein 2Geschrieben 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 EndklausurGeschrieben 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 EndklausurGeschrieben 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 nächsten Dienstag, dem 4. 8. findet unsere Endklausur statt. Hier einige Informationen:
Bei Fragen oder Problemen kann wie immer das Forum genutzt werden oder auch eine e-Mail an Thilo geschrieben werden. |
Verlängerung Deadline Meilenstein 1Geschrieben 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 InfosGeschrieben am 08.07.15 von Thilo Krüger Hier einige Informationen, die zum Teil schon in der Vorlesung bekannt gegeben wurden
Hier einige Informationen, die zum Teil schon in der Vorlesung bekannt gegeben wurden
|
Einsicht in die Zwischenklausur / Projekt vom letzten JahrGeschrieben 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 ZwischenklausurGeschrieben 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ätenGeschrieben 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). |
ZwischenklausurGeschrieben 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:
Liebe Studierende, hier die letzten Infos zur Zwischenklausur, heute um 14:00 Uhr:
|
Änderungen im Zeitplan und ZwischenklausurGeschrieben 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
Liebe Studierende, wegen des Feiertags am Donnerstag und wegen der Zwischenklausur am Montag, hier ein paar Ankündigungen
Die Termine sind im Kalender hier im mCMS eingetragen. Für Fragen steht das Forum bereit. |
Änderungen im ZeitplanGeschrieben 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:
Liebe Studierende, aus verschiedenen Gründen müssen wir Änderungen im Zeitplan für diese und nächste Woche vornehmen:
Die Termine sind im Kalender hier im mCMS eingetragen. Für Fragen steht das Forum bereit. |
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