|
|
|
|
|
|
|
|
|
|
xen-devel
Re: [Xen-devel] [PATCH] tools: fix build after recent xenpaging changes
On Fri, 2011-06-24 at 14:32 +0100, Olaf Hering wrote:
> On Fri, Jun 24, Ian Campbell wrote:
>
> > On Fri, 2011-06-24 at 13:16 +0100, Tim Deegan wrote:
> > > tools: fix build after recent xenpaging changes
> > > xenpaging now uses pthreads, so must link appropriately.
> >
> > Why does 23625:c49e22648d0e need a new thread to do the page in on exit?
> > Can't it just signal the main loop to do it?
>
> If the page is mappend and the gfn is not there, the attempt to map it
> may block. I havent tried it, and I think the current code will not
> block (linux_privcmd_map_foreign_bulk will just loop).
> If it does block, the mainloop can not proceed and process the page-in
> request.
It doesn't return EINTR due to the signal?
I wonder if it would be worth investigating setjmp here?
>
> > Also page_in_trigger doesn't seem safe to me:
> > +void page_in_trigger(unsigned long gfn)
> > +{
> > + if (!page_in_possible)
> > + return;
> > +
> > + pthread_mutex_lock(&page_in_mutex);
> > + page_in_gfn = gfn;
> > + pthread_mutex_unlock(&page_in_mutex);
> > + pthread_cond_signal(&page_in_cond);
> > +}
> >
> > Two back to back calls to this function (which is what the caller will
> > do) will both update page_in_gfn without the page in thread necessarily
> > running in the interim. i.e. the first gfn may be missed. I don't think
> > pthread_cond_signal makes any guarantees about whether this thread or
> > the signalled thread will run afterwards. For this approach to woek
> > page_in_gfn really needs to remain locked until the page in thread has
> > finished with that particular entry, or you need s return signal, or a
> > queue, or whatever.
>
> Its coded after an example in the APUE book. The page-in thread grabs a
> copy of page_in_gfn.
But there is no interlock between the page-in thread and page-in
trigger. IOW it is possible to do
>loop over pages
page_in_trigger(1)
lock
page_in_gfn = 1
unlock
signal page-in thread (but it doesn't get scheduled yet, for whatever
reason)
>next iteration of loop
page_in_trigger(2)
lock
page_in_gfn = 2
unlock
>>> page-in thread (signalled above) finally gets to run and preempts us
page_in_thread
lock
read page_in_gfn ==> 2 *** we've missed page 1 ***
unlock
> Are you saying page_in_trigger() can be called
> more than once while xc_map_foreign_pages()/munmap() is being called?
The loop is:
for ( i = 0; i < paging->domain_info->max_pages; i++ )
{
if ( test_bit(i, paging->bitmap) )
{
page_in_trigger(i);
break;
}
}
There is nothing to stop it going round again as fast as it wants. The
xc_map_foreign_pages()/munmap() are in another thread and so can be
running in parallel and/or you don't control the preemption between the
two threads.
In fact since the page-in thread is doing relatively expensive work I'd
expect that the trigger loop would get to run several iterations for
each time the page-in loop ran..
>
> If the caller of page_in_trigger will find the gfn is still in paging
> state, it will just try again.
I don't see where it would go back and try page 1 again if it gets
missed (as in the above example)
Ian.
>
> Olaf
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
|
|
|
|