home | help | back | first | fref | pref | prev | next | nref | lref | last | post |
Is it my imagination, or is there a glaring bug in the implementation of Hoare's bounded buffer monitor? It appears that all calls to the remove() function will always return the same value, because the monitor-local variable count is never decremented.
home | help | back | first | fref | pref | prev | next | nref | lref | last | post |