1 <assertions> 2 <assertion id="1" tag="pt:SEM"> 3 Using semaphore to protect critical section 4 </assertion> 5 <assertion id="2" tag="pt:SEM"> 6 Using semaphore to implement producer and consumer mechanism 7 </assertion> 8 <assertion id="3" tag="pt:SEM"> 9 Using semaphore to implement reader and writer problem 10 </assertion> 11 <assertion id="4" tag="pt:SEM"> 12 Using semaphore to implement philosopher problem 13 </assertion> 14 <assertion id="5" tag="pt:SEM"> 15 Using semaphore to implement sleeping Barber problem 16 </assertion> 17 </assertions> 18
