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.

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

Implement stop request in federated execution of TypeScript #111

Merged
merged 29 commits into from
Jul 27, 2022

Conversation

byeonggiljun
Copy link
Collaborator

@byeonggiljun byeonggiljun commented Jul 19, 2022

Relevant issue: #101

Relevant LF PR: lf-lang/lingua-franca#1302

Add a logic for sending and propagating MSG_TYPE_STOP_REQUEST and MSG_TYPE_STOP_REQUEST_REPLY and receive MSG_TYPE_STOP_REQUEST_GRANTED
Discussion is needed to determine whether freeze federates or not.
Some function in reactor.ts is added and modified like getStartTag() and getStartTime() etc.

@hokeun hokeun changed the title Implementation of MSG_TYPE_STOP_REQUEST Implement stop request for federated execution in TypeScript Jul 20, 2022
@hokeun hokeun changed the title Implement stop request for federated execution in TypeScript Implement stop request in federated execution of TypeScript Jul 20, 2022
hokeun and others added 11 commits July 20, 2022 13:05
…y handled by the default case of the switch statement. Update comments.
…re is no event at (0, 0), by moving _iterationComplete() into the if statement, `if (nextEvent)`.

This issue was discovered when running the newly added federated test, DistributedStop.lf, while working on implementation of stop request messages in TypeScrip federated execution.
@hokeun hokeun marked this pull request as ready for review July 21, 2022 22:19
@hokeun hokeun requested a review from lhstrh July 21, 2022 22:20
lhstrh
lhstrh previously requested changes Jul 21, 2022
Copy link
Member

@lhstrh lhstrh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me! My only request is that we start putting developer docs about federated execution on the wiki.

@hokeun hokeun requested a review from lhstrh July 22, 2022 04:37
@hokeun
Copy link
Member

hokeun commented Jul 23, 2022

@ByeongGil-Jun, I granted you write access to the lingua-franca repo (https://github.com/lf-lang/lingua-franca/). From now on, you should be able to create branches and edit wiki pages here: https://github.com/lf-lang/lingua-franca/wiki

hokeun added 2 commits July 22, 2022 20:12
(However, lingua-franca-ref.txt must be updated before merging.)

# Conflicts:
#	lingua-franca-ref.txt
#	src/core/federation.ts
Copy link
Member

@hokeun hokeun left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm approving this to unblock @ByeongGil-Jun. @lhstrh, please feel free to comment on this PR if you come up with any suggestions later!

@hokeun hokeun merged commit e5c9020 into master Jul 27, 2022
@lhstrh lhstrh deleted the stop-request branch August 5, 2022 16:32
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.

3 participants