Bounding the buffer

• A

  Only that exactly one at a time touches the buffer, since the two counts take care of everything else

• B

  Only the two waiting conditions, since blocking implies exclusion

• C

  That the producer and consumer alternate strictly, one item each

• D

  The producer waits when full, the consumer waits when empty, and one at a time touches the buffer