Producer-Consumer System/Criteria

From PKC
Revision as of 07:49, 25 August 2021 by KevinTung (talk | contribs) (Created page with "* At least one producer * At least one consumer * No thread is both consumer and producer * Buffer capacity is at least 1 * The type of data is nonempty")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
  • At least one producer
  • At least one consumer
  • No thread is both consumer and producer
  • Buffer capacity is at least 1
  • The type of data is nonempty