1 | Dağıtık sistemlerin tanımı, dağıtık uygulama örnekleri, mesaj gönderimi modelleri, paylaşımlı bellek modeli. | 1 |
2 | Sonlu durum makineleri, görevler, threadler, thread çeşitleri ve semafor örnekleri. | 1 |
3 | Çizge teorisi ve temel çizge algoritmaları: breadth first search algoritması, depth first search algoritması, çizge bağlılığı, topolojik sıralama algoritması. | 1 |
4 | Köşe ve ağaç boyama algoritmaları, dağıtık köşe ve ağaç boyamaalgoritması, dağıtık ağaç tabanlı algoritmalar: broadcast ve convergecast algoritmaları. | 1 |
5 | Breadth first search ağaç oluşturma, flooding, seri ve dağıtık MST algoritmaları, cycle ve cut kavramları. | 1 |
6 | Dağıtık sistemlerde zaman senkronizasyonu, Berkeley zaman protokolü, mantıksal saatler, Lamport’un logical clock algoritması, vektör saatleri, matris saatleri | 1 |
7 | Kaynak paylaştırma, kritik bölge problemi, donanımsal senkronizasyon, semaforlar, semafor problem örnek kod incelemesi. | 1 |
8 | Ara Sınav | 1 |
9 | Araştırma Ödevi | 1 |
10 | Dağıtık sistemlerin global durumu, Chandy Lamport’un algoritması, Lai Yang’ın algoritması, snapshot | 1 |
11 | Ölü kilitler ve sonlanma tespiti, Dijkstra-Scholten algoritması, dağıtık ölüilit, Chandy Misra Haas ölü kilit önleme algoritması. | 1 |
12 | Lider seçimi algoritmaları: Bully algoritması, LeLann’ın algoritması, Chang Roberts algoritması, Senkronizörler | 1 |
13 | Anlaşma protokolleri, Bizans generalleri problemi, konsensus | 1 |
14 | Oto stabilizasyon. Proje Sunumları. Final Sınavı | 1 |