Department of Computer Science and Technology – Course pages 2020–21: Multicore Semantics and Programming skip to primary navigationskip to content Study at Cambridge About the University Research at Cambridge Search site Home Study at Cambridge Undergraduate Courses Applying Events and open days Fees and finance Student blogs and videos Graduate Why Cambridge Course directory How to apply Fees and funding Frequently asked questions International students Continuing education Executive and professional education Courses in education About the University How the University and Colleges work History Visiting the University Term dates and calendars Map For media Video and audio Find an expert Publications Global Cambridge News Events Public engagement Jobs Give to Cambridge Research at Cambridge For staff For current students For alumni For business Colleges & departments Libraries & facilities Museums & collections Email & phone search Computer Laboratory Teaching Courses 2020–21 Multicore Semantics and Programming Department of Computer Science and Technology Masters Home The department Overview People Overview Academic staff Support staff Contract researchers Fellows & affiliates PhD students Visitors Seminars Overview Wednesday Seminar Series Wheeler Lectures women@cl 10th Anniversary Computer Laboratory 75th Anniversary History Facilities Overview Reception Food Shopping and leisure Cycling Library Overview Library induction Library guides Catalogues Coronavirus resources Electronic resources Local services Lab technical reports External technical reports Resource lists Reading lists Reprographics equipment Archives Maps and directions Contact information Research Overview Artificial Intelligence Overview People Group Meetings Project ideas for current students Computer Architecture Overview Projects and research topics ACS & Part II/III Project Suggestions People Selected Publications Open source components Group Meetings Contact Details Digital Technology Graphics & Interaction Overview Research Members Projects Applying to do a PhD Project suggestions Other information Reading Club Natural Language Processing Overview People Publications Projects Postgraduate opportunities Resources Programming, Logic, Semantics Security Overview People Publications Projects and topics Security Seminar Series Meetings Courses Posters Journals Mailing lists blog Systems Overview Research Projects Members Seminars Student Projects Research support Overview Research grants Fellowships Meetings & Travel Industrial Collaboration Commercialisation Writing a proposal Impact statements Collaborating with the Computer Lab Making your work public Admissions Overview Undergraduate Computer Science at Cambridge Overview Course Open Days Apply CSAT FAQ Contact MPhil ACS Overview Modules PhD applications Research Graduate Admissions Prospectus Funding deadlines PhD degree Overview Research Graduate Admissions Prospectus Funding deadlines MPhil in Advanced Computer Science CPGS Premium Research Studentship Student Administration Teaching Overview Part IA Part IB Part II Masters courses Overview Induction for M.Phil and Part III students ACS Forms Part III and ACS projects PhD students Freshers Courses 2020–21 Overview Part IA CST Part IB CST 75% Part IB CST 50% Part II CST 75% Part II CST 50% Part III MPhil ACS Lecturer index Instructions for lecturers Masters Courses 2021–22 Overview Part IA CST Part IB CST Part II CST 75% Part II CST 50% Part III MPhil ACS Lecturer index Instructions for lecturers Exams Overview Examination dates Examination results Examiners' reports Plagiarism and collusion Purchase of calculators Data Retention Policy Past exam papers Guidance on deadlines Part III Assessment MPhil Assessment Student Complaint Procedure Lecture timetables Overview Short form timetable Supervisions Overview Part II supervisions overview Part II sign-up dates Notes on supervising Supervisor support Academic exchanges Overview Advice for students visiting Cambridge UROP internships Part IB group projects Overview Timetable Photos Previous years Part II projects Overview Briefing document (Pink Book) Important dates Overseers Phase 1 report Back-up advice Resources Declaration Studies Involving Human Participants Failure to submit proposal Selection Tips Declaration of originality Submission of dissertation IP ownership Diploma model projects Older project suggestions Supervising Notes Overseer Briefing Notes Directors of Studies Resources Overview Managed Cluster Service Part III and MPhil machines Online services Installing Linux MATLAB Microsoft Azure for Education Membership Miscellaneous Overview News Honours Obituaries Overview Neil Wiseman, 1934–1995 Roger Needham, 1935–2003 David Wheeler, 1927–2004 Karen Spärck Jones, 1935–2007 Judith Ann Bailey, 1934–2008 Robin Milner, 1934–2010 Sir Maurice Wilkes, 1913–2010 Michael JC Gordon, 1948–2017 Richard Gibbens, 1962–2018 Internal information Overview New arrivals Overview An introduction to our computing facilities Information for new PhD students Information for new staff Information for visitors Information for hosts of visitors General information Induction Guidelines Specialist resources System administration Overview Email Printing and scanning Filespace The CL network SSH access to the CL systems Supported platforms Generic Unix/Linux information Web servers and sites The RT ticketing system Specialist resources Lecture theatre AV Sitemap Frequently asked questions Roles and responsibilities Overview People History Information for staff Overview Accounting Parking Cycling Departmental policies Information for hosts of visitors Meeting rooms Personnel information Reception Staff training Stores UROP internships Wiseman prize Health and safety Overview Emergency First aid General health and safety Environment Fitness H&S policies & committees Risk assessment Laser safety Useful links Index of Health & Safety pages Committee PhD resources Overview Induction PhD supervisors Graduate Advisers CPGS First Year Report: PhD Proposal Second Year Report: Dissertation Schedule Third Year Report: Progress Statement Fourth Year Report: the last year Papers and conferences Writing up Thesis formatting Submitting your dissertation Exemption from University Composition Fees Leave to work away, holidays and intermission Researcher Development Application deadlines List of PhD thesis Graduate Students' Forum PAT, recycling and Building Services Typographic resources Overview Thesis formatting Preparing Tripos exam questions in LaTeX Teaching resources Overview Information for CST examiners Information for Directors of Studies ACS module definition Providing advice to incoming ACS students ACS interviewing and admissions Outreach material Committees Overview Faculty Board Degree Committee Graduate Education Tripos Management Outreach Health & Safety IT Strategy Equality and Diversity Research Staff Staff–Student Directors of Studies Workload Wellbeing Graduate Students Ethics Buildings and Environment Selection External Discontinued committees William Gates Building Overview Building Services Access and security Care of the WGB Facilities in offices Energy & Environment Meeting rooms Stores West Cambridge Site Leaving the department Course pages 2020–21 Computer Laboratory Teaching Courses 2020–21 Masters Multicore Semantics and Programming Advanced Graphics and Image Processing Advanced Topics in Computer Architecture Advanced Topics in Mobile Systems and Mobile Data Machine Learning Algebraic Path Problems Automated Reasoning Category Theory Computer Security: Principles and Foundations Data Science: principles and practice Digital Signal Processing Interactive Formal Verification Introduction to Natural Language Syntax and Parsing Large-scale data processing and optimisation Machine Learning and the Physical World Machine Learning for Language Processing Network Architectures Overview of Natural Language Processing Principles of Machine Learning Systems Probabilistic Machine Learning Research Skills Programme Technology, law and society Advanced Operating Systems Advanced Topics in Computer Systems Advanced topics in machine learning or natural language processing Affective Computing Computer Vision Cybercrime Distributed Ledger Technologies: Foundations and Applications Hardware Security Practicals Interaction with Machine Learning Mobile Robot Systems Multicore Semantics and Programming Syllabus Course materials Assessment Recordings Principal lecturers: Prof Peter Sewell, Dr Timothy Harris Taken by: MPhil ACS, Part III Code: L304 Hours: 16 (8 x 2h blocks, including 2 x 1h practical sessions) Class limit: max. 20 students Prerequisites: Some familiarity with discrete mathematics (sets, partial orders, etc.) and with sequential Java programming will be assumed. Experience with operational semantics and with some concurrent programming would be helpful. Aims In recent years multiprocessors have become ubiquitous, but building reliable concurrent systems with good performance remains very challenging. The aim of this module is to introduce some of the theory and the practice of concurrent programming, from hardware memory models and the design of high-level programming languages to the correctness and performance properties of concurrent algorithms. Lectures Part 1: Introduction and relaxed-memory concurrency [Professor P. Sewell] Introduction. Sequential consistency, atomicity, basic concurrent problems. [1 block] Concurrency on real multiprocessors: the relaxed memory model(s) for x86, ARM, and IBM Power, and theoretical tools for reasoning about x86-TSO programs. [2 blocks] High-level languages. An introduction to C/C++11 and Java shared-memory concurrency. [1 block] Part 2: Concurrent algorithms [Dr T. Harris] Concurrent programming. Simple algorithms (readers/writers, stacks, queues) and correctness criteria (linearisability and progress properties). Advanced synchronisation patterns (e.g. some of the following: optimistic and lazy list algorithms, hash tables, double-checked locking, RCU, hazard pointers), with discussion of performance and on the interaction between algorithm design and the underlying relaxed memory models. [3 blocks] Research topics, likely to include one hour on transactional memory and one guest lecture. [1 block] Objectives By the end of the course students should: have a good understanding of the semantics of concurrent programs, both at the multprocessor level and the C/Java programming language level; have a good understanding of some key concurrent algorithms, with practical experience. Recommended reading Herlihy, M. and Shavit, N. (2008). The art of multiprocessor programming. Morgan Kaufmann. Coursework Coursework will consist of assessed exercises. Practical work Part 2 of the course will include a practical exercise sheet. The practical exercises involve building concurrent data structures and measuring their performance. The work can be completed in C, Java, or similar languages. Assessment Assignment 1, for 50% of the overall grade. Written coursework comprising a series of questions on the design of mutual exclusion locks and shared-memory data structures. Assignment 2, for 50% of the overall grade. Written coursework comprising a series of questions on hardware and software relaxed-memory concurrency semantics. Further Information Due to COVID-19, the method of teaching for this module will be adjusted to cater for physical distancing and students who are working remotely. We will confirm precisely how the module will be taught closer to the start of term. Current Cambridge undergraduate students who are continuing onto Part III or the MPhil in Advanced Computer Science may only take this module if they did NOT take it as a Unit of Assessment in Part II. This course is borrowed from Part II of the Computer Science Tripos. As such, assessment will be adjusted to an appropriate level for those enrolled for Part III of the Tripos or the M.Phil in Advanced Computer Science. Further information about assessment and practicals will follow at the first lecture. © 2021 Department of Computer Science and Technology, University of Cambridge Information provided by Prof Peter Sewell – edit page University A-Z Contact the University Accessibility Freedom of information Terms and conditions Study at Cambridge Undergraduate Graduate International students Continuing education Executive and professional education Courses in education About the University How the University and Colleges work Visiting the University Map News Events Jobs Give to Cambridge Research at Cambridge News Features Discussion Spotlight on... About research at Cambridge
