Rust Überblick

Tiefergehende Informationen zu Rust finden sich hier.

Rust ist eine Programmiersprache, deren Entwicklung 2006 von Graydon Hoare begonnen und zwischen 2009 und 2020 durch seinen damaligen Arbeitgeber Mozilla Corporation maßgeblich gefördert und bestimmt wurde. Nachdem 2 Ansätze in C++ gescheitert waren, erhoffte sich Mozilla, mit Rust erstmals eine sichere und parallelisierte Webbrowser-Engine entwickeln zu können.

Mittlerweile sind mehrere Firefox-Komponenten durch Rust-Code ersetzt worden. Viele andere Unternehmen (siehe unten), sowie Entwickler von Projekten wie

• Anki
• Apache httpd
• AWS Firecracker
• Chromium
• Deno
• EFF
• Fish Shell
• Google Android (Binder, Bluetooth, Keystore, Virtualisierung)
• Google Fuchsia (Bluetooth, Netzwerk)
• Ladybird,
• Linux Kernel
• librsvg
• Mercurial
• Microsoft Azure
• Microsoft Office
• Microsoft Windows
• Parcel
• Signal
• Threema
• Tor
• Unicode Consortium
• Vite
• WhatsApp

haben Software teilweise oder vollständig mit Rust-Code ersetzt bzw. entwickeln neuen Code in Rust.

Seit 2021 wird Rust durch die Rust Foundation gefördert, welcher u.a. AWS, Google, Huawei, Meta, Microsoft, Mozilla und OpenAI angehören. Einige Rust- und Tokio-Entwickler sind inzwischen Angestellte dieser Firmen.

Design

Bereits in der ersten Präsentation zu Rust im Jahr 2010 wurde die Absicht vorgestellt, ausschließlich auf Erkenntnisse und Erfahrungen anderer Programmiersprachen zurückzugreifen. Auch heute ist wohl nur das Zusammentreffen bestimmter Aspekte an Rust besonders.

Rust wurde gleichzeitig mit Servo entwickelt. Servo war, bis zu der firmenweiten Reorganisation im August 2020, das in Rust geschriebene Mozilla-Forschungsprojekt einer parallelisierten Webbrowser-Engine. Komponenten, die sich in Servo bewährt hatten, wurden in Firefox integriert. Erfahrungen aus der Programmierung von Servo beeinflussten wiederum das Design von Rust. So unterscheidet sich das Rust aus 2010 deutlich von Rust 1.0 aus 2015. Das frühe Rust hatte neben deutlichen syntaktischen Unterschieden auch Green Threads und einen Garbage Collector. Letzterer wurde durch das Ownership-Modell und den Borrow Checker hinfällig, als man erkannte, dass sowohl Thread- als auch Speichersicherheit mit den gleichen Mechanismen erreicht werden können.

Diskussion

Rust ist nicht trivial zu erlernen und zu benutzen. Das liegt vor allem an den Randbedingungen, die sich Rust verpflichtet hat, zu erfüllen. Diese führten z.B. auch dazu, dass die Entscheidungsfindung zum await-Syntax schwieriger war, als bei anderen Sprachen.

Rust wichtigstes Angebot ist die Verhinderung ganzer Klassen von Laufzeitfehlern bereits zur Kompilierzeit. Speicher- und Thread-Sicherheit ohne Garbage Collection sind dabei nur ein Aspekt. Dass Sprache und Ökosystem insgesamt eine hohe langfristige Produktivität ermöglichen können, wird oft übersehen. Aber: nicht nur das Erlernen von Rust ist einmalig eine Investition, sondern auch jedes mal, neuen oder veränderten Code kompilierbar zu machen. Ob diese Investition profitabel ist, lässt sich nur im Einzelfall entscheiden.

Im Folgenden eine Aufstellung von Rusts Chancen und Risiken. Da in Rust die Erfahrungen anderer Programmiersprachen eingeflossen sind, gibt es mit diesen unvermeidlich Ähnlichkeiten – besonders mit funktionalen Sprachen wie ML oder Haskell.

Chancen

