ULE problems on HTT SMP

[Andrew Gallatin]

Jeff Roberson writes:
 > On Fri, 27 Jun 2003, John Baldwin wrote:
 > 
 > >
 > > On 27-Jun-2003 Andrew Gallatin wrote:
 > > >
 > > > Jeff Roberson writes:
 > > >  >
 > > >  > Can you call kseq_print(0) and kseq_print(1) from ddb?
 > > >  >
 > > >
 > > > I found a different problem which is nearly as interesting.
 > > > Note that ps thinks sysctl is on cpu 255...
 > >
 > > #define NOCPU   0xff            /* For when we aren't on a CPU. (SMP) */
 > >
 > > So that isn't but so interesting. :)
 > 
 > The problem is that the logical cpu halting code does not put the halted
 > CPU in the stopped cpus set.  ULE has no way of knowing that it can not
 > migrate a thread to this cpu.  I'd prefer it if you could make this change
 > John, but I can certainly do it if you're busy.
 > 

Does this mean that if, as a temporary measure, I disable
machdep.cpu_idle_hlt, ULE should work for me?

Thanks,

Drew