Dmitrii Kuvaiskii

@haitaohuang Thanks for your inputs! Some comments below. > even EPCM.R/W/X could be out of sync from libOS VMA record Why would the EPCM attributes be out of sync from...

> > I'd like to stress that this bitmap vector is introduced purely for the #PF handling (minor page faults due to not-yet-committed enclave pages). > > hmm... But shouldn't...

@haitaohuang Thanks again for more insights! > After mprotect to change VMA to RX, before EMODPR, EMODPE, EACCEPT are done to finish change EPCM, another thread may come in and...

Please use our bug-reporting template, and do not include screenshots. Maybe you have very low `sgx.enclave_size` option in your manifest file? Try to increase its value.

Wow. I don't see any issue/any changes in our sources, e.g.: ``` ... .. note:: If you plan to contribute changes to Gramine, then you should always build it with...

> One solution would be to downgrade docutils to `

I don't know, I would still just downgrade the docutils.

This feels like a concurrency issue. We have two tests for SGX signing keys: - https://github.com/gramineproject/gramine/blob/7e260b175b7afa48af1dc55b754f52361e6c971f/tests/test_sgx_sign.py#L56 - https://github.com/gramineproject/gramine/blob/7e260b175b7afa48af1dc55b754f52361e6c971f/tests/test_sgx_sign.py#L70 We run them using classic PyTest: - https://github.com/gramineproject/gramine/blob/7e260b175b7afa48af1dc55b754f52361e6c971f/.ci/lib/stage-test.jenkinsfile#L58-L68 And these two tests...

> This seems to happen after the ipc handler has visited the async_list and called PalStreamsWaitEvents() with the free()'d PAL_HANDLE still in the list. @stefanberger I don't understand what you're...

> Alternative solution for now -- to prevent these "assert failed" cases -- is to remove this logic completely from Gramine. It's clearly unused, and it only introduces bugs into...