skmsg.c 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260
  1. // SPDX-License-Identifier: GPL-2.0
  2. /* Copyright (c) 2017 - 2018 Covalent IO, Inc. http://covalent.io */
  3. #include <linux/skmsg.h>
  4. #include <linux/skbuff.h>
  5. #include <linux/scatterlist.h>
  6. #include <net/sock.h>
  7. #include <net/tcp.h>
  8. #include <net/tls.h>
  9. #include <trace/events/sock.h>
  10. static bool sk_msg_try_coalesce_ok(struct sk_msg *msg, int elem_first_coalesce)
  11. {
  12. if (msg->sg.end > msg->sg.start &&
  13. elem_first_coalesce < msg->sg.end)
  14. return true;
  15. if (msg->sg.end < msg->sg.start &&
  16. (elem_first_coalesce > msg->sg.start ||
  17. elem_first_coalesce < msg->sg.end))
  18. return true;
  19. return false;
  20. }
  21. int sk_msg_alloc(struct sock *sk, struct sk_msg *msg, int len,
  22. int elem_first_coalesce)
  23. {
  24. struct page_frag *pfrag = sk_page_frag(sk);
  25. u32 osize = msg->sg.size;
  26. int ret = 0;
  27. len -= msg->sg.size;
  28. while (len > 0) {
  29. struct scatterlist *sge;
  30. u32 orig_offset;
  31. int use, i;
  32. if (!sk_page_frag_refill(sk, pfrag)) {
  33. ret = -ENOMEM;
  34. goto msg_trim;
  35. }
  36. orig_offset = pfrag->offset;
  37. use = min_t(int, len, pfrag->size - orig_offset);
  38. if (!sk_wmem_schedule(sk, use)) {
  39. ret = -ENOMEM;
  40. goto msg_trim;
  41. }
  42. i = msg->sg.end;
  43. sk_msg_iter_var_prev(i);
  44. sge = &msg->sg.data[i];
  45. if (sk_msg_try_coalesce_ok(msg, elem_first_coalesce) &&
  46. sg_page(sge) == pfrag->page &&
  47. sge->offset + sge->length == orig_offset) {
  48. sge->length += use;
  49. } else {
  50. if (sk_msg_full(msg)) {
  51. ret = -ENOSPC;
  52. break;
  53. }
  54. sge = &msg->sg.data[msg->sg.end];
  55. sg_unmark_end(sge);
  56. sg_set_page(sge, pfrag->page, use, orig_offset);
  57. get_page(pfrag->page);
  58. sk_msg_iter_next(msg, end);
  59. }
  60. sk_mem_charge(sk, use);
  61. msg->sg.size += use;
  62. pfrag->offset += use;
  63. len -= use;
  64. }
  65. return ret;
  66. msg_trim:
  67. sk_msg_trim(sk, msg, osize);
  68. return ret;
  69. }
  70. EXPORT_SYMBOL_GPL(sk_msg_alloc);
  71. int sk_msg_clone(struct sock *sk, struct sk_msg *dst, struct sk_msg *src,
  72. u32 off, u32 len)
  73. {
  74. int i = src->sg.start;
  75. struct scatterlist *sge = sk_msg_elem(src, i);
  76. struct scatterlist *sgd = NULL;
  77. u32 sge_len, sge_off;
  78. while (off) {
  79. if (sge->length > off)
  80. break;
  81. off -= sge->length;
  82. sk_msg_iter_var_next(i);
  83. if (i == src->sg.end && off)
  84. return -ENOSPC;
  85. sge = sk_msg_elem(src, i);
  86. }
  87. while (len) {
  88. sge_len = sge->length - off;
  89. if (sge_len > len)
  90. sge_len = len;
  91. if (dst->sg.end)
  92. sgd = sk_msg_elem(dst, dst->sg.end - 1);
  93. if (sgd &&
  94. (sg_page(sge) == sg_page(sgd)) &&
  95. (sg_virt(sge) + off == sg_virt(sgd) + sgd->length)) {
  96. sgd->length += sge_len;
  97. dst->sg.size += sge_len;
  98. } else if (!sk_msg_full(dst)) {
  99. sge_off = sge->offset + off;
  100. sk_msg_page_add(dst, sg_page(sge), sge_len, sge_off);
  101. } else {
  102. return -ENOSPC;
  103. }
  104. off = 0;
  105. len -= sge_len;
  106. sk_mem_charge(sk, sge_len);
  107. sk_msg_iter_var_next(i);
  108. if (i == src->sg.end && len)
  109. return -ENOSPC;
  110. sge = sk_msg_elem(src, i);
  111. }
  112. return 0;
  113. }
  114. EXPORT_SYMBOL_GPL(sk_msg_clone);
  115. void sk_msg_return_zero(struct sock *sk, struct sk_msg *msg, int bytes)
  116. {
  117. int i = msg->sg.start;
  118. do {
  119. struct scatterlist *sge = sk_msg_elem(msg, i);
  120. if (bytes < sge->length) {
  121. sge->length -= bytes;
  122. sge->offset += bytes;
  123. sk_mem_uncharge(sk, bytes);
  124. break;
  125. }
  126. sk_mem_uncharge(sk, sge->length);
  127. bytes -= sge->length;
  128. sge->length = 0;
  129. sge->offset = 0;
  130. sk_msg_iter_var_next(i);
  131. } while (bytes && i != msg->sg.end);
  132. msg->sg.start = i;
  133. }
  134. EXPORT_SYMBOL_GPL(sk_msg_return_zero);
  135. void sk_msg_return(struct sock *sk, struct sk_msg *msg, int bytes)
  136. {
  137. int i = msg->sg.start;
  138. do {
  139. struct scatterlist *sge = &msg->sg.data[i];
  140. int uncharge = (bytes < sge->length) ? bytes : sge->length;
  141. sk_mem_uncharge(sk, uncharge);
  142. bytes -= uncharge;
  143. sk_msg_iter_var_next(i);
  144. } while (i != msg->sg.end);
  145. }
  146. EXPORT_SYMBOL_GPL(sk_msg_return);
  147. static int sk_msg_free_elem(struct sock *sk, struct sk_msg *msg, u32 i,
  148. bool charge)
  149. {
  150. struct scatterlist *sge = sk_msg_elem(msg, i);
  151. u32 len = sge->length;
  152. /* When the skb owns the memory we free it from consume_skb path. */
  153. if (!msg->skb) {
  154. if (charge)
  155. sk_mem_uncharge(sk, len);
  156. put_page(sg_page(sge));
  157. }
  158. memset(sge, 0, sizeof(*sge));
  159. return len;
  160. }
  161. static int __sk_msg_free(struct sock *sk, struct sk_msg *msg, u32 i,
  162. bool charge)
  163. {
  164. struct scatterlist *sge = sk_msg_elem(msg, i);
  165. int freed = 0;
  166. while (msg->sg.size) {
  167. msg->sg.size -= sge->length;
  168. freed += sk_msg_free_elem(sk, msg, i, charge);
  169. sk_msg_iter_var_next(i);
  170. sk_msg_check_to_free(msg, i, msg->sg.size);
  171. sge = sk_msg_elem(msg, i);
  172. }
  173. consume_skb(msg->skb);
  174. sk_msg_init(msg);
  175. return freed;
  176. }
  177. int sk_msg_free_nocharge(struct sock *sk, struct sk_msg *msg)
  178. {
  179. return __sk_msg_free(sk, msg, msg->sg.start, false);
  180. }
  181. EXPORT_SYMBOL_GPL(sk_msg_free_nocharge);
  182. int sk_msg_free(struct sock *sk, struct sk_msg *msg)
  183. {
  184. return __sk_msg_free(sk, msg, msg->sg.start, true);
  185. }
  186. EXPORT_SYMBOL_GPL(sk_msg_free);
  187. static void __sk_msg_free_partial(struct sock *sk, struct sk_msg *msg,
  188. u32 bytes, bool charge)
  189. {
  190. struct scatterlist *sge;
  191. u32 i = msg->sg.start;
  192. while (bytes) {
  193. sge = sk_msg_elem(msg, i);
  194. if (!sge->length)
  195. break;
  196. if (bytes < sge->length) {
  197. if (charge)
  198. sk_mem_uncharge(sk, bytes);
  199. sge->length -= bytes;
  200. sge->offset += bytes;
  201. msg->sg.size -= bytes;
  202. break;
  203. }
  204. msg->sg.size -= sge->length;
  205. bytes -= sge->length;
  206. sk_msg_free_elem(sk, msg, i, charge);
  207. sk_msg_iter_var_next(i);
  208. sk_msg_check_to_free(msg, i, bytes);
  209. }
  210. msg->sg.start = i;
  211. }
  212. void sk_msg_free_partial(struct sock *sk, struct sk_msg *msg, u32 bytes)
  213. {
  214. __sk_msg_free_partial(sk, msg, bytes, true);
  215. }
  216. EXPORT_SYMBOL_GPL(sk_msg_free_partial);
  217. void sk_msg_free_partial_nocharge(struct sock *sk, struct sk_msg *msg,
  218. u32 bytes)
  219. {
  220. __sk_msg_free_partial(sk, msg, bytes, false);
  221. }
  222. void sk_msg_trim(struct sock *sk, struct sk_msg *msg, int len)
  223. {
  224. int trim = msg->sg.size - len;
  225. u32 i = msg->sg.end;
  226. if (trim <= 0) {
  227. WARN_ON(trim < 0);
  228. return;
  229. }
  230. sk_msg_iter_var_prev(i);
  231. msg->sg.size = len;
  232. while (msg->sg.data[i].length &&
  233. trim >= msg->sg.data[i].length) {
  234. trim -= msg->sg.data[i].length;
  235. sk_msg_free_elem(sk, msg, i, true);
  236. sk_msg_iter_var_prev(i);
  237. if (!trim)
  238. goto out;
  239. }
  240. msg->sg.data[i].length -= trim;
  241. sk_mem_uncharge(sk, trim);
  242. /* Adjust copybreak if it falls into the trimmed part of last buf */
  243. if (msg->sg.curr == i && msg->sg.copybreak > msg->sg.data[i].length)
  244. msg->sg.copybreak = msg->sg.data[i].length;
  245. out:
  246. sk_msg_iter_var_next(i);
  247. msg->sg.end = i;
  248. /* If we trim data a full sg elem before curr pointer update
  249. * copybreak and current so that any future copy operations
  250. * start at new copy location.
  251. * However trimmed data that has not yet been used in a copy op
  252. * does not require an update.
  253. */
  254. if (!msg->sg.size) {
  255. msg->sg.curr = msg->sg.start;
  256. msg->sg.copybreak = 0;
  257. } else if (sk_msg_iter_dist(msg->sg.start, msg->sg.curr) >=
  258. sk_msg_iter_dist(msg->sg.start, msg->sg.end)) {
  259. sk_msg_iter_var_prev(i);
  260. msg->sg.curr = i;
  261. msg->sg.copybreak = msg->sg.data[i].length;
  262. }
  263. }
  264. EXPORT_SYMBOL_GPL(sk_msg_trim);
  265. int sk_msg_zerocopy_from_iter(struct sock *sk, struct iov_iter *from,
  266. struct sk_msg *msg, u32 bytes)
  267. {
  268. int i, maxpages, ret = 0, num_elems = sk_msg_elem_used(msg);
  269. const int to_max_pages = MAX_MSG_FRAGS;
  270. struct page *pages[MAX_MSG_FRAGS];
  271. ssize_t orig, copied, use, offset;
  272. orig = msg->sg.size;
  273. while (bytes > 0) {
  274. i = 0;
  275. maxpages = to_max_pages - num_elems;
  276. if (maxpages == 0) {
  277. ret = -EFAULT;
  278. goto out;
  279. }
  280. copied = iov_iter_get_pages2(from, pages, bytes, maxpages,
  281. &offset);
  282. if (copied <= 0) {
  283. ret = -EFAULT;
  284. goto out;
  285. }
  286. bytes -= copied;
  287. msg->sg.size += copied;
  288. while (copied) {
  289. use = min_t(int, copied, PAGE_SIZE - offset);
  290. sg_set_page(&msg->sg.data[msg->sg.end],
  291. pages[i], use, offset);
  292. sg_unmark_end(&msg->sg.data[msg->sg.end]);
  293. sk_mem_charge(sk, use);
  294. offset = 0;
  295. copied -= use;
  296. sk_msg_iter_next(msg, end);
  297. num_elems++;
  298. i++;
  299. }
  300. /* When zerocopy is mixed with sk_msg_*copy* operations we
  301. * may have a copybreak set in this case clear and prefer
  302. * zerocopy remainder when possible.
  303. */
  304. msg->sg.copybreak = 0;
  305. msg->sg.curr = msg->sg.end;
  306. }
  307. out:
  308. /* Revert iov_iter updates, msg will need to use 'trim' later if it
  309. * also needs to be cleared.
  310. */
  311. if (ret)
  312. iov_iter_revert(from, msg->sg.size - orig);
  313. return ret;
  314. }
  315. EXPORT_SYMBOL_GPL(sk_msg_zerocopy_from_iter);
  316. int sk_msg_memcopy_from_iter(struct sock *sk, struct iov_iter *from,
  317. struct sk_msg *msg, u32 bytes)
  318. {
  319. int ret = -ENOSPC, i = msg->sg.curr;
  320. struct scatterlist *sge;
  321. u32 copy, buf_size;
  322. void *to;
  323. do {
  324. sge = sk_msg_elem(msg, i);
  325. /* This is possible if a trim operation shrunk the buffer */
  326. if (msg->sg.copybreak >= sge->length) {
  327. msg->sg.copybreak = 0;
  328. sk_msg_iter_var_next(i);
  329. if (i == msg->sg.end)
  330. break;
  331. sge = sk_msg_elem(msg, i);
  332. }
  333. buf_size = sge->length - msg->sg.copybreak;
  334. copy = (buf_size > bytes) ? bytes : buf_size;
  335. to = sg_virt(sge) + msg->sg.copybreak;
  336. msg->sg.copybreak += copy;
  337. if (sk->sk_route_caps & NETIF_F_NOCACHE_COPY)
  338. ret = copy_from_iter_nocache(to, copy, from);
  339. else
  340. ret = copy_from_iter(to, copy, from);
  341. if (ret != copy) {
  342. ret = -EFAULT;
  343. goto out;
  344. }
  345. bytes -= copy;
  346. if (!bytes)
  347. break;
  348. msg->sg.copybreak = 0;
  349. sk_msg_iter_var_next(i);
  350. } while (i != msg->sg.end);
  351. out:
  352. msg->sg.curr = i;
  353. return ret;
  354. }
  355. EXPORT_SYMBOL_GPL(sk_msg_memcopy_from_iter);
  356. /* Receive sk_msg from psock->ingress_msg to @msg. */
  357. int sk_msg_recvmsg(struct sock *sk, struct sk_psock *psock, struct msghdr *msg,
  358. int len, int flags)
  359. {
  360. struct iov_iter *iter = &msg->msg_iter;
  361. int peek = flags & MSG_PEEK;
  362. struct sk_msg *msg_rx;
  363. int i, copied = 0;
  364. msg_rx = sk_psock_peek_msg(psock);
  365. while (copied != len) {
  366. struct scatterlist *sge;
  367. if (unlikely(!msg_rx))
  368. break;
  369. i = msg_rx->sg.start;
  370. do {
  371. struct page *page;
  372. int copy;
  373. sge = sk_msg_elem(msg_rx, i);
  374. copy = sge->length;
  375. page = sg_page(sge);
  376. if (copied + copy > len)
  377. copy = len - copied;
  378. if (copy)
  379. copy = copy_page_to_iter(page, sge->offset, copy, iter);
  380. if (!copy) {
  381. copied = copied ? copied : -EFAULT;
  382. goto out;
  383. }
  384. copied += copy;
  385. if (likely(!peek)) {
  386. sge->offset += copy;
  387. sge->length -= copy;
  388. if (!msg_rx->skb) {
  389. sk_mem_uncharge(sk, copy);
  390. atomic_sub(copy, &sk->sk_rmem_alloc);
  391. }
  392. msg_rx->sg.size -= copy;
  393. if (!sge->length) {
  394. sk_msg_iter_var_next(i);
  395. if (!msg_rx->skb)
  396. put_page(page);
  397. }
  398. } else {
  399. /* Lets not optimize peek case if copy_page_to_iter
  400. * didn't copy the entire length lets just break.
  401. */
  402. if (copy != sge->length)
  403. goto out;
  404. sk_msg_iter_var_next(i);
  405. }
  406. if (copied == len)
  407. break;
  408. } while ((i != msg_rx->sg.end) && !sg_is_last(sge));
  409. if (unlikely(peek)) {
  410. msg_rx = sk_psock_next_msg(psock, msg_rx);
  411. if (!msg_rx)
  412. break;
  413. continue;
  414. }
  415. msg_rx->sg.start = i;
  416. if (!sge->length && (i == msg_rx->sg.end || sg_is_last(sge))) {
  417. msg_rx = sk_psock_dequeue_msg(psock);
  418. kfree_sk_msg(msg_rx);
  419. }
  420. msg_rx = sk_psock_peek_msg(psock);
  421. }
  422. out:
  423. return copied;
  424. }
  425. EXPORT_SYMBOL_GPL(sk_msg_recvmsg);
  426. bool sk_msg_is_readable(struct sock *sk)
  427. {
  428. struct sk_psock *psock;
  429. bool empty = true;
  430. rcu_read_lock();
  431. psock = sk_psock(sk);
  432. if (likely(psock))
  433. empty = list_empty(&psock->ingress_msg);
  434. rcu_read_unlock();
  435. return !empty;
  436. }
  437. EXPORT_SYMBOL_GPL(sk_msg_is_readable);
  438. static struct sk_msg *alloc_sk_msg(gfp_t gfp)
  439. {
  440. struct sk_msg *msg;
  441. msg = kzalloc(sizeof(*msg), gfp | __GFP_NOWARN);
  442. if (unlikely(!msg))
  443. return NULL;
  444. sg_init_marker(msg->sg.data, NR_MSG_FRAG_IDS);
  445. return msg;
  446. }
  447. static struct sk_msg *sk_psock_create_ingress_msg(struct sock *sk,
  448. struct sk_buff *skb)
  449. {
  450. if (atomic_read(&sk->sk_rmem_alloc) > sk->sk_rcvbuf)
  451. return NULL;
  452. if (!sk_rmem_schedule(sk, skb, skb->truesize))
  453. return NULL;
  454. return alloc_sk_msg(GFP_KERNEL);
  455. }
  456. static int sk_psock_skb_ingress_enqueue(struct sk_buff *skb,
  457. u32 off, u32 len,
  458. struct sk_psock *psock,
  459. struct sock *sk,
  460. struct sk_msg *msg)
  461. {
  462. int num_sge, copied;
  463. num_sge = skb_to_sgvec(skb, msg->sg.data, off, len);
  464. if (num_sge < 0) {
  465. /* skb linearize may fail with ENOMEM, but lets simply try again
  466. * later if this happens. Under memory pressure we don't want to
  467. * drop the skb. We need to linearize the skb so that the mapping
  468. * in skb_to_sgvec can not error.
  469. */
  470. if (skb_linearize(skb))
  471. return -EAGAIN;
  472. num_sge = skb_to_sgvec(skb, msg->sg.data, off, len);
  473. if (unlikely(num_sge < 0))
  474. return num_sge;
  475. }
  476. copied = len;
  477. msg->sg.start = 0;
  478. msg->sg.size = copied;
  479. msg->sg.end = num_sge;
  480. msg->skb = skb;
  481. sk_psock_queue_msg(psock, msg);
  482. sk_psock_data_ready(sk, psock);
  483. return copied;
  484. }
  485. static int sk_psock_skb_ingress_self(struct sk_psock *psock, struct sk_buff *skb,
  486. u32 off, u32 len);
  487. static int sk_psock_skb_ingress(struct sk_psock *psock, struct sk_buff *skb,
  488. u32 off, u32 len)
  489. {
  490. struct sock *sk = psock->sk;
  491. struct sk_msg *msg;
  492. int err;
  493. /* If we are receiving on the same sock skb->sk is already assigned,
  494. * skip memory accounting and owner transition seeing it already set
  495. * correctly.
  496. */
  497. if (unlikely(skb->sk == sk))
  498. return sk_psock_skb_ingress_self(psock, skb, off, len);
  499. msg = sk_psock_create_ingress_msg(sk, skb);
  500. if (!msg)
  501. return -EAGAIN;
  502. /* This will transition ownership of the data from the socket where
  503. * the BPF program was run initiating the redirect to the socket
  504. * we will eventually receive this data on. The data will be released
  505. * from skb_consume found in __tcp_bpf_recvmsg() after its been copied
  506. * into user buffers.
  507. */
  508. skb_set_owner_r(skb, sk);
  509. err = sk_psock_skb_ingress_enqueue(skb, off, len, psock, sk, msg);
  510. if (err < 0)
  511. kfree(msg);
  512. return err;
  513. }
  514. /* Puts an skb on the ingress queue of the socket already assigned to the
  515. * skb. In this case we do not need to check memory limits or skb_set_owner_r
  516. * because the skb is already accounted for here.
  517. */
  518. static int sk_psock_skb_ingress_self(struct sk_psock *psock, struct sk_buff *skb,
  519. u32 off, u32 len)
  520. {
  521. struct sk_msg *msg = alloc_sk_msg(GFP_ATOMIC);
  522. struct sock *sk = psock->sk;
  523. int err;
  524. if (unlikely(!msg))
  525. return -EAGAIN;
  526. skb_set_owner_r(skb, sk);
  527. err = sk_psock_skb_ingress_enqueue(skb, off, len, psock, sk, msg);
  528. if (err < 0)
  529. kfree(msg);
  530. return err;
  531. }
  532. static int sk_psock_handle_skb(struct sk_psock *psock, struct sk_buff *skb,
  533. u32 off, u32 len, bool ingress)
  534. {
  535. int err = 0;
  536. if (!ingress) {
  537. if (!sock_writeable(psock->sk))
  538. return -EAGAIN;
  539. return skb_send_sock(psock->sk, skb, off, len);
  540. }
  541. skb_get(skb);
  542. err = sk_psock_skb_ingress(psock, skb, off, len);
  543. if (err < 0)
  544. kfree_skb(skb);
  545. return err;
  546. }
  547. static void sk_psock_skb_state(struct sk_psock *psock,
  548. struct sk_psock_work_state *state,
  549. int len, int off)
  550. {
  551. spin_lock_bh(&psock->ingress_lock);
  552. if (sk_psock_test_state(psock, SK_PSOCK_TX_ENABLED)) {
  553. state->len = len;
  554. state->off = off;
  555. }
  556. spin_unlock_bh(&psock->ingress_lock);
  557. }
  558. static void sk_psock_backlog(struct work_struct *work)
  559. {
  560. struct delayed_work *dwork = to_delayed_work(work);
  561. struct sk_psock *psock = container_of(dwork, struct sk_psock, work);
  562. struct sk_psock_work_state *state = &psock->work_state;
  563. struct sk_buff *skb = NULL;
  564. u32 len = 0, off = 0;
  565. bool ingress;
  566. int ret;
  567. mutex_lock(&psock->work_mutex);
  568. if (unlikely(state->len)) {
  569. len = state->len;
  570. off = state->off;
  571. }
  572. while ((skb = skb_peek(&psock->ingress_skb))) {
  573. len = skb->len;
  574. off = 0;
  575. if (skb_bpf_strparser(skb)) {
  576. struct strp_msg *stm = strp_msg(skb);
  577. off = stm->offset;
  578. len = stm->full_len;
  579. }
  580. ingress = skb_bpf_ingress(skb);
  581. skb_bpf_redirect_clear(skb);
  582. do {
  583. ret = -EIO;
  584. if (!sock_flag(psock->sk, SOCK_DEAD))
  585. ret = sk_psock_handle_skb(psock, skb, off,
  586. len, ingress);
  587. if (ret <= 0) {
  588. if (ret == -EAGAIN) {
  589. sk_psock_skb_state(psock, state, len, off);
  590. /* Delay slightly to prioritize any
  591. * other work that might be here.
  592. */
  593. if (sk_psock_test_state(psock, SK_PSOCK_TX_ENABLED))
  594. schedule_delayed_work(&psock->work, 1);
  595. goto end;
  596. }
  597. /* Hard errors break pipe and stop xmit. */
  598. sk_psock_report_error(psock, ret ? -ret : EPIPE);
  599. sk_psock_clear_state(psock, SK_PSOCK_TX_ENABLED);
  600. goto end;
  601. }
  602. off += ret;
  603. len -= ret;
  604. } while (len);
  605. skb = skb_dequeue(&psock->ingress_skb);
  606. kfree_skb(skb);
  607. }
  608. end:
  609. mutex_unlock(&psock->work_mutex);
  610. }
  611. struct sk_psock *sk_psock_init(struct sock *sk, int node)
  612. {
  613. struct sk_psock *psock;
  614. struct proto *prot;
  615. write_lock_bh(&sk->sk_callback_lock);
  616. if (sk_is_inet(sk) && inet_csk_has_ulp(sk)) {
  617. psock = ERR_PTR(-EINVAL);
  618. goto out;
  619. }
  620. if (sk->sk_user_data) {
  621. psock = ERR_PTR(-EBUSY);
  622. goto out;
  623. }
  624. psock = kzalloc_node(sizeof(*psock), GFP_ATOMIC | __GFP_NOWARN, node);
  625. if (!psock) {
  626. psock = ERR_PTR(-ENOMEM);
  627. goto out;
  628. }
  629. prot = READ_ONCE(sk->sk_prot);
  630. psock->sk = sk;
  631. psock->eval = __SK_NONE;
  632. psock->sk_proto = prot;
  633. psock->saved_unhash = prot->unhash;
  634. psock->saved_destroy = prot->destroy;
  635. psock->saved_close = prot->close;
  636. psock->saved_write_space = sk->sk_write_space;
  637. INIT_LIST_HEAD(&psock->link);
  638. spin_lock_init(&psock->link_lock);
  639. INIT_DELAYED_WORK(&psock->work, sk_psock_backlog);
  640. mutex_init(&psock->work_mutex);
  641. INIT_LIST_HEAD(&psock->ingress_msg);
  642. spin_lock_init(&psock->ingress_lock);
  643. skb_queue_head_init(&psock->ingress_skb);
  644. sk_psock_set_state(psock, SK_PSOCK_TX_ENABLED);
  645. refcount_set(&psock->refcnt, 1);
  646. __rcu_assign_sk_user_data_with_flags(sk, psock,
  647. SK_USER_DATA_NOCOPY |
  648. SK_USER_DATA_PSOCK);
  649. sock_hold(sk);
  650. out:
  651. write_unlock_bh(&sk->sk_callback_lock);
  652. return psock;
  653. }
  654. EXPORT_SYMBOL_GPL(sk_psock_init);
  655. struct sk_psock_link *sk_psock_link_pop(struct sk_psock *psock)
  656. {
  657. struct sk_psock_link *link;
  658. spin_lock_bh(&psock->link_lock);
  659. link = list_first_entry_or_null(&psock->link, struct sk_psock_link,
  660. list);
  661. if (link)
  662. list_del(&link->list);
  663. spin_unlock_bh(&psock->link_lock);
  664. return link;
  665. }
  666. static void __sk_psock_purge_ingress_msg(struct sk_psock *psock)
  667. {
  668. struct sk_msg *msg, *tmp;
  669. list_for_each_entry_safe(msg, tmp, &psock->ingress_msg, list) {
  670. list_del(&msg->list);
  671. if (!msg->skb)
  672. atomic_sub(msg->sg.size, &psock->sk->sk_rmem_alloc);
  673. sk_msg_free(psock->sk, msg);
  674. kfree(msg);
  675. }
  676. }
  677. static void __sk_psock_zap_ingress(struct sk_psock *psock)
  678. {
  679. struct sk_buff *skb;
  680. while ((skb = skb_dequeue(&psock->ingress_skb)) != NULL) {
  681. skb_bpf_redirect_clear(skb);
  682. sock_drop(psock->sk, skb);
  683. }
  684. __sk_psock_purge_ingress_msg(psock);
  685. }
  686. static void sk_psock_link_destroy(struct sk_psock *psock)
  687. {
  688. struct sk_psock_link *link, *tmp;
  689. list_for_each_entry_safe(link, tmp, &psock->link, list) {
  690. list_del(&link->list);
  691. sk_psock_free_link(link);
  692. }
  693. }
  694. void sk_psock_stop(struct sk_psock *psock)
  695. {
  696. spin_lock_bh(&psock->ingress_lock);
  697. sk_psock_clear_state(psock, SK_PSOCK_TX_ENABLED);
  698. sk_psock_cork_free(psock);
  699. spin_unlock_bh(&psock->ingress_lock);
  700. }
  701. static void sk_psock_done_strp(struct sk_psock *psock);
  702. static void sk_psock_destroy(struct work_struct *work)
  703. {
  704. struct sk_psock *psock = container_of(to_rcu_work(work),
  705. struct sk_psock, rwork);
  706. /* No sk_callback_lock since already detached. */
  707. sk_psock_done_strp(psock);
  708. cancel_delayed_work_sync(&psock->work);
  709. __sk_psock_zap_ingress(psock);
  710. mutex_destroy(&psock->work_mutex);
  711. psock_progs_drop(&psock->progs);
  712. sk_psock_link_destroy(psock);
  713. sk_psock_cork_free(psock);
  714. if (psock->sk_redir)
  715. sock_put(psock->sk_redir);
  716. if (psock->sk_pair)
  717. sock_put(psock->sk_pair);
  718. sock_put(psock->sk);
  719. kfree(psock);
  720. }
  721. void sk_psock_drop(struct sock *sk, struct sk_psock *psock)
  722. {
  723. write_lock_bh(&sk->sk_callback_lock);
  724. sk_psock_restore_proto(sk, psock);
  725. rcu_assign_sk_user_data(sk, NULL);
  726. if (psock->progs.stream_parser)
  727. sk_psock_stop_strp(sk, psock);
  728. else if (psock->progs.stream_verdict || psock->progs.skb_verdict)
  729. sk_psock_stop_verdict(sk, psock);
  730. write_unlock_bh(&sk->sk_callback_lock);
  731. sk_psock_stop(psock);
  732. INIT_RCU_WORK(&psock->rwork, sk_psock_destroy);
  733. queue_rcu_work(system_wq, &psock->rwork);
  734. }
  735. EXPORT_SYMBOL_GPL(sk_psock_drop);
  736. static int sk_psock_map_verd(int verdict, bool redir)
  737. {
  738. switch (verdict) {
  739. case SK_PASS:
  740. return redir ? __SK_REDIRECT : __SK_PASS;
  741. case SK_DROP:
  742. default:
  743. break;
  744. }
  745. return __SK_DROP;
  746. }
  747. int sk_psock_msg_verdict(struct sock *sk, struct sk_psock *psock,
  748. struct sk_msg *msg)
  749. {
  750. struct bpf_prog *prog;
  751. int ret;
  752. rcu_read_lock();
  753. prog = READ_ONCE(psock->progs.msg_parser);
  754. if (unlikely(!prog)) {
  755. ret = __SK_PASS;
  756. goto out;
  757. }
  758. sk_msg_compute_data_pointers(msg);
  759. msg->sk = sk;
  760. ret = bpf_prog_run_pin_on_cpu(prog, msg);
  761. ret = sk_psock_map_verd(ret, msg->sk_redir);
  762. psock->apply_bytes = msg->apply_bytes;
  763. if (ret == __SK_REDIRECT) {
  764. if (psock->sk_redir) {
  765. sock_put(psock->sk_redir);
  766. psock->sk_redir = NULL;
  767. }
  768. if (!msg->sk_redir) {
  769. ret = __SK_DROP;
  770. goto out;
  771. }
  772. psock->redir_ingress = sk_msg_to_ingress(msg);
  773. psock->sk_redir = msg->sk_redir;
  774. sock_hold(psock->sk_redir);
  775. }
  776. out:
  777. rcu_read_unlock();
  778. return ret;
  779. }
  780. EXPORT_SYMBOL_GPL(sk_psock_msg_verdict);
  781. static int sk_psock_skb_redirect(struct sk_psock *from, struct sk_buff *skb)
  782. {
  783. struct sk_psock *psock_other;
  784. struct sock *sk_other;
  785. sk_other = skb_bpf_redirect_fetch(skb);
  786. /* This error is a buggy BPF program, it returned a redirect
  787. * return code, but then didn't set a redirect interface.
  788. */
  789. if (unlikely(!sk_other)) {
  790. skb_bpf_redirect_clear(skb);
  791. sock_drop(from->sk, skb);
  792. return -EIO;
  793. }
  794. psock_other = sk_psock(sk_other);
  795. /* This error indicates the socket is being torn down or had another
  796. * error that caused the pipe to break. We can't send a packet on
  797. * a socket that is in this state so we drop the skb.
  798. */
  799. if (!psock_other || sock_flag(sk_other, SOCK_DEAD)) {
  800. skb_bpf_redirect_clear(skb);
  801. sock_drop(from->sk, skb);
  802. return -EIO;
  803. }
  804. spin_lock_bh(&psock_other->ingress_lock);
  805. if (!sk_psock_test_state(psock_other, SK_PSOCK_TX_ENABLED)) {
  806. spin_unlock_bh(&psock_other->ingress_lock);
  807. skb_bpf_redirect_clear(skb);
  808. sock_drop(from->sk, skb);
  809. return -EIO;
  810. }
  811. skb_queue_tail(&psock_other->ingress_skb, skb);
  812. schedule_delayed_work(&psock_other->work, 0);
  813. spin_unlock_bh(&psock_other->ingress_lock);
  814. return 0;
  815. }
  816. static void sk_psock_tls_verdict_apply(struct sk_buff *skb,
  817. struct sk_psock *from, int verdict)
  818. {
  819. switch (verdict) {
  820. case __SK_REDIRECT:
  821. sk_psock_skb_redirect(from, skb);
  822. break;
  823. case __SK_PASS:
  824. case __SK_DROP:
  825. default:
  826. break;
  827. }
  828. }
  829. int sk_psock_tls_strp_read(struct sk_psock *psock, struct sk_buff *skb)
  830. {
  831. struct bpf_prog *prog;
  832. int ret = __SK_PASS;
  833. rcu_read_lock();
  834. prog = READ_ONCE(psock->progs.stream_verdict);
  835. if (likely(prog)) {
  836. skb->sk = psock->sk;
  837. skb_dst_drop(skb);
  838. skb_bpf_redirect_clear(skb);
  839. ret = bpf_prog_run_pin_on_cpu(prog, skb);
  840. ret = sk_psock_map_verd(ret, skb_bpf_redirect_fetch(skb));
  841. skb->sk = NULL;
  842. }
  843. sk_psock_tls_verdict_apply(skb, psock, ret);
  844. rcu_read_unlock();
  845. return ret;
  846. }
  847. EXPORT_SYMBOL_GPL(sk_psock_tls_strp_read);
  848. static int sk_psock_verdict_apply(struct sk_psock *psock, struct sk_buff *skb,
  849. int verdict)
  850. {
  851. struct sock *sk_other;
  852. int err = 0;
  853. u32 len, off;
  854. switch (verdict) {
  855. case __SK_PASS:
  856. err = -EIO;
  857. sk_other = psock->sk;
  858. if (sock_flag(sk_other, SOCK_DEAD) ||
  859. !sk_psock_test_state(psock, SK_PSOCK_TX_ENABLED))
  860. goto out_free;
  861. skb_bpf_set_ingress(skb);
  862. /* If the queue is empty then we can submit directly
  863. * into the msg queue. If its not empty we have to
  864. * queue work otherwise we may get OOO data. Otherwise,
  865. * if sk_psock_skb_ingress errors will be handled by
  866. * retrying later from workqueue.
  867. */
  868. if (skb_queue_empty(&psock->ingress_skb)) {
  869. len = skb->len;
  870. off = 0;
  871. if (skb_bpf_strparser(skb)) {
  872. struct strp_msg *stm = strp_msg(skb);
  873. off = stm->offset;
  874. len = stm->full_len;
  875. }
  876. err = sk_psock_skb_ingress_self(psock, skb, off, len);
  877. }
  878. if (err < 0) {
  879. spin_lock_bh(&psock->ingress_lock);
  880. if (sk_psock_test_state(psock, SK_PSOCK_TX_ENABLED)) {
  881. skb_queue_tail(&psock->ingress_skb, skb);
  882. schedule_delayed_work(&psock->work, 0);
  883. err = 0;
  884. }
  885. spin_unlock_bh(&psock->ingress_lock);
  886. if (err < 0)
  887. goto out_free;
  888. }
  889. break;
  890. case __SK_REDIRECT:
  891. tcp_eat_skb(psock->sk, skb);
  892. err = sk_psock_skb_redirect(psock, skb);
  893. break;
  894. case __SK_DROP:
  895. default:
  896. out_free:
  897. skb_bpf_redirect_clear(skb);
  898. tcp_eat_skb(psock->sk, skb);
  899. sock_drop(psock->sk, skb);
  900. }
  901. return err;
  902. }
  903. static void sk_psock_write_space(struct sock *sk)
  904. {
  905. struct sk_psock *psock;
  906. void (*write_space)(struct sock *sk) = NULL;
  907. rcu_read_lock();
  908. psock = sk_psock(sk);
  909. if (likely(psock)) {
  910. if (sk_psock_test_state(psock, SK_PSOCK_TX_ENABLED))
  911. schedule_delayed_work(&psock->work, 0);
  912. write_space = psock->saved_write_space;
  913. }
  914. rcu_read_unlock();
  915. if (write_space)
  916. write_space(sk);
  917. }
  918. #if IS_ENABLED(CONFIG_BPF_STREAM_PARSER)
  919. static void sk_psock_strp_read(struct strparser *strp, struct sk_buff *skb)
  920. {
  921. struct sk_psock *psock;
  922. struct bpf_prog *prog;
  923. int ret = __SK_DROP;
  924. struct sock *sk;
  925. rcu_read_lock();
  926. sk = strp->sk;
  927. psock = sk_psock(sk);
  928. if (unlikely(!psock)) {
  929. sock_drop(sk, skb);
  930. goto out;
  931. }
  932. prog = READ_ONCE(psock->progs.stream_verdict);
  933. if (likely(prog)) {
  934. skb->sk = sk;
  935. skb_dst_drop(skb);
  936. skb_bpf_redirect_clear(skb);
  937. ret = bpf_prog_run_pin_on_cpu(prog, skb);
  938. skb_bpf_set_strparser(skb);
  939. ret = sk_psock_map_verd(ret, skb_bpf_redirect_fetch(skb));
  940. skb->sk = NULL;
  941. }
  942. sk_psock_verdict_apply(psock, skb, ret);
  943. out:
  944. rcu_read_unlock();
  945. }
  946. static int sk_psock_strp_read_done(struct strparser *strp, int err)
  947. {
  948. return err;
  949. }
  950. static int sk_psock_strp_parse(struct strparser *strp, struct sk_buff *skb)
  951. {
  952. struct sk_psock *psock = container_of(strp, struct sk_psock, strp);
  953. struct bpf_prog *prog;
  954. int ret = skb->len;
  955. rcu_read_lock();
  956. prog = READ_ONCE(psock->progs.stream_parser);
  957. if (likely(prog)) {
  958. skb->sk = psock->sk;
  959. ret = bpf_prog_run_pin_on_cpu(prog, skb);
  960. skb->sk = NULL;
  961. }
  962. rcu_read_unlock();
  963. return ret;
  964. }
  965. /* Called with socket lock held. */
  966. static void sk_psock_strp_data_ready(struct sock *sk)
  967. {
  968. struct sk_psock *psock;
  969. trace_sk_data_ready(sk);
  970. rcu_read_lock();
  971. psock = sk_psock(sk);
  972. if (likely(psock)) {
  973. if (tls_sw_has_ctx_rx(sk)) {
  974. psock->saved_data_ready(sk);
  975. } else {
  976. read_lock_bh(&sk->sk_callback_lock);
  977. strp_data_ready(&psock->strp);
  978. read_unlock_bh(&sk->sk_callback_lock);
  979. }
  980. }
  981. rcu_read_unlock();
  982. }
  983. int sk_psock_init_strp(struct sock *sk, struct sk_psock *psock)
  984. {
  985. int ret;
  986. static const struct strp_callbacks cb = {
  987. .rcv_msg = sk_psock_strp_read,
  988. .read_sock_done = sk_psock_strp_read_done,
  989. .parse_msg = sk_psock_strp_parse,
  990. };
  991. ret = strp_init(&psock->strp, sk, &cb);
  992. if (!ret)
  993. sk_psock_set_state(psock, SK_PSOCK_RX_STRP_ENABLED);
  994. return ret;
  995. }
  996. void sk_psock_start_strp(struct sock *sk, struct sk_psock *psock)
  997. {
  998. if (psock->saved_data_ready)
  999. return;
  1000. psock->saved_data_ready = sk->sk_data_ready;
  1001. sk->sk_data_ready = sk_psock_strp_data_ready;
  1002. sk->sk_write_space = sk_psock_write_space;
  1003. }
  1004. void sk_psock_stop_strp(struct sock *sk, struct sk_psock *psock)
  1005. {
  1006. psock_set_prog(&psock->progs.stream_parser, NULL);
  1007. if (!psock->saved_data_ready)
  1008. return;
  1009. sk->sk_data_ready = psock->saved_data_ready;
  1010. psock->saved_data_ready = NULL;
  1011. strp_stop(&psock->strp);
  1012. }
  1013. static void sk_psock_done_strp(struct sk_psock *psock)
  1014. {
  1015. /* Parser has been stopped */
  1016. if (sk_psock_test_state(psock, SK_PSOCK_RX_STRP_ENABLED))
  1017. strp_done(&psock->strp);
  1018. }
  1019. #else
  1020. static void sk_psock_done_strp(struct sk_psock *psock)
  1021. {
  1022. }
  1023. #endif /* CONFIG_BPF_STREAM_PARSER */
  1024. static int sk_psock_verdict_recv(struct sock *sk, struct sk_buff *skb)
  1025. {
  1026. struct sk_psock *psock;
  1027. struct bpf_prog *prog;
  1028. int ret = __SK_DROP;
  1029. int len = skb->len;
  1030. rcu_read_lock();
  1031. psock = sk_psock(sk);
  1032. if (unlikely(!psock)) {
  1033. len = 0;
  1034. tcp_eat_skb(sk, skb);
  1035. sock_drop(sk, skb);
  1036. goto out;
  1037. }
  1038. prog = READ_ONCE(psock->progs.stream_verdict);
  1039. if (!prog)
  1040. prog = READ_ONCE(psock->progs.skb_verdict);
  1041. if (likely(prog)) {
  1042. skb_dst_drop(skb);
  1043. skb_bpf_redirect_clear(skb);
  1044. ret = bpf_prog_run_pin_on_cpu(prog, skb);
  1045. ret = sk_psock_map_verd(ret, skb_bpf_redirect_fetch(skb));
  1046. }
  1047. ret = sk_psock_verdict_apply(psock, skb, ret);
  1048. if (ret < 0)
  1049. len = ret;
  1050. out:
  1051. rcu_read_unlock();
  1052. return len;
  1053. }
  1054. static void sk_psock_verdict_data_ready(struct sock *sk)
  1055. {
  1056. struct socket *sock = sk->sk_socket;
  1057. const struct proto_ops *ops;
  1058. int copied;
  1059. trace_sk_data_ready(sk);
  1060. if (unlikely(!sock))
  1061. return;
  1062. ops = READ_ONCE(sock->ops);
  1063. if (!ops || !ops->read_skb)
  1064. return;
  1065. copied = ops->read_skb(sk, sk_psock_verdict_recv);
  1066. if (copied >= 0) {
  1067. struct sk_psock *psock;
  1068. rcu_read_lock();
  1069. psock = sk_psock(sk);
  1070. if (psock)
  1071. sk_psock_data_ready(sk, psock);
  1072. rcu_read_unlock();
  1073. }
  1074. }
  1075. void sk_psock_start_verdict(struct sock *sk, struct sk_psock *psock)
  1076. {
  1077. if (psock->saved_data_ready)
  1078. return;
  1079. psock->saved_data_ready = sk->sk_data_ready;
  1080. sk->sk_data_ready = sk_psock_verdict_data_ready;
  1081. sk->sk_write_space = sk_psock_write_space;
  1082. }
  1083. void sk_psock_stop_verdict(struct sock *sk, struct sk_psock *psock)
  1084. {
  1085. psock_set_prog(&psock->progs.stream_verdict, NULL);
  1086. psock_set_prog(&psock->progs.skb_verdict, NULL);
  1087. if (!psock->saved_data_ready)
  1088. return;
  1089. sk->sk_data_ready = psock->saved_data_ready;
  1090. psock->saved_data_ready = NULL;
  1091. }