SO-1st-2.3-w11.tresc-1.0-toc

Spis treści

1. Wstęp
2. Plan wykładu
3. Wprowadzenie do abstrakcji przetwarzania współbieżnego
4. Podstawowe definicje i oznaczenia
5. Stan procesu i zdarzenie
6. Proces sekwencyjny
7. Relacja lokalnego porządku
8. Współbieżna realizacja zbioru procesów
9. Relacja globalnego porządku
10. Niedeterminizm przetwarzania
11. Przeplot i osiągalność stanu
12. Procesy niezależne a procesy współpracujące
13. Dane współdzielone a lokalne
14. Dane wejściowy i wyjściowe
15. Przykład przetwarzania współbieżnego
16. Przykład przeplotu instrukcji RISC
17. Przykład przeplotu instrukcji CISC
18. Istota synchronizacji
19. Poprawność programów współbieżnych
20. Własność uczciwości programów współbieżnych
21. Klasyfikacja mechanizmów synchronizacji
22. Wzajemne wykluczanie — sformułowanie problemu
23. Ogólna postać algorytmu wzajemnego wykluczania
24. Poprawność rozwiązania problemu wzajemnego wykluczania
25. Wzajemne wykluczanie 2 procesów — podejście 1
26. Wzajemne wykluczanie 2 procesów — podejście 2
27. Wzajemne wykluczanie 2 procesów — podejście 3
28. Wzajemne wykluczanie 2 procesów — podejście 4
29. Wzajemne wykluczanie n procesów — algorytm piekarni (1)
30. Wzajemne wykluczanie n procesów — algorytm piekarni (2)
31. Operacja test&set
32. Operacja exchange
33. Wzajemne wykluczanie z użyciem instrukcji test&set
34. Wzajemne wykluczanie z użyciem instrukcji exchange