Errata
for Chapter 7 of
- Raphael Finkel.
Advanced Programming Language Design.
Addison-Wesley.
1996.
- Section 1
- Figure 7.1
Replace Merge(Tangled, 1, Midpoint, MidPoint+1, HighIndex)
with Merge(Tangled, LowIndex, Midpoint, MidPoint+1, HighIndex).
- Section 2.2
- Page 190
A semaphore s initialized to 1 used to achieve mutual
exclusion for two processes may have value 1, 0 or -1.
- Section 2.5
- Page 193
Replace "where it is blocked until the exported procedure
is free of any thread" with "where it is blocked until the
monitor is free of any thread."
- Section 2.7
- Figure 7.11
Replace await OutEvents reaches InCount - Size
with await OutEvents reaches InCount - Size + 1
and await InEvents reaches OutCount with
await InEvents reaches OutCount + 1.
- Figure 7.12
Replace await OutEvents reaches SequenceNumber - Size
with await OutEvents reaches SequenceNumber - Size + 1.
- Section 2.9
- Figure 7.14
Line 3 can be left out.
- Section 5.1
- Figure 7.21
In line 11, replace InCount - OutCount > 0
with InCount - OutCount < Size.
- Figure 7.21
In line 15, replace InCount - OutCount < Size
with InCount - OutCount > 0.
- Section 5.4
- Page 222
Replace "a module can be contain" with
"a module can contain".
- Section 5.5
- Figure 7.23
In line 17, 29 and 32, replace 1 with
LowIndex.
If you spot another error, please send the instructor email:
franck@ariel.cs.yorku.ca