Computer Laboratory – Course material 2010–11: Concurrent and Distributed Systems I Skip to content | Access key help Search Advanced search A–Z Contact us Computer Laboratory Computer Laboratory Teaching Course material 2010–11 Concurrent and Distributed Systems I Advanced Category Theory in Computer Science Advanced Computer Design Advanced Data Flow Analysis Advanced Graphics Advanced Speech Technology Advanced Topics in Computer Systems Advanced Topics in Concurrency Algorithms I Algorithms II An Algebraic Approach to Internet Routing Artificial Intelligence I Artificial Intelligence II Building an Internet Router Business Studies Categorical Logic Category Theory for Computer Science Chip Multiprocessors Comparative Architectures Compiler Construction Complexity Theory Computation Theory Computer Design Computer Fundamentals Computer Graphics and Image Processing Computer Networking Computer Systems Modelling Computer Vision Concepts in Programming Languages Concurrent and Distributed Systems I Information for supervisors Concurrent and Distributed Systems II Data Centric Networking Databases Deep Language Modelling Denotational Semantics Denotational Semantics Digital Electronics Digital Signal Processing Discrete Mathematics I Discrete Mathematics II E-Commerce ECAD Labs Economics and Law Floating-Point Computation Flows in Networks Foundations of Computer Science Further Java Further Java Briefing Hardware Practical Classes Hoare Logic Human-Computer Interaction Information Retrieval Innovative user interfaces Interactive Formal Verification Introduction to Natural Language Processing Introductory Logic Lexical Semantics and Discourse Processing Logic and Proof Low Power Embedded Systems Programming Machine Learning for Language Processing Mathematical Methods for Computer Science Mobile and Sensor Systems Multicore Programming Natural Language Processing Network Architecture Object-Oriented Programming Operating Systems Optimising Compilers Principles of Communication Probability Programming Logics and Software Verification Programming for Mobiles Programming in C and C++ Programming in Java Prolog Registration Regular Languages and Finite Automata Research Methods Current Research Topics Security I Security II Semantics of Programming Languages Set Theory for Computer Science Social and Technological Network Analysis Software Design Software Engineering Spoken Language Processing Statistical Machine Translation Syntax and Semantics of Natural Language System on Chip Design and Modelling System-on-Chip Design Temporal Logic and Model Checking Topical Issues Topics in Concurrency Topics in Logic and Complexity Topics in Security: Forensic Signal Analysis Types Unix Tools Usability of Programming Languages Course material 2010–11 Concurrent and Distributed Systems I Principal lecturer: Dr Brian Shand Taken by: Part IB Syllabus Past exam questions: Concurrent and Distributed Systems, Concurrent Systems Information for supervisors (contact lecturer for access permission) Concurrent and Distributed Systems was a new course for Part 1B in 2009-10. See here for an annotated list of relevant past exam questions you might look at. Here are the pdf/ppt versions of the course notes. 01-CDSintro.ppt, 01-CDSintro.pdf 02-classicalCC.ppt, 02-classicalCC.pdf 05-IPC.ppt, 05-IPC.pdf 06-persistence.ppt, 06-persistence.pdf 08-DB-CControl.ppt, 08-DB-CControl.pdf Extra slides used in the course (worked examples, etc.) Lecture 3: 02b-classicalCC_worked_eg.ppt, 02b-classicalCC_worked_eg.pdf Lecture 4 (or 5): 05b-IPC_gcd.ppt, 05b-IPC_gcd.pdf Much of "Operating Systems, Concurrent and Distributed Software Design" by Jean Bacon and Tim Harris, Addison Wesley 2003, is relevant to this course. chapters 2, 3, 4 revision of system structure, I/O and processes chapters 9 - 14 classical concurrency control and IPC (main memory) chapters 15 - 21 persistent memory, transactions, database concurrency control and recovery Earlier editions of Concurrent Systems by Jean Bacon contain similar chapters. The classical material on Concurrent Systems is unchanged. Each chapter has exercises. There is a web-browsable Instructor's Guide which is normally for teachers, password-protected, via Addison Wesley. It is available - here - *for local use only*. Please respect this. © 2010 Computer Laboratory, University of Cambridge Information provided by Prof Jean Bacon
