Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
Guardado en:
| Publicado en: | arXiv.org (Jul 25, 2017), p. n/a |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Publicado: |
Cornell University Library, arXiv.org
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full text outside of ProQuest |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2075788463 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 035 | |a 2075788463 | ||
| 045 | 0 | |b d20170725 | |
| 100 | 1 | |a Chauhan, Himanshu | |
| 245 | 1 | |a Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs | |
| 260 | |b Cornell University Library, arXiv.org |c Jul 25, 2017 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debug- ging, testing and runtime verification of parallel programs. Breadth-first search (BFS) enumeration is especially useful for these applications as it finds an erroneous consistent global state with the least number of events possible. The total number of executed events in a global state is called its rank. BFS also allows enumeration of all global states of a given rank or within a range of ranks. If a computation on n processes has m events per process on average, then the traditional BFS (Cooper-Marzullo and its variants) requires \(\mathcal{O}(\frac{m^{n-1}}{n})\) space in the worst case, whereas ou r algorithm performs the BFS requires \(\mathcal{O}(m^2n^2)\) space. Thus, we reduce the space complexity for BFS enumeration of consistent global states exponentially. and give the first polynomial space algorithm for this task. In our experimental evaluation of seven benchmarks, traditional BFS fails in many cases by exhausting the 2 GB heap space allowed to the JVM. In contrast, our implementation uses less than 60 MB memory and is also faster in many cases. | |
| 653 | |a Debugging | ||
| 653 | |a Algorithms | ||
| 653 | |a Program verification (computers) | ||
| 653 | |a Computation | ||
| 653 | |a Compilers | ||
| 653 | |a Parallel programming | ||
| 653 | |a Enumeration | ||
| 653 | |a Exhausting | ||
| 653 | |a Polynomials | ||
| 700 | 1 | |a Garg, Vijay | |
| 773 | 0 | |t arXiv.org |g (Jul 25, 2017), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2075788463/abstract/embedded/6A8EOT78XXH2IG52?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/1707.07788 |