On 11/23/2016 06:19 PM, Mike Galbraith wrote: > On Wed, 2016-11-23 at 17:05 +0100, Michael Kerrisk (man-pages) wrote: >>> I don't think we need group scheduling details, there's plenty of >>> documentation elsewhere for those who want theory. >> >> Actually, which documentation were you referring to here? > > Documentation/scheduler/* I think there's a lot less information in there than you think... Certainly, I can't get any big picture from reading those docs. Cheers Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
