A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages - Archive ouverte HAL
Article Dans Une Revue The Art, Science, and Engineering of Programming Année : 2023

A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages

A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages

Résumé

In object-oriented languages, method visibility modifiers hold a key role in separating internal methods from the public API. Protected visibility modifiers offer a way to hide methods from external objects while authorizing internal use and overriding in subclasses. While present in main statically-typed languages, visibility modifiers are not as common or mature in dynamically-typed languages. In this article, we present ProtDyn, a self-send-based visibility model calculated at compile time for dynamically-typed languages relying on name-mangling and syntactic differentiation of self vs non self sends. We present #Pharo, a ProtDyn implementation of this model that is backwards compatible with existing programs, and its port to Python. Using these implementations we study the performance impact of ProtDyn on the method lookup, in the presence of global lookup caches and polymorphic inline caches. We show that our name mangling and double method registration technique has a very low impact on performance and keeps the benefits from the global lookup cache and polymorphic inline cache. We also show that the memory overhead on a real use case is between 2 % and 13 % in the worst-case scenario. Protected modifier semantics enforces encapsulation such as private but allow developers to still extend the class in subclasses. ProtDyn offers a VM-agnostic and backwards-compatible design to introduce protected semantics in dynamically-typed languages.
Fichier principal
Vignette du fichier
programming.pdf (918.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04119017 , version 1 (06-06-2023)
hal-04119017 , version 2 (23-12-2024)

Licence

Identifiants

Citer

Iona Thomas, Vincent Aranega, Stéphane Ducasse, Guillermo Polito, Pablo Tesone. A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages. The Art, Science, and Engineering of Programming, 2023, ⟨10.22152/programming-journal.org/2024/8/2⟩. ⟨hal-04119017v2⟩
202 Consultations
50 Téléchargements

Altmetric

Partager

More