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

Finish Run #202

Closed
wants to merge 70 commits into from
Closed

Finish Run #202

wants to merge 70 commits into from

Conversation

jcp19
Copy link
Contributor

@jcp19 jcp19 commented Mar 20, 2023

Specifies and verifies the method (*DataPlane).Run(...). This PR shows that the main loop of the router, which starts a thread per interface of the router which receives, processes, and sends packets is memory safe

@jcp19 jcp19 marked this pull request as draft March 20, 2023 12:59
@jcp19 jcp19 linked an issue Mar 20, 2023 that may be closed by this pull request
router/dataplane_spec.gobra Outdated Show resolved Hide resolved
@mlimbeck mlimbeck mentioned this pull request Dec 12, 2023
@jcp19
Copy link
Contributor Author

jcp19 commented Jan 18, 2024

Superseded by #240

@jcp19 jcp19 closed this Jan 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Method Run
1 participant