Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets