COMP2310/6310 CDS: Texts and References

Recommended Texts

The course's two components will be closely based on the following textbooks:

• Jeff Magee and Jeff Kramer, Concurrency: State Models and Java Programs, 2nd Edition, Wiley, April 2006, ISBN 978-0-470-09355-9.

  The focus of this book is on using formal models to design the concurrent aspects of a system (the model can be `executed' to check for its properties) and to use these these to guide the construction of concurrent programs.

• George Coulouris, Jean Dollimore, Tim Kindberg and Gordon Blair, Distributed Systems: Concepts and Design, 5th edition, Addison Wesley, May 2011, ISBN 0-13-214301-1.

  The focus of this book is on the practical aspects of contemporary distributed systems.

These are available from the Co-op Bookshop; quick link for easy purchase / collection!

References

• M. Ben-Ari, Principles of Concurrent and Distributed Programming, Addison-Wesley, second edition, 2006.

  This was the former textbook. It contains a more comprehensive treatment of the classical concurrency algorithms.

• Maurice Herlihy and Nir Shavit, The Art of Multiprocessor Programming, Morgan Kaufman, ISBN-13: 978-0-12-370591-4, 2008.

  For those that want to read on in depth on locking schemes and concurrent data structures: an aspect of concurrency which we can only give a brief introduction of in this course. The authors are leaders in the field.