tailieunhanh - The Little Book of SEMAPHORES (2nd Edition)-The Ins and Outs of Concurrency Control and Common Mistakes

The Little Book of Semaphores is a textbook that introduces the principles of synchronization for concurrent programming. In most computer science curricula, synchronization is a module in an Operating Systems class. OS textbooks present a standard set of problems with a standard set of solutions, but most students don’t get a good understanding of the material or the ability to solve similar problems. | The Little Book of Semaphores Allen B. Downey Version 2 The Little Book of Semaphores Second Edition Version Copyright 2005 2006 2007 2008 Allen B. Downey Permission is granted to copy distribute and or modify this document under the terms of the GNU Free Documentation License Version or any later version published by the Free Software Foundation this book contains no Invariant Sections no Front-Cover Texts and no Back-Cover Texts. You can obtain a copy of the GNU Free Documentation License from or by writing to the Free Software Foundation Inc. 59 Temple Place - Suite 330 Boston MA 02111-1307 USA. The original form of this book is LaTeX source code. Compiling this LaTeX source has the effect of generating a device-independent representation of a book which can be converted to other formats and printed. This book was typeset by the author using latex dvips and ps2pdf among other free open-source programs. The LaTeX source for this book is available from http semaphores. Preface Most undergraduate Operating Systems textbooks have a module on Synchronization which usually presents a set of primitives mutexes semaphores monitors and sometimes condition variables and classical problems like readers-writers and producers-consumers. When I took the Operating Systems class at Berkeley and taught it at Colby College I got the impression that most students were able to understand the solutions to these problems but few would have been able to produce them or solve similar problems. One reason students don t understand this material deeply is that it takes more time and more practice than most classes can spare. Synchronization is just one of the modules competing for space in an Operating Systems class and I m not sure I can argue that it is the most important. But I do think it is one of the most challenging interesting and done right fun. I wrote the first edition this book with the goal of identifying synchronization idioms .