llist: fix/simplify llist_add() and llist_add_batch()
authorOleg Nesterov <oleg@redhat.com>
Mon, 8 Jul 2013 21:24:18 +0000 (14:24 -0700)
committerAl Viro <viro@zeniv.linux.org.uk>
Sat, 13 Jul 2013 09:29:24 +0000 (13:29 +0400)
commitfb4214db50b00558cc6e274c88b3f7325068e942
tree17a68a322310eaeb5bd3c3885ccdd14191f8b7bd
parent4f5e65a1cc90bbb15b9f6cdc362922af1bcc155a
llist: fix/simplify llist_add() and llist_add_batch()

1. This is mostly theoretical, but llist_add*() need ACCESS_ONCE().

   Otherwise it is not guaranteed that the first cmpxchg() uses the
   same value for old_entry and new_last->next.

2. These helpers cache the result of cmpxchg() and read the initial
   value of head->first before the main loop. I do not think this
   makes sense. In the likely case cmpxchg() succeeds, otherwise
   it doesn't hurt to reload head->first.

   I think it would be better to simplify the code and simply read
   ->first before cmpxchg().

Signed-off-by: Oleg Nesterov <oleg@redhat.com>
Cc: Al Viro <viro@zeniv.linux.org.uk>
Cc: Andrey Vagin <avagin@openvz.org>
Cc: "Eric W. Biederman" <ebiederm@xmission.com>
Cc: David Howells <dhowells@redhat.com>
Cc: Huang Ying <ying.huang@intel.com>
Cc: Peter Zijlstra <a.p.zijlstra@chello.nl>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
include/linux/llist.h
lib/llist.c