Re: [RFC PATCH 0/2] Introduce reserved Xenheap

[Julien Grall <julien@xxxxxxx>]

On 28/02/2022 07:12, Henry Wang wrote:
> Hi Julien,
Hi Henry,

> > -----Original Message-----
> > From: Julien Grall <julien@xxxxxxx>
> > Sent: Saturday, February 26, 2022 4:09 AM
> > To: Henry Wang <Henry.Wang@xxxxxxx>; xen-devel@xxxxxxxxxxxxxxxxxxxx;
> > sstabellini@xxxxxxxxxx
> > Cc: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>; Wei Chen
> > <Wei.Chen@xxxxxxx>; Penny Zheng <Penny.Zheng@xxxxxxx>
> > Subject: Re: [RFC PATCH 0/2] Introduce reserved Xenheap
> >
> > Hi Henry,
> >
> > On 24/02/2022 01:30, Henry Wang wrote:
> > > The reserved Xenheap, or statically configured Xenheap, refers to parts
> > > of RAM reserved in the beginning for Xenheap. Like the static memory
> > > allocation, such reserved Xenheap regions are reserved by configuration
> > > in the device tree using physical address ranges.
> > In Xen, we have the concept of domheap and xenheap. For Arm64 and x86
> > they would be the same. But for Arm32, they would be different: xenheap
> > is always mapped whereas domheap is separate.
> >
> > Skimming through the series, I think you want to use the region for both
> > domheap and xenheap. Is that correct?
> Yes I think that would be correct, for Arm32, instead of using the full
> `ram_pages` as the initial value of `heap_pages`, we want to use the
> region specified in the device tree. But we are confused if this is the
> correct (or preferred) way for Arm32, so in this series we only
> implemented the reserved heap for Arm64.
That's an interesting point. When I skimmed through the series on 
Friday, my first thought was that for arm32 it would be only xenheap (so
all the rest of memory is domheap).

However, Xen can allocate memory from domheap for its own purpose (e.g. 
we don't need contiguous memory, or for page-tables).
In a fully static environment, the domheap and xenheap are both going to 
be quite small. It would also be somewhat difficult for a user to size 
it. So I think, it would be easier to use the region you introduce for 
both domheap and xenheap.
Stefano, Bertrand, any opionions?

On a separate topic, I think we need some documentation explaining how a 
user can size the xenheap. How did you figure out for your setup?
> > Furthemore, now that we are introducing more static region, it will get
> > easier to overlap the regions by mistakes. I think we want to have some
> > logic in Xen (or outside) to ensure that none of them overlaps. Do you
> > have any plan for that?
> Totally agree with this idea, but before we actually implement the code,
> we would like to firstly share our thoughts on this: One option could be to
> add data structures to notes down these static memory regions when the
> device tree is parsed, and then we can check if they are overlapped.
This should work.

> Over
> the long term (and this long term option is currently not in our plan),
> maybe we can add something in the Xen toolstack for this usage?
When I read "Xen toolstack", I read the tools that will run in dom0. Is 
it what you meant?
> Also, I am wondering if the overlapping check logic should be introduced
> in this series. WDYT?
I would do that in a separate series.

Cheers,

--
Julien Grall