| Vlad Yasevich | 60c778b | 2008-01-11 09:57:09 -0500 | [diff] [blame] | 1 | /* SCTP kernel implementation | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 2 | * (C) Copyright IBM Corp. 2001, 2004 | 
|  | 3 | * Copyright (c) 1999-2000 Cisco, Inc. | 
|  | 4 | * Copyright (c) 1999-2001 Motorola, Inc. | 
|  | 5 | * Copyright (c) 2001 Intel Corp. | 
|  | 6 | * | 
| Vlad Yasevich | 60c778b | 2008-01-11 09:57:09 -0500 | [diff] [blame] | 7 | * This file is part of the SCTP kernel implementation | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 8 | * | 
|  | 9 | * These functions manipulate sctp tsn mapping array. | 
|  | 10 | * | 
| Vlad Yasevich | 60c778b | 2008-01-11 09:57:09 -0500 | [diff] [blame] | 11 | * This SCTP implementation is free software; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 12 | * you can redistribute it and/or modify it under the terms of | 
|  | 13 | * the GNU General Public License as published by | 
|  | 14 | * the Free Software Foundation; either version 2, or (at your option) | 
|  | 15 | * any later version. | 
|  | 16 | * | 
| Vlad Yasevich | 60c778b | 2008-01-11 09:57:09 -0500 | [diff] [blame] | 17 | * This SCTP implementation is distributed in the hope that it | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 18 | * will be useful, but WITHOUT ANY WARRANTY; without even the implied | 
|  | 19 | *                 ************************ | 
|  | 20 | * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. | 
|  | 21 | * See the GNU General Public License for more details. | 
|  | 22 | * | 
|  | 23 | * You should have received a copy of the GNU General Public License | 
|  | 24 | * along with GNU CC; see the file COPYING.  If not, write to | 
|  | 25 | * the Free Software Foundation, 59 Temple Place - Suite 330, | 
|  | 26 | * Boston, MA 02111-1307, USA. | 
|  | 27 | * | 
|  | 28 | * Please send any bug reports or fixes you make to the | 
|  | 29 | * email address(es): | 
|  | 30 | *    lksctp developers <lksctp-developers@lists.sourceforge.net> | 
|  | 31 | * | 
|  | 32 | * Or submit a bug report through the following website: | 
|  | 33 | *    http://www.sf.net/projects/lksctp | 
|  | 34 | * | 
|  | 35 | * Written or modified by: | 
|  | 36 | *    La Monte H.P. Yarroll <piggy@acm.org> | 
|  | 37 | *    Jon Grimm             <jgrimm@us.ibm.com> | 
|  | 38 | *    Karl Knutson          <karl@athena.chicago.il.us> | 
|  | 39 | *    Sridhar Samudrala     <sri@us.ibm.com> | 
|  | 40 | * | 
|  | 41 | * Any bugs reported given to us we will try to fix... any fixes shared will | 
|  | 42 | * be incorporated into the next SCTP release. | 
|  | 43 | */ | 
|  | 44 |  | 
|  | 45 | #include <linux/types.h> | 
|  | 46 | #include <net/sctp/sctp.h> | 
|  | 47 | #include <net/sctp/sm.h> | 
|  | 48 |  | 
|  | 49 | static void sctp_tsnmap_update(struct sctp_tsnmap *map); | 
|  | 50 | static void sctp_tsnmap_find_gap_ack(__u8 *map, __u16 off, | 
|  | 51 | __u16 len, __u16 base, | 
|  | 52 | int *started, __u16 *start, | 
|  | 53 | int *ended, __u16 *end); | 
|  | 54 |  | 
|  | 55 | /* Initialize a block of memory as a tsnmap.  */ | 
|  | 56 | struct sctp_tsnmap *sctp_tsnmap_init(struct sctp_tsnmap *map, __u16 len, | 
|  | 57 | __u32 initial_tsn) | 
|  | 58 | { | 
|  | 59 | map->tsn_map = map->raw_map; | 
|  | 60 | map->overflow_map = map->tsn_map + len; | 
|  | 61 | map->len = len; | 
|  | 62 |  | 
|  | 63 | /* Clear out a TSN ack status.  */ | 
|  | 64 | memset(map->tsn_map, 0x00, map->len + map->len); | 
|  | 65 |  | 
|  | 66 | /* Keep track of TSNs represented by tsn_map.  */ | 
|  | 67 | map->base_tsn = initial_tsn; | 
|  | 68 | map->overflow_tsn = initial_tsn + map->len; | 
|  | 69 | map->cumulative_tsn_ack_point = initial_tsn - 1; | 
|  | 70 | map->max_tsn_seen = map->cumulative_tsn_ack_point; | 
|  | 71 | map->malloced = 0; | 
|  | 72 | map->num_dup_tsns = 0; | 
|  | 73 |  | 
|  | 74 | return map; | 
|  | 75 | } | 
|  | 76 |  | 
|  | 77 | /* Test the tracking state of this TSN. | 
|  | 78 | * Returns: | 
|  | 79 | *   0 if the TSN has not yet been seen | 
|  | 80 | *  >0 if the TSN has been seen (duplicate) | 
|  | 81 | *  <0 if the TSN is invalid (too large to track) | 
|  | 82 | */ | 
|  | 83 | int sctp_tsnmap_check(const struct sctp_tsnmap *map, __u32 tsn) | 
|  | 84 | { | 
|  | 85 | __s32 gap; | 
|  | 86 | int dup; | 
|  | 87 |  | 
|  | 88 | /* Calculate the index into the mapping arrays.  */ | 
|  | 89 | gap = tsn - map->base_tsn; | 
|  | 90 |  | 
|  | 91 | /* Verify that we can hold this TSN.  */ | 
|  | 92 | if (gap >= (/* base */ map->len + /* overflow */ map->len)) { | 
|  | 93 | dup = -1; | 
|  | 94 | goto out; | 
|  | 95 | } | 
|  | 96 |  | 
|  | 97 | /* Honk if we've already seen this TSN. | 
|  | 98 | * We have three cases: | 
|  | 99 | *	1. The TSN is ancient or belongs to a previous tsn_map. | 
|  | 100 | *	2. The TSN is already marked in the tsn_map. | 
|  | 101 | *	3. The TSN is already marked in the tsn_map_overflow. | 
|  | 102 | */ | 
|  | 103 | if (gap < 0 || | 
|  | 104 | (gap < map->len && map->tsn_map[gap]) || | 
|  | 105 | (gap >= map->len && map->overflow_map[gap - map->len])) | 
|  | 106 | dup = 1; | 
|  | 107 | else | 
|  | 108 | dup = 0; | 
|  | 109 |  | 
|  | 110 | out: | 
|  | 111 | return dup; | 
|  | 112 | } | 
|  | 113 |  | 
|  | 114 |  | 
|  | 115 | /* Mark this TSN as seen.  */ | 
|  | 116 | void sctp_tsnmap_mark(struct sctp_tsnmap *map, __u32 tsn) | 
|  | 117 | { | 
|  | 118 | __s32 gap; | 
|  | 119 |  | 
|  | 120 | /* Vacuously mark any TSN which precedes the map base or | 
|  | 121 | * exceeds the end of the map. | 
|  | 122 | */ | 
|  | 123 | if (TSN_lt(tsn, map->base_tsn)) | 
|  | 124 | return; | 
|  | 125 | if (!TSN_lt(tsn, map->base_tsn + map->len + map->len)) | 
|  | 126 | return; | 
|  | 127 |  | 
|  | 128 | /* Bump the max.  */ | 
|  | 129 | if (TSN_lt(map->max_tsn_seen, tsn)) | 
|  | 130 | map->max_tsn_seen = tsn; | 
|  | 131 |  | 
|  | 132 | /* Assert: TSN is in range.  */ | 
|  | 133 | gap = tsn - map->base_tsn; | 
|  | 134 |  | 
|  | 135 | /* Mark the TSN as received.  */ | 
|  | 136 | if (gap < map->len) | 
|  | 137 | map->tsn_map[gap]++; | 
|  | 138 | else | 
|  | 139 | map->overflow_map[gap - map->len]++; | 
|  | 140 |  | 
|  | 141 | /* Go fixup any internal TSN mapping variables including | 
|  | 142 | * cumulative_tsn_ack_point. | 
|  | 143 | */ | 
|  | 144 | sctp_tsnmap_update(map); | 
|  | 145 | } | 
|  | 146 |  | 
|  | 147 |  | 
|  | 148 | /* Initialize a Gap Ack Block iterator from memory being provided.  */ | 
|  | 149 | SCTP_STATIC void sctp_tsnmap_iter_init(const struct sctp_tsnmap *map, | 
|  | 150 | struct sctp_tsnmap_iter *iter) | 
|  | 151 | { | 
|  | 152 | /* Only start looking one past the Cumulative TSN Ack Point.  */ | 
|  | 153 | iter->start = map->cumulative_tsn_ack_point + 1; | 
|  | 154 | } | 
|  | 155 |  | 
|  | 156 | /* Get the next Gap Ack Blocks. Returns 0 if there was not another block | 
|  | 157 | * to get. | 
|  | 158 | */ | 
|  | 159 | SCTP_STATIC int sctp_tsnmap_next_gap_ack(const struct sctp_tsnmap *map, | 
|  | 160 | struct sctp_tsnmap_iter *iter, | 
|  | 161 | __u16 *start, __u16 *end) | 
|  | 162 | { | 
|  | 163 | int started, ended; | 
| Sebastian Siewior | cc121fa | 2007-07-27 22:59:49 +0200 | [diff] [blame] | 164 | __u16 start_, end_, offset; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 165 |  | 
|  | 166 | /* We haven't found a gap yet.  */ | 
|  | 167 | started = ended = 0; | 
|  | 168 |  | 
|  | 169 | /* If there are no more gap acks possible, get out fast.  */ | 
|  | 170 | if (TSN_lte(map->max_tsn_seen, iter->start)) | 
|  | 171 | return 0; | 
|  | 172 |  | 
|  | 173 | /* Search the first mapping array.  */ | 
|  | 174 | if (iter->start - map->base_tsn < map->len) { | 
|  | 175 |  | 
|  | 176 | offset = iter->start - map->base_tsn; | 
|  | 177 | sctp_tsnmap_find_gap_ack(map->tsn_map, offset, map->len, 0, | 
| Sebastian Siewior | cc121fa | 2007-07-27 22:59:49 +0200 | [diff] [blame] | 178 | &started, &start_, &ended, &end_); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 179 | } | 
|  | 180 |  | 
|  | 181 | /* Do we need to check the overflow map? */ | 
|  | 182 | if (!ended) { | 
|  | 183 | /* Fix up where we'd like to start searching in the | 
|  | 184 | * overflow map. | 
|  | 185 | */ | 
|  | 186 | if (iter->start - map->base_tsn < map->len) | 
|  | 187 | offset = 0; | 
|  | 188 | else | 
|  | 189 | offset = iter->start - map->base_tsn - map->len; | 
|  | 190 |  | 
|  | 191 | /* Search the overflow map.  */ | 
|  | 192 | sctp_tsnmap_find_gap_ack(map->overflow_map, | 
|  | 193 | offset, | 
|  | 194 | map->len, | 
|  | 195 | map->len, | 
| Sebastian Siewior | cc121fa | 2007-07-27 22:59:49 +0200 | [diff] [blame] | 196 | &started, &start_, | 
|  | 197 | &ended, &end_); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 198 | } | 
|  | 199 |  | 
|  | 200 | /* The Gap Ack Block happens to end at the end of the | 
|  | 201 | * overflow map. | 
|  | 202 | */ | 
|  | 203 | if (started && !ended) { | 
|  | 204 | ended++; | 
| Sebastian Siewior | cc121fa | 2007-07-27 22:59:49 +0200 | [diff] [blame] | 205 | end_ = map->len + map->len - 1; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 206 | } | 
|  | 207 |  | 
|  | 208 | /* If we found a Gap Ack Block, return the start and end and | 
|  | 209 | * bump the iterator forward. | 
|  | 210 | */ | 
|  | 211 | if (ended) { | 
|  | 212 | /* Fix up the start and end based on the | 
|  | 213 | * Cumulative TSN Ack offset into the map. | 
|  | 214 | */ | 
|  | 215 | int gap = map->cumulative_tsn_ack_point - | 
|  | 216 | map->base_tsn; | 
|  | 217 |  | 
| Sebastian Siewior | cc121fa | 2007-07-27 22:59:49 +0200 | [diff] [blame] | 218 | *start = start_ - gap; | 
|  | 219 | *end = end_ - gap; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 220 |  | 
|  | 221 | /* Move the iterator forward.  */ | 
|  | 222 | iter->start = map->cumulative_tsn_ack_point + *end + 1; | 
|  | 223 | } | 
|  | 224 |  | 
|  | 225 | return ended; | 
|  | 226 | } | 
|  | 227 |  | 
|  | 228 | /* Mark this and any lower TSN as seen.  */ | 
|  | 229 | void sctp_tsnmap_skip(struct sctp_tsnmap *map, __u32 tsn) | 
|  | 230 | { | 
|  | 231 | __s32 gap; | 
|  | 232 |  | 
|  | 233 | /* Vacuously mark any TSN which precedes the map base or | 
|  | 234 | * exceeds the end of the map. | 
|  | 235 | */ | 
|  | 236 | if (TSN_lt(tsn, map->base_tsn)) | 
|  | 237 | return; | 
|  | 238 | if (!TSN_lt(tsn, map->base_tsn + map->len + map->len)) | 
|  | 239 | return; | 
|  | 240 |  | 
|  | 241 | /* Bump the max.  */ | 
|  | 242 | if (TSN_lt(map->max_tsn_seen, tsn)) | 
|  | 243 | map->max_tsn_seen = tsn; | 
|  | 244 |  | 
|  | 245 | /* Assert: TSN is in range.  */ | 
|  | 246 | gap = tsn - map->base_tsn + 1; | 
|  | 247 |  | 
|  | 248 | /* Mark the TSNs as received.  */ | 
|  | 249 | if (gap <= map->len) | 
|  | 250 | memset(map->tsn_map, 0x01, gap); | 
|  | 251 | else { | 
|  | 252 | memset(map->tsn_map, 0x01, map->len); | 
|  | 253 | memset(map->overflow_map, 0x01, (gap - map->len)); | 
|  | 254 | } | 
|  | 255 |  | 
|  | 256 | /* Go fixup any internal TSN mapping variables including | 
|  | 257 | * cumulative_tsn_ack_point. | 
|  | 258 | */ | 
|  | 259 | sctp_tsnmap_update(map); | 
|  | 260 | } | 
|  | 261 |  | 
|  | 262 | /******************************************************************** | 
|  | 263 | * 2nd Level Abstractions | 
|  | 264 | ********************************************************************/ | 
|  | 265 |  | 
|  | 266 | /* This private helper function updates the tsnmap buffers and | 
|  | 267 | * the Cumulative TSN Ack Point. | 
|  | 268 | */ | 
|  | 269 | static void sctp_tsnmap_update(struct sctp_tsnmap *map) | 
|  | 270 | { | 
|  | 271 | __u32 ctsn; | 
|  | 272 |  | 
|  | 273 | ctsn = map->cumulative_tsn_ack_point; | 
|  | 274 | do { | 
|  | 275 | ctsn++; | 
|  | 276 | if (ctsn == map->overflow_tsn) { | 
|  | 277 | /* Now tsn_map must have been all '1's, | 
|  | 278 | * so we swap the map and check the overflow table | 
|  | 279 | */ | 
| YOSHIFUJI Hideaki | d808ad9 | 2007-02-09 23:25:18 +0900 | [diff] [blame] | 280 | __u8 *tmp = map->tsn_map; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 281 | memset(tmp, 0, map->len); | 
|  | 282 | map->tsn_map = map->overflow_map; | 
|  | 283 | map->overflow_map = tmp; | 
|  | 284 |  | 
|  | 285 | /* Update the tsn_map boundaries.  */ | 
|  | 286 | map->base_tsn += map->len; | 
|  | 287 | map->overflow_tsn += map->len; | 
|  | 288 | } | 
|  | 289 | } while (map->tsn_map[ctsn - map->base_tsn]); | 
|  | 290 |  | 
|  | 291 | map->cumulative_tsn_ack_point = ctsn - 1; /* Back up one. */ | 
|  | 292 | } | 
|  | 293 |  | 
|  | 294 | /* How many data chunks  are we missing from our peer? | 
|  | 295 | */ | 
|  | 296 | __u16 sctp_tsnmap_pending(struct sctp_tsnmap *map) | 
|  | 297 | { | 
|  | 298 | __u32 cum_tsn = map->cumulative_tsn_ack_point; | 
|  | 299 | __u32 max_tsn = map->max_tsn_seen; | 
|  | 300 | __u32 base_tsn = map->base_tsn; | 
|  | 301 | __u16 pending_data; | 
|  | 302 | __s32 gap, start, end, i; | 
|  | 303 |  | 
|  | 304 | pending_data = max_tsn - cum_tsn; | 
|  | 305 | gap = max_tsn - base_tsn; | 
|  | 306 |  | 
|  | 307 | if (gap <= 0 || gap >= (map->len + map->len)) | 
|  | 308 | goto out; | 
|  | 309 |  | 
|  | 310 | start = ((cum_tsn >= base_tsn) ? (cum_tsn - base_tsn + 1) : 0); | 
|  | 311 | end = ((gap > map->len ) ? map->len : gap + 1); | 
|  | 312 |  | 
|  | 313 | for (i = start; i < end; i++) { | 
|  | 314 | if (map->tsn_map[i]) | 
|  | 315 | pending_data--; | 
|  | 316 | } | 
|  | 317 |  | 
|  | 318 | if (gap >= map->len) { | 
|  | 319 | start = 0; | 
|  | 320 | end = gap - map->len + 1; | 
|  | 321 | for (i = start; i < end; i++) { | 
|  | 322 | if (map->overflow_map[i]) | 
|  | 323 | pending_data--; | 
|  | 324 | } | 
|  | 325 | } | 
|  | 326 |  | 
|  | 327 | out: | 
|  | 328 | return pending_data; | 
|  | 329 | } | 
|  | 330 |  | 
|  | 331 | /* This is a private helper for finding Gap Ack Blocks.  It searches a | 
|  | 332 | * single array for the start and end of a Gap Ack Block. | 
|  | 333 | * | 
|  | 334 | * The flags "started" and "ended" tell is if we found the beginning | 
|  | 335 | * or (respectively) the end of a Gap Ack Block. | 
|  | 336 | */ | 
|  | 337 | static void sctp_tsnmap_find_gap_ack(__u8 *map, __u16 off, | 
|  | 338 | __u16 len, __u16 base, | 
|  | 339 | int *started, __u16 *start, | 
|  | 340 | int *ended, __u16 *end) | 
|  | 341 | { | 
|  | 342 | int i = off; | 
|  | 343 |  | 
|  | 344 | /* Look through the entire array, but break out | 
|  | 345 | * early if we have found the end of the Gap Ack Block. | 
|  | 346 | */ | 
|  | 347 |  | 
|  | 348 | /* Also, stop looking past the maximum TSN seen. */ | 
|  | 349 |  | 
|  | 350 | /* Look for the start. */ | 
|  | 351 | if (!(*started)) { | 
|  | 352 | for (; i < len; i++) { | 
|  | 353 | if (map[i]) { | 
|  | 354 | (*started)++; | 
|  | 355 | *start = base + i; | 
|  | 356 | break; | 
|  | 357 | } | 
|  | 358 | } | 
|  | 359 | } | 
|  | 360 |  | 
|  | 361 | /* Look for the end.  */ | 
|  | 362 | if (*started) { | 
|  | 363 | /* We have found the start, let's find the | 
|  | 364 | * end.  If we find the end, break out. | 
|  | 365 | */ | 
|  | 366 | for (; i < len; i++) { | 
|  | 367 | if (!map[i]) { | 
|  | 368 | (*ended)++; | 
|  | 369 | *end = base + i - 1; | 
|  | 370 | break; | 
|  | 371 | } | 
|  | 372 | } | 
|  | 373 | } | 
|  | 374 | } | 
|  | 375 |  | 
|  | 376 | /* Renege that we have seen a TSN.  */ | 
|  | 377 | void sctp_tsnmap_renege(struct sctp_tsnmap *map, __u32 tsn) | 
|  | 378 | { | 
|  | 379 | __s32 gap; | 
|  | 380 |  | 
|  | 381 | if (TSN_lt(tsn, map->base_tsn)) | 
|  | 382 | return; | 
|  | 383 | if (!TSN_lt(tsn, map->base_tsn + map->len + map->len)) | 
|  | 384 | return; | 
|  | 385 |  | 
|  | 386 | /* Assert: TSN is in range.  */ | 
|  | 387 | gap = tsn - map->base_tsn; | 
|  | 388 |  | 
|  | 389 | /* Pretend we never saw the TSN.  */ | 
|  | 390 | if (gap < map->len) | 
|  | 391 | map->tsn_map[gap] = 0; | 
|  | 392 | else | 
|  | 393 | map->overflow_map[gap - map->len] = 0; | 
|  | 394 | } | 
|  | 395 |  | 
|  | 396 | /* How many gap ack blocks do we have recorded? */ | 
|  | 397 | __u16 sctp_tsnmap_num_gabs(struct sctp_tsnmap *map) | 
|  | 398 | { | 
|  | 399 | struct sctp_tsnmap_iter iter; | 
|  | 400 | int gabs = 0; | 
|  | 401 |  | 
|  | 402 | /* Refresh the gap ack information. */ | 
|  | 403 | if (sctp_tsnmap_has_gap(map)) { | 
| Al Viro | 9f81bcd | 2006-11-20 17:26:34 -0800 | [diff] [blame] | 404 | __u16 start, end; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 405 | sctp_tsnmap_iter_init(map, &iter); | 
|  | 406 | while (sctp_tsnmap_next_gap_ack(map, &iter, | 
| Al Viro | 9f81bcd | 2006-11-20 17:26:34 -0800 | [diff] [blame] | 407 | &start, | 
|  | 408 | &end)) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 409 |  | 
| Al Viro | 9f81bcd | 2006-11-20 17:26:34 -0800 | [diff] [blame] | 410 | map->gabs[gabs].start = htons(start); | 
|  | 411 | map->gabs[gabs].end = htons(end); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 412 | gabs++; | 
|  | 413 | if (gabs >= SCTP_MAX_GABS) | 
|  | 414 | break; | 
|  | 415 | } | 
|  | 416 | } | 
|  | 417 | return gabs; | 
|  | 418 | } |