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.

Sign up for GitHub

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

Jump to bottom

Parallelize queries with multi-threading #11

Open
seblund opened this issue Sep 16, 2022 · 0 comments
Open

Parallelize queries with multi-threading #11

seblund opened this issue Sep 16, 2022 · 0 comments
Assignees
@mads256h @Casper-NS @thom776g @Archdragon79 @TerranAster @RedToad0
Labels
Epic

Comments

@seblund
Copy link

seblund commented Sep 16, 2022 •
edited by Casper-NS
Loading

The goal is to be able to allocate resources to process multiple queries in parallel and/or dedicate all
available resources to a specific query. There is a draft of basic multi-threading of the refinement check
available at Ecdar#117

  • How can we parallelize queries without large overheads?
  • Can we develop a heuristic that helps us balance resources between queries?
  • Can we add newly available resources to a running query?

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

@mads256h mads256h

@Casper-NS Casper-NS

@thom776g thom776g

@Archdragon79 Archdragon79

@TerranAster TerranAster

@RedToad0 RedToad0

Labels
Epic
Projects
Reveaal
Status: Backlog
Milestone
No milestone
Development

No branches or pull requests
7 participants
@mads256h @seblund @Casper-NS @thom776g @Archdragon79 @TerranAster @RedToad0