Grep Op : mutuel exclusion implementation