Ownership, Borrowing und Lifetimes in Rust im Vergleich mit Garbage Collection

[realJule]

Inhalte / Ablauf des Vortrags

1. Erläuterung der Grundidee bzw. Funktionsweise des "Speichermanagements" (da fiel mir jetzt kein besserer allgemeiner Begriff für ein) in Rust, in Abgrenzung zu Garbage Collection.
2. Code-Beispiele zu unterschiedlichen Features / Syntax-Eigenschaften in Rust bzgl. Ownership (z.B. Referenzen, Move, Copy, Lifetimes, (Im)-Mutability)
3. Vor- und Nachteile im Vergleich zu Garbage Collection
4. ?

Paper:

• Balasubramanian, et al. 2017. System Programming in Rust: Beyond Safety
• David G. Clarke, John M. Potter, James Noble. 1998. Ownership types for flexible alias protection
• Christiansen, et al. 1998. Safe region-based memory management for objects
• David J. Pearce. 2021. A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust

Weitere Themen

Ich befürchte, dass ein großer Teil des Vortags bzw. meiner Recherche auf der Dokumentation von Rust basieren würde - was etwas langweilig wäre. Das ist aber vermutlich nötig um die Spracheigenschaften zu erläutern.

Es gibt jedoch einige Paper zu unterschiedlichen Aspekten dieses Themas die jedenfalls im Abstract interessant / sinnvoll klingen. Mit diesen würde ich mich gerne etwas beschäftigen und dann einen Aspekt herauspicken um ihn im Vortrag (bei Punkt 4) zu behandeln - auch im Hinblick auf die nachfolgende Diskussion. Ich kann das aber noch nicht wirklich einschätzen.

Beispiele:

• Untersuchungen zur Usability und Lernbarrieren bzgl. "Speichermanagement" in Rust.
  • Kasra Ferdowsi. 2023. The Usability of Advanced Type Systems: Rust as a Case Study
  • Will Crichton, Gavin Gray, Shriram Krishnamurthi. 2023. A Grounded Conceptual Model for Ownership Types in Rust
  • Will Crichton. 2021. The Usability of Ownership
  • Michael Coblenz, Michelle L. Mazurek, Michael Hicks. 2022. Garbage Collection Makes Rust Easier to Use: A Randomized
    Controlled Trial of the Bronze Garbage Collector
• Alternative Konzepte bzgl. "Speichermanagement" basierend auf Rust oder mit ähnlichem / erweitertem Ansatz
  • Levit, et al. 2015. Ownership is theft: experiences building an embedded OS in rust
  • Guillaume Munch-Maccagnoni. 2018. Resource Polymorphism
  • Daniel Marshall, Dominic Orchard. 2023. Functional Ownership through Fractional Uniqueness
• Untersuchungen ob Rust bzgl. Memory Safety hält was es verspricht / Ansätze für Verbesserungen der Memory Safety
  • Eric Reed. 2015. Patina: A Formalization of the Rust Programming Language
  • Jung, et al. 2017. RustBelt: securing the foundations of the Rust programming language
  • Shuanglong Kan, et al. 2020. An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing

[cagix]

ich glaube, der erste punkt ist der anspruchsvolle kern: welche techniken/algorithmen werden in rust genutzt, wie funktionieren sie.

ich finde aber auch die von dir zusammengestellten paper spannend (insb. die zu alternativen) - da wirst du eine balance finden müssen :)

[cagix]

@realJule kannst du bitte deinen blogbeitrag noch hier einstellen?

[cagix]

argh. ist separat hochgeladen. sorry.

[cagix]

vortrag gehalten, blog hochgeladen