• Ganze Klassen von Fehlern werden bereits zur Kompilierzeit verhindert:

  • in Safe Rust: Freiheit von Speicherfehlern, die laut voneinander unabhängigen Untersuchungen von Google, Microsoft und Mozilla, sowie dem Autor von cURL etwa 50 - 70 % der Sicherheitslücken verursachen. Selbst durch Einsatz von Unit-Tests, speziellen Memory-Allokatoren und -Debuggern, sowie Fuzzern gelang es z.B. weder Google, noch Sqlite, solche Probleme signifikant zu reduzieren oder gar zu verhindern.
  • Freiheit von Data Races.

  • Freiheit von Exceptions zur Laufzeit, solange Pfade zu panic!() vermieden werden:

    • Statische Überprüfung der Fehlerbehandlung mittels Result, die Aufgrund von #[must_use] nicht vergessen werden kann.

    • Freiheit von Null-Pointer-Dereferenzierung durch Verwendung von Option anstatt Nullable Types.

      • Mit dem Fragezeichen-Operator gibt es dennoch eine Möglichkeit, Optionalität und Fehler zum aufrufenden Code hochzureichen.
    • Freiheit von Iterator-Invalidierung durch den Borrow Checker, der verbietet, Referenzen gleichzeitig lesend und schreibend zu halten.
  • Die Behandlung von Varianten müssen exhaustive sein – können also nicht ohne weiteres vergessen werden.

• Annehmlichkeiten:

  • Mit Cargo gibt es sowohl einen Standard-Paketmanager, als auch ein Standard-Buildsystem. Cargo macht es einfach, eigene und fremde Libraries zu kompilieren und zu verwenden.

  • Reduzierung der Notwendigkeit von Boilerplate Code durch:

    • Summentypen
    • Pattern Matching
    • Hygienic Macros, insbesondere #[derive]
    • Type Inference
    • Eingebaute Unterstützung von Unit-Testing.
  • todo!() zum polymorphen Prototypisieren.
  • Stetig verbesserte, teilweise sehr hilfreiche Compiler-Fehlermeldungen
  • Gute bis sehr gute IDE-Unterstützung durch IntelliJ Rust und rust-analyzer.
  • Clippy: Sourcecode-Checker.
  • rustfmt ist der Standard-Sourcecode-Formatierer.
  • Playground: Online-IDE zum Ausprobieren und Teilen von Beispiel-Code.

• Integrierbarkeit: Rust-Code lässt sich über C-APIs mit Code, der in anderen Sprachen geschrieben ist, verbinden.

  • Stück-für-Stück-Rewrites, wie der von librsvg, sind insbesondere auch durch die Abwesenheit einer Runtime praktikabel.
  • C2Rust ermöglicht eine 1:1-Übersetzung von C-Code in Unsafe Rust.
• Der Ressourcen-Verbrauch (RAM, CPU) der mit Rust entwickelten Software ist oft geringer. Er ist in der gleichen Größenordnung wie Code, der in C/C++ geschrieben ist.

• Die bewusst minimale Standardbibliothek fördert unabhängige Libraries, die sich über Cargo leicht nutzen lassen und dabei:

  • nicht an die Stabilitätsgarantien der Sprache gebunden sind
  • die Implementierung konkurrierender Ansätze erlaubt

• Portabilität:

  • Es gibt nur eine offizielle Rust-Implementierung, die sich überall gleich verhalten soll.

  • Rust-Code ist grundsätzlich portabel. Ausnahmen:

    • nicht-Rust Libraries werden über das FFI angebunden.
    • bedingte Kompilierung wird verwendet.

• Eine Runtime-Umgebung wird nicht benötigt. Dies macht es auch praktikabel, Kommandozeilen-Tools wie ripgrep zu verbreiten und zu nutzen:

  • Ein Deployment und Patch-Management einer Runtime-Umgebung ist nicht nötig.
  • Es gibt keine Warmup-Phase.
  • Es fallen keine Lizenzkosten für die Runtime-Umgebung an.

• Die frei verfügbare Dokumentation ist teilweise exzellent:

  • das offizielle Buch
  • Rust by Example
  • Rust Cookbook
  • Rustonomicon
  • Cheats.rs

• Die Community ist bemüht, hilfsbereit und konstruktiv zu sein. Einige Anlaufstellen für Supportanfragen:

  • Rust Forum
  • Reddit Learnrust
  • Reddit Rust: der wöchentliche Thread ‚Hey Rustaceans! Got an easy question? Ask here‘

Risiken

