Re: [PATCH 4/5] lock_cpu_hotplug: Redesign - Lightweightimplementation of lock_cpu_hotplug.

[Paul Jackson]

Gautham wrote:
+ *- Readers assume control iff:					*
+ *    a) No other reader has a reference and no writer is writing.	*
+ *    OR								*
+ *    b) Atleast one reader (on *any* cpu) has a reference.		*

Isn't this logically equivalent to stating:

  *- Readers assume control iff no writer is writing

(Or if it's not equivalent, it might be interesting to state why.)

-- 
                  I won't rest till it's the best ...
                  Programmer, Linux Scalability
                  Paul Jackson <pj@xxxxxxx> 1.925.600.0401
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/