Re: [PATCH v1 13/13] xen: make static shared memory supported in SUPPORT.md

[Julien Grall <julien@xxxxxxx>]

Hi Penny,

On 15/11/2022 02:52, Penny Zheng wrote:
> After patching previous commits, we could make feature of "static shared memory"
Are you referring to the patch in this series? If so, they seem to had 
new features which I don't think are necessary to mark the "static 
shared memory".
Instead, "static shared memory" could be marked as supported if we 
believe that the new code has no security hole.
Looking below, the STATIC_SHM depends on STATIC_MEMORY which is 
currently unsupported. So it seems a bit strange to mark one supported 
but not the other.
Now, in order to support them, we need to make sure that the XENMEM_* 
operations are working as intended. I know there are some works that 
were done in the past, but I can't exactly remember if we fixed 
everything. So what happen if the domain (consider the case where the 
domain is directmapped or not):
  1) Remove the page?
  2) Remove the page twice? (Only in the directmap case)
  3) Request to map the page?

Cheers,

--
Julien Grall