In reply to cgales:
Thanks cgales.
I agree with your argument.
I would like to explain why I need 100/500 Vs 97/503.
I simplified the problem statement, to focus on the constraint question. The test actually sends special transactions and requests (request can be read or write). There are multiple clients and it is necessary that all clients send the special transactions in the same order and send an equal number of them.
If all clients don’t send the all the special transactions, the simulation will hang.
There is no such limitation on the requests. I agree that I can use the above constraint and keep on sends transactions (special transactions and requests) till the required number of special transactions are sent and that will work (most likely what I would end up doing :) ).
I was just curious to see if there is something that I had not thought of.