Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 1 | /* |
| 2 | * Lock-less NULL terminated single linked list |
| 3 | * |
| 4 | * The basic atomic operation of this list is cmpxchg on long. On |
| 5 | * architectures that don't have NMI-safe cmpxchg implementation, the |
Ingo Molnar | 2c30245 | 2011-10-04 12:43:11 +0200 | [diff] [blame] | 6 | * list can NOT be used in NMI handlers. So code that uses the list in |
| 7 | * an NMI handler should depend on CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG. |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 8 | * |
| 9 | * Copyright 2010,2011 Intel Corp. |
| 10 | * Author: Huang Ying <ying.huang@intel.com> |
| 11 | * |
| 12 | * This program is free software; you can redistribute it and/or |
| 13 | * modify it under the terms of the GNU General Public License version |
| 14 | * 2 as published by the Free Software Foundation; |
| 15 | * |
| 16 | * This program is distributed in the hope that it will be useful, |
| 17 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 18 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 19 | * GNU General Public License for more details. |
| 20 | * |
| 21 | * You should have received a copy of the GNU General Public License |
| 22 | * along with this program; if not, write to the Free Software |
| 23 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| 24 | */ |
| 25 | #include <linux/kernel.h> |
Paul Gortmaker | 8bc3bcc | 2011-11-16 21:29:17 -0500 | [diff] [blame] | 26 | #include <linux/export.h> |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 27 | #include <linux/llist.h> |
| 28 | |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 29 | |
| 30 | /** |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 31 | * llist_add_batch - add several linked entries in batch |
| 32 | * @new_first: first entry in batch to be added |
| 33 | * @new_last: last entry in batch to be added |
| 34 | * @head: the head for your lock-less list |
Huang Ying | 781f7fd | 2011-09-08 14:00:45 +0800 | [diff] [blame] | 35 | * |
| 36 | * Return whether list is empty before adding. |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 37 | */ |
Huang Ying | 781f7fd | 2011-09-08 14:00:45 +0800 | [diff] [blame] | 38 | bool llist_add_batch(struct llist_node *new_first, struct llist_node *new_last, |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 39 | struct llist_head *head) |
| 40 | { |
Oleg Nesterov | fb4214d | 2013-07-08 14:24:18 -0700 | [diff] [blame] | 41 | struct llist_node *first; |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 42 | |
Oleg Nesterov | fb4214d | 2013-07-08 14:24:18 -0700 | [diff] [blame] | 43 | do { |
Mark Rutland | 6aa7de0 | 2017-10-23 14:07:29 -0700 | [diff] [blame] | 44 | new_last->next = first = READ_ONCE(head->first); |
Oleg Nesterov | fb4214d | 2013-07-08 14:24:18 -0700 | [diff] [blame] | 45 | } while (cmpxchg(&head->first, first, new_first) != first); |
Huang Ying | 781f7fd | 2011-09-08 14:00:45 +0800 | [diff] [blame] | 46 | |
Oleg Nesterov | fb4214d | 2013-07-08 14:24:18 -0700 | [diff] [blame] | 47 | return !first; |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 48 | } |
| 49 | EXPORT_SYMBOL_GPL(llist_add_batch); |
| 50 | |
| 51 | /** |
| 52 | * llist_del_first - delete the first entry of lock-less list |
| 53 | * @head: the head for your lock-less list |
| 54 | * |
| 55 | * If list is empty, return NULL, otherwise, return the first entry |
| 56 | * deleted, this is the newest added one. |
| 57 | * |
| 58 | * Only one llist_del_first user can be used simultaneously with |
| 59 | * multiple llist_add users without lock. Because otherwise |
| 60 | * llist_del_first, llist_add, llist_add (or llist_del_all, llist_add, |
| 61 | * llist_add) sequence in another user may change @head->first->next, |
| 62 | * but keep @head->first. If multiple consumers are needed, please |
| 63 | * use llist_del_all or use lock between consumers. |
| 64 | */ |
| 65 | struct llist_node *llist_del_first(struct llist_head *head) |
| 66 | { |
| 67 | struct llist_node *entry, *old_entry, *next; |
| 68 | |
Dmitry Vyukov | 2cf12f8 | 2015-11-06 16:31:17 -0800 | [diff] [blame] | 69 | entry = smp_load_acquire(&head->first); |
Huang Ying | a312733 | 2011-09-08 14:00:44 +0800 | [diff] [blame] | 70 | for (;;) { |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 71 | if (entry == NULL) |
| 72 | return NULL; |
| 73 | old_entry = entry; |
Dmitry Vyukov | 2cf12f8 | 2015-11-06 16:31:17 -0800 | [diff] [blame] | 74 | next = READ_ONCE(entry->next); |
Huang Ying | a312733 | 2011-09-08 14:00:44 +0800 | [diff] [blame] | 75 | entry = cmpxchg(&head->first, old_entry, next); |
| 76 | if (entry == old_entry) |
| 77 | break; |
Huang Ying | a312733 | 2011-09-08 14:00:44 +0800 | [diff] [blame] | 78 | } |
Huang Ying | f49f23a | 2011-07-13 13:14:23 +0800 | [diff] [blame] | 79 | |
| 80 | return entry; |
| 81 | } |
| 82 | EXPORT_SYMBOL_GPL(llist_del_first); |
Christoph Hellwig | b89241e | 2013-11-14 14:32:11 -0800 | [diff] [blame] | 83 | |
| 84 | /** |
| 85 | * llist_reverse_order - reverse order of a llist chain |
| 86 | * @head: first item of the list to be reversed |
| 87 | * |
Andrew Morton | 0791a60 | 2013-11-14 14:32:13 -0800 | [diff] [blame] | 88 | * Reverse the order of a chain of llist entries and return the |
Christoph Hellwig | b89241e | 2013-11-14 14:32:11 -0800 | [diff] [blame] | 89 | * new first entry. |
| 90 | */ |
| 91 | struct llist_node *llist_reverse_order(struct llist_node *head) |
| 92 | { |
| 93 | struct llist_node *new_head = NULL; |
| 94 | |
| 95 | while (head) { |
| 96 | struct llist_node *tmp = head; |
| 97 | head = head->next; |
| 98 | tmp->next = new_head; |
| 99 | new_head = tmp; |
| 100 | } |
| 101 | |
| 102 | return new_head; |
| 103 | } |
| 104 | EXPORT_SYMBOL_GPL(llist_reverse_order); |