| 1 |
Dağıtık sistemlerin tanımı, dağıtık uygulama örnekleri, mesaj gönderimi modelleri, paylaşımlı bellek modeli. |
|
|
|
| 2 |
Sonlu durum makineleri, görevler, threadler, thread çeşitleri ve semafor örnekleri. |
|
|
|
| 3 |
Çizge teorisi ve temel çizge algoritmaları: BFS algoritması, DFS algoritması, çizge bağlılığı, topolojik sıralama algoritması. |
|
|
|
| 4 |
Köşe ve ağaç boyama algoritmaları, dağıtık köşe ve ağaç boyama algoritması, dağıtık ağaç tabanlı algoritmalar: broadcast (herkese gönderim) ve convergecast (herkesten toplama) algoritmaları. |
|
|
|
| 5 |
BFS ağaç oluşturma, yayma (flooding), seri ve dağıtık MST algoritmaları, döngü (cycle) ve kesim (cut) kavramları. |
|
|
|
| 6 |
Dağıtık sistemlerde zaman senkronizasyonu, Berkeley zaman protokolü, mantıksal saatler, Lamport’un mantıksal saat algoritması, vektör saatleri, matris saatleri |
|
|
|
| 7 |
Kaynak paylaştırma, kritik bölge problemi, donanımsal senkronizasyon, semaforlar, semafor problem örnek kod incelemesi. |
|
|
|
| 8 |
Ara Sınav |
|
|
|
| 9 |
Karşılıklı dışlama algoritmaları: Lamport’un algoritması, Ricart-Agrawala’nın algoritması, Suzuki-Kasami’nin algoritması, Raymond’ın algoritması, Maekawa’nın algoritması. |
|
|
|
| 10 |
Dağıtık sistemlerin global durumu, Chandy Lamport’un algoritması, Lai Yang’ın algoritması, snapshot. |
|
|
|
| 11 |
Ölü kilitler ve sonlanma tespiti, Dijkstra-Scholten algoritması, dağıtık ölü kilit, Chandy Misra Haas ölü kilit önleme algoritması. |
|
|
|
| 12 |
Lider seçimi algoritmaları: Bully algoritması, LeLann’ın algoritması, Chang Roberts algoritması, Senkronizörler. |
|
|
|
| 13 |
Anlaşma protokolleri, Bizans generalleri problemi, konsensus. |
|
|
|
| 14 |
Anlaşma protokolleri, oto stabilizasyon. |
|
|
|
| 15 |
Final Sınavı |
|
|
|