Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-26 Thread Paul E. McKenney
On Wed, Mar 27, 2013 at 12:48:20AM +0100, Frederic Weisbecker wrote: > 2013/3/25 Paul E. McKenney : > > On Mon, Mar 25, 2013 at 06:12:12PM +0100, Frederic Weisbecker wrote: > >> 2013/3/25 Paul E. McKenney : > >> > On Sun, Mar 24, 2013 at 03:46:40PM +0100, Frederic Weisbecker wrote: > >> >> 2013/3/2

Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-26 Thread Frederic Weisbecker
2013/3/25 Paul E. McKenney : > On Mon, Mar 25, 2013 at 06:12:12PM +0100, Frederic Weisbecker wrote: >> 2013/3/25 Paul E. McKenney : >> > On Sun, Mar 24, 2013 at 03:46:40PM +0100, Frederic Weisbecker wrote: >> >> 2013/3/24 Ingo Molnar : >> >> > >> >> > * Frederic Weisbecker wrote: >> >> > >> >> >>

Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-26 Thread Frederic Weisbecker
2013/3/26 Ingo Molnar : > > * Frederic Weisbecker wrote: > >> > That way I will be able to test it automatically via randconfig and >> > such. >> >> Sure, I'm adding such an option. >> >> > My next question/request after that would be: could we make sure that >> > enabling this option does not bre

Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-26 Thread Ingo Molnar
* Frederic Weisbecker wrote: > > That way I will be able to test it automatically via randconfig and > > such. > > Sure, I'm adding such an option. > > > My next question/request after that would be: could we make sure that > > enabling this option does not break any applications or kernel

Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-25 Thread Paul E. McKenney
On Mon, Mar 25, 2013 at 06:12:12PM +0100, Frederic Weisbecker wrote: > 2013/3/25 Paul E. McKenney : > > On Sun, Mar 24, 2013 at 03:46:40PM +0100, Frederic Weisbecker wrote: > >> 2013/3/24 Ingo Molnar : > >> > > >> > * Frederic Weisbecker wrote: > >> > > >> >> Hi Ingo, > >> >> > >> >> This settles

Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-25 Thread Frederic Weisbecker
2013/3/25 Paul E. McKenney : > On Sun, Mar 24, 2013 at 03:46:40PM +0100, Frederic Weisbecker wrote: >> 2013/3/24 Ingo Molnar : >> > >> > * Frederic Weisbecker wrote: >> > >> >> Hi Ingo, >> >> >> >> This settles the initial ground to start a special full dynticks tree in >> >> -tip >> >> that we c

Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-25 Thread Paul E. McKenney
On Sun, Mar 24, 2013 at 03:46:40PM +0100, Frederic Weisbecker wrote: > 2013/3/24 Ingo Molnar : > > > > * Frederic Weisbecker wrote: > > > >> Hi Ingo, > >> > >> This settles the initial ground to start a special full dynticks tree in > >> -tip > >> that we can iterate incrementally to accelerate t

Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-24 Thread Frederic Weisbecker
2013/3/24 Ingo Molnar : > > * Frederic Weisbecker wrote: > >> Hi Ingo, >> >> This settles the initial ground to start a special full dynticks tree in -tip >> that we can iterate incrementally to accelerate the development. >> It is based on tip:sched/core. >> >> I tried to rearrange a bit the nami

Re: [GIT PULL] nohz: Full dynticks base interface

2013-03-24 Thread Ingo Molnar
* Frederic Weisbecker wrote: > Hi Ingo, > > This settles the initial ground to start a special full dynticks tree in -tip > that we can iterate incrementally to accelerate the development. > It is based on tip:sched/core. > > I tried to rearrange a bit the naming. We are probably not yet done

[GIT PULL] nohz: Full dynticks base interface

2013-03-21 Thread Frederic Weisbecker
Hi Ingo, This settles the initial ground to start a special full dynticks tree in -tip that we can iterate incrementally to accelerate the development. It is based on tip:sched/core. I tried to rearrange a bit the naming. We are probably not yet done with that but I guess we can fix it along with