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

HAMT preserve() issue for ackermann(4, 1) #87

Closed
ashelkovnykov opened this issue Sep 19, 2023 · 1 comment
Closed

HAMT preserve() issue for ackermann(4, 1) #87

ashelkovnykov opened this issue Sep 19, 2023 · 1 comment
Labels
bug Something isn't working

Comments

@ashelkovnykov
Copy link
Contributor

If you clone the as/trace branch from #59 and attempt to change the call to the Ackermann function in the toddler pill from [2 1] to [4 1], Ares will crash with an error in the HAMT while trying to run preserve().

I believe it's an overflow error: the HAMT will attempt to call preserve on an IndirectAtom whose usize is returned as 16140918534541148574 words.

I tried debugging the issue, but I'm too unfamiliar with the HAMT to make any headway, and it's not integral to my work on stack traces and interrupts.
@eamsden eamsden added the bug Something isn't working label Sep 29, 2023
@eamsden eamsden mentioned this issue Oct 3, 2023
Merged
@ashelkovnykov
Copy link
Contributor Author

Fixed by #98

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@eamsden @ashelkovnykov