| 
      
         | 
    
      Distributed Computing2020 Tentative Weekly Schedule
          
     | 
  
| 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% |