Karyos
ALPHATransport de messages sans broker pour systèmes de trading.
Un transport de messages à faible latence écrit en Rust. Les applications publient et s'abonnent à des flux de messages via des log buffers en mémoire partagée, gérés par un media driver qui tourne embarqué dans le processus ou comme processus séparé. L'exactitude face aux pauses, aux crashs et aux écrivains concurrents passe en premier : elle est vérifiée par model checking, Miri et un simulateur déterministe, le code unsafe est confiné aux deux crates les plus bas, et la compilation par défaut ne compile aucun C.
À qui cela s'adresseÉquipes d'échange et de trading qui déplacent des messages entre processus d'une même machine.
Log buffers en mémoire partagée
Publication et abonnement sur des log buffers, sans processus broker dans le chemin de données.
Le driver là où vous le voulez
Le media driver tourne embarqué dans l'application sur toutes les plateformes, ou comme processus séparé acceptant des clients via un socket Unix sous Linux.
Une concurrence vérifiable
Model checking, Miri et un simulateur déterministe tournent en CI, aux côtés d'un harnais de benchmarks, d'enregistrements de trace et d'histogrammes de latence.
0.1.0-alpha.1 est une alpha précoce destinée à l'évaluation, pas à la production : les API, les formats filaires et la disposition de la mémoire partagée changent sans préavis, et aucun chiffre de latence n'est encore annoncé.