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.

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

Commit limit causes assertion failure #288

Open
ellerh opened this issue Jul 10, 2024 · 0 comments
Open

Commit limit causes assertion failure #288

ellerh opened this issue Jul 10, 2024 · 0 comments
Assignees
Labels
essential Will cause failure to meet customer requirements. Assign resources. needs analaysis The issue needs analysis before it can be resolved.

Comments

@ellerh
Copy link

ellerh commented Jul 10, 2024

The attached program terminates with this message:

The MPS detected a problem!
trace.c:1088: MPS ASSERTION FAILED: band != RankWEAK || rank == band
See the "Assertions" section in the reference manual:
https://www.ravenbrook.com/project/mps/master/manual/html/topic/error.html#assertions
Aborted

The program sets a commmit limit, creates a weak array and then creates a long list.
The assertion is not always triggered; it seems to depend on the commit limit and the size of the weak array.

I suspect that the AMC pool is in emergency mode and that in emergency mode the assumptions made by the assertion don't hold.

commit_limit_test.c

@thejayps thejayps self-assigned this Jul 22, 2024
@thejayps thejayps added needs analaysis The issue needs analysis before it can be resolved. essential Will cause failure to meet customer requirements. Assign resources. labels Jul 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
essential Will cause failure to meet customer requirements. Assign resources. needs analaysis The issue needs analysis before it can be resolved.
Projects
None yet
Development

No branches or pull requests

2 participants