Current-Users archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: Xen MP panics in cpu_switchto()
On Mon, Jan 13, 2020 at 07:36:41PM +0100, Manuel Bouyer wrote:
> On Mon, Jan 13, 2020 at 06:33:08PM +0000, Andrew Doran wrote:
> > On Mon, Jan 13, 2020 at 05:43:51PM +0100, Manuel Bouyer wrote:
> >
> > > On Mon, Jan 13, 2020 at 04:59:50PM +0100, Manuel Bouyer wrote:
> > > > It also sets rsp and rbp. I think rbp is not set by anything else, at last
> > > > in the Xen case.
> > > > The different rbp value would explain why in one case we hit a KASSERT()
> > > > in lwp_startup later.
> > > > But I don't know what pcb_rbp contains; I couldn't find where the pcb for
> > > > idlelwp is initialized.
> > >
> > > I tried the attached patch, which should set rsp/rbp as cpu_switchto()
> > > does. It doens't cause the lwp_startup() KASSERT as calling cpu_switchto()
> > > does; it also doesn't change the scheduler behavior.
> >
> > Wait - do you mean that everything works now? Or that everything still runs
> > on CPU0?
>
> No, everything still runs on CPU0
Hmm, I don't understand why. I'll set up Xen and try it out. It might take
me a day or two.
> > The very first thing that idle_loop() does on amd64/i386 is set up the frame
> > pointer - ebp/rbp.
> >
> > 0000000000000000 <idle_loop>:
> > 0: 55 push %rbp
> > 1: 48 89 e5 mov %rsp,%rbp
> > 4: 41 56 push %r14
> > 6: 41 55 push %r13
>
> OK, so it's OK that my patch doesn't changes anything.
> And so I still don't understand the KASSERT when cpu_switchto() is called
> before idle_loop().
The assertion in lwp_startup() is because I made MI changes so that prevlwp
is never NULL when calling cpu_switchto(), when fixing some bugs problems MP
support on !x86 and make things more correct. lwp_startup()/mi_switch() now
need to unlock prevlwp after it is finished in cpu_switchto(). I never
expected anybody but mi_switch() to call cpu_switchto().
Andrew
Home |
Main Index |
Thread Index |
Old Index