Logo image
Unshareable dynamic objects and how to resolve a conflict between encapsulation and pointers
Technical documentation   Open access

Unshareable dynamic objects and how to resolve a conflict between encapsulation and pointers

Naftaly H. Minsky
Rutgers University
1995
DOI:
https://doi.org/10.7282/t3-q23g-c983

Abstract

This paper introduces the concept of an unshareable dynamic object, i.e., an object that is created dynamically on the heap, and is guaranteed to have a unique and movable pointer leading to it. The use of such unshareable objects, whenever sharing is not required, is expected to fortify the concept of encapsulation, to make systems simpler and easier to reason about, and to make storage management safer and more efficient. We argue that unshareable objects can be implemented by means of few minor and virtually costless modifications in conventional OO languages, and we demonstrate this in detail
pdf
lcsr-tr-239232.23 kBDownloadView
Version of Record (VoR) Technical Documentation Open Access
url
Report an accessibility issueView
Please complete a content remediation request to report an accessibility issue with a library electronic resource, website, or service.

Metrics

43 File downloads
57 Record Views

Details

Logo image