Concurrent execution framework, rehauled and extended #235
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
rebase wrt master (jd) Signed-off-by: Erwan Bousse <erwan.bousse@ls2n.fr
rebase wrt master (jd)
rebase wrt master (jd)
rebase wrt master (jd) Signed-off-by: Erwan Bousse <erwan.bousse@ls2n.fr
…223) rebase wrt master (jd) * use commons from new gemoc-studio-commons repository
* use new commons.eclipse.pde.ui plugin * adapt to commons.eclipse.pde * reduce dependencies use GemocPlugin in commons.eclipse instead of commons.eclipse.pde
rebase wrt master (jd)
(rebase from master JD) Signed-off-by: Erwan Bousse <erwan.bousse@ls2n.fr
(rebase from master JD)
(rebase from master JD) * bump to tycho 2.7.3 * use newer version of xtext * update for use of Sirius 7.0.1 follows https://bugs.eclipse.org/bugs/show_bug.cgi?id=531282 * java min version 11 * remove some warning generated by trace addon generator * increase delay before waiting for jobs * java 11 * add better clean workspace method + remove deprecated xtext test api the clean workspace is now able to remove previous content from crashed executions * bump to GEMOC 3.6.0 contributes to eclipse-gemoc/gemoc-studio#270
rebase wrt master (jd) Signed-off-by: Erwan Bousse <erwan.bousse@ls2n.fr
rebase wrt master (jd) Signed-off-by: Erwan Bousse <erwan.bousse@ls2n.fr
rebase wrt master (jd) Signed-off-by: Erwan Bousse <erwan.bousse@ls2n.fr
…223) rebase wrt master (jd) * use commons from new gemoc-studio-commons repository
rebase wrt master (jd) Signed-off-by: Erwan Bousse <erwan.bousse@ls2n.fr
rebase wrt master (jd) Signed-off-by: Erwan Bousse <erwan.bousse@ls2n.fr
…o-modeldebugging into concurrency-analysis
dvojtise
added a commit
to eclipse-gemoc/gemoc-studio
that referenced
this pull request
Jul 23, 2024
dvojtise
added a commit
to eclipse-gemoc/gemoc-studio
that referenced
this pull request
Sep 12, 2024
* use timsquare latest update site * use timesquare version 2023-07-26 * regenerate melangek3fsm example trace project to support footprint related to eclipse-gemoc/gemoc-studio-modeldebugging#235 * update dev instructions using docker
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
This PR adds for the first time most of the common code about concurrent execution (eg.
AbstractConcurrentExecutionEngine) in the common GEMOC execution framework. Previously, this code was in the gemoc-studio-execution-moccml repository , since Moccml was the only possible concurrent engine. Nowadays, a Henshin engine exists and should not have to import and extends classes from the Moccml execution engine code base.In addition, following the work presented in this paper, this PR changes how concurrency was originally managed in the GEMOC Studio. Now a concurrent engine must build a symbolic representation of logical steps, through inclusion/exclusion constraints over small steps. Strategies, which come with its own UI, are then available to choose what logical steps will be available when debugging. In the code, this symbolic representation is accomplished using the Choco solver.
Companion Pull Requests