On Thu, 2023-10-12 at 08:27 -0500, Haitao Huang wrote:
On Tue, 10 Oct 2023 19:51:17 -0500, Huang, Kai <kai.huang@xxxxxxxxx> wrote:
[...]
> (btw, even you track VA/SECS pages in unreclaimable list, given they
> both have
> 'enclave' as the owner, do you still need SGX_EPC_OWNER_ENCL and
> SGX_EPC_OWNER_PAGE ?)
Let me think about it, there might be also a way just track encl objects
not unreclaimable pages.
I still not get why we need kill the VM not just remove just enough pages.
Is it due to the static allocation not able to reclaim?
We can choose to "just remove enough EPC pages". The VM may or may not be
killed when it wants the EPC pages back, depending on whether the current EPC
cgroup can provide enough EPC pages or not. And this depends on how we
implement the cgroup algorithm to reclaim EPC pages.
One problem could be: for a EPC cgroup only has SGX VMs, you may end up with
moving EPC pages from one VM to another and then vice versa endlessly,
because
you never really actually mark any VM to be dead just like OOM does to the
normal enclaves.
From this point, you still need a way to kill a VM, IIUC.
I think the key point of virtual EPC vs cgroup, as quoted from Sean, should be
"having sane, well-defined behavior".
Does "just remove enough EPC pages" meet this? If the problem mentioned above
can be avoided, I suppose so? So if there's an easy way to achieve, I guess it
can be an option too.
But for the initial support, IMO we are not looking for a perfect but yet
complicated solution. I would say, from review's point of view, it's preferred
to have a simple implementation to achieve a not-prefect, but consistent, well-
defined behaviour.
So to me looks killing the VM when cgroup cannot reclaim any more EPC pages is a
simple option.
But I might have missed something, especially since middle of last week I have
been having fever and headache :-)
So as mentioned above, you can try other alternatives, but please avoid
complicated ones.
Also, I guess it will be helpful if we can understand the typical SGX app and/or
SGX VM deployment under EPC cgroup use case. This may help us on justifying why
the EPC cgroup algorithm to select victim is reasonable.