Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.kernel > #1652954

Re: [PATCH 6/7] sched/rt: make it configurable

From Peter Zijlstra <peterz@infradead.org>
Newsgroups linux.kernel
Subject Re: [PATCH 6/7] sched/rt: make it configurable
Date 2017-05-30 10:50 +0200
Message-ID <tML0J-504-3@gated-at.bofh.it> (permalink)
References <tMAeZ-5J1-7@gated-at.bofh.it> <tMAeZ-5J1-5@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw

On Mon, May 29, 2017 at 05:03:01PM -0400, Nicolas Pitre wrote:

> @@ -1303,8 +1303,17 @@ config SCHED_AUTOGROUP
>  	  desktop applications.  Task group autogeneration is currently based
>  	  upon task session.
>  
> +config SCHED_RT
> +	bool "Real Time Task Scheduling" if EXPERT
> +	default y
> +	help
> +	  This adds the sched_rt scheduling class to the kernel providing
> + 	  support for the SCHED_FIFO and SCHED_RR policies. You might want
> +	  to disable this to reduce the kernel size. If unsure say y.
> +
>  config SCHED_DL
>  	bool "Deadline Task Scheduling" if EXPERT
> +	depends on SCHED_RT
>  	default y
>  	help
>  	  This adds the sched_dl scheduling class to the kernel providing
> @@ -1632,6 +1641,7 @@ config BASE_FULL
>  config FUTEX
>  	bool "Enable futex support" if EXPERT
>  	default y
> +	depends on SCHED_RT
>  	select RT_MUTEXES
>  	help
>  	  Disabling this option will cause the kernel to be built without

Aside from all the other completely non-starter #ifdeffery trainwrecks,
this is just plain wrong.

Back to linux.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

[PATCH 6/7] sched/rt: make it configurable Nicolas Pitre <nicolas.pitre@linaro.org> - 2017-05-29 23:20 +0200
  Re: [PATCH 6/7] sched/rt: make it configurable Peter Zijlstra <peterz@infradead.org> - 2017-05-30 10:50 +0200
    Re: [PATCH 6/7] sched/rt: make it configurable Nicolas Pitre <nicolas.pitre@linaro.org> - 2017-05-30 14:20 +0200
      Re: [PATCH 6/7] sched/rt: make it configurable Peter Zijlstra <peterz@infradead.org> - 2017-05-30 14:40 +0200
        Re: [PATCH 6/7] sched/rt: make it configurable Nicolas Pitre <nicolas.pitre@linaro.org> - 2017-05-31 04:20 +0200
        Re: [PATCH 6/7] sched/rt: make it configurable Daniel Bristot de Oliveira <bristot@redhat.com> - 2017-05-31 12:00 +0200
          Re: [PATCH 6/7] sched/rt: make it configurable Peter Zijlstra <peterz@infradead.org> - 2017-05-31 12:50 +0200
  Re: [6/7] sched/rt: make it configurable Rob Herring <robh@kernel.org> - 2017-05-31 18:10 +0200
    Re: [6/7] sched/rt: make it configurable Nicolas Pitre <nicolas.pitre@linaro.org> - 2017-05-31 18:30 +0200

csiph-web