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

Z Studia Informatyczne
Wersja z dnia 13:31, 22 wrz 2006 autorstwa Dwa (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

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
Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=SO-1st-2.3-w11.tresc-1.0-toc&oldid=55392”