Hi Henk,
For some reason, we are still using vdbench502 to do performance test. There is a problem like this:

I have downloaded the code of the latest version vdbench and find that the way to release semaphore has been changed.
So, it seems to be a problem of the method to release semaphore in 502. I'm not asure about this and want to change the code of vdbench502 to do a test, but I don't know where to get the source code.
May you help me confirm the problem and give a hint where to get the code of 502, thank you as much as possible.