Name
Abstract | ||
|---|---|---|
Java Pathfinder (JPF) employs a dynamic partial order reduction based on sharing and state hashing to reduce the schedules in concurrent systems. That partial order reduction is believed to be complete in the new version of JPF using search global IDs (SGOIDs) but does miss behaviors when SGOIDs are not employed. More importantly, it is not clear how such a dynamic partial order reduction, with or without SGOIDs, compares to other dynamic partial order reductions based on persistent sets, sleep sets, or clock vectors. In order to understand JPF's native dynamic partial order reduction better, this paper discusses an implementation of Flanagan and Goidefroid's clock vector partial order reduction in JPF. Then, the performance of JPF's native dynamic partial order reduction and the clock vector partial order reduction in JPF using SGOIDs will be compared in an effort to understand JPF's dynamic partial order reduction more fully. It was discovered that a clock vector POR always performs better in terms of runtime on the benchmarks chosen, and sometimes even better in terms of memory. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2557833.2560581 | ACM SIGSOFT Software Engineering Notes |
Keywords | Field | DocType |
partial order reduction,persistent set,clock vector,concurrent system,clock vector por,native dynamic partial order,new version,dynamic partial order reduction,java pathfinder,clock vector partial order | Vector clock,Java pathfinder,Software engineering,Computer science,Parallel computing,Constraint analysis,Theoretical computer science,Schedule,Hash function,Symbolic execution,Partial order reduction | Journal |
Volume | Issue | Citations |
39 | 1 | 2 |
PageRank | References | Authors |
0.37 | 3 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Eric Noonan | 1 | 2 | 0.37 |
| eric mercer | 2 | 125 | 11.06 |
| Neha Rungta | 3 | 563 | 27.72 |