Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ownership constraints #12

Closed
TobiasWrigstad opened this issue Sep 25, 2024 · 2 comments
Closed

Ownership constraints #12

TobiasWrigstad opened this issue Sep 25, 2024 · 2 comments
Labels
enhancement New feature or request
Milestone
PLDI

Comments

@TobiasWrigstad
Copy link
Member

TobiasWrigstad commented Sep 25, 2024 •
edited by xFrednet
Loading

Region isolation

  • Inter-region references lead to freezing Implicit Freezing and close() functions #50
  • Intra-region references permitted ✔️
  • Reference from region object to objects owned by its region permitted ✔️
  • Reference to region object permitted ✔️

External uniqueness

  • Only one incoming reference to a region object from outside of the region ✔️

Borrowing

  • We permit references from the stack into open regions ✔️
@TobiasWrigstad TobiasWrigstad added the enhancement New feature or request label Sep 25, 2024
@TobiasWrigstad TobiasWrigstad added this to the PLDI milestone Sep 25, 2024
@xFrednet
Copy link
Collaborator

xFrednet commented Oct 9, 2024

Reference from region object to objects owned by its region permitted

Is this still relevant, if we reify regions? It feels like this feature would come for free if our reified region has a pointer to the region data. #11

@xFrednet
Copy link
Collaborator

I believe all of these have been implemented. I'll close the issue for now

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
PLDI
Development

No branches or pull requests
2 participants
@TobiasWrigstad @xFrednet