[PATCH 1/2] rcu: Remove unnecessary condition in rcu_implicit_dynticks_qs

2016-11-08 Thread Byungchul Park
Given two conditions like, COND 1. jiffies >= rdp->rsp->gp_start + 2 * jiffies_till_sched_qs COND 2. jiffies >= rdp->rsp->gp_start + jiffies_till_sched_qs A set of jiffies satisfying COND 2 includes another set satisfying COND 1. Thus COND 1 can be removed from a condition, (COND 1 || COND 2).

[PATCH 1/2] rcu: Remove unnecessary condition in rcu_implicit_dynticks_qs

2016-11-08 Thread Byungchul Park
Given two conditions like, COND 1. jiffies >= rdp->rsp->gp_start + 2 * jiffies_till_sched_qs COND 2. jiffies >= rdp->rsp->gp_start + jiffies_till_sched_qs A set of jiffies satisfying COND 2 includes another set satisfying COND 1. Thus COND 1 can be removed from a condition, (COND 1 || COND 2).