• Die Lernkurve ist am Anfang steil bis frustrierend.
• Die Entwicklung in Rust dauert häufig länger, da dem Compiler gewohnte Ansätze nicht leicht erklärt werden können, so dass er erkennt, dass sie frei von Data Races sind. Siehe dazu auch GUIs mit Rust.
• Nicht für alle Anwendungsfälle kann bestehender Code verwendet werden.
• Rust kann nicht genutzt werden, da es keine der erlaubte Sprachen im Unternehmen ist.

• Die minimale Standardbibliothek hat zur Folge:

  • Crates können nicht immer einfach entdeckt und bewertet werden. Es gibt aber auch inoffizielle Empfehlungen, wie z.B. auf blessed.rs oder die Download-Statistiken auf Crates.io.
  • Fragmentierung im Ökosystem, wie z.B. bei asynchronen Runtimes
• Es könnte unmöglich sein, Rust-Entwickler zeitnah anzuwerben. Allerdings scheint derzeit das Angebot der Interessenten das der Stellen zu übersteigen.
• Lange Kompilierzeiten könnten kurze Iterationszyklen behindern.
• Der Compiler rustc ist nur so portable wie LLVM. Siehe aber auch mrustc, rustc_codegen_clr und das GCC Front-End für Rust.

Unternehmen, die Rust verwenden

3DSignals, Ahrefs, Airtable, Aleph Alpha, Alibaba Group, Anduril Industries, Apple Inc., Asquera, Astropad Company, Avast, AWS, Barco, bearer, Bolt Labs, Brave Software Inc., Bundesdruckerei GmbH, Buoyant, Calendly, Canonical, Centogene, ChartMogul, Chef Software, Inc., citybldr, Cloudflare, Commure, Cosmian, Coursera, CrowdStrike, Crown Software GmbH, CSIS, Cultivate, Cyberus Technology, Datalust, deepc, Deepgram, Deliveroo, DEMV Systems, Discord Inc., Ditto, Dropbox Inc., Einride, Elektron.se, ELOKON, EnBW Energie Baden-Württemberg, Enhance, ESR Labs, Etsy Inc., Everlane, Faraday.ai, Fastly, Figma, Inc., ForAllSecure, FullStory, GitHub Inc., Google Inc., Huawei, Hugging Face, Inc., IBM, ifm software gmbh, Impero, Imperva, Indeed, InfluxData, inscripta, Intel, JetBrains, JoS QUANTUM, Joyent, jusst technologies, KENBUN IT AG, KISIO Digital, Komodo Platform, launchbadge, LINE Plus Corporation, LogDNA, Lumeo, Materialize, Inc., Meta, Microsoft, MindBuffer, Moogsoft Inc., move innovation, Mozilla, Narrative, Nationwide Building Society, Nike, Noibu, Nymi, NZXT, Ockam, OneSignal, OpenAI, Oxide Computer, Paessler AG, Paige, PingCAP, Postmates, PQShield Ltd., Proton AG, Qovery, Random Studio, Red Canary, Inc., Red Hat, Reddit, Redjack, Rhebo GmbH, SAP, Screenleap, Senacor, Sentry, Shopify, ShowSeeker, Signal Foundation, sisu, Slight, Slowtec, Snapview, Snips, Sonos, Swift Navigation, System76, Tag1 Consulting, Temporal, Tempus Ex, The Techno Creatives, The Walt Disney Company, Threema GmbH, Ticketmaster, Tilde Inc., Tobii AB, tonari, Toyota, TrueLayer, Tweede golf, Twitter Inc., ubix GmbH, Valve, Viasat, Vinted, VMRay, VMware, Volvo Car Corporation, Wallaroo, wearTell, xAI, XAIN, Y.at, YesLogic, Zenly, Zimpler

• mit WebAssembly: 1Password, Canva, NASA
• Computerspiel-Hersteller: DIMS, Embark Studios, Ready At Dawn Studios, Treyarch, Utopixel
• mit Blockchain: Adobe Systems, Bitfinex, Bitski, Blockstack, BOTLabs GmbH, CasperLabs, ChainSafe, Chorus One, Clearmatics, Consensys, Famedly, filancore, Gnosis, Informal, IOHK, Kraken, LayerTwo, Massa, Meta, NEAR, Parity Technologies, Polymath, SORAMITSU