lkml.org 
[lkml]   [2013]   [May]   [30]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [GIT PULL] nohz fixes
    On Wed, May 29, 2013 at 06:39:39PM +0200, Frederic Weisbecker wrote:
    > Ingo,
    >
    > Please pull the timers/urgent-for-tip branch that can be found at:
    >
    > git://git.kernel.org/pub/scm/linux/kernel/git/frederic/linux-dynticks.git
    > timers/urgent-for-tip

    Please rather pull timers/urgent-for-tip-v2, it removes
    "nohz: Prevent broadcast source from stealing full dynticks timekeeping duty"
    and includes "tick: Remove useless timekeeping duty attribution to broadcast source"
    instead, acked by Thomas.

    Thanks.

    >
    > Only the 6th patch is new so I'm posting it along, the others have been
    > posted a few days ago.
    >
    > Thanks,
    > Frederic
    > ---
    >
    > Frederic Weisbecker (4):
    > vtime: Use consistent clocks among nohz accounting
    > watchdog: Boot-disable by default on full dynticks
    > kvm: Move guest entry/exit APIs to context_tracking
    > nohz: Prevent broadcast source from stealing full dynticks timekeeping duty
    >
    > Li Zhong (1):
    > nohz: Fix notifier return val that enforce timekeeping
    >
    > Steven Rostedt (1):
    > nohz: Warn if the machine can not perform nohz_full
    >
    >
    > include/linux/context_tracking.h | 35 +++++++++++++++++++++++++++++++++++
    > include/linux/kvm_host.h | 37 +------------------------------------
    > include/linux/vtime.h | 4 ++--
    > kernel/context_tracking.c | 1 -
    > kernel/sched/core.c | 2 +-
    > kernel/sched/cputime.c | 6 +++---
    > kernel/time/tick-broadcast.c | 11 ++++++++---
    > kernel/time/tick-sched.c | 7 ++++++-
    > kernel/watchdog.c | 6 ++++++
    > 9 files changed, 62 insertions(+), 47 deletions(-)


    \
     
     \ /
      Last update: 2013-05-31 02:01    [W:4.460 / U:0.036 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site