You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Apr 28, 2023. It is now read-only.
At the moment, sending a SIGINT (Ctrl + C) is utterly useless:
1. it can take a long time to finish a tuning iteration
2. SIGINT results in 2 successive thread join calls which always
crash the program
This PR fixes these broken behaviors by shortcircuiting those
compilations and evaluations that have not yet started at the time
SIGINT was sent. We still need to flush the pipe so when multiple
threads are compiling, we need to wait for the last one to finish.
Tested and works from both python and C++
0 commit comments