Re: [Xen-devel] [RFC PATCH v1 1/5] tasklet: Introduce per-cpu tasklet for softirq.

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 27.08.14 at 20:53, <andrew.cooper3@xxxxxxxxxx> wrote:
> On 27/08/14 18:58, Konrad Rzeszutek Wilk wrote:
>> +static inline void tasklet_unlock(struct tasklet *t)
>> +{
>> +    barrier();
> 
> clear_bit() has a memory clobber.  This barrier() is entirely redundant.

I think this just is an implementation artifact of clear_bit(), and
hence user shouldn't rely on that behavior.

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel