WFRF:(Lindnér Per)
Search: WFRF:(Lindnér Per) > (2015-2019) > Heapless :
- 11 of 78
- Previous record
- Next record
- To hitlist
- Aparicio Rivera, JorgeLuleå tekniska universitet,Datavetenskap (author)
Heapless : Dynamic Data Structures without Dynamic Heap Allocator for Rust
- Article/chapterEnglish2018
Publisher, publication year, extent ...
- Piscataway, NJ :IEEE,2018
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:ltu-71248
- https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-71248URI
- https://doi.org/10.1109/INDIN.2018.8472097DOI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- Dynamic memory management is typically implemented using a global memory allocator, which may negatively impact the performance, reliability, and predictability of a program; in effect standards around safety-critical applications often discourage or even disallow dynamic memory management. This paper presents heapless, a collection of dynamic data structures (for vectors, strings, and circular buffers) that can be either stack or statically allocated, thus free of global allocator dependencies. The proposed data structures for vectors and strings closely mimic the Rust standard library implementations while adding support to gracefully handling cases of capacity exceedance. Our circular buffers act as queues and allowing channel like usage (by splitting). The Rust memory model together with the ability of local reasoning on memory requirements (brought by heapless) facilitates establishing robustness/safety guarantees and minimize attack surfaces of (industrial) IoT systems. We show that the heapless data structures are highly efficient and have predictable performance, thus suitable for hard real-time applications. Moreover, in our implementation heapless data structures are non-relocatable allowing mapping to hardware, useful, e.g., to DMA transfers. The feasibility, performance, and advantages of heapless are demonstrated by implementing a JSON serialization and de-serialization library for an ARM Cortex-M based IoT platform.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Added entries (persons, corporate bodies, meetings, titles ...)
- Lindner, MarcusLuleå tekniska universitet,EISLAB,Datavetenskap(Swepub:ltu)maalin (author)
- Lindgren, PerLuleå tekniska universitet,EISLAB,Datavetenskap(Swepub:ltu)pln (author)
- Luleå tekniska universitetDatavetenskap (creator_code:org_t)
Related titles
- In:2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)Piscataway, NJ : IEEE, s. 87-949781538648292
Internet link
Find in a library
- 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) (Search for host publication in LIBRIS)
To the university's database
- 11 of 78
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Aparicio Rivera, ...
- Lindner, Marcus
- Lindgren, Per
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- 2018 IEEE 16TH I ...
- By the university
- Luleå University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
