blob: f64f36a8306378eca6c2b1d669c540af48361e0f [file] [log] [blame]
Thomas Gleixnerd2912cb2019-06-04 10:11:33 +02001// SPDX-License-Identifier: GPL-2.0-only
Tom Herbert43a0c672016-08-15 14:51:01 -07002/*
3 * Stream Parser
4 *
5 * Copyright (c) 2016 Tom Herbert <tom@herbertland.com>
Tom Herbert43a0c672016-08-15 14:51:01 -07006 */
7
8#include <linux/bpf.h>
9#include <linux/errno.h>
10#include <linux/errqueue.h>
11#include <linux/file.h>
12#include <linux/in.h>
13#include <linux/kernel.h>
Paul Gortmaker15253b42019-04-20 23:29:48 -040014#include <linux/export.h>
15#include <linux/init.h>
Tom Herbert43a0c672016-08-15 14:51:01 -070016#include <linux/net.h>
17#include <linux/netdevice.h>
18#include <linux/poll.h>
19#include <linux/rculist.h>
20#include <linux/skbuff.h>
21#include <linux/socket.h>
22#include <linux/uaccess.h>
23#include <linux/workqueue.h>
24#include <net/strparser.h>
25#include <net/netns/generic.h>
26#include <net/sock.h>
Tom Herbert43a0c672016-08-15 14:51:01 -070027
28static struct workqueue_struct *strp_wq;
29
Tom Herbertbbb03022017-07-28 16:22:43 -070030struct _strp_msg {
31 /* Internal cb structure. struct strp_msg must be first for passing
Tom Herbert43a0c672016-08-15 14:51:01 -070032 * to upper layer.
33 */
Tom Herbertbbb03022017-07-28 16:22:43 -070034 struct strp_msg strp;
Tom Herbert43a0c672016-08-15 14:51:01 -070035 int accum_len;
Tom Herbert43a0c672016-08-15 14:51:01 -070036};
37
Tom Herbertbbb03022017-07-28 16:22:43 -070038static inline struct _strp_msg *_strp_msg(struct sk_buff *skb)
Tom Herbert43a0c672016-08-15 14:51:01 -070039{
Tom Herbertbbb03022017-07-28 16:22:43 -070040 return (struct _strp_msg *)((void *)skb->cb +
Tom Herbert43a0c672016-08-15 14:51:01 -070041 offsetof(struct qdisc_skb_cb, data));
42}
43
44/* Lower lock held */
Tom Herbertbbb03022017-07-28 16:22:43 -070045static void strp_abort_strp(struct strparser *strp, int err)
Tom Herbert43a0c672016-08-15 14:51:01 -070046{
Tom Herbert43a0c672016-08-15 14:51:01 -070047 /* Unrecoverable error in receive */
48
Tom Herbert829385f2017-10-20 16:40:43 -070049 cancel_delayed_work(&strp->msg_timer_work);
Tom Herbert43a0c672016-08-15 14:51:01 -070050
Tom Herbertbbb03022017-07-28 16:22:43 -070051 if (strp->stopped)
Tom Herbert43a0c672016-08-15 14:51:01 -070052 return;
53
Tom Herbertbbb03022017-07-28 16:22:43 -070054 strp->stopped = 1;
Tom Herbert43a0c672016-08-15 14:51:01 -070055
Tom Herbertbbb03022017-07-28 16:22:43 -070056 if (strp->sk) {
57 struct sock *sk = strp->sk;
58
59 /* Report an error on the lower socket */
Dave Watsoncd00edc2018-03-26 12:31:21 -070060 sk->sk_err = -err;
Tom Herbertbbb03022017-07-28 16:22:43 -070061 sk->sk_error_report(sk);
62 }
Tom Herbert43a0c672016-08-15 14:51:01 -070063}
64
Tom Herbertbbb03022017-07-28 16:22:43 -070065static void strp_start_timer(struct strparser *strp, long timeo)
Tom Herbert43a0c672016-08-15 14:51:01 -070066{
Doron Roberts-Kedes7c5aba22018-04-20 12:11:11 -070067 if (timeo && timeo != LONG_MAX)
Tom Herbert829385f2017-10-20 16:40:43 -070068 mod_delayed_work(strp_wq, &strp->msg_timer_work, timeo);
Tom Herbert43a0c672016-08-15 14:51:01 -070069}
70
71/* Lower lock held */
72static void strp_parser_err(struct strparser *strp, int err,
73 read_descriptor_t *desc)
74{
75 desc->error = err;
Tom Herbertbbb03022017-07-28 16:22:43 -070076 kfree_skb(strp->skb_head);
77 strp->skb_head = NULL;
Tom Herbert43a0c672016-08-15 14:51:01 -070078 strp->cb.abort_parser(strp, err);
79}
80
Tom Herbert96a59082016-08-28 14:43:19 -070081static inline int strp_peek_len(struct strparser *strp)
82{
Tom Herbertbbb03022017-07-28 16:22:43 -070083 if (strp->sk) {
84 struct socket *sock = strp->sk->sk_socket;
Tom Herbert96a59082016-08-28 14:43:19 -070085
Tom Herbertbbb03022017-07-28 16:22:43 -070086 return sock->ops->peek_len(sock);
87 }
88
89 /* If we don't have an associated socket there's nothing to peek.
90 * Return int max to avoid stopping the strparser.
91 */
92
93 return INT_MAX;
Tom Herbert96a59082016-08-28 14:43:19 -070094}
95
Tom Herbert43a0c672016-08-15 14:51:01 -070096/* Lower socket lock held */
Tom Herbertbbb03022017-07-28 16:22:43 -070097static int __strp_recv(read_descriptor_t *desc, struct sk_buff *orig_skb,
98 unsigned int orig_offset, size_t orig_len,
99 size_t max_msg_size, long timeo)
Tom Herbert43a0c672016-08-15 14:51:01 -0700100{
101 struct strparser *strp = (struct strparser *)desc->arg.data;
Tom Herbertbbb03022017-07-28 16:22:43 -0700102 struct _strp_msg *stm;
Tom Herbert43a0c672016-08-15 14:51:01 -0700103 struct sk_buff *head, *skb;
104 size_t eaten = 0, cand_len;
105 ssize_t extra;
106 int err;
107 bool cloned_orig = false;
108
Tom Herbertbbb03022017-07-28 16:22:43 -0700109 if (strp->paused)
Tom Herbert43a0c672016-08-15 14:51:01 -0700110 return 0;
111
Tom Herbertbbb03022017-07-28 16:22:43 -0700112 head = strp->skb_head;
Tom Herbert43a0c672016-08-15 14:51:01 -0700113 if (head) {
114 /* Message already in progress */
Tom Herbert43a0c672016-08-15 14:51:01 -0700115 if (unlikely(orig_offset)) {
116 /* Getting data with a non-zero offset when a message is
117 * in progress is not expected. If it does happen, we
118 * need to clone and pull since we can't deal with
119 * offsets in the skbs for a message expect in the head.
120 */
121 orig_skb = skb_clone(orig_skb, GFP_ATOMIC);
122 if (!orig_skb) {
Tom Herbertbbb03022017-07-28 16:22:43 -0700123 STRP_STATS_INCR(strp->stats.mem_fail);
Tom Herbert43a0c672016-08-15 14:51:01 -0700124 desc->error = -ENOMEM;
125 return 0;
126 }
127 if (!pskb_pull(orig_skb, orig_offset)) {
Tom Herbertbbb03022017-07-28 16:22:43 -0700128 STRP_STATS_INCR(strp->stats.mem_fail);
Tom Herbert43a0c672016-08-15 14:51:01 -0700129 kfree_skb(orig_skb);
130 desc->error = -ENOMEM;
131 return 0;
132 }
133 cloned_orig = true;
134 orig_offset = 0;
135 }
136
Tom Herbertbbb03022017-07-28 16:22:43 -0700137 if (!strp->skb_nextp) {
Tom Herbert43a0c672016-08-15 14:51:01 -0700138 /* We are going to append to the frags_list of head.
139 * Need to unshare the frag_list.
140 */
Jakub Kicinski4a9c2e32019-04-10 11:04:32 -0700141 err = skb_unclone(head, GFP_ATOMIC);
142 if (err) {
143 STRP_STATS_INCR(strp->stats.mem_fail);
144 desc->error = err;
145 return 0;
Tom Herbert43a0c672016-08-15 14:51:01 -0700146 }
147
148 if (unlikely(skb_shinfo(head)->frag_list)) {
149 /* We can't append to an sk_buff that already
150 * has a frag_list. We create a new head, point
151 * the frag_list of that to the old head, and
152 * then are able to use the old head->next for
153 * appending to the message.
154 */
155 if (WARN_ON(head->next)) {
156 desc->error = -EINVAL;
157 return 0;
158 }
159
160 skb = alloc_skb(0, GFP_ATOMIC);
161 if (!skb) {
Tom Herbertbbb03022017-07-28 16:22:43 -0700162 STRP_STATS_INCR(strp->stats.mem_fail);
Tom Herbert43a0c672016-08-15 14:51:01 -0700163 desc->error = -ENOMEM;
164 return 0;
165 }
166 skb->len = head->len;
167 skb->data_len = head->len;
168 skb->truesize = head->truesize;
Tom Herbertbbb03022017-07-28 16:22:43 -0700169 *_strp_msg(skb) = *_strp_msg(head);
170 strp->skb_nextp = &head->next;
Tom Herbert43a0c672016-08-15 14:51:01 -0700171 skb_shinfo(skb)->frag_list = head;
Tom Herbertbbb03022017-07-28 16:22:43 -0700172 strp->skb_head = skb;
Tom Herbert43a0c672016-08-15 14:51:01 -0700173 head = skb;
174 } else {
Tom Herbertbbb03022017-07-28 16:22:43 -0700175 strp->skb_nextp =
Tom Herbert43a0c672016-08-15 14:51:01 -0700176 &skb_shinfo(head)->frag_list;
177 }
178 }
179 }
180
181 while (eaten < orig_len) {
182 /* Always clone since we will consume something */
183 skb = skb_clone(orig_skb, GFP_ATOMIC);
184 if (!skb) {
Tom Herbertbbb03022017-07-28 16:22:43 -0700185 STRP_STATS_INCR(strp->stats.mem_fail);
Tom Herbert43a0c672016-08-15 14:51:01 -0700186 desc->error = -ENOMEM;
187 break;
188 }
189
190 cand_len = orig_len - eaten;
191
Tom Herbertbbb03022017-07-28 16:22:43 -0700192 head = strp->skb_head;
Tom Herbert43a0c672016-08-15 14:51:01 -0700193 if (!head) {
194 head = skb;
Tom Herbertbbb03022017-07-28 16:22:43 -0700195 strp->skb_head = head;
196 /* Will set skb_nextp on next packet if needed */
197 strp->skb_nextp = NULL;
198 stm = _strp_msg(head);
199 memset(stm, 0, sizeof(*stm));
200 stm->strp.offset = orig_offset + eaten;
Tom Herbert43a0c672016-08-15 14:51:01 -0700201 } else {
Vakul Garg4e485d02018-06-30 00:45:55 +0530202 /* Unclone if we are appending to an skb that we
Tom Herbert43a0c672016-08-15 14:51:01 -0700203 * already share a frag_list with.
204 */
Vakul Garg4e485d02018-06-30 00:45:55 +0530205 if (skb_has_frag_list(skb)) {
206 err = skb_unclone(skb, GFP_ATOMIC);
207 if (err) {
208 STRP_STATS_INCR(strp->stats.mem_fail);
209 desc->error = err;
210 break;
211 }
Tom Herbert43a0c672016-08-15 14:51:01 -0700212 }
213
Tom Herbertbbb03022017-07-28 16:22:43 -0700214 stm = _strp_msg(head);
215 *strp->skb_nextp = skb;
216 strp->skb_nextp = &skb->next;
Tom Herbert43a0c672016-08-15 14:51:01 -0700217 head->data_len += skb->len;
218 head->len += skb->len;
219 head->truesize += skb->truesize;
220 }
221
Tom Herbertbbb03022017-07-28 16:22:43 -0700222 if (!stm->strp.full_len) {
Tom Herbert43a0c672016-08-15 14:51:01 -0700223 ssize_t len;
224
225 len = (*strp->cb.parse_msg)(strp, head);
226
227 if (!len) {
228 /* Need more header to determine length */
Tom Herbertbbb03022017-07-28 16:22:43 -0700229 if (!stm->accum_len) {
Tom Herbert43a0c672016-08-15 14:51:01 -0700230 /* Start RX timer for new message */
Tom Herbertbbb03022017-07-28 16:22:43 -0700231 strp_start_timer(strp, timeo);
Tom Herbert43a0c672016-08-15 14:51:01 -0700232 }
Tom Herbertbbb03022017-07-28 16:22:43 -0700233 stm->accum_len += cand_len;
Tom Herbert43a0c672016-08-15 14:51:01 -0700234 eaten += cand_len;
Tom Herbertbbb03022017-07-28 16:22:43 -0700235 STRP_STATS_INCR(strp->stats.need_more_hdr);
Tom Herbert43a0c672016-08-15 14:51:01 -0700236 WARN_ON(eaten != orig_len);
237 break;
238 } else if (len < 0) {
Tom Herbertbbb03022017-07-28 16:22:43 -0700239 if (len == -ESTRPIPE && stm->accum_len) {
Tom Herbert43a0c672016-08-15 14:51:01 -0700240 len = -ENODATA;
Tom Herbertbbb03022017-07-28 16:22:43 -0700241 strp->unrecov_intr = 1;
Tom Herbert43a0c672016-08-15 14:51:01 -0700242 } else {
Tom Herbertbbb03022017-07-28 16:22:43 -0700243 strp->interrupted = 1;
Tom Herbert43a0c672016-08-15 14:51:01 -0700244 }
Geert Uytterhoeven6d3a4c42016-10-06 15:41:49 +0200245 strp_parser_err(strp, len, desc);
Tom Herbert43a0c672016-08-15 14:51:01 -0700246 break;
Tom Herbertbbb03022017-07-28 16:22:43 -0700247 } else if (len > max_msg_size) {
Tom Herbert43a0c672016-08-15 14:51:01 -0700248 /* Message length exceeds maximum allowed */
Tom Herbertbbb03022017-07-28 16:22:43 -0700249 STRP_STATS_INCR(strp->stats.msg_too_big);
Tom Herbert43a0c672016-08-15 14:51:01 -0700250 strp_parser_err(strp, -EMSGSIZE, desc);
251 break;
252 } else if (len <= (ssize_t)head->len -
Tom Herbertbbb03022017-07-28 16:22:43 -0700253 skb->len - stm->strp.offset) {
Tom Herbert43a0c672016-08-15 14:51:01 -0700254 /* Length must be into new skb (and also
255 * greater than zero)
256 */
Tom Herbertbbb03022017-07-28 16:22:43 -0700257 STRP_STATS_INCR(strp->stats.bad_hdr_len);
Tom Herbert43a0c672016-08-15 14:51:01 -0700258 strp_parser_err(strp, -EPROTO, desc);
259 break;
260 }
261
Tom Herbertbbb03022017-07-28 16:22:43 -0700262 stm->strp.full_len = len;
Tom Herbert43a0c672016-08-15 14:51:01 -0700263 }
264
Tom Herbertbbb03022017-07-28 16:22:43 -0700265 extra = (ssize_t)(stm->accum_len + cand_len) -
266 stm->strp.full_len;
Tom Herbert43a0c672016-08-15 14:51:01 -0700267
268 if (extra < 0) {
269 /* Message not complete yet. */
Tom Herbertbbb03022017-07-28 16:22:43 -0700270 if (stm->strp.full_len - stm->accum_len >
Tom Herbert96a59082016-08-28 14:43:19 -0700271 strp_peek_len(strp)) {
Tom Herbertbbb03022017-07-28 16:22:43 -0700272 /* Don't have the whole message in the socket
273 * buffer. Set strp->need_bytes to wait for
Tom Herbert43a0c672016-08-15 14:51:01 -0700274 * the rest of the message. Also, set "early
275 * eaten" since we've already buffered the skb
Tom Herbert96a59082016-08-28 14:43:19 -0700276 * but don't consume yet per strp_read_sock.
Tom Herbert43a0c672016-08-15 14:51:01 -0700277 */
278
Tom Herbertbbb03022017-07-28 16:22:43 -0700279 if (!stm->accum_len) {
Tom Herbert43a0c672016-08-15 14:51:01 -0700280 /* Start RX timer for new message */
Tom Herbertbbb03022017-07-28 16:22:43 -0700281 strp_start_timer(strp, timeo);
Tom Herbert43a0c672016-08-15 14:51:01 -0700282 }
283
Doron Roberts-Kedes9d0c75b2018-04-11 15:05:16 -0700284 stm->accum_len += cand_len;
Doron Roberts-Kedes977c7112018-06-26 18:33:33 -0700285 eaten += cand_len;
Tom Herbertbbb03022017-07-28 16:22:43 -0700286 strp->need_bytes = stm->strp.full_len -
287 stm->accum_len;
Tom Herbertbbb03022017-07-28 16:22:43 -0700288 STRP_STATS_ADD(strp->stats.bytes, cand_len);
Tom Herbert43a0c672016-08-15 14:51:01 -0700289 desc->count = 0; /* Stop reading socket */
290 break;
291 }
Tom Herbertbbb03022017-07-28 16:22:43 -0700292 stm->accum_len += cand_len;
Tom Herbert43a0c672016-08-15 14:51:01 -0700293 eaten += cand_len;
294 WARN_ON(eaten != orig_len);
295 break;
296 }
297
Jakub Kicinski93e21252019-04-10 13:18:57 -0700298 /* Positive extra indicates more bytes than needed for the
Tom Herbert43a0c672016-08-15 14:51:01 -0700299 * message
300 */
301
302 WARN_ON(extra > cand_len);
303
304 eaten += (cand_len - extra);
305
306 /* Hurray, we have a new message! */
Tom Herbert829385f2017-10-20 16:40:43 -0700307 cancel_delayed_work(&strp->msg_timer_work);
Tom Herbertbbb03022017-07-28 16:22:43 -0700308 strp->skb_head = NULL;
Doron Roberts-Kedes9d0c75b2018-04-11 15:05:16 -0700309 strp->need_bytes = 0;
Tom Herbertbbb03022017-07-28 16:22:43 -0700310 STRP_STATS_INCR(strp->stats.msgs);
Tom Herbert43a0c672016-08-15 14:51:01 -0700311
312 /* Give skb to upper layer */
313 strp->cb.rcv_msg(strp, head);
314
Tom Herbertbbb03022017-07-28 16:22:43 -0700315 if (unlikely(strp->paused)) {
Tom Herbert43a0c672016-08-15 14:51:01 -0700316 /* Upper layer paused strp */
317 break;
318 }
319 }
320
321 if (cloned_orig)
322 kfree_skb(orig_skb);
323
Tom Herbertbbb03022017-07-28 16:22:43 -0700324 STRP_STATS_ADD(strp->stats.bytes, eaten);
Tom Herbert43a0c672016-08-15 14:51:01 -0700325
326 return eaten;
327}
328
Tom Herbertbbb03022017-07-28 16:22:43 -0700329int strp_process(struct strparser *strp, struct sk_buff *orig_skb,
330 unsigned int orig_offset, size_t orig_len,
331 size_t max_msg_size, long timeo)
332{
333 read_descriptor_t desc; /* Dummy arg to strp_recv */
334
335 desc.arg.data = strp;
336
337 return __strp_recv(&desc, orig_skb, orig_offset, orig_len,
338 max_msg_size, timeo);
339}
340EXPORT_SYMBOL_GPL(strp_process);
341
342static int strp_recv(read_descriptor_t *desc, struct sk_buff *orig_skb,
343 unsigned int orig_offset, size_t orig_len)
344{
345 struct strparser *strp = (struct strparser *)desc->arg.data;
346
347 return __strp_recv(desc, orig_skb, orig_offset, orig_len,
348 strp->sk->sk_rcvbuf, strp->sk->sk_rcvtimeo);
349}
350
Tom Herbert43a0c672016-08-15 14:51:01 -0700351static int default_read_sock_done(struct strparser *strp, int err)
352{
353 return err;
354}
355
356/* Called with lock held on lower socket */
Tom Herbert96a59082016-08-28 14:43:19 -0700357static int strp_read_sock(struct strparser *strp)
Tom Herbert43a0c672016-08-15 14:51:01 -0700358{
Tom Herbert96a59082016-08-28 14:43:19 -0700359 struct socket *sock = strp->sk->sk_socket;
Tom Herbert43a0c672016-08-15 14:51:01 -0700360 read_descriptor_t desc;
361
John Fastabendf26de112017-08-15 22:30:47 -0700362 if (unlikely(!sock || !sock->ops || !sock->ops->read_sock))
363 return -EBUSY;
364
Tom Herbert43a0c672016-08-15 14:51:01 -0700365 desc.arg.data = strp;
366 desc.error = 0;
367 desc.count = 1; /* give more than one skb per call */
368
Tom Herbert96a59082016-08-28 14:43:19 -0700369 /* sk should be locked here, so okay to do read_sock */
370 sock->ops->read_sock(strp->sk, &desc, strp_recv);
Tom Herbert43a0c672016-08-15 14:51:01 -0700371
372 desc.error = strp->cb.read_sock_done(strp, desc.error);
373
374 return desc.error;
375}
376
377/* Lower sock lock held */
Tom Herbert96a59082016-08-28 14:43:19 -0700378void strp_data_ready(struct strparser *strp)
Tom Herbert43a0c672016-08-15 14:51:01 -0700379{
Vakul Garg456488c2018-06-21 03:29:49 +0530380 if (unlikely(strp->stopped) || strp->paused)
Tom Herbert43a0c672016-08-15 14:51:01 -0700381 return;
382
Tom Herbertbbb03022017-07-28 16:22:43 -0700383 /* This check is needed to synchronize with do_strp_work.
384 * do_strp_work acquires a process lock (lock_sock) whereas
Tom Herbert43a0c672016-08-15 14:51:01 -0700385 * the lock held here is bh_lock_sock. The two locks can be
386 * held by different threads at the same time, but bh_lock_sock
387 * allows a thread in BH context to safely check if the process
388 * lock is held. In this case, if the lock is held, queue work.
389 */
Tom Herbertd66fa9e2017-12-28 11:00:44 -0800390 if (sock_owned_by_user_nocheck(strp->sk)) {
Tom Herbertbbb03022017-07-28 16:22:43 -0700391 queue_work(strp_wq, &strp->work);
Tom Herbert43a0c672016-08-15 14:51:01 -0700392 return;
393 }
394
Tom Herbertbbb03022017-07-28 16:22:43 -0700395 if (strp->need_bytes) {
Doron Roberts-Kedes9d0c75b2018-04-11 15:05:16 -0700396 if (strp_peek_len(strp) < strp->need_bytes)
Tom Herbert43a0c672016-08-15 14:51:01 -0700397 return;
398 }
399
Tom Herbert96a59082016-08-28 14:43:19 -0700400 if (strp_read_sock(strp) == -ENOMEM)
Tom Herbertbbb03022017-07-28 16:22:43 -0700401 queue_work(strp_wq, &strp->work);
Tom Herbert43a0c672016-08-15 14:51:01 -0700402}
Tom Herbert96a59082016-08-28 14:43:19 -0700403EXPORT_SYMBOL_GPL(strp_data_ready);
Tom Herbert43a0c672016-08-15 14:51:01 -0700404
Tom Herbertbbb03022017-07-28 16:22:43 -0700405static void do_strp_work(struct strparser *strp)
Tom Herbert43a0c672016-08-15 14:51:01 -0700406{
Tom Herbert96a59082016-08-28 14:43:19 -0700407 /* We need the read lock to synchronize with strp_data_ready. We
408 * need the socket lock for calling strp_read_sock.
Tom Herbert43a0c672016-08-15 14:51:01 -0700409 */
Tom Herbertbbb03022017-07-28 16:22:43 -0700410 strp->cb.lock(strp);
Tom Herbert43a0c672016-08-15 14:51:01 -0700411
Tom Herbertbbb03022017-07-28 16:22:43 -0700412 if (unlikely(strp->stopped))
Tom Herbert43a0c672016-08-15 14:51:01 -0700413 goto out;
414
Tom Herbertbbb03022017-07-28 16:22:43 -0700415 if (strp->paused)
Tom Herbert43a0c672016-08-15 14:51:01 -0700416 goto out;
417
Tom Herbert96a59082016-08-28 14:43:19 -0700418 if (strp_read_sock(strp) == -ENOMEM)
Tom Herbertbbb03022017-07-28 16:22:43 -0700419 queue_work(strp_wq, &strp->work);
Tom Herbert43a0c672016-08-15 14:51:01 -0700420
421out:
Tom Herbertbbb03022017-07-28 16:22:43 -0700422 strp->cb.unlock(strp);
Tom Herbert43a0c672016-08-15 14:51:01 -0700423}
424
Tom Herbertbbb03022017-07-28 16:22:43 -0700425static void strp_work(struct work_struct *w)
Tom Herbert43a0c672016-08-15 14:51:01 -0700426{
Tom Herbertbbb03022017-07-28 16:22:43 -0700427 do_strp_work(container_of(w, struct strparser, work));
Tom Herbert43a0c672016-08-15 14:51:01 -0700428}
429
Tom Herbert829385f2017-10-20 16:40:43 -0700430static void strp_msg_timeout(struct work_struct *w)
Tom Herbert43a0c672016-08-15 14:51:01 -0700431{
Tom Herbert829385f2017-10-20 16:40:43 -0700432 struct strparser *strp = container_of(w, struct strparser,
433 msg_timer_work.work);
Tom Herbert43a0c672016-08-15 14:51:01 -0700434
435 /* Message assembly timed out */
Tom Herbertbbb03022017-07-28 16:22:43 -0700436 STRP_STATS_INCR(strp->stats.msg_timeouts);
437 strp->cb.lock(strp);
Dave Watsoncd00edc2018-03-26 12:31:21 -0700438 strp->cb.abort_parser(strp, -ETIMEDOUT);
Tom Herbertbbb03022017-07-28 16:22:43 -0700439 strp->cb.unlock(strp);
440}
441
442static void strp_sock_lock(struct strparser *strp)
443{
444 lock_sock(strp->sk);
445}
446
447static void strp_sock_unlock(struct strparser *strp)
448{
Tom Herbert43a0c672016-08-15 14:51:01 -0700449 release_sock(strp->sk);
450}
451
Tom Herbertbbb03022017-07-28 16:22:43 -0700452int strp_init(struct strparser *strp, struct sock *sk,
Eric Biggers3fd87122017-08-24 14:38:51 -0700453 const struct strp_callbacks *cb)
Tom Herbert43a0c672016-08-15 14:51:01 -0700454{
Tom Herbert96a59082016-08-28 14:43:19 -0700455
Tom Herbert43a0c672016-08-15 14:51:01 -0700456 if (!cb || !cb->rcv_msg || !cb->parse_msg)
457 return -EINVAL;
458
Tom Herbertbbb03022017-07-28 16:22:43 -0700459 /* The sk (sock) arg determines the mode of the stream parser.
460 *
461 * If the sock is set then the strparser is in receive callback mode.
462 * The upper layer calls strp_data_ready to kick receive processing
463 * and strparser calls the read_sock function on the socket to
464 * get packets.
465 *
466 * If the sock is not set then the strparser is in general mode.
467 * The upper layer calls strp_process for each skb to be parsed.
468 */
469
John Fastabendf26de112017-08-15 22:30:47 -0700470 if (!sk) {
Tom Herbertbbb03022017-07-28 16:22:43 -0700471 if (!cb->lock || !cb->unlock)
472 return -EINVAL;
473 }
Tom Herbert96a59082016-08-28 14:43:19 -0700474
Tom Herbert43a0c672016-08-15 14:51:01 -0700475 memset(strp, 0, sizeof(*strp));
476
Tom Herbertbbb03022017-07-28 16:22:43 -0700477 strp->sk = sk;
Tom Herbert43a0c672016-08-15 14:51:01 -0700478
Tom Herbertbbb03022017-07-28 16:22:43 -0700479 strp->cb.lock = cb->lock ? : strp_sock_lock;
480 strp->cb.unlock = cb->unlock ? : strp_sock_unlock;
Tom Herbert43a0c672016-08-15 14:51:01 -0700481 strp->cb.rcv_msg = cb->rcv_msg;
482 strp->cb.parse_msg = cb->parse_msg;
483 strp->cb.read_sock_done = cb->read_sock_done ? : default_read_sock_done;
Tom Herbertbbb03022017-07-28 16:22:43 -0700484 strp->cb.abort_parser = cb->abort_parser ? : strp_abort_strp;
485
Tom Herbert829385f2017-10-20 16:40:43 -0700486 INIT_DELAYED_WORK(&strp->msg_timer_work, strp_msg_timeout);
Tom Herbertbbb03022017-07-28 16:22:43 -0700487 INIT_WORK(&strp->work, strp_work);
Tom Herbert43a0c672016-08-15 14:51:01 -0700488
489 return 0;
490}
491EXPORT_SYMBOL_GPL(strp_init);
492
Doron Roberts-Kedes7170e602018-06-06 09:33:28 -0700493/* Sock process lock held (lock_sock) */
494void __strp_unpause(struct strparser *strp)
495{
496 strp->paused = 0;
497
498 if (strp->need_bytes) {
499 if (strp_peek_len(strp) < strp->need_bytes)
500 return;
501 }
502 strp_read_sock(strp);
503}
504EXPORT_SYMBOL_GPL(__strp_unpause);
505
Tom Herbertcff6a332016-08-23 11:55:30 -0700506void strp_unpause(struct strparser *strp)
507{
Tom Herbertbbb03022017-07-28 16:22:43 -0700508 strp->paused = 0;
Tom Herbertcff6a332016-08-23 11:55:30 -0700509
Tom Herbertbbb03022017-07-28 16:22:43 -0700510 /* Sync setting paused with RX work */
Tom Herbertcff6a332016-08-23 11:55:30 -0700511 smp_mb();
512
Tom Herbertbbb03022017-07-28 16:22:43 -0700513 queue_work(strp_wq, &strp->work);
Tom Herbertcff6a332016-08-23 11:55:30 -0700514}
515EXPORT_SYMBOL_GPL(strp_unpause);
516
Tom Herbert96a59082016-08-28 14:43:19 -0700517/* strp must already be stopped so that strp_recv will no longer be called.
Tom Herbert43a0c672016-08-15 14:51:01 -0700518 * Note that strp_done is not called with the lower socket held.
519 */
520void strp_done(struct strparser *strp)
521{
Tom Herbertbbb03022017-07-28 16:22:43 -0700522 WARN_ON(!strp->stopped);
Tom Herbert43a0c672016-08-15 14:51:01 -0700523
Tom Herbert829385f2017-10-20 16:40:43 -0700524 cancel_delayed_work_sync(&strp->msg_timer_work);
Tom Herbertbbb03022017-07-28 16:22:43 -0700525 cancel_work_sync(&strp->work);
Tom Herbert43a0c672016-08-15 14:51:01 -0700526
Tom Herbertbbb03022017-07-28 16:22:43 -0700527 if (strp->skb_head) {
528 kfree_skb(strp->skb_head);
529 strp->skb_head = NULL;
Tom Herbert43a0c672016-08-15 14:51:01 -0700530 }
531}
532EXPORT_SYMBOL_GPL(strp_done);
533
534void strp_stop(struct strparser *strp)
535{
Tom Herbertbbb03022017-07-28 16:22:43 -0700536 strp->stopped = 1;
Tom Herbert43a0c672016-08-15 14:51:01 -0700537}
538EXPORT_SYMBOL_GPL(strp_stop);
539
540void strp_check_rcv(struct strparser *strp)
541{
Tom Herbertbbb03022017-07-28 16:22:43 -0700542 queue_work(strp_wq, &strp->work);
Tom Herbert43a0c672016-08-15 14:51:01 -0700543}
544EXPORT_SYMBOL_GPL(strp_check_rcv);
545
Paul Gortmaker15253b42019-04-20 23:29:48 -0400546static int __init strp_dev_init(void)
Tom Herbert43a0c672016-08-15 14:51:01 -0700547{
548 strp_wq = create_singlethread_workqueue("kstrp");
Kangjie Lu228cd2d2019-03-14 23:12:06 -0500549 if (unlikely(!strp_wq))
550 return -ENOMEM;
Tom Herbert43a0c672016-08-15 14:51:01 -0700551
552 return 0;
553}
Paul Gortmaker15253b42019-04-20 23:29:48 -0400554device_initcall(strp_dev_init);