Karyos
ALPHABrokerloser Messaging-Transport für Handelssysteme.
Ein Messaging-Transport mit niedriger Latenz in Rust. Anwendungen publizieren und abonnieren Nachrichtenströme über Log-Buffer im gemeinsamen Speicher, verwaltet von einem Media Driver, der eingebettet im Prozess oder als eigener Prozess läuft. Korrektheit bei Pausen, Abstürzen und gleichzeitigen Schreibern steht an erster Stelle: Sie wird mit Model Checking, Miri und einem deterministischen Simulator geprüft, unsafe-Code bleibt auf die zwei untersten Crates beschränkt, und der Standardbuild kompiliert kein C.
Für wen es istBörsen- und Handelsteams, die Nachrichten zwischen Prozessen einer Maschine bewegen.
Log-Buffer im gemeinsamen Speicher
Publizieren und Abonnieren über Log-Buffer, ohne Broker-Prozess im Datenpfad.
Der Treiber, wo Sie ihn wollen
Der Media Driver läuft auf allen Plattformen eingebettet in der Anwendung oder als eigener Prozess, der Clients unter Linux über einen Unix-Socket annimmt.
Nebenläufigkeit, die sich prüfen lässt
Model Checking, Miri und ein deterministischer Simulator laufen in der CI, dazu ein Benchmark-Harness, Trace-Aufzeichnungen und Latenz-Histogramme.
0.1.0-alpha.1 ist eine frühe Alpha zur Evaluierung, nicht für die Produktion: APIs, Wire-Formate und Speicherlayouts ändern sich ohne Ankündigung, und es wird noch keine Latenzzahl behauptet.