Arnaldo Carvalho de Melo | ae6706f | 2005-08-27 23:03:09 -0300 | [diff] [blame] | 1 | /* |
| 2 | * net/dccp/ccids/lib/loss_interval.c |
| 3 | * |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 4 | * Copyright (c) 2007 The University of Aberdeen, Scotland, UK |
Ian McDonald | b2f41ff | 2007-05-28 12:23:29 -0300 | [diff] [blame] | 5 | * Copyright (c) 2005-7 The University of Waikato, Hamilton, New Zealand. |
| 6 | * Copyright (c) 2005-7 Ian McDonald <ian.mcdonald@jandi.co.nz> |
Arnaldo Carvalho de Melo | ae6706f | 2005-08-27 23:03:09 -0300 | [diff] [blame] | 7 | * Copyright (c) 2005 Arnaldo Carvalho de Melo <acme@conectiva.com.br> |
| 8 | * |
| 9 | * This program is free software; you can redistribute it and/or modify |
| 10 | * it under the terms of the GNU General Public License as published by |
| 11 | * the Free Software Foundation; either version 2 of the License, or |
| 12 | * (at your option) any later version. |
| 13 | */ |
Ian McDonald | 66a377c | 2006-08-26 23:40:50 -0700 | [diff] [blame] | 14 | #include <net/sock.h> |
Arnaldo Carvalho de Melo | cc0a910 | 2007-06-14 17:41:28 -0300 | [diff] [blame] | 15 | #include "tfrc.h" |
Arnaldo Carvalho de Melo | ae6706f | 2005-08-27 23:03:09 -0300 | [diff] [blame] | 16 | |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 17 | static struct kmem_cache *tfrc_lh_slab __read_mostly; |
| 18 | /* Loss Interval weights from [RFC 3448, 5.4], scaled by 10 */ |
| 19 | static const int tfrc_lh_weights[NINTERVAL] = { 10, 10, 10, 10, 8, 6, 4, 2 }; |
| 20 | |
| 21 | /* implements LIFO semantics on the array */ |
| 22 | static inline u8 LIH_INDEX(const u8 ctr) |
| 23 | { |
| 24 | return (LIH_SIZE - 1 - (ctr % LIH_SIZE)); |
| 25 | } |
| 26 | |
| 27 | /* the `counter' index always points at the next entry to be populated */ |
| 28 | static inline struct tfrc_loss_interval *tfrc_lh_peek(struct tfrc_loss_hist *lh) |
| 29 | { |
| 30 | return lh->counter ? lh->ring[LIH_INDEX(lh->counter - 1)] : NULL; |
| 31 | } |
| 32 | |
| 33 | /* given i with 0 <= i <= k, return I_i as per the rfc3448bis notation */ |
| 34 | static inline u32 tfrc_lh_get_interval(struct tfrc_loss_hist *lh, const u8 i) |
| 35 | { |
| 36 | BUG_ON(i >= lh->counter); |
| 37 | return lh->ring[LIH_INDEX(lh->counter - i - 1)]->li_length; |
| 38 | } |
| 39 | |
| 40 | /* |
| 41 | * On-demand allocation and de-allocation of entries |
| 42 | */ |
| 43 | static struct tfrc_loss_interval *tfrc_lh_demand_next(struct tfrc_loss_hist *lh) |
| 44 | { |
| 45 | if (lh->ring[LIH_INDEX(lh->counter)] == NULL) |
| 46 | lh->ring[LIH_INDEX(lh->counter)] = kmem_cache_alloc(tfrc_lh_slab, |
| 47 | GFP_ATOMIC); |
| 48 | return lh->ring[LIH_INDEX(lh->counter)]; |
| 49 | } |
| 50 | |
| 51 | void tfrc_lh_cleanup(struct tfrc_loss_hist *lh) |
| 52 | { |
| 53 | if (!tfrc_lh_is_initialised(lh)) |
| 54 | return; |
| 55 | |
| 56 | for (lh->counter = 0; lh->counter < LIH_SIZE; lh->counter++) |
| 57 | if (lh->ring[LIH_INDEX(lh->counter)] != NULL) { |
| 58 | kmem_cache_free(tfrc_lh_slab, |
| 59 | lh->ring[LIH_INDEX(lh->counter)]); |
| 60 | lh->ring[LIH_INDEX(lh->counter)] = NULL; |
| 61 | } |
| 62 | } |
| 63 | EXPORT_SYMBOL_GPL(tfrc_lh_cleanup); |
| 64 | |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 65 | static void tfrc_lh_calc_i_mean(struct tfrc_loss_hist *lh) |
| 66 | { |
| 67 | u32 i_i, i_tot0 = 0, i_tot1 = 0, w_tot = 0; |
| 68 | int i, k = tfrc_lh_length(lh) - 1; /* k is as in rfc3448bis, 5.4 */ |
| 69 | |
Gerrit Renker | 959fd99 | 2008-08-23 13:28:27 +0200 | [diff] [blame] | 70 | if (k <= 0) |
| 71 | return; |
| 72 | |
| 73 | for (i = 0; i <= k; i++) { |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 74 | i_i = tfrc_lh_get_interval(lh, i); |
| 75 | |
| 76 | if (i < k) { |
| 77 | i_tot0 += i_i * tfrc_lh_weights[i]; |
| 78 | w_tot += tfrc_lh_weights[i]; |
| 79 | } |
| 80 | if (i > 0) |
| 81 | i_tot1 += i_i * tfrc_lh_weights[i-1]; |
| 82 | } |
| 83 | |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 84 | lh->i_mean = max(i_tot0, i_tot1) / w_tot; |
| 85 | } |
| 86 | |
| 87 | /** |
| 88 | * tfrc_lh_update_i_mean - Update the `open' loss interval I_0 |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 89 | * For recomputing p: returns `true' if p > p_prev <=> 1/p < 1/p_prev |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 90 | */ |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 91 | u8 tfrc_lh_update_i_mean(struct tfrc_loss_hist *lh, struct sk_buff *skb) |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 92 | { |
| 93 | struct tfrc_loss_interval *cur = tfrc_lh_peek(lh); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 94 | u32 old_i_mean = lh->i_mean; |
Gerrit Renker | 2eeea7b | 2008-07-13 11:51:40 +0100 | [diff] [blame] | 95 | s64 len; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 96 | |
| 97 | if (cur == NULL) /* not initialised */ |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 98 | return 0; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 99 | |
Gerrit Renker | 2eeea7b | 2008-07-13 11:51:40 +0100 | [diff] [blame] | 100 | len = dccp_delta_seqno(cur->li_seqno, DCCP_SKB_CB(skb)->dccpd_seq) + 1; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 101 | |
Gerrit Renker | 2eeea7b | 2008-07-13 11:51:40 +0100 | [diff] [blame] | 102 | if (len - (s64)cur->li_length <= 0) /* duplicate or reordered */ |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 103 | return 0; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 104 | |
| 105 | if (SUB16(dccp_hdr(skb)->dccph_ccval, cur->li_ccval) > 4) |
| 106 | /* |
| 107 | * Implements RFC 4342, 10.2: |
| 108 | * If a packet S (skb) exists whose seqno comes `after' the one |
| 109 | * starting the current loss interval (cur) and if the modulo-16 |
| 110 | * distance from C(cur) to C(S) is greater than 4, consider all |
| 111 | * subsequent packets as belonging to a new loss interval. This |
| 112 | * test is necessary since CCVal may wrap between intervals. |
| 113 | */ |
| 114 | cur->li_is_closed = 1; |
| 115 | |
| 116 | if (tfrc_lh_length(lh) == 1) /* due to RFC 3448, 6.3.1 */ |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 117 | return 0; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 118 | |
Gerrit Renker | 2eeea7b | 2008-07-13 11:51:40 +0100 | [diff] [blame] | 119 | cur->li_length = len; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 120 | tfrc_lh_calc_i_mean(lh); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 121 | |
| 122 | return (lh->i_mean < old_i_mean); |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 123 | } |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 124 | EXPORT_SYMBOL_GPL(tfrc_lh_update_i_mean); |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 125 | |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 126 | /* Determine if `new_loss' does begin a new loss interval [RFC 4342, 10.2] */ |
| 127 | static inline u8 tfrc_lh_is_new_loss(struct tfrc_loss_interval *cur, |
| 128 | struct tfrc_rx_hist_entry *new_loss) |
| 129 | { |
| 130 | return dccp_delta_seqno(cur->li_seqno, new_loss->tfrchrx_seqno) > 0 && |
| 131 | (cur->li_is_closed || SUB16(new_loss->tfrchrx_ccval, cur->li_ccval) > 4); |
| 132 | } |
| 133 | |
| 134 | /** tfrc_lh_interval_add - Insert new record into the Loss Interval database |
| 135 | * @lh: Loss Interval database |
| 136 | * @rh: Receive history containing a fresh loss event |
| 137 | * @calc_first_li: Caller-dependent routine to compute length of first interval |
| 138 | * @sk: Used by @calc_first_li in caller-specific way (subtyping) |
| 139 | * Updates I_mean and returns 1 if a new interval has in fact been added to @lh. |
| 140 | */ |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 141 | int tfrc_lh_interval_add(struct tfrc_loss_hist *lh, struct tfrc_rx_hist *rh, |
| 142 | u32 (*calc_first_li)(struct sock *), struct sock *sk) |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 143 | { |
| 144 | struct tfrc_loss_interval *cur = tfrc_lh_peek(lh), *new; |
| 145 | |
| 146 | if (cur != NULL && !tfrc_lh_is_new_loss(cur, tfrc_rx_hist_loss_prev(rh))) |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 147 | return 0; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 148 | |
| 149 | new = tfrc_lh_demand_next(lh); |
| 150 | if (unlikely(new == NULL)) { |
| 151 | DCCP_CRIT("Cannot allocate/add loss record."); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 152 | return 0; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 153 | } |
| 154 | |
| 155 | new->li_seqno = tfrc_rx_hist_loss_prev(rh)->tfrchrx_seqno; |
| 156 | new->li_ccval = tfrc_rx_hist_loss_prev(rh)->tfrchrx_ccval; |
| 157 | new->li_is_closed = 0; |
| 158 | |
| 159 | if (++lh->counter == 1) |
| 160 | lh->i_mean = new->li_length = (*calc_first_li)(sk); |
| 161 | else { |
| 162 | cur->li_length = dccp_delta_seqno(cur->li_seqno, new->li_seqno); |
| 163 | new->li_length = dccp_delta_seqno(new->li_seqno, |
Gerrit Renker | 2eeea7b | 2008-07-13 11:51:40 +0100 | [diff] [blame] | 164 | tfrc_rx_hist_last_rcv(rh)->tfrchrx_seqno) + 1; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 165 | if (lh->counter > (2*LIH_SIZE)) |
| 166 | lh->counter -= LIH_SIZE; |
| 167 | |
| 168 | tfrc_lh_calc_i_mean(lh); |
| 169 | } |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 170 | return 1; |
Gerrit Renker | 8a9c7e9 | 2007-12-12 13:50:51 -0200 | [diff] [blame] | 171 | } |
| 172 | EXPORT_SYMBOL_GPL(tfrc_lh_interval_add); |
| 173 | |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 174 | int __init tfrc_li_init(void) |
Arnaldo Carvalho de Melo | cc4d6a3 | 2007-05-28 18:53:08 -0300 | [diff] [blame] | 175 | { |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 176 | tfrc_lh_slab = kmem_cache_create("tfrc_li_hist", |
| 177 | sizeof(struct tfrc_loss_interval), 0, |
| 178 | SLAB_HWCACHE_ALIGN, NULL); |
| 179 | return tfrc_lh_slab == NULL ? -ENOBUFS : 0; |
Arnaldo Carvalho de Melo | cc4d6a3 | 2007-05-28 18:53:08 -0300 | [diff] [blame] | 180 | } |
| 181 | |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 182 | void tfrc_li_exit(void) |
Arnaldo Carvalho de Melo | cc4d6a3 | 2007-05-28 18:53:08 -0300 | [diff] [blame] | 183 | { |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 184 | if (tfrc_lh_slab != NULL) { |
| 185 | kmem_cache_destroy(tfrc_lh_slab); |
| 186 | tfrc_lh_slab = NULL; |
Arnaldo Carvalho de Melo | 276f2ed | 2007-11-28 11:15:40 -0200 | [diff] [blame] | 187 | } |
Arnaldo Carvalho de Melo | cc4d6a3 | 2007-05-28 18:53:08 -0300 | [diff] [blame] | 188 | } |