JavaPathfinder v6.0 (rev 652+) - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: weblech/ui/TextSpider.java
arguments:   D:\Mestrado\rabbit\trunk\jpf-core/../weblech/config/Spider.properties

====================================================== search started: 26/02/12 23:19

========potential races========
object id: 120307234 (120307234)
  field: int weblech.spider.Spider.running
    thread id: 0 (main)
      instruction: weblech.spider.Spider.start(Spider.java:92) WRITE  [()] ] 
      instruction: weblech.spider.Spider.isRunning(Spider.java:103) READ  [()] ] 
      instruction: weblech.spider.Spider.start(Spider.java:92) READ  [()] ] 
    thread id: 1 (Spider-Thread-1)
      instruction: weblech.spider.Spider.run(Spider.java:233) READ  [(626)] ] 
      instruction: weblech.spider.Spider.run(Spider.java:233) WRITE  [(626)] ] 
    thread id: 2 (Spider-Thread-2)
      instruction: weblech.spider.Spider.run(Spider.java:233) READ  [(626)] ] 
      instruction: weblech.spider.Spider.run(Spider.java:233) WRITE  [(626)] ] 
    thread id: 3 (Spider-Thread-3)
      instruction: weblech.spider.Spider.run(Spider.java:233) READ  [(626)] ] 
      instruction: weblech.spider.Spider.run(Spider.java:233) WRITE  [(626)] ] 
    thread id: 4 (Spider-Thread-4)
      instruction: weblech.spider.Spider.run(Spider.java:233) READ  [(626)] ] 
      instruction: weblech.spider.Spider.run(Spider.java:233) WRITE  [(626)] ] 
============================
monitor id 626 weblech.spider.DownloadQueue

object id: 170118284 (170118284)
  field: weblech.spider.SpiderConfig weblech.spider.HTMLParser.config
    thread id: 1 (Spider-Thread-1)
      instruction: weblech.spider.HTMLParser.<init>(HTMLParser.java:57) WRITE  [()] ] 
    thread id: 2 (Spider-Thread-2)
      instruction: weblech.spider.HTMLParser.<init>(HTMLParser.java:57) WRITE  [()] ] 
    thread id: 3 (Spider-Thread-3)
      instruction: weblech.spider.HTMLParser.<init>(HTMLParser.java:57) WRITE  [()] ] 
    thread id: 4 (Spider-Thread-4)
      instruction: weblech.spider.HTMLParser.<init>(HTMLParser.java:57) WRITE  [()] ] 
============================

object id: 170118287 (170118287)
  field: final weblech.spider.SpiderConfig weblech.spider.URLGetter.config
    thread id: 1 (Spider-Thread-1)
      instruction: weblech.spider.URLGetter.<init>(URLGetter.java:54) WRITE  [()] ] 
    thread id: 2 (Spider-Thread-2)
      instruction: weblech.spider.URLGetter.<init>(URLGetter.java:54) WRITE  [()] ] 
    thread id: 3 (Spider-Thread-3)
      instruction: weblech.spider.URLGetter.<init>(URLGetter.java:54) WRITE  [()] ] 
    thread id: 4 (Spider-Thread-4)
      instruction: weblech.spider.URLGetter.<init>(URLGetter.java:54) WRITE  [()] ] 
============================

object id: 238148188 (238148188)
  field: final java.lang.String weblech.spider.DumbAuthenticator.password
    thread id: 1 (Spider-Thread-1)
      instruction: weblech.spider.DumbAuthenticator.<init>(DumbAuthenticator.java:52) WRITE  [()] ] 
    thread id: 2 (Spider-Thread-2)
      instruction: weblech.spider.DumbAuthenticator.<init>(DumbAuthenticator.java:52) WRITE  [()] ] 
    thread id: 3 (Spider-Thread-3)
      instruction: weblech.spider.DumbAuthenticator.<init>(DumbAuthenticator.java:52) WRITE  [()] ] 
    thread id: 4 (Spider-Thread-4)
      instruction: weblech.spider.DumbAuthenticator.<init>(DumbAuthenticator.java:52) WRITE  [()] ] 
============================

======== sumary ========
1 >Potential race for field weblech.spider.Spider.running 
write: [main] weblech.spider.Spider.start
read: [Spider-Thread-1] weblech.spider.Spider.run
<
2 >Potential race for field weblech.spider.Spider.running 
write: [Spider-Thread-1] weblech.spider.Spider.run
read: [main] weblech.spider.Spider.isRunning
<

====================================================== results
no errors detected

====================================================== statistics
elapsed time:       00:00:05
states:             new=512, visited=390, backtracked=745, end=23
search:             maxDepth=163, constraints hit=0
choice generators:  thread=512 (signal=0, lock=135, shared ref=216), data=0
heap:               new=5343, released=6050, max live=2287, gc-cycles=902
instructions:       559231
max memory:         104MB
loaded code:        classes=212, methods=2785

====================================================== search finished: 26/02/12 23:19