Contract with threaded method
#2830
Open
Conversation
This file contains 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
Delja
force-pushed
the
contract_multy_thread
branch
4 times, most recently
from
8ee9b86 to
a0ba0cc
Compare
Delja
force-pushed
the
contract_multy_thread
branch
2 times, most recently
from
a8b205d to
823f0ed
Compare
This flag is used to know if we are currently checking some assertions. Signed-off-by: Delja <[email protected]>
Signed-off-by: Delja <[email protected]>
Signed-off-by: Delja <[email protected]>
Signed-off-by: Delja <[email protected]>
Delja
force-pushed
the
contract_multy_thread
branch
from
823f0ed to
4375990
Compare
Test Results 67 files 338 suites 17m 34s ⏱️ Results for commit 4375990. |
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.
This pr makes it possible to prevent that contracts in different threads to interfere with the same flag to know if a contract evaluation should be performed.
Instead of using a flag contained in the
Sysinstance, we are now using a new AST node which:During compilation it will be transformed into an
ifwith for condition the evaluation of a variable whose value is specific to each threat (in_assertion). Note we used the keyword__thread.During the interpretation the node will be evaluated in the same way as an
if(without anelseblock) with for condition the value of the attributein_assertiondefined in the interpreter.Note: When you evaluate a contract, the evaluation is performed in the same thread as the caller. (only the method will be executed in a new thread)