Files

T

julian.kiedaischandClaude Opus 5.5 ed437f9b5c feat(core): DHCP client after Java, measured with Java FILIUS

The client follows Java's DHCPClient instead of Swift: one DISCOVER or
REQUEST per attempt, an answer that does not fit is read and dropped, the
ARP check waits a round trip (an answer for the address ends it at once,
then DECLINE), a timeout repeats the state's message, and the fifth turns
to a link-local address 169.254.1.x/16 (ARP probe, ARP reply to all); no
old address is given back. DHCP round trip times follow the speed as in
Java (50 cables, 2750 ms at 90 %; Swift: fixed 2500 ms).

Not taken from Java: the client gives up after five occupied link-local
addresses (Java searches on without end), and an ARP packet for another
address does not end the check.

dhcpJava.test.ts compares the four DHCP scenarios with DhcpRun's Java
runs; the Swift comparison only checks that they differ.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-09-30 10:50:30 +00:00

4.4 KiB

Raw Blame History

Swift-Orakel

Der Swift-Kern von filius-ipad (Laufzeit, Modell, .fls, Berichte — alles ohne Oberfläche) lässt sich unter Linux bauen. Dieses Werkzeug nutzt das als Maßstab für die Übertragung: Ein Szenario wird einmal als JSON beschrieben, in Swift abgespielt, und die TypeScript-Übertragung muss dieselbe Ausgabe liefern — jedes einzelne Spurereignis, jede Antwort, den Endzustand.

npm run oracle          # = tools/swift-oracle/run.sh (braucht Docker)
npm test                # vergleicht mit den geschriebenen *.swift.json

Szenarien: packages/core/test/scenarios/<name>.scenario.json
Ergebnis aus Swift: <name>.swift.json daneben — wird eingecheckt, damit die Tests ohne Docker und ohne Swift laufen.
Vergleich: packages/core/test/oracle.test.ts. Er meldet das erste abweichende Spurereignis mit Nummer.
Schritte: ping, traceroute, resolveMac, advance, packetLoss, sat, speed; UDP (seit F2): bindUdp (Knoten, optional Port, lokale Adresse, Gegenstelle; Ergebnis die Socket-ID), sendUdp (Socket, Text, optional Ziel und Port), receiveUdp (Socket, optional Wartezeit), closeSocket; TCP: openTcpServer, openTcpClient, connectTcp (Ergebnis connected, invalidSocket, unreachable, timedOut), sendTcp (mit repeatCount für lange Nachrichten), receiveTcp, acceptedTcp, peerTcp, cleanTcp; closeSocket schließt auch TCP; DHCP: runDhcp (Ergebnis der Client-Status). Szenarien können dhcpServers (Bereich, eigene Einstellungen, feste Zuordnungen) und dhcpClients angeben; das Ergebnis enthält die Gerätekonfiguration und den DHCP-Zustand (Clients, Leases, Angebote, Sperrliste, Server). Seit F2.3b folgt der DHCP-Client des Kerns Java statt Swift; die vier DHCP-Szenarien vergleicht dhcpJava.test.ts mit Java-Läufen (tools/java-oracle, DhcpRun), am Swift-Ergebnis prüft der Test nur noch, dass sie abweichen. Das Ergebnis enthält die Sockets mit der Länge ihrer Warteschlange, dem TCP-Zustand, dem annehmenden Socket und den Sitzungswerten.

Korpus

--corpus importiert jede .fls unter corpus/ und schreibt corpus/corpus.swift.json: je Datei die Zählwerte und Warnungen des Imports und unter state Swifts ganzes importiertes Modell ohne die zufälligen UUIDs (Geräte, Ports und Kabel als Indizes, IP-Konfiguration, Doku-Elemente mit ihren abgeleiteten IDs). Daran misst packages/fls/test/importProject.test.ts den Umbau — auf den 13 Dateien, die Swift vollständig liest.

Dateisystem und Strings

--vfs spielt die Fälle aus packages/core/test/vfs.cases.json im virtuellen Dateisystem ab (jedes Ergebnis, jeder Fehler samt Werten, der Endzustand mit SHA-256 der Binärdaten). --strings misst, was Swift aus Strings macht, wo JavaScript abweicht: Trimmen, Kleinschreibung, Gleichheit, Sortierung, Base64 — und die ganzen Mengen whitespacesAndNewlines und controlCharacters über alle Unicode-Skalare. Grenze: Das ist Foundation unter Linux; ihre Steuerzeichen-Tabelle hat in Ebene 14 einen Fehler, den der Port nicht übernimmt.

--email-files server|client liest die Kontodateien (packages/fls/test/email-*.cases.txt) mit Swifts TopologyRuntimeEmailStorage.decodeJavaServer/decodeJavaClient.

--dns-hosts liest dieselben /dns/hosts-Fälle wie das Java-Orakel (packages/fls/test/dns-hosts.cases.txt) mit Swifts TopologyDNSHostsFileCodec; unter state stehen die DNS-Einträge jedes Servers (dnsServer.records) und E-Mail-Client und -Server mit Konten und Nachrichten (emailClient, emailServer).

Wie es gebaut wird

fetch-upstream.sh holt filius-ipad am festen Stand 3b5ded0 und kopiert die oberflächenfreien Quellen nach Sources/FiliusCore/ (nicht eingecheckt). Apple-Module, die es unter Linux nicht gibt, sind auf das Nötige verkleinert:

Modul	Ersatz
`CoreGraphics`	`Foundation` (hat `CGPoint`/`CGFloat` unter Linux)
`CryptoKit`	`swift-crypto` (gleiche Schnittstelle)
`Compression`	eine Funktion, `compression_decode_buffer` mit rohem DEFLATE über zlib
`Network`	entfällt: `TopologyRemoteLinkLANController.swift` wird nicht mitgebaut

patches/linux-type-checker.patch teilt zwei lange Ausdrücke auf, an denen der Linux-Compiler die Typprüfung abbricht. Das Verhalten ändert sich dadurch nicht.

Neue Schrittarten

Eine Schrittart gibt es zweimal — in Sources/Oracle/main.swift und in packages/core/test/oracle.test.ts. Beide müssen dasselbe JSON schreiben.

4.4 KiB Raw Blame History