Chapter 5 - Concurrency: Typos and Questions

Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Other

287 stars 67 forks source link

Chapter 5 - Concurrency: Typos and Questions #7

Closed pfeodrippe closed 3 years ago

pfeodrippe commented 4 years ago

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

pfeodrippe commented 4 years ago

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

hwayne commented 3 years ago

Fixing in errata