I am using the parallel model to support thermal cycle testing. At initialization I check the power supplies. The sequence to perform this check is locked, for one process at a time, and also has a precondition so that only the first thread will actually open the sequence. The precondition being checked is true at entry into the sequence and then false as a poscondition of the locked sequence.
If I check the precondition while the first thread is still in the sequence, it will evaluate to true but the sequence will be locked. If I don't check the precondition after the sequence is unlocked (the first thread finishes), then will I enter the sequence or will the precondition be checked again before entry?
Tom Rhoads
Goodrich FUS
Vergennes, Vermont