![]() ![]() I implemented .VMListener and added the classpath entry pointing to the class file to jpf-core.native_classpath. JPF can be downloaded from by using a mercurial eclipse plugin and it is quite easy to build and use. I am not able to get clear data showing how many threads are blocked for a particular monitor to be released at a point in time. The data is still not clear but it is reasonable. I have implemented it to get data about the number of BLOCKED threads that the System Under Test(SUT) has and the monitor that they are blocked at. JPF has quite a number of plug points and .VMListener is one such interface. So JPF tests this type of code by exploring all the code using algorithms to find errors. Even though it might be possible to test these scenarios extensively by profiling a few possible combinations of thread interleavings, it is quite tedious. A second generation of Java PathFinder (JPF2) 28 has recently been developed at NASA Ames, which diverges from the translation approach, and model checks bytecode. lava 12 and the PROMELA lan-guage of SPIN 21. Java threads used by concurrent programs are context switched by the OS scheduler at run-time when we ‘yield’ a thread or due to some other reason. The Java PathFinder 1 (JPF1) 17, developed at NASA Ames Research Center, was such an early attempt to bridge the gap between. ![]() ![]() Java Path Finder(JPF) is a model checker for Java programs and can check concurrent programs for deadlocks and data races which are more serious in muti-core environments. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |