Vx: Eine Sprache für jede Chip-Architektur
Vx – One Language, Every Chip
Vx ist eine Systemprogrammiersprache für heterogenes Rechnen, die CPU-, GPU-, NPU- und Beschleuniger-Speicher direkt in das Typsystem integriert. Ein Host-Thread, der einen Device-Pointer dereferenziert, erzeugt einen Compile-Fehler statt eines nächtlichen Segfaults. Die Sprache prüft Adressräume, Speicherkapazität, asynchrone Transfers und Topologie-Erreichbarkeit zur Compile-Zeit. Maschinendateien beschreiben die Speicherhierarchie realer Chips wie H100, B200 oder Apple M4. Vx eignet sich für Anwendungen, die auf verschiedenster Hardware korrekt und schnell laufen müssen – nicht für schnelles Prototyping.
Heterogenität gehört ins Typsystem, nicht in die Laufzeit.
- pdpi
> Vx ist die richtige Sprache für das, was über zehn Arten von Silizium hinweg korrekt und schnell sein muss. Sie ist nicht die richtige Sprache für das, was man noch am Ausarbeiten ist.
Ein bisschen am Thema vorbei, aber ich weiß es *wirklich* sehr zu schätzen, dass sie diese Unterscheidung treffen, und ich wünschte, mehr Leute würden das tun. Viel zu viele Tools versuchen, sich als Allheilmittel für alle Leute anzupreisen und alle Anwendungsfälle abzudecken, und das hilft niemandem.
- dreamoffire
„Ich hätte gern die beste Programmiersprache! Schaut euch an, was die Leute an Rust, Mojo und Zig mögen, und erstellt dafür Spezifikationen!
Ach ja, vergesst nicht, dass wir an die Zukunft denken müssen… Stellt sicher, dass wir auf GPUs laufen können.
Versucht nicht, zu sehr nach LLM zu klingen.
Macht keine Fehler.“
Ich wünsche euch dann mal viel Glück
- jack_h
Ich fühle mich an eine Reihe von Kritiken erinnert, die über die Jahre aufgetaucht sind, wie „C Is Not a Low-level Language: Your computer is not a fast PDP-11“ und andere, die mir gerade nicht einfallen. Im Kern sind unsere „Low-Level“-Sprachen darauf ausgelegt, auf einer abstrakten Maschine zu laufen, die sich seit den 70ern kaum verändert hat, während die tatsächliche Hardware, über die sie abstrahieren sollen, unglaublich hochentwickelt geworden ist. Als einfaches Beispiel: Man betrachte, wie viele Programmiersprachen so etwas Einfaches wie SIMD-Unterstützung haben, ohne auf Compiler-Intrinsics zurückzugreifen oder sich auf den Optimierer zu verlassen.
Ich habe tatsächlich schon einmal einige experimentelle DSL-Einbettungen rund um diese Idee erstellt, da ich das für ein faszinierendes Gebiet halte. Wenn ich die Vx-Dokumentation überfliege, scheint es, als würde sie einen Teil der abstrakten Maschine ins Typsystem verschieben, um mehr Flexibilität zu erreichen.
- yewenjie
Warum gibt mir das Vlang-Vibes?
- png732
Gibt es eine Hintergrundgeschichte dafür, dass das Vx heißt? Es scheint etwas zu nah am VxWorks-Betriebssystem zu sein, obwohl es wohl keine Verbindung zu geben scheint.