Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Deadlock while creating verifier process #16294

Open
volhovm opened this issue Oct 26, 2024 · 0 comments
Open

Deadlock while creating verifier process #16294

volhovm opened this issue Oct 26, 2024 · 0 comments

Comments

@volhovm
Copy link
Member

volhovm commented Oct 26, 2024

See the branch volhovm/16112-reproduce-deadlock in mina repo: the first commit, which adds some printing into srs.rs leads to the situation where the test deadlocks. Here's the minimal commit.

eddb06f

It is also reproducible on top of compatible in this branch: volhovm/16112-reproduce-deadlock-from-compatible, again see the first commit in that branch.

Steps to reproduce:

dune build src/app/cli/src/mina.exe && _build/default/src/app/cli/src/mina.exe transaction-snark-profiler --zkapps --k 1 --max-num-updates 4 --min-num-updates 2

I'm suspecting the problem is with printing in particular. Something in the worker-main thread communication layer breaks with printing being done from the rust side earlier. Double checking how the stdout/stderr is handled around rpc would be a good start maybe.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: No status
Development

No branches or pull requests

1 participant