Re: sched_userret priority adjustment patch for sched_4bsd
From: Daniel Eischen (deischen_at_freebsd.org)
Date: 09/29/04
- Previous message: John Baldwin: "Re: scheduler (sched_4bsd) questions"
- In reply to: Julian Elischer: "Re: sched_userret priority adjustment patch for sched_4bsd"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Wed, 29 Sep 2004 17:00:36 -0400 (EDT) To: Julian Elischer <julian@elischer.org>
On Wed, 29 Sep 2004, Julian Elischer wrote:
>
>
> John Baldwin wrote:
>
> >
> >That's ok. This discussion has been very fruitful on my end at least as
> >talking this out has helped me get a much better grasp on how this stuff
> >works on 4.x and should be done in 5.x to obtain at least somewhat similar
> >behavior.
> >
>
>
> well if you've worked it out,.. do let the rest of us know :-)
>
> I do think that there are several points that need work..
> 1/ kse threads are ephemeral, and so they don't gather any 'history'.
> therefore it needs to be gathered somewher eelse.. (e.g. the ksegrp,
> but what does that actually mean?)
> 2/ what if the kg has both long-running and interractive threads?
> 3/ sibling thread affinity and how that affects priority and scheduling.
>
>
> We COULD store information in the mailbox..
> but then we need to trust the user with it..
> So then where do we store it?
>
> I have considerrred a store of 'cached' and "hashed" (like the buffer
> cache) sched-info structs that are recycled
> in a least-recently used manner.. when you get a thread with a mailbox
> you look for a sched-stats block
> corresponding with that mailbox address and use it..
> if yu don't find it then you know that thread has not run for a long time..
> so you grab the least-recently used one and recycle it as that thread
> hasn't run for a while.
> Basically the kernel could keep stats on behalf of the most active KSE
> threads in an efficient manner.
> The small stats structs would need to be only about 8 words..
> (4 for 2 x doubel links. one for mailbox addr/key, and 3 for sched stats.)
> In effect the kernel keeps tabs on the most active user threads without
> the UTS knowing about it.
Remember that the UTS (IAW POSIX) should be in charge of which
threads run _within_ a process. Across processes, and for system
scope threads, that's another story.
I think it would be cool if the UTS could store its version
of priority in the thread mailbox, and the kernel would use
this as a hint for which threads should get worked on when
blocked in the kernel. For instance, if a thread is currently
running with high priority and it makes a system call, that's
a chance for the kernel to continue other blocked threads.
But if the other blocked threads are all of lower (UTS)
priority, you might not want to continue them (or upcall)
when the currently running thread has a higher priority.
-- Dan Eischen _______________________________________________ freebsd-arch@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-arch To unsubscribe, send any mail to "freebsd-arch-unsubscribe@freebsd.org"
- Previous message: John Baldwin: "Re: scheduler (sched_4bsd) questions"
- In reply to: Julian Elischer: "Re: sched_userret priority adjustment patch for sched_4bsd"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
- RE: [RFC/PATCH] FUSYN Realtime & Robust mutexes for Linux try 2
... > implementation can be moved from kernel space to userspace, ... - robustness:
you need the kernel help, at least to identify the dead ... it can be dangerous to promote the
priority of task B, ... it can do everything waitqueues do with the priority based
interface. ... (Linux-Kernel) - RE: [RFC/PATCH] FUSYN Realtime & Robust mutexes for Linux try 2
... this wake up has to be by priority. ... >> kernel by definition
knows nil about the mutex, ... > I haven't thought through whether keeping a mutex in KCO
mode has this ... >> identify the owner and most of fusyn's benefits disappear.
... (Linux-Kernel) - [RFC/PATCH] FUSYN Realtime & robust mutexes for Linux try 2.2
... This is a new release of the code for providing a user and kernel ... behavior,
priority inversion protection (through serialized unlocks, ... - Finally finish implementing
priority protection; the core is ... (Linux-Kernel) - Re: [PATCH 1/19] MUTEX: Introduce simple mutex implementation
... > I really can't think of any blocking kernel lock where priority ... Linux
are an extremely poor candidate for priority inheritance. ... have _one_ central lock
implementation. ... (Linux-Kernel) - Re: [RFC/PATCH] FUSYN Realtime & Robust mutexes for Linux try 2
... implementation can be moved from kernel space to userspace, ... it can be dangerous
to promote the priority of task B, ... - It's very unpleasant that rwlocks enter
the kernel when there is ... Futex should do this too; multiplexing syscalls like the one
in ... (Linux-Kernel)