Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Chapter 5 - Concurrency: Typos and Questions

pfeodrippe opened this issue · comments

At page 90 where Actors are added to the cache code, in place of WaitForResources it should be UseResources (or if it's correct with WaitForResources, should change the pages before this one).

Great book @hwayne o/ great work

At page 92, the line when resources_left >= resources_needed; is really needed?

Fixing in errata