Principles of Concurrent and Distributed Programming - Errata

Preface

I would like to thank Pieter Hartel for finding these errors.

  • Page 62, Figure 5.1: Before
    Signal(Not_Full)

    insert the statement

    Count := Count + 1

    and before

    Signal(Not_Empty)

    insert the statement

    Count := Count - 1
  • Page 65, equation 5.2 should be: S = S0 - #Semaphore_Waits + #Semaphore_Signals.
  • Page 67, line 16:
    If C_Counter > 0 then 

    should be

    If C_Count > 0 then 
  • Page 117: Procedures
    Choose_Sequence_Number

    and

    Send_Request_to_Nodes

    should be

    Choose_Number

    and

    Send_Request

    to conform with the programs on page 119.