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

Add SCION compiler output checks #19

Closed
amdfxlucas opened this issue Jan 25, 2025 · 1 comment · Fixed by #25
Closed

Add SCION compiler output checks #19

amdfxlucas opened this issue Jan 25, 2025 · 1 comment · Fixed by #25
Assignees
Labels
enhancement New feature or request

Comments

@amdfxlucas
Copy link

amdfxlucas commented Jan 25, 2025

SEED is in dire need for a means to check if the generated output is consistent.
For large simulations this can save a lot of time spent on building docker images which eventually turn out to misconfigured and dysfunctional.

In the case of a SCION simulation this comes down to checking if the contents of 'docker-compose.yml' ( where SCION border-routers map to 'brdnode_xyz' services and are assigned an 'ip_v4_address' on the IX or XC network i.e. 'net_ix_xyz')
match the contents of the 'topology.json' files for each AS (where under the 'border_routers' key for each AS interface under 'underlay' the internal IP address is given ).

If nodes have from their 'topology.json' file the wrong IP addresses of border routers, the log files of the SCION distributables will contain strange 'UDP socket i/o read timeout' errors which are extremely hard to make sense of. You really want to avoid to ever find yourself in this situation.

@amdfxlucas amdfxlucas converted this from a draft issue Jan 25, 2025
@amdfxlucas amdfxlucas self-assigned this Jan 25, 2025
@amdfxlucas amdfxlucas linked a pull request Jan 25, 2025 that will close this issue
@amdfxlucas amdfxlucas added the enhancement New feature or request label Jan 26, 2025
@amdfxlucas amdfxlucas changed the title Add Topology Sanitizer Tool Add SCION compiler output checks Feb 6, 2025
@martenwallewein
Copy link

Thank for bringing this up! Looks good to have this check to ensure everything is configured correctly, but wouldn't it make more sense to fix the root cause? Or is there no root cause why sometimes IPs are not correct?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Development

Successfully merging a pull request may close this issue.

2 participants