-
-
Notifications
You must be signed in to change notification settings - Fork 312
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
"palloc out of physical memory" problem with changed "make os" #295
Comments
@mhatzl Interesting! I am not seeing this issue on my Mac. Could you please post your output here? |
The output I get when running ./selfie -l selfie.m -m 2 -l selfie.m -y 1 -l selfie.m -m 1 I have added the following lines to selfie.c. They do nothing except taking up space. // mhatzl uint64_t* search_field_entry1(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry2(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry3(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry4(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry5(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry6(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry7(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry8(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry9(uint64_t* fields, char* name) { printf(name); field_entry = fields; uint64_t* search_field_entry10(uint64_t* fields, char* name) { printf(name); field_entry = fields; // mhatzl |
@mhatzl Please try: |
This works. As a sidenote, running
So it looks to me that running hypster with 1 MB was the problem. |
@mhatzl Ok, the issue is hypster then. What we actually need for proper diagnosis is hypster outputting an execution profile similar to mipster but with a focus on memory and ecalls performed on behalf of the virtualized process. That would have revealed the root cause. Would you be interested in implementing that in a PR? |
Unfortunately, I currently do not have enough time. |
I looked into this a little more. The
As discussed, I will open a Pull Request to change the |
The line
./selfie -l selfie.m -m 2 -l selfie.m -y 1 -l selfie.m -m 1
introduced with commit d17ddca for "make os" is too restrictive with memory.Adding ~1000 lines of code to the current base selfie implementation results in
palloc out of physical memory
.For me, using
./selfie -l selfie.m -m 3 -l selfie.m -y 2 -l selfie.m -m 1
resolved this error.The text was updated successfully, but these errors were encountered: