Skip to content

Multi processing#95

Open
Aaron99B wants to merge 3 commits intoADA-research:mainfrom
Aaron99B:multi-processing
Open

Multi processing#95
Aaron99B wants to merge 3 commits intoADA-research:mainfrom
Aaron99B:multi-processing

Conversation

@Aaron99B
Copy link
Collaborator

Multiprocessing execution of the verifiers is not possible with the current setup, as when one verifier process terminates all the others are killed too. This is now resolved by removing the kill methods for all processes with the verifier name.

In addition, the current function for executing subprocesses did not work properly in SLURM execution, as processes there can't be killed using the os.killpg method, because sudo rights are required for it. Now the subprocess execution function is simplified and the timeout is handled by the underlying verification algorithm. This is beneficial too, as now the time for loading conda environments, etc. is not included in the verification time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant