[lttng-dev] [PATCH] Fix: call_rcu_thread() affinity failure

Mathieu Desnoyers mathieu.desnoyers at efficios.com
Mon Jun 29 19:06:15 EDT 2015


----- On Jun 29, 2015, at 7:01 PM, Paul E. McKenney paulmck at linux.vnet.ibm.com wrote:

> On Mon, Jun 29, 2015 at 06:56:34PM -0400, Mathieu Desnoyers wrote:
>> Make call_rcu_thread() affine itself more persistently
>> 
>> Currently, URCU simply fails if a call_rcu_thread() fails to affine
>> itself. This is problematic when execution is constrained by cgroup
>> and hotunplugged CPUs. This commit therefore makes call_rcu_thread()
>> retry setting its affinity every 256 grace periods, but only if it
>> detects that it migrated to a different CPU. Since sched_getcpu() is
>> cheap on many architectures, this check is less costly than going
>> through a system call.
>> 
>> Reported-by: Michael Jeanson <mjeanson at efficios.com>
>> Suggested-by: Paul E. McKenney <paulmck at linux.vnet.ibm.com>
>> Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers at efficios.com>
> 
> A couple of issues, but otherwise good.  (They might even be issues
> with your code rather than my eyes, you never know!)

Your eyes are very good indeed. Fixing those 2 nits, and adding
your Acked-by.

Thanks!

Mathieu

> 
>							Thanx, Paul
> 
>> ---
>>  urcu-call-rcu-impl.h | 36 +++++++++++++++++++++++++++++++-----
>>  1 file changed, 31 insertions(+), 5 deletions(-)
>> 
>> diff --git a/urcu-call-rcu-impl.h b/urcu-call-rcu-impl.h
>> index 5cc02d9..b82a59b 100644
>> --- a/urcu-call-rcu-impl.h
>> +++ b/urcu-call-rcu-impl.h
>> @@ -45,6 +45,9 @@
>>  #include "urcu/ref.h"
>>  #include "urcu-die.h"
>> 
>> +#define SET_AFFINITY_CHECK_PERIOD		(1U << 8)	/* 256 */
>> +#define SET_AFFINITY_CHECK_PERIOD_MASK		(SET_AFFINITY_CHECK_PERIOD - 1)
>> +
>>  /* Data structure that identifies a call_rcu thread. */
>> 
>>  struct call_rcu_data {
>> @@ -62,6 +65,7 @@ struct call_rcu_data {
>>  	unsigned long qlen; /* maintained for debugging. */
>>  	pthread_t tid;
>>  	int cpu_affinity;
>> +	unsigned long gp_count;
>>  	struct cds_list_head list;
>>  } __attribute__((aligned(CAA_CACHE_LINE_SIZE)));
>> 
>> @@ -203,22 +207,42 @@ static void call_rcu_unlock(pthread_mutex_t *pmp)
>>  		urcu_die(ret);
>>  }
>> 
>> +/*
>> + * Periodically retry setting CPU affinity if we migrate.
>> + * Losing affinity can be caused by CPU hotunplug/hotplug, or by
>> + * cpuset(7).
>> + */
>>  #if HAVE_SCHED_SETAFFINITY
>>  static
>>  int set_thread_cpu_affinity(struct call_rcu_data *crdp)
>>  {
>>  	cpu_set_t mask;
>> +	int ret;
>> 
>>  	if (crdp->cpu_affinity < 0)
>>  		return 0;
>> +	if (++crdp->gp_count & SET_AFFINITY_CHECK_PERIOD_MASK)
>> +		return 0;
>> +	if (urcu_sched_getcpu() != crdp->cpu_affinity)
> 
> Don't we want "==" here instead of "!="?
> 
>> +		return 0;
>> 
>>  	CPU_ZERO(&mask);
>>  	CPU_SET(crdp->cpu_affinity, &mask);
>>  #if SCHED_SETAFFINITY_ARGS == 2
>> -	return sched_setaffinity(0, &mask);
>> +	ret = sched_setaffinity(0, &mask);
>>  #else
>> -	return sched_setaffinity(0, sizeof(mask), &mask);
>> +	ret = sched_setaffinity(0, sizeof(mask), &mask);
>>  #endif
>> +	/*
>> +	 * EINVAL is fine: can be caused by hotunplugged CPUs, or by
>> +	 * cpuset(7). This is why we should always retry is we detect
> 
> s/is we detect/if we detect/
> 
>> +	 * migration.
>> +	 */
>> +	if (ret && errno == EINVAL) {
>> +		ret = 0;
>> +		errno = 0;
>> +	}
>> +	return ret;
>>  }
>>  #else
>>  static
>> @@ -275,10 +299,8 @@ static void *call_rcu_thread(void *arg)
>>  	unsigned long cbcount;
>>  	struct call_rcu_data *crdp = (struct call_rcu_data *) arg;
>>  	int rt = !!(uatomic_read(&crdp->flags) & URCU_CALL_RCU_RT);
>> -	int ret;
>> 
>> -	ret = set_thread_cpu_affinity(crdp);
>> -	if (ret)
>> +	if (set_thread_cpu_affinity(crdp))
>>  		urcu_die(errno);
>> 
>>  	/*
>> @@ -298,6 +320,9 @@ static void *call_rcu_thread(void *arg)
>>  		struct cds_wfcq_node *cbs, *cbs_tmp_n;
>>  		enum cds_wfcq_ret splice_ret;
>> 
>> +		if (set_thread_cpu_affinity(crdp))
>> +			urcu_die(errno);
>> +
>>  		if (uatomic_read(&crdp->flags) & URCU_CALL_RCU_PAUSE) {
>>  			/*
>>  			 * Pause requested. Become quiescent: remove
>> @@ -391,6 +416,7 @@ static void call_rcu_data_init(struct call_rcu_data **crdpp,
>>  	crdp->flags = flags;
>>  	cds_list_add(&crdp->list, &call_rcu_data_list);
>>  	crdp->cpu_affinity = cpu_affinity;
>> +	crdp->gp_count = 0;
>>  	cmm_smp_mb();  /* Structure initialized before pointer is planted. */
>>  	*crdpp = crdp;
>>  	ret = pthread_create(&crdp->tid, NULL, call_rcu_thread, crdp);
>> --
>> 2.1.4

-- 
Mathieu Desnoyers
EfficiOS Inc.
http://www.efficios.com



More information about the lttng-dev mailing list