Distributed Computing2020 Tentative Weekly ScheduleDr Prabhaker Mateti |
Wk | Lectures | Wt | Due | |||
1 | Overview • Concurrency Funda • RPC • WB Project | |||||
2 | Semphrs • Assertions ; WP • ModelCkg • Famous Prblms | |||||
3 | Fairness etc • Starv-free MutEx, Split Bin Sem | P0 | 5% | Feb 10 | ||
4 | White Board Project • RPC • Marshalling Linked Data Str | |||||
4 | Readers-Writers using: <await>s, semaphores | |||||
5 | Synchronous MP • Asynchronous MP • Happened Before | P1 | 10% | Mar 17 | ||
6 | Actors Std Model of Carl Hewitt | |||||
7 | CSP of Hoare • Linda of Gelernter | |||||
8 | Java RMI • Java WhiteBoard src html-ized | MidSem | 25% | Feb 23-24 | ||
9 | Distributed Semaphores • Token Passing • Termination | |||||
9 | Languages: SR • Erlang • Go • Scala | P2 | 10% | |||
B | Akka in Scala ; Akka Finite State Machines | |||||
C | Cluster computing • Hadoop • Spark • Reactive Systems | |||||
D | Distributed File Systems • IPFS | |||||
E | Temporal Logic • Semantics of Concurrency | |||||
F | Above topic, contd. | |||||
F | Concurrent v Parallel v Networked v Distributed | P3 | 10% | |||
G |
|
EndSem | 35% | May 24-25 | ||
* | Discussion participation | CP | 5% |