test(core): RIP measured with Java FILIUS

RipRun runs rip-chain's three routers in Java FILIUS, each router's random
set by reflection to the core's ripSeed, and writes the frames, every
change of each RIP table and the calls. converge: the tables fill, a ping
at 45 s. expire: R3 falls silent at 10 s; R2 marks its network 16 hops only
at its own next beacon, R1 passes it on at once, the ping gets ICMP 3/0.
Both match: per sending card the same messages at the same times, every
table through the same states. The first 5 s are compared by the state the
tables reach, since Java's routers start one after the other.

Measured on the JDK: Java's pause divides nextFloat() by 3 in float; the
core does too now (a millisecond off in one draw of about 10,000 before).
Scenarios name their RIP routers in the new field rip.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
2026-09-30 19:41:56 +00:00
co-authored by Claude Opus 5.5
parent a4036f12a3
commit 37f5d77477
12 changed files with 1695 additions and 6 deletions
@@ -0,0 +1,569 @@
{
"frames": {
"00000000-0000-0000-0000-000000000401": [
{
"time": 1292,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0"
},
{
"time": 1355,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.23.0 255.255.255.0 1"
},
{
"time": 1411,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.23.0 255.255.255.0 1\n10.0.3.0 255.255.255.0 2"
},
{
"time": 27401,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.23.0 255.255.255.0 1\n10.0.3.0 255.255.255.0 2"
},
{
"time": 45001,
"source": "02:00:00:00:04:11",
"destination": "FF:FF:FF:FF:FF:FF",
"arp": 1,
"senderIp": "10.0.1.2",
"targetIp": "10.0.1.1"
},
{
"time": 45114,
"source": "02:00:00:00:04:21",
"destination": "02:00:00:00:04:11",
"arp": 2,
"senderIp": "10.0.1.1",
"targetIp": "10.0.1.2"
},
{
"time": 45116,
"source": "02:00:00:00:04:11",
"destination": "02:00:00:00:04:21",
"icmp": 8,
"icmpCode": 0,
"sourceIp": "10.0.1.2",
"destinationIp": "10.0.3.2",
"sequence": 1
},
{
"time": 45896,
"source": "02:00:00:00:04:21",
"destination": "02:00:00:00:04:11",
"icmp": 0,
"icmpCode": 0,
"sourceIp": "10.0.3.2",
"destinationIp": "10.0.1.2",
"sequence": 1
},
{
"time": 58186,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.23.0 255.255.255.0 1\n10.0.3.0 255.255.255.0 2"
}
],
"00000000-0000-0000-0000-000000000402": [
{
"time": 1296,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.23.0 255.255.255.0 1"
},
{
"time": 1355,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.23.0 255.255.255.0 1\n10.0.3.0 255.255.255.0 2"
},
{
"time": 27345,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.23.0 255.255.255.0 1\n10.0.3.0 255.255.255.0 2"
},
{
"time": 45058,
"source": "02:00:00:00:04:11",
"destination": "FF:FF:FF:FF:FF:FF",
"arp": 1,
"senderIp": "10.0.1.2",
"targetIp": "10.0.1.1"
},
{
"time": 45059,
"source": "02:00:00:00:04:21",
"destination": "02:00:00:00:04:11",
"arp": 2,
"senderIp": "10.0.1.1",
"targetIp": "10.0.1.2"
},
{
"time": 45173,
"source": "02:00:00:00:04:11",
"destination": "02:00:00:00:04:21",
"icmp": 8,
"icmpCode": 0,
"sourceIp": "10.0.1.2",
"destinationIp": "10.0.3.2",
"sequence": 1
},
{
"time": 45840,
"source": "02:00:00:00:04:21",
"destination": "02:00:00:00:04:11",
"icmp": 0,
"icmpCode": 0,
"sourceIp": "10.0.3.2",
"destinationIp": "10.0.1.2",
"sequence": 1
},
{
"time": 58130,
"source": "02:00:00:00:04:21",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.1.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.1.1\n10.0.1.1\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.23.0 255.255.255.0 1\n10.0.3.0 255.255.255.0 2"
}
],
"00000000-0000-0000-0000-000000000403": [
{
"time": 1292,
"source": "02:00:00:00:04:22",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.12.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.12.1\n10.0.1.1\n16\n75000\n10.0.1.0 255.255.255.0 0"
},
{
"time": 1296,
"source": "02:00:00:00:04:31",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.12.2",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.12.2\n10.0.12.2\n16\n75000\n10.0.23.0 255.255.255.0 0\n10.0.3.0 255.255.255.0 1"
},
{
"time": 1355,
"source": "02:00:00:00:04:22",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.12.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.12.1\n10.0.1.1\n16\n75000\n10.0.1.0 255.255.255.0 0"
},
{
"time": 1411,
"source": "02:00:00:00:04:22",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.12.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.12.1\n10.0.1.1\n16\n75000\n10.0.1.0 255.255.255.0 0"
},
{
"time": 27401,
"source": "02:00:00:00:04:22",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.12.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.12.1\n10.0.1.1\n16\n75000\n10.0.1.0 255.255.255.0 0"
},
{
"time": 29222,
"source": "02:00:00:00:04:31",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.12.2",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.12.2\n10.0.12.2\n16\n75000\n10.0.23.0 255.255.255.0 0\n10.0.3.0 255.255.255.0 1"
},
{
"time": 45228,
"source": "02:00:00:00:04:22",
"destination": "FF:FF:FF:FF:FF:FF",
"arp": 1,
"senderIp": "10.0.12.1",
"targetIp": "10.0.12.2"
},
{
"time": 45228,
"source": "02:00:00:00:04:31",
"destination": "02:00:00:00:04:22",
"arp": 2,
"senderIp": "10.0.12.2",
"targetIp": "10.0.12.1"
},
{
"time": 45339,
"source": "02:00:00:00:04:22",
"destination": "02:00:00:00:04:31",
"icmp": 8,
"icmpCode": 0,
"sourceIp": "10.0.1.2",
"destinationIp": "10.0.3.2",
"sequence": 1
},
{
"time": 45785,
"source": "02:00:00:00:04:31",
"destination": "02:00:00:00:04:22",
"icmp": 0,
"icmpCode": 0,
"sourceIp": "10.0.3.2",
"destinationIp": "10.0.1.2",
"sequence": 1
},
{
"time": 58186,
"source": "02:00:00:00:04:22",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.12.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.12.1\n10.0.1.1\n16\n75000\n10.0.1.0 255.255.255.0 0"
}
],
"00000000-0000-0000-0000-000000000404": [
{
"time": 1217,
"source": "02:00:00:00:04:41",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.23.3",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.23.3\n10.0.23.3\n16\n75000\n10.0.3.0 255.255.255.0 0"
},
{
"time": 1292,
"source": "02:00:00:00:04:32",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.23.2",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.23.2\n10.0.12.2\n16\n75000\n10.0.12.0 255.255.255.0 0"
},
{
"time": 1296,
"source": "02:00:00:00:04:41",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.23.3",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.23.3\n10.0.23.3\n16\n75000\n10.0.3.0 255.255.255.0 0"
},
{
"time": 1355,
"source": "02:00:00:00:04:32",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.23.2",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.23.2\n10.0.12.2\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.1.0 255.255.255.0 1"
},
{
"time": 1355,
"source": "02:00:00:00:04:41",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.23.3",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.23.3\n10.0.23.3\n16\n75000\n10.0.3.0 255.255.255.0 0"
},
{
"time": 29277,
"source": "02:00:00:00:04:32",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.23.2",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.23.2\n10.0.12.2\n16\n75000\n10.0.12.0 255.255.255.0 0\n10.0.1.0 255.255.255.0 1"
},
{
"time": 31606,
"source": "02:00:00:00:04:41",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.23.3",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.23.3\n10.0.23.3\n16\n75000\n10.0.3.0 255.255.255.0 0"
},
{
"time": 45395,
"source": "02:00:00:00:04:32",
"destination": "FF:FF:FF:FF:FF:FF",
"arp": 1,
"senderIp": "10.0.23.2",
"targetIp": "10.0.23.3"
},
{
"time": 45395,
"source": "02:00:00:00:04:41",
"destination": "02:00:00:00:04:32",
"arp": 2,
"senderIp": "10.0.23.3",
"targetIp": "10.0.23.2"
},
{
"time": 45506,
"source": "02:00:00:00:04:32",
"destination": "02:00:00:00:04:41",
"icmp": 8,
"icmpCode": 0,
"sourceIp": "10.0.1.2",
"destinationIp": "10.0.3.2",
"sequence": 1
},
{
"time": 45729,
"source": "02:00:00:00:04:41",
"destination": "02:00:00:00:04:32",
"icmp": 0,
"icmpCode": 0,
"sourceIp": "10.0.3.2",
"destinationIp": "10.0.1.2",
"sequence": 1
},
{
"time": 57795,
"source": "02:00:00:00:04:41",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.23.3",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.23.3\n10.0.23.3\n16\n75000\n10.0.3.0 255.255.255.0 0"
}
],
"00000000-0000-0000-0000-000000000405": [
{
"time": 1292,
"source": "02:00:00:00:04:42",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.3.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.3.1\n10.0.23.3\n16\n75000\n10.0.23.0 255.255.255.0 0"
},
{
"time": 1352,
"source": "02:00:00:00:04:42",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.3.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.3.1\n10.0.23.3\n16\n75000\n10.0.23.0 255.255.255.0 0\n10.0.12.0 255.255.255.0 1"
},
{
"time": 1411,
"source": "02:00:00:00:04:42",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.3.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.3.1\n10.0.23.3\n16\n75000\n10.0.23.0 255.255.255.0 0\n10.0.12.0 255.255.255.0 1\n10.0.1.0 255.255.255.0 2"
},
{
"time": 31662,
"source": "02:00:00:00:04:42",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.3.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.3.1\n10.0.23.3\n16\n75000\n10.0.23.0 255.255.255.0 0\n10.0.12.0 255.255.255.0 1\n10.0.1.0 255.255.255.0 2"
},
{
"time": 45562,
"source": "02:00:00:00:04:42",
"destination": "FF:FF:FF:FF:FF:FF",
"arp": 1,
"senderIp": "10.0.3.1",
"targetIp": "10.0.3.2"
},
{
"time": 45562,
"source": "02:00:00:00:04:51",
"destination": "02:00:00:00:04:42",
"arp": 2,
"senderIp": "10.0.3.2",
"targetIp": "10.0.3.1"
},
{
"time": 45673,
"source": "02:00:00:00:04:42",
"destination": "02:00:00:00:04:51",
"icmp": 8,
"icmpCode": 0,
"sourceIp": "10.0.1.2",
"destinationIp": "10.0.3.2",
"sequence": 1
},
{
"time": 45673,
"source": "02:00:00:00:04:51",
"destination": "02:00:00:00:04:42",
"icmp": 0,
"icmpCode": 0,
"sourceIp": "10.0.3.2",
"destinationIp": "10.0.1.2",
"sequence": 1
},
{
"time": 57850,
"source": "02:00:00:00:04:42",
"destination": "FF:FF:FF:FF:FF:FF",
"sourceIp": "10.0.3.1",
"destinationIp": "255.255.255.255",
"protocol": 17,
"sourcePort": 521,
"destinationPort": 520,
"payload": "10.0.3.1\n10.0.23.3\n16\n75000\n10.0.23.0 255.255.255.0 0\n10.0.12.0 255.255.255.0 1\n10.0.1.0 255.255.255.0 2"
}
]
},
"events": [
[
213,
"seeded"
],
[
45001,
"sendProbe 10.0.3.2 called"
],
[
45897,
"sendProbe 10.0.3.2 returned ICMP 0/0 from 10.0.3.2"
]
],
"tables": [
[
213,
"00000000-0000-0000-0000-000000000402",
"10.0.1.0/255.255.255.0 10.0.1.1 10.0.1.1 0; 10.0.12.0/255.255.255.0 10.0.12.1 10.0.12.1 0"
],
[
213,
"00000000-0000-0000-0000-000000000403",
"10.0.12.0/255.255.255.0 10.0.12.2 10.0.12.2 0; 10.0.23.0/255.255.255.0 10.0.23.2 10.0.23.2 0"
],
[
213,
"00000000-0000-0000-0000-000000000404",
"10.0.23.0/255.255.255.0 10.0.23.3 10.0.23.3 0; 10.0.3.0/255.255.255.0 10.0.3.1 10.0.3.1 0"
],
[
1297,
"00000000-0000-0000-0000-000000000402",
"10.0.1.0/255.255.255.0 10.0.1.1 10.0.1.1 0; 10.0.12.0/255.255.255.0 10.0.12.1 10.0.12.1 0; 10.0.23.0/255.255.255.0 10.0.12.2 10.0.12.1 1"
],
[
1297,
"00000000-0000-0000-0000-000000000403",
"10.0.12.0/255.255.255.0 10.0.12.2 10.0.12.2 0; 10.0.23.0/255.255.255.0 10.0.23.2 10.0.23.2 0; 10.0.1.0/255.255.255.0 10.0.12.1 10.0.12.2 1; 10.0.3.0/255.255.255.0 10.0.23.3 10.0.23.2 1"
],
[
1297,
"00000000-0000-0000-0000-000000000404",
"10.0.23.0/255.255.255.0 10.0.23.3 10.0.23.3 0; 10.0.3.0/255.255.255.0 10.0.3.1 10.0.3.1 0; 10.0.12.0/255.255.255.0 10.0.23.2 10.0.23.3 1"
],
[
1357,
"00000000-0000-0000-0000-000000000402",
"10.0.1.0/255.255.255.0 10.0.1.1 10.0.1.1 0; 10.0.12.0/255.255.255.0 10.0.12.1 10.0.12.1 0; 10.0.23.0/255.255.255.0 10.0.12.2 10.0.12.1 1; 10.0.3.0/255.255.255.0 10.0.12.2 10.0.12.1 2"
],
[
1357,
"00000000-0000-0000-0000-000000000404",
"10.0.23.0/255.255.255.0 10.0.23.3 10.0.23.3 0; 10.0.3.0/255.255.255.0 10.0.3.1 10.0.3.1 0; 10.0.12.0/255.255.255.0 10.0.23.2 10.0.23.3 1; 10.0.1.0/255.255.255.0 10.0.23.2 10.0.23.3 2"
]
]
}