5.7 Semaphore Markers (TestBencher Pro only)

In Test Bencher Pro, semaphore markers are used to secure critical regions during a transaction. Semaphore markers can be created for transactions that are part of a project that contains semaphores. There are two types of Semaphore Marker: wait and post. A Wait Semaphore Marker waits for the semaphore variable to be free, then takes ’possession’ of the semaphore and enters the critical region. The Post Semaphore Marker defines the end of the critical region and causes the release of the semaphore.

To add a Semaphore marker:

•Add a marker to the diagram and double-click on the marker to open the Edit Time Marker dialog.

•Choose Semaphore from the Type box.

•Select either Wait or Post radio buttons to define whether the semaphore variable will be incremented or decremented when the marker is encountered.

•In the Semaphore name box, either enter the name of the semaphore variable or use the > button and choose a variable from the menu list.

semaphoreMarker

•To create a new semaphore variable with a specific initialization value, press the > button and choose <Edit Semaphore List...> menu to open the Semaphore List dialog.

•Use this dialog to delete semaphore variables and to edit the initialization value.

semaphoreMarker_class_dlg