JavaPathfinder v6.0 (rev 652+) - (C) RIACS/NASA Ames Research Center ====================================================== system under test application: org/objectweb/dsrg/bpc/demo/Simulator.java arguments: 0 ====================================================== search started: 26/02/12 15:08 first client runs first client ends second client runs second client ends first client ends second client runs second client ends first client ends second client runs second client ends first client ends second client runs second client ends first client ends second client runs second client ends first client ends second client runs second client ends second client runs first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client runs second client ends first client ends second client ends first client ends second client runs first client ends second client ends second client runs second client runs second client runs second client runs second client runs second client runs second client runs first client ends second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs second client runs first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends first client ends second client ends first client ends first client ends second client ends second client ends first client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends second client ends second client ends second client ends second client ends second client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends second client ends first client ends ========potential races======== object id: 195025516 (195025516) field: java.lang.Object org.objectweb.dsrg.bpc.demo.ValidityCheckerImpl.evidence thread id: 1 (Thread-1) instruction: org.objectweb.dsrg.bpc.demo.ValidityCheckerImpl.InvalidateAndSave(ValidityCheckerImpl.java:56) READ [(1077)] ] thread id: 2 (Thread-2) instruction: org.objectweb.dsrg.bpc.demo.ValidityCheckerImpl.InvalidateAndSave(ValidityCheckerImpl.java:56) READ [()] ] instruction: org.objectweb.dsrg.bpc.demo.ValidityCheckerImpl.Timeout(ValidityCheckerImpl.java:92) READ [()] ] instruction: org.objectweb.dsrg.bpc.demo.ValidityCheckerImpl.SetEvidence(ValidityCheckerImpl.java:72) WRITE [()] ] ============================ monitor id 1077 org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl object id: 260999736 (260999736) field: boolean org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.usePermanentDb thread id: 1 (Thread-1) instruction: org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.RenewIpAddress(IpAddressManagerImpl.java:153) READ [(1077)] ] instruction: org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.RequestNewIpAddress(IpAddressManagerImpl.java:174) READ [(1077)] ] thread id: 2 (Thread-2) instruction: org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.StopUsingPermanentIpDatabase(IpAddressManagerImpl.java:202) WRITE [()] ] instruction: org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.RequestNewIpAddress(IpAddressManagerImpl.java:174) READ [(1077)] ] ============================ monitor id 1077 org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl ======== sumary ======== 1 >Potential race for field org.objectweb.dsrg.bpc.demo.ValidityCheckerImpl.evidence write: [Thread-2] org.objectweb.dsrg.bpc.demo.ValidityCheckerImpl.SetEvidence read: [Thread-1] org.objectweb.dsrg.bpc.demo.ValidityCheckerImpl.InvalidateAndSave < 2 >Potential race for field org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.usePermanentDb write: [Thread-2] org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.StopUsingPermanentIpDatabase read: [Thread-1] org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.RenewIpAddress < 3 >Potential race for field org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.usePermanentDb write: [Thread-2] org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.StopUsingPermanentIpDatabase read: [Thread-1] org.objectweb.dsrg.bpc.demo.IpAddressManagerImpl.RequestNewIpAddress < ====================================================== results no errors detected ====================================================== statistics elapsed time: 00:00:05 states: new=2821, visited=2457, backtracked=5218, end=277 search: maxDepth=102, constraints hit=0 choice generators: thread=2820 (signal=0, lock=154, shared ref=2383), data=0 heap: new=4065, released=8598, max live=1300, gc-cycles=4933 instructions: 419641 max memory: 169MB loaded code: classes=176, methods=2533 ====================================================== search finished: 26/02/12 15:08