datapath/table-linear.c

   1 /*
   2  * Distributed under the terms of the GNU GPL version 2.
   3  * Copyright (c) 2007, 2008 The Board of Trustees of The Leland
   4  * Stanford Junior University
   5  */
   6
   7 #include "table.h"
   8 #include "flow.h"
   9 #include "datapath.h"
  10
  11 #include <linux/rcupdate.h>
  12 #include <linux/slab.h>
  13 #include <linux/rculist.h>
  14
  15 struct sw_table_linear {
  16         struct sw_table swt;
  17
  18         unsigned int max_flows;
  19         unsigned int n_flows;
  20         struct list_head flows;
  21         struct list_head iter_flows;
  22         unsigned long int next_serial;
  23 };
  24
  25 static struct sw_flow *table_linear_lookup(struct sw_table *swt,
  26                                          const struct sw_flow_key *key)
  27 {
  28         struct sw_table_linear *tl = (struct sw_table_linear *) swt;
  29         struct sw_flow *flow;
  30         list_for_each_entry_rcu (flow, &tl->flows, node) {
  31                 if (flow_matches_1wild(key, &flow->key))
  32                         return flow;
  33         }
  34         return NULL;
  35 }
  36
  37 static int table_linear_insert(struct sw_table *swt, struct sw_flow *flow)
  38 {
  39         struct sw_table_linear *tl = (struct sw_table_linear *) swt;
  40         struct sw_flow *f;
  41
  42
  43         /* Loop through the existing list of entries.  New entries will
  44          * always be placed behind those with equal priority.  Just replace
  45          * any flows that match exactly.
  46          */
  47         list_for_each_entry (f, &tl->flows, node) {
  48                 if (f->priority == flow->priority
  49                                 && f->key.wildcards == flow->key.wildcards
  50                                 && flow_matches_2wild(&f->key, &flow->key)) {
  51                         flow->serial = f->serial;
  52                         list_replace_rcu(&f->node, &flow->node);
  53                         list_replace_rcu(&f->iter_node, &flow->iter_node);
  54                         flow_deferred_free(f);
  55                         return 1;
  56                 }
  57
  58                 if (f->priority < flow->priority)
  59                         break;
  60         }
  61
  62         /* Make sure there's room in the table. */
  63         if (tl->n_flows >= tl->max_flows) {
  64                 return 0;
  65         }
  66         tl->n_flows++;
  67
  68         /* Insert the entry immediately in front of where we're pointing. */
  69         flow->serial = tl->next_serial++;
  70         list_add_tail_rcu(&flow->node, &f->node);
  71         list_add_rcu(&flow->iter_node, &tl->iter_flows);
  72         return 1;
  73 }
  74
  75 static int table_linear_modify(struct sw_table *swt,
  76                                 const struct sw_flow_key *key, uint16_t priority, int strict,
  77                                 const struct ofp_action_header *actions, size_t actions_len)
  78 {
  79         struct sw_table_linear *tl = (struct sw_table_linear *) swt;
  80         struct sw_flow *flow;
  81         unsigned int count = 0;
  82
  83         list_for_each_entry (flow, &tl->flows, node) {
  84                 if (flow_matches_desc(&flow->key, key, strict)
  85                                 && (!strict || (flow->priority == priority))) {
  86                         flow_replace_acts(flow, actions, actions_len);
  87                         count++;
  88                 }
  89         }
  90         return count;
  91 }
  92
  93 static int do_delete(struct datapath *dp, struct sw_table *swt,
  94                         struct sw_flow *flow, enum nx_flow_end_reason reason)
  95 {
  96         dp_send_flow_end(dp, flow, reason);
  97         list_del_rcu(&flow->node);
  98         list_del_rcu(&flow->iter_node);
  99         flow_deferred_free(flow);
 100         return 1;
 101 }
 102
 103 static int table_linear_delete(struct datapath *dp, struct sw_table *swt,
 104                                 const struct sw_flow_key *key, uint16_t out_port,
 105                                 uint16_t priority, int strict)
 106 {
 107         struct sw_table_linear *tl = (struct sw_table_linear *) swt;
 108         struct sw_flow *flow;
 109         unsigned int count = 0;
 110
 111         list_for_each_entry (flow, &tl->flows, node) {
 112                 if (flow_matches_desc(&flow->key, key, strict)
 113                                 && flow_has_out_port(flow, out_port)
 114                                 && (!strict || (flow->priority == priority)))
 115                         count += do_delete(dp, swt, flow, NXFER_DELETE);
 116         }
 117         tl->n_flows -= count;
 118         return count;
 119 }
 120
 121 static int table_linear_timeout(struct datapath *dp, struct sw_table *swt)
 122 {
 123         struct sw_table_linear *tl = (struct sw_table_linear *) swt;
 124         struct sw_flow *flow;
 125         int count = 0;
 126
 127         mutex_lock(&dp_mutex);
 128         list_for_each_entry (flow, &tl->flows, node) {
 129                 int reason = flow_timeout(flow);
 130                 if (reason >= 0) {
 131                         count += do_delete(dp, swt, flow, reason);
 132                 }
 133         }
 134         tl->n_flows -= count;
 135         mutex_unlock(&dp_mutex);
 136         return count;
 137 }
 138
 139 static void table_linear_destroy(struct sw_table *swt)
 140 {
 141         struct sw_table_linear *tl = (struct sw_table_linear *) swt;
 142
 143         while (!list_empty(&tl->flows)) {
 144                 struct sw_flow *flow = list_entry(tl->flows.next,
 145                                                   struct sw_flow, node);
 146                 list_del(&flow->node);
 147                 flow_free(flow);
 148         }
 149         kfree(tl);
 150 }
 151
 152 static int table_linear_iterate(struct sw_table *swt,
 153                                 const struct sw_flow_key *key, uint16_t out_port,
 154                                 struct sw_table_position *position,
 155                                 int (*callback)(struct sw_flow *, void *),
 156                                 void *private)
 157 {
 158         struct sw_table_linear *tl = (struct sw_table_linear *) swt;
 159         struct sw_flow *flow;
 160         unsigned long start;
 161
 162         start = position->private[0];
 163         list_for_each_entry (flow, &tl->iter_flows, iter_node) {
 164                 if (flow->serial >= start
 165                                 && flow_matches_2wild(key, &flow->key)
 166                                 && flow_has_out_port(flow, out_port)) {
 167                         int error = callback(flow, private);
 168                         if (error) {
 169                                 position->private[0] = flow->serial;
 170                                 return error;
 171                         }
 172                 }
 173         }
 174         return 0;
 175 }
 176
 177 static void table_linear_stats(struct sw_table *swt,
 178                                 struct sw_table_stats *stats)
 179 {
 180         struct sw_table_linear *tl = (struct sw_table_linear *) swt;
 181         stats->name = "linear";
 182         stats->wildcards = OFPFW_ALL;
 183         stats->n_flows   = tl->n_flows;
 184         stats->max_flows = tl->max_flows;
 185         stats->n_lookup  = swt->n_lookup;
 186         stats->n_matched = swt->n_matched;
 187 }
 188
 189
 190 struct sw_table *table_linear_create(unsigned int max_flows)
 191 {
 192         struct sw_table_linear *tl;
 193         struct sw_table *swt;
 194
 195         tl = kzalloc(sizeof *tl, GFP_KERNEL);
 196         if (tl == NULL)
 197                 return NULL;
 198
 199         swt = &tl->swt;
 200         swt->lookup = table_linear_lookup;
 201         swt->insert = table_linear_insert;
 202         swt->modify = table_linear_modify;
 203         swt->delete = table_linear_delete;
 204         swt->timeout = table_linear_timeout;
 205         swt->destroy = table_linear_destroy;
 206         swt->iterate = table_linear_iterate;
 207         swt->stats = table_linear_stats;
 208
 209         tl->max_flows = max_flows;
 210         tl->n_flows = 0;
 211         INIT_LIST_HEAD(&tl->flows);
 212         INIT_LIST_HEAD(&tl->iter_flows);
 213         tl->next_serial = 0;
 214
 215         return swt;
 216 }