@Override public void visit(InvokeEvent event) { int process = event.process(); pendingForProcess.put(process, event); }
@Override public void visit(InvokeEvent event) { if (awaitingInvokeOkCycle) { processesPendingReads.add(event.process()); } }
@Override public void visit(InvokeEvent event) { Integer process = event.process(); pendingReadForProcess.put(process, event); }
@Override public void visit(InvokeEvent event) { pendingForProcess.put(event.process(), event); }
@Override public void visit(InvokeEvent event) { int process = event.process(); pendingForProcess.put(process, event); this.lockName = event.value(); }
private void verifyLockCorrectness() { for (Pair<InvokeEvent, OkEvent> eventPair : locksAtSomePoint) { InvokeEvent invokeEvent = eventPair.getLhSide(); OkEvent okEvent = eventPair.getRhSide(); if (intervalCovered(invokeEvent, okEvent)) { log.error("Lock {} granted to process {} between {} and {}, but lock was already held by " + "another process.", lockName, invokeEvent.process(), invokeEvent.time(), okEvent.time()); errors.add(invokeEvent); errors.add(okEvent); } } }
+ "time {}, but another process was granted the lock between {} and {} " + "(last known time the lock was held by {})", invokeEvent.function(), invokeEvent.value(), invokeEvent.process(), invokeEvent.time(), event.time(), lastLockTime, invokeEvent.time(), invokeEvent.process()); errors.add(invokeEvent); errors.add(event);