GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Fachbereiche
  • Betriebssysteme, Kommunikationssysteme und Verteilte Systeme (SYS)
  • Frühjahrs- und Herbsttreffen der Fachgruppen
  • 2020 - Herbsttreffen FG BS
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Fachbereiche
  • Betriebssysteme, Kommunikationssysteme und Verteilte Systeme (SYS)
  • Frühjahrs- und Herbsttreffen der Fachgruppen
  • 2020 - Herbsttreffen FG BS
  • View Item

Group-based Memory Management in Fyr

Author:
Weis, Torben [DBLP] ;
Zdankin, Peter [DBLP] ;
Carl, Oskar [DBLP] ;
Waltereit, Marian [DBLP]
Abstract
Albeit being introduced decades ago, C and C++ are still the most commonly used programming languages for operating systems. These languages have no reliable mechanisms to deal with memory safety issues, such as use-after-free or data race conditions, that are a leading cause for security bugs in operating systems and other critical software. Tools such as Valgrind have been developed to identify errors, but the errors must occur during the analysis, as they are not found otherwise. Several modern programming languages such as Rust, Go and Swift have emerged aiming to solve some of the issues by providing memory safety guarantees at compile or run time. However, these languages introduce new limitations, especially concerning software development for performance-critical or resource-constrained systems. In this paper, we introduce a new approach to automatic memory management that manages the lifetime of object groups instead of individual objects. We show that group-based memory management can remove some of the restrictions of modern programming languages while satisfying important memory safety constraints. Furthermore, we show how group-based memory management is implemented in our new systems programming language Fyr.
  • Citation
  • BibTeX
Weis, T., Zdankin, P., Carl, O. & Waltereit, M., (2020). Group-based Memory Management in Fyr.   Tagungsband des FG-BS Herbsttreffens 2020. Bonn: Gesellschaft für Informatik e.V.z. DOI: 10.18420/fgbs2020h-02
@inproceedings{mci/Weis2020,
author = {Weis, Torben AND Zdankin, Peter AND Carl, Oskar AND Waltereit, Marian},
title = {Group-based Memory Management in Fyr},
booktitle = {Tagungsband des FG-BS Herbsttreffens 2020},
year = {2020},
editor = {} ,
doi = { 10.18420/fgbs2020h-02 },
publisher = {Gesellschaft für Informatik e.V.z},
address = {Bonn}
}
DateienGroesseFormatAnzeige
Paper02.pdf397.7Kb PDF View/Open

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/fgbs2020h-02

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

DOI: 10.18420/fgbs2020h-02
xmlui.MetaDataDisplay.field.date: 2020
Language: en (en)
Content Type: Text

Keywords

  • Compilers
  • Systems Programming
  • Memory Safety
Collections
  • 2020 - Herbsttreffen FG BS [2]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.