Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A correct and useful incremental copying garbage collector
Luleå tekniska universitet, Institutionen för system- och rymdteknik.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
2007 (Engelska)Ingår i: Proceedings of the the 2007 International Symposium on Memory Management: Québec, Canada, October 21 - 22, 2007, New York: ACM Digital Library, 2007, s. 129-140Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Designing a garbage collector with real-time properties is a particularly difficult task, involving the construction of both an incremental run-time algorithm as well as methods enabling a priori reasoning about schedulability in two dimensions (time and memory usage in conjunction). In order to comply with such ambitious goals with any amount of formal rigor, a comprehensive understanding of the actual algorithm used is of course a fundamental requirement. In this paper we present a formal model of an incremental copying garbage collector, where each atomic increment is modeled as a transition between states of a heap process. Soundness of the algorithm is shown by proving that the garbage collecting heap process is weakly bisimilar to a non-collecting heap with infinite storage space. In addition, we show that our collector is both terminating and useful, in the sense that it actually recovers the unreachable parts of any given heap in a finite number of steps.

Ort, förlag, år, upplaga, sidor
New York: ACM Digital Library, 2007. s. 129-140
Nationell ämneskategori
Datavetenskap (datalogi) Inbäddad systemteknik
Forskningsämne
Kommunikations- och beräkningssystem; Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-39218DOI: 10.1145/1296907.1296924Scopus ID: 2-s2.0-42149094957Lokalt ID: dddc6810-546d-11dc-8e15-000ea68e967bISBN: 978-1-59593-893-0 (tryckt)OAI: oai:DiVA.org:ltu-39218DiVA, id: diva2:1012727
Konferens
International Symposium on Memory Management : 21/10/2007 - 22/10/2007
Anmärkning
Godkänd; 2007; 20070827 (keero)Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2018-07-10Bibliografiskt granskad

Open Access i DiVA

fulltext(287 kB)110 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 287 kBChecksumma SHA-512
a523b4ab62cd6fabaff27655134cc98f52ac21016dd1a1938018eda8c5c4fd937c6cc1e4eeb482ff528f50b0d2fdc5dbb9bf8ce14a561f22a93379053018725b
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Kero, MartinNordlander, JohanLindgren, Per

Sök vidare i DiVA

Av författaren/redaktören
Kero, MartinNordlander, JohanLindgren, Per
Av organisationen
Institutionen för system- och rymdteknikDatavetenskapEISLAB
Datavetenskap (datalogi)Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 110 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 144 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf