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
(* models bgp, ospf, static routes, AS Path as set *) | |
type prefix = (int, int6) (* IP prefix; tuple of (address, length) *) | |
type ospfType = {ospfAd: int8; weight: int16; areaType:int2; areaId: int;} | |
type bgpType = {bgpAd: int8; lp: int; aslen: int; med:int; comms:set[int]; bgpAS: set[tnode];} | |
type rib = { | |
connected:option[int8]; (* Just track administrative distance *) | |
static:option[int8]; (* Just track administrative distance *) | |
ospf:option[ospfType]; | |
bgp:option[bgpType]; |
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
#!/bin/bash | |
## Give the Job a descriptive name | |
#PBS -N makeall | |
## Output and error files | |
#PBS -o makejob.out | |
#PBS -e makejob.err | |
## How many machines should we get? |
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
#!/bin/bash | |
## Give the Job a descriptive name | |
#PBS -N lab1 | |
## Output and error files | |
#PBS -o parallel_test.out | |
#PBS -e parallel_test.err | |
## Limit memory, runtime etc. |
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
Before opening | |
After opening | |
no scope | |
---------------------------------------- | |
scope: | |
---------------------------------------- | |
Before hiding | |
scope: x[0] | |
---------------------------------------- | |
After hiding |
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
Before opening | |
After opening | |
no scope | |
---------------------------------------- | |
scope: | |
---------------------------------------- | |
Before hiding | |
scope: x[0] | |
---------------------------------------- | |
After hiding |