Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
RTIC - A Zero-Cost Abstraction for Memory Safe Concurrency
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering.
2021 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Embedded systems are commonplace, often with real-time requirements, limited resources and increasingly complex workloads with high demands on security and reliability. The complexity of these systems calls for extensive developer experience and many tools has been created to aid in the development of the software running on such devices. One of these tools, the Real-Time For the Masses (RTFM) concurrency framework developed at Luleå University of Technology (LTU), is built upon a pre-existing, well established and theoretically underpinned execution model providing deadlock free execution and strong guarantees about correctness. The framework is further enhanced by the memory safety provided by Rust, a modern systems programming language. This thesis documents the work done towards improving the framework by studying the possibility to make it extendable. For this, a model of the present layout is required, which in turn requires a solid understanding of Rust's way to structure code. To realise such a large structural change it was advisable to join the open-source RTFM community as a core developer. This role included new responsibilities and required work within different areas of the framework, not only directly related to the primary goal. It also provided the insight that in order to reach the desired extendable structure, many other improvements had to be done first, including the removal of large experimental features. To aid the development, usage of state of the art Continuous Integration testing (CI) were key. Changes to such systems are also part of the development process. The name of the project changed in the middle of this thesis work, going from RTFM to Real-Time Interrupt-driven Concurrency (RTIC). The implemented features and usability fixes detailed in this thesis improves the user experience for embedded system developers resulting in increased productivity while making the development process of such systems more accessible. These general improvements will be part of the next release of the framework. A version v0.6.0-alpha.0 of the framework has been released for testing. The experiences gained related to open-source project governance during this work are also presented.

Place, publisher, year, edition, pages
2021. , p. 95
Keywords [en]
Embedded systems, real-time, concurrency, RTIC, RTFM, Real-Time For the Masses, Real-Time Interrupt-driven Concurrency
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:ltu:diva-82861OAI: oai:DiVA.org:ltu-82861DiVA, id: diva2:1530134
External cooperation
Grepit AB
Educational program
Computer Science and Engineering, master's level
Supervisors
Examiners
Available from: 2021-02-23 Created: 2021-02-21 Last updated: 2021-02-23Bibliographically approved

Open Access in DiVA

RTIC - A Zero-Cost Abstraction for Memory Safe Concurrency(1775 kB)1354 downloads
File information
File name FULLTEXT01.pdfFile size 1775 kBChecksum SHA-512
b357bddf7301efb4975cc1dee2030131a5b29a27a9d9a2fddaa9a639f1458cc145384bb99abf18e0b9a975e58781564071fb7d4f4e3962d04a80983f9cdabe1e
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Tjäder, Henrik
By organisation
Department of Computer Science, Electrical and Space Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 1354 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 1004 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf