[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-changelog] [xen-unstable] Add RCU support to Xen.



# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxxx
# Date 1169836476 0
# Node ID 32fd32bbf78d094e96027e3cea05fcbd92fee7a5
# Parent  19a600376688577f0692eac022f05bc6df30ce93
Add RCU support to Xen.
Signed-off-by: Jose Renato Santos <jsantos@xxxxxxxxxx>
---
 xen/arch/x86/setup.c       |    6 
 xen/common/Makefile        |    1 
 xen/common/rcupdate.c      |  348 +++++++++++++++++++++++++++++++++++++++++++++
 xen/common/softirq.c       |    5 
 xen/include/xen/rcupdate.h |  147 +++++++++++++++++++
 xen/include/xen/softirq.h  |    3 
 6 files changed, 509 insertions(+), 1 deletion(-)

diff -r 19a600376688 -r 32fd32bbf78d xen/arch/x86/setup.c
--- a/xen/arch/x86/setup.c      Fri Jan 26 17:33:58 2007 +0000
+++ b/xen/arch/x86/setup.c      Fri Jan 26 18:34:36 2007 +0000
@@ -17,6 +17,7 @@
 #include <xen/hypercall.h>
 #include <xen/keyhandler.h>
 #include <xen/numa.h>
+#include <xen/rcupdate.h>
 #include <public/version.h>
 #ifdef CONFIG_COMPAT
 #include <compat/platform.h>
@@ -658,6 +659,8 @@ void __init __start_xen(multiboot_info_t
 
     trap_init();
 
+    rcu_init();
+    
     timer_init();
 
     early_time_init();
@@ -694,7 +697,10 @@ void __init __start_xen(multiboot_info_t
         if ( num_online_cpus() >= max_cpus )
             break;
         if ( !cpu_online(i) )
+        {
+            rcu_online_cpu(i);
             __cpu_up(i);
+        }
 
         /* Set up cpu_to_node[]. */
         srat_detect_node(i);
diff -r 19a600376688 -r 32fd32bbf78d xen/common/Makefile
--- a/xen/common/Makefile       Fri Jan 26 17:33:58 2007 +0000
+++ b/xen/common/Makefile       Fri Jan 26 18:34:36 2007 +0000
@@ -26,6 +26,7 @@ obj-y += version.o
 obj-y += version.o
 obj-y += vsprintf.o
 obj-y += xmalloc.o
+obj-y += rcupdate.o
 
 obj-$(perfc)       += perfc.o
 obj-$(crash_debug) += gdbstub.o
diff -r 19a600376688 -r 32fd32bbf78d xen/common/rcupdate.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/xen/common/rcupdate.c     Fri Jan 26 18:34:36 2007 +0000
@@ -0,0 +1,348 @@
+/*
+ * Read-Copy Update mechanism for mutual exclusion
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+ *
+ * Copyright (C) IBM Corporation, 2001
+ *
+ * Authors: Dipankar Sarma <dipankar@xxxxxxxxxx>
+ *          Manfred Spraul <manfred@xxxxxxxxxxxxxxxx>
+ * 
+ * Modifications for Xen: Jose Renato Santos
+ * Copyright (C) Hewlett-Packard, 2006
+ *
+ * Based on the original work by Paul McKenney <paulmck@xxxxxxxxxx>
+ * and inputs from Rusty Russell, Andrea Arcangeli and Andi Kleen.
+ * Papers:
+ * http://www.rdrop.com/users/paulmck/paper/rclockpdcsproof.pdf
+ * http://lse.sourceforge.net/locking/rclock_OLS.2001.05.01c.sc.pdf (OLS2001)
+ *
+ * For detailed explanation of Read-Copy Update mechanism see -
+ * http://lse.sourceforge.net/locking/rcupdate.html
+ */
+#include <xen/types.h>
+#include <xen/kernel.h>
+#include <xen/init.h>
+#include <xen/spinlock.h>
+#include <xen/smp.h>
+#include <xen/rcupdate.h>
+#include <xen/sched.h>
+#include <asm/atomic.h>
+#include <xen/bitops.h>
+#include <xen/percpu.h>
+#include <xen/softirq.h>
+
+/* Definition for rcupdate control block. */
+struct rcu_ctrlblk rcu_ctrlblk = {
+    .cur = -300,
+    .completed = -300,
+    .lock = SPIN_LOCK_UNLOCKED,
+    .cpumask = CPU_MASK_NONE,
+};
+
+DEFINE_PER_CPU(struct rcu_data, rcu_data) = { 0L };
+
+static int blimit = 10;
+static int qhimark = 10000;
+static int qlowmark = 100;
+static int rsinterval = 1000;
+
+static void force_quiescent_state(struct rcu_data *rdp,
+                                  struct rcu_ctrlblk *rcp)
+{
+    cpumask_t cpumask;
+    raise_softirq(SCHEDULE_SOFTIRQ);
+    if (unlikely(rdp->qlen - rdp->last_rs_qlen > rsinterval)) {
+        rdp->last_rs_qlen = rdp->qlen;
+        /*
+         * Don't send IPI to itself. With irqs disabled,
+         * rdp->cpu is the current cpu.
+         */
+        cpumask = rcp->cpumask;
+        cpu_clear(rdp->cpu, cpumask);
+        cpumask_raise_softirq(cpumask, SCHEDULE_SOFTIRQ);
+    }
+}
+
+/**
+ * call_rcu - Queue an RCU callback for invocation after a grace period.
+ * @head: structure to be used for queueing the RCU updates.
+ * @func: actual update function to be invoked after the grace period
+ *
+ * The update function will be invoked some time after a full grace
+ * period elapses, in other words after all currently executing RCU
+ * read-side critical sections have completed.  RCU read-side critical
+ * sections are delimited by rcu_read_lock() and rcu_read_unlock(),
+ * and may be nested.
+ */
+void fastcall call_rcu(struct rcu_head *head,
+                       void (*func)(struct rcu_head *rcu))
+{
+    unsigned long flags;
+    struct rcu_data *rdp;
+
+    head->func = func;
+    head->next = NULL;
+    local_irq_save(flags);
+    rdp = &__get_cpu_var(rcu_data);
+    *rdp->nxttail = head;
+    rdp->nxttail = &head->next;
+    if (unlikely(++rdp->qlen > qhimark)) {
+        rdp->blimit = INT_MAX;
+        force_quiescent_state(rdp, &rcu_ctrlblk);
+    }
+    local_irq_restore(flags);
+}
+
+/*
+ * Invoke the completed RCU callbacks. They are expected to be in
+ * a per-cpu list.
+ */
+static void rcu_do_batch(struct rcu_data *rdp)
+{
+    struct rcu_head *next, *list;
+    int count = 0;
+
+    list = rdp->donelist;
+    while (list) {
+        next = rdp->donelist = list->next;
+        list->func(list);
+        list = next;
+        rdp->qlen--;
+        if (++count >= rdp->blimit)
+            break;
+    }
+    if (rdp->blimit == INT_MAX && rdp->qlen <= qlowmark)
+        rdp->blimit = blimit;
+    if (!rdp->donelist)
+        rdp->donetail = &rdp->donelist;
+    else
+        raise_softirq(RCU_SOFTIRQ);
+}
+
+/*
+ * Grace period handling:
+ * The grace period handling consists out of two steps:
+ * - A new grace period is started.
+ *   This is done by rcu_start_batch. The start is not broadcasted to
+ *   all cpus, they must pick this up by comparing rcp->cur with
+ *   rdp->quiescbatch. All cpus are recorded  in the
+ *   rcu_ctrlblk.cpumask bitmap.
+ * - All cpus must go through a quiescent state.
+ *   Since the start of the grace period is not broadcasted, at least two
+ *   calls to rcu_check_quiescent_state are required:
+ *   The first call just notices that a new grace period is running. The
+ *   following calls check if there was a quiescent state since the beginning
+ *   of the grace period. If so, it updates rcu_ctrlblk.cpumask. If
+ *   the bitmap is empty, then the grace period is completed.
+ *   rcu_check_quiescent_state calls rcu_start_batch(0) to start the next grace
+ *   period (if necessary).
+ */
+/*
+ * Register a new batch of callbacks, and start it up if there is currently no
+ * active batch and the batch to be registered has not already occurred.
+ * Caller must hold rcu_ctrlblk.lock.
+ */
+static void rcu_start_batch(struct rcu_ctrlblk *rcp)
+{
+    if (rcp->next_pending &&
+        rcp->completed == rcp->cur) {
+        rcp->next_pending = 0;
+        /*
+         * next_pending == 0 must be visible in
+         * __rcu_process_callbacks() before it can see new value of cur.
+         */
+        smp_wmb();
+        rcp->cur++;
+
+        rcp->cpumask = cpu_online_map;
+    }
+}
+
+/*
+ * cpu went through a quiescent state since the beginning of the grace period.
+ * Clear it from the cpu mask and complete the grace period if it was the last
+ * cpu. Start another grace period if someone has further entries pending
+ */
+static void cpu_quiet(int cpu, struct rcu_ctrlblk *rcp)
+{
+    cpu_clear(cpu, rcp->cpumask);
+    if (cpus_empty(rcp->cpumask)) {
+        /* batch completed ! */
+        rcp->completed = rcp->cur;
+        rcu_start_batch(rcp);
+    }
+}
+
+/*
+ * Check if the cpu has gone through a quiescent state (say context
+ * switch). If so and if it already hasn't done so in this RCU
+ * quiescent cycle, then indicate that it has done so.
+ */
+static void rcu_check_quiescent_state(struct rcu_ctrlblk *rcp,
+                                      struct rcu_data *rdp)
+{
+    if (rdp->quiescbatch != rcp->cur) {
+        /* start new grace period: */
+        rdp->qs_pending = 1;
+        rdp->quiescbatch = rcp->cur;
+        return;
+    }
+
+    /* Grace period already completed for this cpu?
+     * qs_pending is checked instead of the actual bitmap to avoid
+     * cacheline trashing.
+     */
+    if (!rdp->qs_pending)
+        return;
+
+    rdp->qs_pending = 0;
+
+    spin_lock(&rcp->lock);
+    /*
+     * rdp->quiescbatch/rcp->cur and the cpu bitmap can come out of sync
+     * during cpu startup. Ignore the quiescent state.
+     */
+    if (likely(rdp->quiescbatch == rcp->cur))
+        cpu_quiet(rdp->cpu, rcp);
+
+    spin_unlock(&rcp->lock);
+}
+
+
+/*
+ * This does the RCU processing work from softirq context. 
+ */
+static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp,
+                                    struct rcu_data *rdp)
+{
+    if (rdp->curlist && !rcu_batch_before(rcp->completed, rdp->batch)) {
+        *rdp->donetail = rdp->curlist;
+        rdp->donetail = rdp->curtail;
+        rdp->curlist = NULL;
+        rdp->curtail = &rdp->curlist;
+    }
+
+    local_irq_disable();
+    if (rdp->nxtlist && !rdp->curlist) {
+        rdp->curlist = rdp->nxtlist;
+        rdp->curtail = rdp->nxttail;
+        rdp->nxtlist = NULL;
+        rdp->nxttail = &rdp->nxtlist;
+        local_irq_enable();
+
+        /*
+         * start the next batch of callbacks
+         */
+
+        /* determine batch number */
+        rdp->batch = rcp->cur + 1;
+        /* see the comment and corresponding wmb() in
+         * the rcu_start_batch()
+         */
+        smp_rmb();
+
+        if (!rcp->next_pending) {
+            /* and start it/schedule start if it's a new batch */
+            spin_lock(&rcp->lock);
+            rcp->next_pending = 1;
+            rcu_start_batch(rcp);
+            spin_unlock(&rcp->lock);
+        }
+    } else {
+        local_irq_enable();
+    }
+    rcu_check_quiescent_state(rcp, rdp);
+    if (rdp->donelist)
+        rcu_do_batch(rdp);
+}
+
+static void rcu_process_callbacks(void)
+{
+    __rcu_process_callbacks(&rcu_ctrlblk, &__get_cpu_var(rcu_data));
+}
+
+static int __rcu_pending(struct rcu_ctrlblk *rcp, struct rcu_data *rdp)
+{
+    /* This cpu has pending rcu entries and the grace period
+     * for them has completed.
+     */
+    if (rdp->curlist && !rcu_batch_before(rcp->completed, rdp->batch))
+        return 1;
+
+    /* This cpu has no pending entries, but there are new entries */
+    if (!rdp->curlist && rdp->nxtlist)
+        return 1;
+
+    /* This cpu has finished callbacks to invoke */
+    if (rdp->donelist)
+        return 1;
+
+    /* The rcu core waits for a quiescent state from the cpu */
+    if (rdp->quiescbatch != rcp->cur || rdp->qs_pending)
+        return 1;
+
+    /* nothing to do */
+    return 0;
+}
+
+int rcu_pending(int cpu)
+{
+    return __rcu_pending(&rcu_ctrlblk, &per_cpu(rcu_data, cpu));
+}
+
+/*
+ * Check to see if any future RCU-related work will need to be done
+ * by the current CPU, even if none need be done immediately, returning
+ * 1 if so.  This function is part of the RCU implementation; it is -not-
+ * an exported member of the RCU API.
+ */
+int rcu_needs_cpu(int cpu)
+{
+    struct rcu_data *rdp = &per_cpu(rcu_data, cpu);
+
+    return (!!rdp->curlist || rcu_pending(cpu));
+}
+
+void rcu_check_callbacks(int cpu)
+{
+    raise_softirq(RCU_SOFTIRQ);
+}
+
+static void rcu_init_percpu_data(int cpu, struct rcu_ctrlblk *rcp,
+                                 struct rcu_data *rdp)
+{
+    memset(rdp, 0, sizeof(*rdp));
+    rdp->curtail = &rdp->curlist;
+    rdp->nxttail = &rdp->nxtlist;
+    rdp->donetail = &rdp->donelist;
+    rdp->quiescbatch = rcp->completed;
+    rdp->qs_pending = 0;
+    rdp->cpu = cpu;
+    rdp->blimit = blimit;
+}
+
+void __devinit rcu_online_cpu(int cpu)
+{
+    struct rcu_data *rdp = &per_cpu(rcu_data, cpu);
+
+    rcu_init_percpu_data(cpu, &rcu_ctrlblk, rdp);
+}
+
+void rcu_init(void)
+{
+    rcu_online_cpu(smp_processor_id());
+    open_softirq(RCU_SOFTIRQ, rcu_process_callbacks);
+}
diff -r 19a600376688 -r 32fd32bbf78d xen/common/softirq.c
--- a/xen/common/softirq.c      Fri Jan 26 17:33:58 2007 +0000
+++ b/xen/common/softirq.c      Fri Jan 26 18:34:36 2007 +0000
@@ -13,6 +13,7 @@
 #include <xen/init.h>
 #include <xen/mm.h>
 #include <xen/sched.h>
+#include <xen/rcupdate.h>
 #include <xen/softirq.h>
 
 #ifndef __ARCH_IRQ_STAT
@@ -33,6 +34,10 @@ asmlinkage void do_softirq(void)
          * us to another processor.
          */
         cpu = smp_processor_id();
+
+        if ( rcu_pending(cpu) )
+            rcu_check_callbacks(cpu);
+
         if ( (pending = softirq_pending(cpu)) == 0 )
             break;
 
diff -r 19a600376688 -r 32fd32bbf78d xen/include/xen/rcupdate.h
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/xen/include/xen/rcupdate.h        Fri Jan 26 18:34:36 2007 +0000
@@ -0,0 +1,147 @@
+/*
+ * Read-Copy Update mechanism for mutual exclusion 
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+ *
+ * Copyright (C) IBM Corporation, 2001
+ *
+ * Author: Dipankar Sarma <dipankar@xxxxxxxxxx>
+ * 
+ * Based on the original work by Paul McKenney <paul.mckenney@xxxxxxxxxx>
+ * and inputs from Rusty Russell, Andrea Arcangeli and Andi Kleen.
+ * Papers:
+ * http://www.rdrop.com/users/paulmck/paper/rclockpdcsproof.pdf
+ * http://lse.sourceforge.net/locking/rclock_OLS.2001.05.01c.sc.pdf (OLS2001)
+ *
+ * For detailed explanation of Read-Copy Update mechanism see -
+ * http://lse.sourceforge.net/locking/rcupdate.html
+ */
+
+#ifndef __XEN_RCUPDATE_H
+#define __XEN_RCUPDATE_H
+
+#include <xen/cache.h>
+#include <xen/spinlock.h>
+#include <xen/percpu.h>
+#include <xen/cpumask.h>
+
+/**
+ * struct rcu_head - callback structure for use with RCU
+ * @next: next update requests in a list
+ * @func: actual update function to call after the grace period.
+ */
+struct rcu_head {
+    struct rcu_head *next;
+    void (*func)(struct rcu_head *head);
+};
+
+#define RCU_HEAD_INIT   { .next = NULL, .func = NULL }
+#define RCU_HEAD(head) struct rcu_head head = RCU_HEAD_INIT
+#define INIT_RCU_HEAD(ptr) do { \
+       (ptr)->next = NULL; (ptr)->func = NULL; \
+} while (0)
+
+
+
+/* Global control variables for rcupdate callback mechanism. */
+struct rcu_ctrlblk {
+    long cur;           /* Current batch number.                      */
+    long completed;     /* Number of the last completed batch         */
+    int  next_pending;  /* Is the next batch already waiting?         */
+
+    spinlock_t  lock __cacheline_aligned;
+    cpumask_t   cpumask; /* CPUs that need to switch in order    */
+    /* for current batch to proceed.        */
+} __cacheline_aligned;
+
+/* Is batch a before batch b ? */
+static inline int rcu_batch_before(long a, long b)
+{
+    return (a - b) < 0;
+}
+
+/* Is batch a after batch b ? */
+static inline int rcu_batch_after(long a, long b)
+{
+    return (a - b) > 0;
+}
+
+/*
+ * Per-CPU data for Read-Copy Update.
+ * nxtlist - new callbacks are added here
+ * curlist - current batch for which quiescent cycle started if any
+ */
+struct rcu_data {
+    /* 1) quiescent state handling : */
+    long quiescbatch;    /* Batch # for grace period */
+    int  qs_pending;     /* core waits for quiesc state */
+
+    /* 2) batch handling */
+    long            batch;            /* Batch # for current RCU batch */
+    struct rcu_head *nxtlist;
+    struct rcu_head **nxttail;
+    long            qlen;             /* # of queued callbacks */
+    struct rcu_head *curlist;
+    struct rcu_head **curtail;
+    struct rcu_head *donelist;
+    struct rcu_head **donetail;
+    long            blimit;           /* Upper limit on a processed batch */
+    int cpu;
+    struct rcu_head barrier;
+#ifdef CONFIG_SMP
+    long            last_rs_qlen;     /* qlen during the last resched */
+#endif
+};
+
+DECLARE_PER_CPU(struct rcu_data, rcu_data);
+extern struct rcu_ctrlblk rcu_ctrlblk;
+
+int rcu_pending(int cpu);
+int rcu_needs_cpu(int cpu);
+
+/**
+ * rcu_dereference - fetch an RCU-protected pointer in an
+ * RCU read-side critical section.  This pointer may later
+ * be safely dereferenced.
+ *
+ * Inserts memory barriers on architectures that require them
+ * (currently only the Alpha), and, more importantly, documents
+ * exactly which pointers are protected by RCU.
+ */
+#define rcu_dereference(p)     (p)
+
+/**
+ * rcu_assign_pointer - assign (publicize) a pointer to a newly
+ * initialized structure that will be dereferenced by RCU read-side
+ * critical sections.  Returns the value assigned.
+ *
+ * Inserts memory barriers on architectures that require them
+ * (pretty much all of them other than x86), and also prevents
+ * the compiler from reordering the code that initializes the
+ * structure after the pointer assignment.  More importantly, this
+ * call documents which pointers will be dereferenced by RCU read-side
+ * code.
+ */
+#define rcu_assign_pointer(p, v) ({ smp_wmb(); (p) = (v); })
+
+void rcu_init(void);
+void __devinit rcu_online_cpu(int cpu);
+void rcu_check_callbacks(int cpu);
+
+/* Exported interfaces */
+void fastcall call_rcu(struct rcu_head *head, 
+                       void (*func)(struct rcu_head *head));
+
+#endif /* __XEN_RCUPDATE_H */
diff -r 19a600376688 -r 32fd32bbf78d xen/include/xen/softirq.h
--- a/xen/include/xen/softirq.h Fri Jan 26 17:33:58 2007 +0000
+++ b/xen/include/xen/softirq.h Fri Jan 26 18:34:36 2007 +0000
@@ -9,8 +9,9 @@
 #define NMI_SOFTIRQ                       4
 #define PAGE_SCRUB_SOFTIRQ                5
 #define TRACE_SOFTIRQ                     6
+#define RCU_SOFTIRQ                       7
 
-#define NR_COMMON_SOFTIRQS                7
+#define NR_COMMON_SOFTIRQS                8
 
 #include <asm/softirq.h>
 

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.