search

p-org / PSharp

A framework for rapid development of reliable asynchronous software.
MIT License
390 stars 37 forks source link

TraceViewer Crashing on Open #476

Closed jzhang919 closed 4 years ago

jzhang919 commented 4 years ago

Hi all:

I've successfully built P# and the Trace Viewer tool from source. But Trace Viewer is crashing when I click on "File->Open Trace:" I've also tried passing in the .pstrace file on the command line, but it opens the exe again with no trace.

How do I fix this?

Best, James

ankushdesai commented 4 years ago

Hi @jzhang919, What platform are you using? I have tried it on Windows and it works fine.

jzhang919 commented 4 years ago

Windows. We can try on Mac though. Is there a process for Mac, since MacOS doesn't support .exe?

jzhang919 commented 4 years ago

Bump: Tried building TraceViewer again for a particularly strange bug, and was able to fix the crashing issue.

However, opening a .pstrace yields a "Bug trace Raft_0_0.pstrace is not readable. Please make sure you selected a '.pstrace' file."

Any ideas on debugging this issue? I've uploaded the .pstrace used here if that is helpful.

pdeligia commented 4 years ago

Hi @jzhang919, most of the teams that use P# in production use their own favorite text editor to view and filter through the buggy traces. For this reason, we have not updated TraceViewer in a long time now, and are not actively maintaining it to minimize overhead.

To set the expectations right, we just moved TraceViewer to its own repository here, still under the p-org organization. Although we are not actively working on this tool anymore, its open-source under the MIT license, and PRs for improvements and bug-fixes are more than welcome!