Bearbeiten von „ALP 4“
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 5: | Zeile 5: | ||
=Stoff= | =Stoff= | ||
*Programmlogik, warum Testen nicht ausreichend ist, und wie man nicht-sequentielle Programme korrekt beweist. | *Programmlogik, warum Testen nicht ausreichend ist, und wie man nicht-sequentielle Programme korrekt beweist. | ||
*Synchronisationsalgorithmen mit atomaren und anderen Registern. Machinennahe | *Synchronisationsalgorithmen mit atomaren und anderen Registern. Machinennahe verfahren, die insbesondere auf modernen Prozessoren interessant sind. | ||
*Barrieren zum Synchronisieren mehrerer Prozesse. | *Barrieren zum Synchronisieren mehrerer Prozesse. | ||
*Semaphore: Ein einfacher abstrakter Datentyp zur Synchronisation. | *Semaphore: Ein einfacher abstrakter Datentyp zur Synchronisation. | ||
*Monitore: Strukturierter und Thread-sicherer | *Monitore: Strukturierter und Thread-sicherer umgang mit gemeinsam genutzen Resourcen. | ||
*Erkennen und Vermeiden von Verklemmungen | *Erkennen und Vermeiden von Verklemmungen. | ||
*Ablaufplanung (Scheduling) | *Ablaufplanung (Scheduling) | ||
*Die Vererbungsanomalie: Warum Nebenläufigkeit und Objekt-Orientierung nicht gut zusammen passen. | *Die Vererbungsanomalie: Warum Nebenläufigkeit und Objekt-Orientierung nicht gut zusammen passen. |