A fully concurrent garbage collector for functional programs on multicore processors

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

This paper presents a concurrent garbage collection method for functional programs running on a multicore processor. It is a concurrent extension of our bitmap-marking non-moving collector with Yuasa's snapshot-at-the-beginning strategy. Our collector is unobtrusive in the sense of the Doligez-Leroy-Gonthier collector; the collector does not stop any mutator thread nor does it force them to synchronize globally. The only critical sections between a mutator and the collector are the code to enqueue/dequeue a 32 kB allocation segment to/from a global segment list and the write barrier code to push an object pointer onto the collector's stack. Most of these data structures can be implemented in standard lock-free data structures. This achieves both efficient allocation and unobtrusive collection in a multicore system. The proposed method has been implemented in SML#, a full-scale Standard ML compiler supporting multiple native threads on multicore CPUs. Our benchmark tests show a drastically short pause time with reasonably low overhead compared to the sequential bitmap-marking collector.

本文言語English
ホスト出版物のタイトルICFP 2016 - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
編集者Eijiro Sumii, Jacques Garrigue, Gabriele Keller
出版社Association for Computing Machinery, Inc
ページ421-433
ページ数13
ISBN(印刷版)9781450342193
DOI
出版ステータスPublished - 2016 8 4
イベント21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016 - Nara, Japan
継続期間: 2016 9 182016 9 24

出版物シリーズ

名前ICFP 2016 - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming

Other

Other21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016
CountryJapan
CityNara
Period16/9/1816/9/24

ASJC Scopus subject areas

  • Software
  • Computer Science Applications
  • Computational Theory and Mathematics

フィンガープリント 「A fully concurrent garbage collector for functional programs on multicore processors」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル