add comment & fix small bug:
 - bounded entry stream: fetch_sub (empty_semaphore)