swaptions/art/alvinn/dijkstra: misspec - uo violation

PrincetonUniversity / cpf

Collaborative Parallelization Framework (CPF)

MIT License

31 stars 4 forks source link

swaptions/art/alvinn/dijkstra: misspec - uo violation #17

Closed vgene closed 4 years ago

vgene commented 4 years ago

Seems to have wrong heap assignment

vgene commented 4 years ago

Due to __specpriv_uo() having different semantics in CodeGen/ApplySeparationSpeculation.cpp and CodeGen/Postprocess.cpp, the former one was going to set the argument of the heap to the actually CODE (address) but the latter one recognizes it as HEAP (identifier).

vgene commented 4 years ago

Dijkstra/art/alvinn/swaptions got correct parallel.out.

Speedup

dijkstra: 17.2x
alvinn: 8.0x
art: 4.4x
swaptions: 21.6x

vgene commented 4 years ago

Results are correct, but speedups are not "correct". Close this issue since not UO-violation any more.