Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?-Reference-Cited by-同舟云学术

Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?

Published:2023-06-06 Issue:PLDI Volume:7 Page:591-614
ISSN:2475-1421
Container-title:Proceedings of the ACM on Programming Languages
language:en
Short-container-title:Proc. ACM Program. Lang.

Author:

Yamazaki Tetsuro¹^ORCID,Nakamaru Tomoki¹^ORCID,Shioya Ryota¹^ORCID,Ugawa Tomoharu¹^ORCID,Chiba Shigeru¹^ORCID

Affiliation:

1. University of Tokyo, Japan

Abstract

A growing number of libraries written in managed languages, such as Python and JavaScript, are bringing about new demand for a foreign language interface (FFI) between two managed languages. Such an FFI allows a host-language program to seamlessly call a library function written in a foreign language and exchange objects. It is often implemented by a user-level library but such implementation cannot reclaim cyclic garbage, or a group of objects with circular references, across the language boundary. This paper proposes Refgraph GC , which enables FFI implementation that can reclaim cyclic garbage. Refgraph GC coordinates the garbage collectors of two languages and it needs to modify the managed runtime of one language only. It does not modify that of the other language. This paper discusses the soundness and completeness of the proposed algorithm and also shows the results of the experiments with our implementation of FFI with Refgraph GC. This FFI allows a Ruby program to access a JavaScript library.

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3591244

Reference30 articles.

1. David F. Bacon and V. T. Rajan . 2001. Concurrent Cycle Collection in Reference Counted Systems . In Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP ’01) . Springer-Verlag, Berlin, Heidelberg. 207–235. isbn:354042 2064 David F. Bacon and V. T. Rajan. 2001. Concurrent Cycle Collection in Reference Counted Systems. In Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP ’01). Springer-Verlag, Berlin, Heidelberg. 207–235. isbn:3540422064

2. DI Bevan . 1987. Distributed garbage collection using reference counting . In PARLE Parallel Architectures and Languages Europe, J. W. de Bakker, A. J. Nijman, and P. C. Treleaven (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 176–187. isbn:978-3-540-47181-3 DI Bevan. 1987. Distributed garbage collection using reference counting. In PARLE Parallel Architectures and Languages Europe, J. W. de Bakker, A. J. Nijman, and P. C. Treleaven (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 176–187. isbn:978-3-540-47181-3

3. Implementing remote procedure calls

4. Distributed garbage collection for general graphs