# Producer logic
# Increments buffer count and produced count when below limits

tension produce priority 6
  match me in proc.CPU0
    where me.produced < me.produce_limit
  match buf in BUFFER
    where buf.count < buf.capacity
  emit set buf count buf.count + 1
  emit set me produced me.produced + 1
