These coursework counts for 30% of the marks for the module. Submission includes the code and a short report. The cousework can be completed jointly with a classmate. This will involve the implementation, analysis and evaluation of a distributed algorithm such as Raft or Multi-Paxos using the tools used in the supervised lab sessions. There will be one assessed coursework exercise. A range of tutorial questions and solutions will be also be provided.Īn online forum will be used for discussions related to the module. The labs can be completed with a classmate and are not assessed. The labs are designed to reinforce the material covered in the lectures and provide hands-on experience of analysing and programming distributed algorithms. The module will taught through lectures and supervised lab sessions. Introduction to Tools for concurrent message passing (Elxiir) and formal specifications (TLA+).
use and reason about basic timing, failure and communication models and the guarantees they provide.model and reason about the correctness of distributed algorithms.program and evaluate a range of distributed algorithms.
Upon successful completion of this module you will be able to: The module builds on (i) OS concepts including processes, threads and scheduling, (ii) concurrency concepts including synchronisation, deadlock, race conditions, (iii) discrete maths including sets, logic and logical reasoning, (iv) functional programming. It will provide an introduction on how to model and reason about distributed algorithms and practical experience of programming them. The module will cover the key concepts, problems and results in distributed algorithms. Facewall PhD 1st Year - Cohort 2020 / 2021.Postgraduate degrees and course information.Undergraduate JMC: degree and course information.Undergraduate Computing: degree and course information.MRes Artificial Intelligence and Machine Learning.MSc in Computing (Specialisms) regulations.MSc in Computing (Visual Computing and Robotics).
0 kommentar(er)
