Thomas Gleixner | d2912cb | 2019-06-04 10:11:33 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-only |
Marcin Garski | db955170 | 2007-10-19 23:22:11 +0200 | [diff] [blame] | 2 | /* (C) 1999 Jérôme de Vivie <devivie@info.enserb.u-bordeaux.fr> |
| 3 | * (C) 1999 Hervé Eychenne <eychenne@info.enserb.u-bordeaux.fr> |
Patrick McHardy | f229f6c | 2013-04-06 15:24:29 +0200 | [diff] [blame] | 4 | * (C) 2006-2012 Patrick McHardy <kaber@trash.net> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 5 | */ |
Jan Engelhardt | 8bee4ba | 2010-03-17 16:04:40 +0100 | [diff] [blame] | 6 | #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 7 | |
Tejun Heo | 5a0e3ad | 2010-03-24 17:04:11 +0900 | [diff] [blame] | 8 | #include <linux/slab.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 9 | #include <linux/module.h> |
| 10 | #include <linux/skbuff.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 11 | #include <linux/interrupt.h> |
| 12 | |
Harald Welte | 2e4e6a1 | 2006-01-12 13:30:04 -0800 | [diff] [blame] | 13 | #include <linux/netfilter/x_tables.h> |
| 14 | #include <linux/netfilter/xt_limit.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 15 | |
Jan Engelhardt | acc738f | 2009-03-16 15:35:29 +0100 | [diff] [blame] | 16 | struct xt_limit_priv { |
| 17 | unsigned long prev; |
Jason Baron | 07df3fc | 2021-04-29 12:26:13 -0400 | [diff] [blame] | 18 | u32 credit; |
Jan Engelhardt | acc738f | 2009-03-16 15:35:29 +0100 | [diff] [blame] | 19 | }; |
| 20 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 21 | MODULE_LICENSE("GPL"); |
| 22 | MODULE_AUTHOR("Herve Eychenne <rv@wallfire.org>"); |
Jan Engelhardt | 2ae15b6 | 2008-01-14 23:42:28 -0800 | [diff] [blame] | 23 | MODULE_DESCRIPTION("Xtables: rate-limit match"); |
Harald Welte | 2e4e6a1 | 2006-01-12 13:30:04 -0800 | [diff] [blame] | 24 | MODULE_ALIAS("ipt_limit"); |
| 25 | MODULE_ALIAS("ip6t_limit"); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 26 | |
| 27 | /* The algorithm used is the Simple Token Bucket Filter (TBF) |
| 28 | * see net/sched/sch_tbf.c in the linux source tree |
| 29 | */ |
| 30 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 31 | /* Rusty: This is my (non-mathematically-inclined) understanding of |
| 32 | this algorithm. The `average rate' in jiffies becomes your initial |
| 33 | amount of credit `credit' and the most credit you can ever have |
| 34 | `credit_cap'. The `peak rate' becomes the cost of passing the |
| 35 | test, `cost'. |
| 36 | |
| 37 | `prev' tracks the last packet hit: you gain one credit per jiffy. |
| 38 | If you get credit balance more than this, the extra credit is |
| 39 | discarded. Every time the match passes, you lose `cost' credits; |
| 40 | if you don't have that many, the test fails. |
| 41 | |
| 42 | See Alexey's formal explanation in net/sched/sch_tbf.c. |
| 43 | |
Geert Uytterhoeven | 010eacd | 2018-03-02 14:59:54 +0100 | [diff] [blame] | 44 | To get the maximum range, we multiply by this factor (ie. you get N |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 45 | credits per jiffy). We want to allow a rate as low as 1 per day |
| 46 | (slowest userspace tool allows), which means |
| 47 | CREDITS_PER_JIFFY*HZ*60*60*24 < 2^32. ie. */ |
| 48 | #define MAX_CPJ (0xFFFFFFFF / (HZ*60*60*24)) |
| 49 | |
| 50 | /* Repeated shift and or gives us all 1s, final shift and add 1 gives |
| 51 | * us the power of 2 below the theoretical max, so GCC simply does a |
| 52 | * shift. */ |
| 53 | #define _POW2_BELOW2(x) ((x)|((x)>>1)) |
| 54 | #define _POW2_BELOW4(x) (_POW2_BELOW2(x)|_POW2_BELOW2((x)>>2)) |
| 55 | #define _POW2_BELOW8(x) (_POW2_BELOW4(x)|_POW2_BELOW4((x)>>4)) |
| 56 | #define _POW2_BELOW16(x) (_POW2_BELOW8(x)|_POW2_BELOW8((x)>>8)) |
| 57 | #define _POW2_BELOW32(x) (_POW2_BELOW16(x)|_POW2_BELOW16((x)>>16)) |
| 58 | #define POW2_BELOW32(x) ((_POW2_BELOW32(x)>>1) + 1) |
| 59 | |
| 60 | #define CREDITS_PER_JIFFY POW2_BELOW32(MAX_CPJ) |
| 61 | |
Jan Engelhardt | 1d93a9c | 2007-07-07 22:15:35 -0700 | [diff] [blame] | 62 | static bool |
Jan Engelhardt | 62fc805 | 2009-07-07 20:42:08 +0200 | [diff] [blame] | 63 | limit_mt(const struct sk_buff *skb, struct xt_action_param *par) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 64 | { |
Jan Engelhardt | acc738f | 2009-03-16 15:35:29 +0100 | [diff] [blame] | 65 | const struct xt_rateinfo *r = par->matchinfo; |
| 66 | struct xt_limit_priv *priv = r->master; |
Jason Baron | 07df3fc | 2021-04-29 12:26:13 -0400 | [diff] [blame] | 67 | unsigned long now; |
| 68 | u32 old_credit, new_credit, credit_increase = 0; |
| 69 | bool ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 70 | |
Jason Baron | 07df3fc | 2021-04-29 12:26:13 -0400 | [diff] [blame] | 71 | /* fastpath if there is nothing to update */ |
| 72 | if ((READ_ONCE(priv->credit) < r->cost) && (READ_ONCE(priv->prev) == jiffies)) |
| 73 | return false; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 74 | |
Jason Baron | 07df3fc | 2021-04-29 12:26:13 -0400 | [diff] [blame] | 75 | do { |
| 76 | now = jiffies; |
| 77 | credit_increase += (now - xchg(&priv->prev, now)) * CREDITS_PER_JIFFY; |
| 78 | old_credit = READ_ONCE(priv->credit); |
| 79 | new_credit = old_credit; |
| 80 | new_credit += credit_increase; |
| 81 | if (new_credit > r->credit_cap) |
| 82 | new_credit = r->credit_cap; |
| 83 | if (new_credit >= r->cost) { |
| 84 | ret = true; |
| 85 | new_credit -= r->cost; |
| 86 | } else { |
| 87 | ret = false; |
| 88 | } |
| 89 | } while (cmpxchg(&priv->credit, old_credit, new_credit) != old_credit); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 90 | |
Jason Baron | 07df3fc | 2021-04-29 12:26:13 -0400 | [diff] [blame] | 91 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 92 | } |
| 93 | |
| 94 | /* Precision saver. */ |
Florian Westphal | 7a909ac | 2012-05-07 10:51:43 +0000 | [diff] [blame] | 95 | static u32 user2credits(u32 user) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 96 | { |
| 97 | /* If multiplying would overflow... */ |
| 98 | if (user > 0xFFFFFFFF / (HZ*CREDITS_PER_JIFFY)) |
| 99 | /* Divide first. */ |
Harald Welte | 2e4e6a1 | 2006-01-12 13:30:04 -0800 | [diff] [blame] | 100 | return (user / XT_LIMIT_SCALE) * HZ * CREDITS_PER_JIFFY; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 101 | |
Harald Welte | 2e4e6a1 | 2006-01-12 13:30:04 -0800 | [diff] [blame] | 102 | return (user * HZ * CREDITS_PER_JIFFY) / XT_LIMIT_SCALE; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 103 | } |
| 104 | |
Jan Engelhardt | b0f3845 | 2010-03-19 17:16:42 +0100 | [diff] [blame] | 105 | static int limit_mt_check(const struct xt_mtchk_param *par) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 106 | { |
Jan Engelhardt | 9b4fce7 | 2008-10-08 11:35:18 +0200 | [diff] [blame] | 107 | struct xt_rateinfo *r = par->matchinfo; |
Jan Engelhardt | acc738f | 2009-03-16 15:35:29 +0100 | [diff] [blame] | 108 | struct xt_limit_priv *priv; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 109 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 110 | /* Check for overflow. */ |
| 111 | if (r->burst == 0 |
| 112 | || user2credits(r->avg * r->burst) < user2credits(r->avg)) { |
Florian Westphal | b260664 | 2018-02-09 15:52:07 +0100 | [diff] [blame] | 113 | pr_info_ratelimited("Overflow, try lower: %u/%u\n", |
| 114 | r->avg, r->burst); |
Jan Engelhardt | 4a5a5c7 | 2010-03-19 17:32:59 +0100 | [diff] [blame] | 115 | return -ERANGE; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 116 | } |
| 117 | |
Jan Engelhardt | acc738f | 2009-03-16 15:35:29 +0100 | [diff] [blame] | 118 | priv = kmalloc(sizeof(*priv), GFP_KERNEL); |
| 119 | if (priv == NULL) |
Jan Engelhardt | 4a5a5c7 | 2010-03-19 17:32:59 +0100 | [diff] [blame] | 120 | return -ENOMEM; |
Jan Engelhardt | acc738f | 2009-03-16 15:35:29 +0100 | [diff] [blame] | 121 | |
| 122 | /* For SMP, we only want to use one set of state. */ |
| 123 | r->master = priv; |
Jan Engelhardt | 82e6bfe | 2012-09-21 22:26:52 +0000 | [diff] [blame] | 124 | /* User avg in seconds * XT_LIMIT_SCALE: convert to jiffies * |
| 125 | 128. */ |
| 126 | priv->prev = jiffies; |
| 127 | priv->credit = user2credits(r->avg * r->burst); /* Credits full. */ |
Patrick McHardy | 57dab5d | 2006-09-20 11:59:25 -0700 | [diff] [blame] | 128 | if (r->cost == 0) { |
Florian Westphal | 7a909ac | 2012-05-07 10:51:43 +0000 | [diff] [blame] | 129 | r->credit_cap = priv->credit; /* Credits full. */ |
Patrick McHardy | 57dab5d | 2006-09-20 11:59:25 -0700 | [diff] [blame] | 130 | r->cost = user2credits(r->avg); |
| 131 | } |
Liping Zhang | 2cb4bbd | 2017-03-11 14:08:09 +0800 | [diff] [blame] | 132 | |
Jan Engelhardt | bd414ee | 2010-03-23 16:35:56 +0100 | [diff] [blame] | 133 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 134 | } |
| 135 | |
Jan Engelhardt | acc738f | 2009-03-16 15:35:29 +0100 | [diff] [blame] | 136 | static void limit_mt_destroy(const struct xt_mtdtor_param *par) |
| 137 | { |
| 138 | const struct xt_rateinfo *info = par->matchinfo; |
| 139 | |
| 140 | kfree(info->master); |
| 141 | } |
| 142 | |
Florian Westphal | 47a6959 | 2021-04-26 12:14:40 +0200 | [diff] [blame] | 143 | #ifdef CONFIG_NETFILTER_XTABLES_COMPAT |
Patrick McHardy | 02c63cf | 2006-09-20 12:07:06 -0700 | [diff] [blame] | 144 | struct compat_xt_rateinfo { |
| 145 | u_int32_t avg; |
| 146 | u_int32_t burst; |
| 147 | |
| 148 | compat_ulong_t prev; |
| 149 | u_int32_t credit; |
| 150 | u_int32_t credit_cap, cost; |
| 151 | |
| 152 | u_int32_t master; |
| 153 | }; |
| 154 | |
| 155 | /* To keep the full "prev" timestamp, the upper 32 bits are stored in the |
| 156 | * master pointer, which does not need to be preserved. */ |
Jan Engelhardt | 739674f | 2009-06-26 08:23:19 +0200 | [diff] [blame] | 157 | static void limit_mt_compat_from_user(void *dst, const void *src) |
Patrick McHardy | 02c63cf | 2006-09-20 12:07:06 -0700 | [diff] [blame] | 158 | { |
Jan Engelhardt | a47362a | 2007-07-07 22:16:55 -0700 | [diff] [blame] | 159 | const struct compat_xt_rateinfo *cm = src; |
Patrick McHardy | 02c63cf | 2006-09-20 12:07:06 -0700 | [diff] [blame] | 160 | struct xt_rateinfo m = { |
| 161 | .avg = cm->avg, |
| 162 | .burst = cm->burst, |
| 163 | .prev = cm->prev | (unsigned long)cm->master << 32, |
| 164 | .credit = cm->credit, |
| 165 | .credit_cap = cm->credit_cap, |
| 166 | .cost = cm->cost, |
| 167 | }; |
| 168 | memcpy(dst, &m, sizeof(m)); |
| 169 | } |
| 170 | |
Jan Engelhardt | 739674f | 2009-06-26 08:23:19 +0200 | [diff] [blame] | 171 | static int limit_mt_compat_to_user(void __user *dst, const void *src) |
Patrick McHardy | 02c63cf | 2006-09-20 12:07:06 -0700 | [diff] [blame] | 172 | { |
Jan Engelhardt | a47362a | 2007-07-07 22:16:55 -0700 | [diff] [blame] | 173 | const struct xt_rateinfo *m = src; |
Patrick McHardy | 02c63cf | 2006-09-20 12:07:06 -0700 | [diff] [blame] | 174 | struct compat_xt_rateinfo cm = { |
| 175 | .avg = m->avg, |
| 176 | .burst = m->burst, |
| 177 | .prev = m->prev, |
| 178 | .credit = m->credit, |
| 179 | .credit_cap = m->credit_cap, |
| 180 | .cost = m->cost, |
| 181 | .master = m->prev >> 32, |
| 182 | }; |
| 183 | return copy_to_user(dst, &cm, sizeof(cm)) ? -EFAULT : 0; |
| 184 | } |
Florian Westphal | 47a6959 | 2021-04-26 12:14:40 +0200 | [diff] [blame] | 185 | #endif /* CONFIG_NETFILTER_XTABLES_COMPAT */ |
Patrick McHardy | 02c63cf | 2006-09-20 12:07:06 -0700 | [diff] [blame] | 186 | |
Jan Engelhardt | 55b69e9 | 2008-10-08 11:35:01 +0200 | [diff] [blame] | 187 | static struct xt_match limit_mt_reg __read_mostly = { |
| 188 | .name = "limit", |
| 189 | .revision = 0, |
| 190 | .family = NFPROTO_UNSPEC, |
| 191 | .match = limit_mt, |
| 192 | .checkentry = limit_mt_check, |
Jan Engelhardt | acc738f | 2009-03-16 15:35:29 +0100 | [diff] [blame] | 193 | .destroy = limit_mt_destroy, |
Jan Engelhardt | 55b69e9 | 2008-10-08 11:35:01 +0200 | [diff] [blame] | 194 | .matchsize = sizeof(struct xt_rateinfo), |
Florian Westphal | 47a6959 | 2021-04-26 12:14:40 +0200 | [diff] [blame] | 195 | #ifdef CONFIG_NETFILTER_XTABLES_COMPAT |
Jan Engelhardt | 55b69e9 | 2008-10-08 11:35:01 +0200 | [diff] [blame] | 196 | .compatsize = sizeof(struct compat_xt_rateinfo), |
| 197 | .compat_from_user = limit_mt_compat_from_user, |
| 198 | .compat_to_user = limit_mt_compat_to_user, |
Patrick McHardy | 02c63cf | 2006-09-20 12:07:06 -0700 | [diff] [blame] | 199 | #endif |
Dmitry Vyukov | 1e98ffe | 2018-01-29 13:21:20 +0100 | [diff] [blame] | 200 | .usersize = offsetof(struct xt_rateinfo, prev), |
Jan Engelhardt | 55b69e9 | 2008-10-08 11:35:01 +0200 | [diff] [blame] | 201 | .me = THIS_MODULE, |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 202 | }; |
| 203 | |
Jan Engelhardt | d3c5ee6 | 2007-12-04 23:24:03 -0800 | [diff] [blame] | 204 | static int __init limit_mt_init(void) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 205 | { |
Jan Engelhardt | 55b69e9 | 2008-10-08 11:35:01 +0200 | [diff] [blame] | 206 | return xt_register_match(&limit_mt_reg); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 207 | } |
| 208 | |
Jan Engelhardt | d3c5ee6 | 2007-12-04 23:24:03 -0800 | [diff] [blame] | 209 | static void __exit limit_mt_exit(void) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 210 | { |
Jan Engelhardt | 55b69e9 | 2008-10-08 11:35:01 +0200 | [diff] [blame] | 211 | xt_unregister_match(&limit_mt_reg); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 212 | } |
| 213 | |
Jan Engelhardt | d3c5ee6 | 2007-12-04 23:24:03 -0800 | [diff] [blame] | 214 | module_init(limit_mt_init); |
| 215 | module_exit(limit_mt_exit); |