modusocket.c 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468
  1. /*
  2. * This file is part of the MicroPython project, http://micropython.org/
  3. *
  4. * The MIT License (MIT)
  5. *
  6. * Copyright (c) 2017 Linaro Limited
  7. *
  8. * Permission is hereby granted, free of charge, to any person obtaining a copy
  9. * of this software and associated documentation files (the "Software"), to deal
  10. * in the Software without restriction, including without limitation the rights
  11. * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  12. * copies of the Software, and to permit persons to whom the Software is
  13. * furnished to do so, subject to the following conditions:
  14. *
  15. * The above copyright notice and this permission notice shall be included in
  16. * all copies or substantial portions of the Software.
  17. *
  18. * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  19. * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  20. * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  21. * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  22. * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  23. * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  24. * THE SOFTWARE.
  25. */
  26. #include "py/mpconfig.h"
  27. #ifdef MICROPY_PY_USOCKET
  28. #include "py/runtime.h"
  29. #include "py/stream.h"
  30. #include <stdio.h>
  31. #include <zephyr.h>
  32. // Zephyr's generated version header
  33. #include <version.h>
  34. #include <net/net_context.h>
  35. #include <net/net_pkt.h>
  36. #include <net/dns_resolve.h>
  37. #ifdef CONFIG_NET_SOCKETS
  38. #include <net/socket.h>
  39. #endif
  40. #define DEBUG_PRINT 0
  41. #if DEBUG_PRINT // print debugging info
  42. #define DEBUG_printf printf
  43. #else // don't print debugging info
  44. #define DEBUG_printf(...) (void)0
  45. #endif
  46. typedef struct _socket_obj_t {
  47. mp_obj_base_t base;
  48. int ctx;
  49. #define STATE_NEW 0
  50. #define STATE_CONNECTING 1
  51. #define STATE_CONNECTED 2
  52. #define STATE_PEER_CLOSED 3
  53. int8_t state;
  54. } socket_obj_t;
  55. STATIC const mp_obj_type_t socket_type;
  56. // Helper functions
  57. #define RAISE_ERRNO(x) { int _err = x; if (_err < 0) mp_raise_OSError(-_err); }
  58. #define RAISE_SOCK_ERRNO(x) { if ((int)(x) == -1) mp_raise_OSError(errno); }
  59. STATIC void socket_check_closed(socket_obj_t *socket) {
  60. if (socket->ctx == -1) {
  61. // already closed
  62. mp_raise_OSError(EBADF);
  63. }
  64. }
  65. STATIC void parse_inet_addr(socket_obj_t *socket, mp_obj_t addr_in, struct sockaddr *sockaddr) {
  66. // We employ the fact that port and address offsets are the same for IPv4 & IPv6
  67. struct sockaddr_in *sockaddr_in = (struct sockaddr_in*)sockaddr;
  68. mp_obj_t *addr_items;
  69. mp_obj_get_array_fixed_n(addr_in, 2, &addr_items);
  70. sockaddr_in->sin_family = net_context_get_family((void*)socket->ctx);
  71. RAISE_ERRNO(net_addr_pton(sockaddr_in->sin_family, mp_obj_str_get_str(addr_items[0]), &sockaddr_in->sin_addr));
  72. sockaddr_in->sin_port = htons(mp_obj_get_int(addr_items[1]));
  73. }
  74. STATIC mp_obj_t format_inet_addr(struct sockaddr *addr, mp_obj_t port) {
  75. // We employ the fact that port and address offsets are the same for IPv4 & IPv6
  76. struct sockaddr_in6 *sockaddr_in6 = (struct sockaddr_in6*)addr;
  77. char buf[40];
  78. net_addr_ntop(addr->sa_family, &sockaddr_in6->sin6_addr, buf, sizeof(buf));
  79. mp_obj_tuple_t *tuple = mp_obj_new_tuple(addr->sa_family == AF_INET ? 2 : 4, NULL);
  80. tuple->items[0] = mp_obj_new_str(buf, strlen(buf));
  81. // We employ the fact that port offset is the same for IPv4 & IPv6
  82. // not filled in
  83. //tuple->items[1] = mp_obj_new_int(ntohs(((struct sockaddr_in*)addr)->sin_port));
  84. tuple->items[1] = port;
  85. if (addr->sa_family == AF_INET6) {
  86. tuple->items[2] = MP_OBJ_NEW_SMALL_INT(0); // flow_info
  87. tuple->items[3] = MP_OBJ_NEW_SMALL_INT(sockaddr_in6->sin6_scope_id);
  88. }
  89. return MP_OBJ_FROM_PTR(tuple);
  90. }
  91. socket_obj_t *socket_new(void) {
  92. socket_obj_t *socket = m_new_obj_with_finaliser(socket_obj_t);
  93. socket->base.type = (mp_obj_t)&socket_type;
  94. socket->state = STATE_NEW;
  95. return socket;
  96. }
  97. // Methods
  98. STATIC void socket_print(const mp_print_t *print, mp_obj_t self_in, mp_print_kind_t kind) {
  99. socket_obj_t *self = self_in;
  100. if (self->ctx == -1) {
  101. mp_printf(print, "<socket NULL>");
  102. } else {
  103. struct net_context *ctx = (void*)self->ctx;
  104. mp_printf(print, "<socket %p type=%d>", ctx, net_context_get_type(ctx));
  105. }
  106. }
  107. STATIC mp_obj_t socket_make_new(const mp_obj_type_t *type, size_t n_args, size_t n_kw, const mp_obj_t *args) {
  108. mp_arg_check_num(n_args, n_kw, 0, 4, false);
  109. socket_obj_t *socket = socket_new();
  110. int family = AF_INET;
  111. int socktype = SOCK_STREAM;
  112. int proto = -1;
  113. if (n_args >= 1) {
  114. family = mp_obj_get_int(args[0]);
  115. if (n_args >= 2) {
  116. socktype = mp_obj_get_int(args[1]);
  117. if (n_args >= 3) {
  118. proto = mp_obj_get_int(args[2]);
  119. }
  120. }
  121. }
  122. if (proto == -1) {
  123. proto = IPPROTO_TCP;
  124. if (socktype != SOCK_STREAM) {
  125. proto = IPPROTO_UDP;
  126. }
  127. }
  128. socket->ctx = zsock_socket(family, socktype, proto);
  129. RAISE_SOCK_ERRNO(socket->ctx);
  130. return MP_OBJ_FROM_PTR(socket);
  131. }
  132. STATIC mp_obj_t socket_bind(mp_obj_t self_in, mp_obj_t addr_in) {
  133. socket_obj_t *socket = self_in;
  134. socket_check_closed(socket);
  135. struct sockaddr sockaddr;
  136. parse_inet_addr(socket, addr_in, &sockaddr);
  137. int res = zsock_bind(socket->ctx, &sockaddr, sizeof(sockaddr));
  138. RAISE_SOCK_ERRNO(res);
  139. return mp_const_none;
  140. }
  141. STATIC MP_DEFINE_CONST_FUN_OBJ_2(socket_bind_obj, socket_bind);
  142. STATIC mp_obj_t socket_connect(mp_obj_t self_in, mp_obj_t addr_in) {
  143. socket_obj_t *socket = self_in;
  144. socket_check_closed(socket);
  145. struct sockaddr sockaddr;
  146. parse_inet_addr(socket, addr_in, &sockaddr);
  147. int res = zsock_connect(socket->ctx, &sockaddr, sizeof(sockaddr));
  148. RAISE_SOCK_ERRNO(res);
  149. return mp_const_none;
  150. }
  151. STATIC MP_DEFINE_CONST_FUN_OBJ_2(socket_connect_obj, socket_connect);
  152. STATIC mp_obj_t socket_listen(mp_obj_t self_in, mp_obj_t backlog_in) {
  153. socket_obj_t *socket = self_in;
  154. socket_check_closed(socket);
  155. mp_int_t backlog = mp_obj_get_int(backlog_in);
  156. int res = zsock_listen(socket->ctx, backlog);
  157. RAISE_SOCK_ERRNO(res);
  158. return mp_const_none;
  159. }
  160. STATIC MP_DEFINE_CONST_FUN_OBJ_2(socket_listen_obj, socket_listen);
  161. STATIC mp_obj_t socket_accept(mp_obj_t self_in) {
  162. socket_obj_t *socket = self_in;
  163. socket_check_closed(socket);
  164. struct sockaddr sockaddr;
  165. socklen_t addrlen = sizeof(sockaddr);
  166. int ctx = zsock_accept(socket->ctx, &sockaddr, &addrlen);
  167. socket_obj_t *socket2 = socket_new();
  168. socket2->ctx = ctx;
  169. mp_obj_tuple_t *client = mp_obj_new_tuple(2, NULL);
  170. client->items[0] = MP_OBJ_FROM_PTR(socket2);
  171. // TODO
  172. client->items[1] = mp_const_none;
  173. return MP_OBJ_FROM_PTR(client);
  174. }
  175. STATIC MP_DEFINE_CONST_FUN_OBJ_1(socket_accept_obj, socket_accept);
  176. STATIC mp_uint_t sock_write(mp_obj_t self_in, const void *buf, mp_uint_t size, int *errcode) {
  177. socket_obj_t *socket = self_in;
  178. if (socket->ctx == -1) {
  179. // already closed
  180. *errcode = EBADF;
  181. return MP_STREAM_ERROR;
  182. }
  183. ssize_t len = zsock_send(socket->ctx, buf, size, 0);
  184. if (len == -1) {
  185. *errcode = errno;
  186. return MP_STREAM_ERROR;
  187. }
  188. return len;
  189. }
  190. STATIC mp_obj_t socket_send(mp_obj_t self_in, mp_obj_t buf_in) {
  191. mp_buffer_info_t bufinfo;
  192. mp_get_buffer_raise(buf_in, &bufinfo, MP_BUFFER_READ);
  193. int err = 0;
  194. mp_uint_t len = sock_write(self_in, bufinfo.buf, bufinfo.len, &err);
  195. if (len == MP_STREAM_ERROR) {
  196. mp_raise_OSError(err);
  197. }
  198. return mp_obj_new_int_from_uint(len);
  199. }
  200. STATIC MP_DEFINE_CONST_FUN_OBJ_2(socket_send_obj, socket_send);
  201. STATIC mp_uint_t sock_read(mp_obj_t self_in, void *buf, mp_uint_t max_len, int *errcode) {
  202. socket_obj_t *socket = self_in;
  203. if (socket->ctx == -1) {
  204. // already closed
  205. *errcode = EBADF;
  206. return MP_STREAM_ERROR;
  207. }
  208. ssize_t recv_len = zsock_recv(socket->ctx, buf, max_len, 0);
  209. if (recv_len == -1) {
  210. *errcode = errno;
  211. return MP_STREAM_ERROR;
  212. }
  213. return recv_len;
  214. }
  215. STATIC mp_obj_t socket_recv(mp_obj_t self_in, mp_obj_t len_in) {
  216. mp_int_t max_len = mp_obj_get_int(len_in);
  217. vstr_t vstr;
  218. // +1 to accommodate for trailing \0
  219. vstr_init_len(&vstr, max_len + 1);
  220. int err;
  221. mp_uint_t len = sock_read(self_in, vstr.buf, max_len, &err);
  222. if (len == MP_STREAM_ERROR) {
  223. vstr_clear(&vstr);
  224. mp_raise_OSError(err);
  225. }
  226. if (len == 0) {
  227. vstr_clear(&vstr);
  228. return mp_const_empty_bytes;
  229. }
  230. vstr.len = len;
  231. return mp_obj_new_str_from_vstr(&mp_type_bytes, &vstr);
  232. }
  233. STATIC MP_DEFINE_CONST_FUN_OBJ_2(socket_recv_obj, socket_recv);
  234. STATIC mp_obj_t socket_setsockopt(size_t n_args, const mp_obj_t *args) {
  235. (void)n_args; // always 4
  236. mp_warning("setsockopt() not implemented");
  237. return mp_const_none;
  238. }
  239. STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(socket_setsockopt_obj, 4, 4, socket_setsockopt);
  240. STATIC mp_obj_t socket_makefile(size_t n_args, const mp_obj_t *args) {
  241. (void)n_args;
  242. return args[0];
  243. }
  244. STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(socket_makefile_obj, 1, 3, socket_makefile);
  245. STATIC mp_uint_t sock_ioctl(mp_obj_t o_in, mp_uint_t request, uintptr_t arg, int *errcode) {
  246. socket_obj_t *socket = o_in;
  247. (void)arg;
  248. switch (request) {
  249. case MP_STREAM_CLOSE:
  250. if (socket->ctx != -1) {
  251. int res = zsock_close(socket->ctx);
  252. RAISE_SOCK_ERRNO(res);
  253. if (res == -1) {
  254. *errcode = errno;
  255. return MP_STREAM_ERROR;
  256. }
  257. socket->ctx = -1;
  258. }
  259. return 0;
  260. default:
  261. *errcode = MP_EINVAL;
  262. return MP_STREAM_ERROR;
  263. }
  264. }
  265. STATIC const mp_rom_map_elem_t socket_locals_dict_table[] = {
  266. { MP_ROM_QSTR(MP_QSTR___del__), MP_ROM_PTR(&mp_stream_close_obj) },
  267. { MP_ROM_QSTR(MP_QSTR_close), MP_ROM_PTR(&mp_stream_close_obj) },
  268. { MP_ROM_QSTR(MP_QSTR_bind), MP_ROM_PTR(&socket_bind_obj) },
  269. { MP_ROM_QSTR(MP_QSTR_connect), MP_ROM_PTR(&socket_connect_obj) },
  270. { MP_ROM_QSTR(MP_QSTR_listen), MP_ROM_PTR(&socket_listen_obj) },
  271. { MP_ROM_QSTR(MP_QSTR_accept), MP_ROM_PTR(&socket_accept_obj) },
  272. { MP_ROM_QSTR(MP_QSTR_send), MP_ROM_PTR(&socket_send_obj) },
  273. { MP_ROM_QSTR(MP_QSTR_recv), MP_ROM_PTR(&socket_recv_obj) },
  274. { MP_ROM_QSTR(MP_QSTR_setsockopt), MP_ROM_PTR(&socket_setsockopt_obj) },
  275. { MP_ROM_QSTR(MP_QSTR_read), MP_ROM_PTR(&mp_stream_read_obj) },
  276. { MP_ROM_QSTR(MP_QSTR_readinto), MP_ROM_PTR(&mp_stream_readinto_obj) },
  277. { MP_ROM_QSTR(MP_QSTR_readline), MP_ROM_PTR(&mp_stream_unbuffered_readline_obj) },
  278. { MP_ROM_QSTR(MP_QSTR_write), MP_ROM_PTR(&mp_stream_write_obj) },
  279. { MP_ROM_QSTR(MP_QSTR_makefile), MP_ROM_PTR(&socket_makefile_obj) },
  280. };
  281. STATIC MP_DEFINE_CONST_DICT(socket_locals_dict, socket_locals_dict_table);
  282. STATIC const mp_stream_p_t socket_stream_p = {
  283. .read = sock_read,
  284. .write = sock_write,
  285. .ioctl = sock_ioctl,
  286. };
  287. STATIC const mp_obj_type_t socket_type = {
  288. { &mp_type_type },
  289. .name = MP_QSTR_socket,
  290. .print = socket_print,
  291. .make_new = socket_make_new,
  292. .protocol = &socket_stream_p,
  293. .locals_dict = (mp_obj_t)&socket_locals_dict,
  294. };
  295. //
  296. // getaddrinfo() implementation
  297. //
  298. typedef struct _getaddrinfo_state_t {
  299. mp_obj_t result;
  300. struct k_sem sem;
  301. mp_obj_t port;
  302. int status;
  303. } getaddrinfo_state_t;
  304. void dns_resolve_cb(enum dns_resolve_status status, struct dns_addrinfo *info, void *user_data) {
  305. getaddrinfo_state_t *state = user_data;
  306. DEBUG_printf("dns status: %d\n", status);
  307. if (info == NULL) {
  308. if (status == DNS_EAI_ALLDONE) {
  309. status = 0;
  310. }
  311. state->status = status;
  312. k_sem_give(&state->sem);
  313. return;
  314. }
  315. mp_obj_tuple_t *tuple = mp_obj_new_tuple(5, NULL);
  316. tuple->items[0] = MP_OBJ_NEW_SMALL_INT(info->ai_family);
  317. // info->ai_socktype not filled
  318. tuple->items[1] = MP_OBJ_NEW_SMALL_INT(SOCK_STREAM);
  319. // info->ai_protocol not filled
  320. tuple->items[2] = MP_OBJ_NEW_SMALL_INT(IPPROTO_TCP);
  321. tuple->items[3] = MP_OBJ_NEW_QSTR(MP_QSTR_);
  322. tuple->items[4] = format_inet_addr(&info->ai_addr, state->port);
  323. mp_obj_list_append(state->result, MP_OBJ_FROM_PTR(tuple));
  324. }
  325. STATIC mp_obj_t mod_getaddrinfo(size_t n_args, const mp_obj_t *args) {
  326. mp_obj_t host_in = args[0], port_in = args[1];
  327. const char *host = mp_obj_str_get_str(host_in);
  328. mp_int_t family = 0;
  329. if (n_args > 2) {
  330. family = mp_obj_get_int(args[2]);
  331. }
  332. getaddrinfo_state_t state;
  333. // Just validate that it's int
  334. (void)mp_obj_get_int(port_in);
  335. state.port = port_in;
  336. state.result = mp_obj_new_list(0, NULL);
  337. k_sem_init(&state.sem, 0, UINT_MAX);
  338. for (int i = 2; i--;) {
  339. int type = (family != AF_INET6 ? DNS_QUERY_TYPE_A : DNS_QUERY_TYPE_AAAA);
  340. RAISE_ERRNO(dns_get_addr_info(host, type, NULL, dns_resolve_cb, &state, 3000));
  341. k_sem_take(&state.sem, K_FOREVER);
  342. if (family != 0) {
  343. break;
  344. }
  345. family = AF_INET6;
  346. }
  347. // Raise error only if there's nothing to return, otherwise
  348. // it may be IPv4 vs IPv6 differences.
  349. mp_int_t len = MP_OBJ_SMALL_INT_VALUE(mp_obj_len(state.result));
  350. if (state.status != 0 && len == 0) {
  351. mp_raise_OSError(state.status);
  352. }
  353. return state.result;
  354. }
  355. STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mod_getaddrinfo_obj, 2, 3, mod_getaddrinfo);
  356. STATIC mp_obj_t pkt_get_info(void) {
  357. struct k_mem_slab *rx, *tx;
  358. struct net_buf_pool *rx_data, *tx_data;
  359. net_pkt_get_info(&rx, &tx, &rx_data, &tx_data);
  360. mp_obj_tuple_t *t = MP_OBJ_TO_PTR(mp_obj_new_tuple(4, NULL));
  361. t->items[0] = MP_OBJ_NEW_SMALL_INT(k_mem_slab_num_free_get(rx));
  362. t->items[1] = MP_OBJ_NEW_SMALL_INT(k_mem_slab_num_free_get(tx));
  363. t->items[2] = MP_OBJ_NEW_SMALL_INT(rx_data->avail_count);
  364. t->items[3] = MP_OBJ_NEW_SMALL_INT(tx_data->avail_count);
  365. return MP_OBJ_FROM_PTR(t);
  366. }
  367. STATIC MP_DEFINE_CONST_FUN_OBJ_0(pkt_get_info_obj, pkt_get_info);
  368. STATIC const mp_rom_map_elem_t mp_module_usocket_globals_table[] = {
  369. { MP_ROM_QSTR(MP_QSTR___name__), MP_ROM_QSTR(MP_QSTR_usocket) },
  370. // objects
  371. { MP_ROM_QSTR(MP_QSTR_socket), MP_ROM_PTR(&socket_type) },
  372. // class constants
  373. { MP_ROM_QSTR(MP_QSTR_AF_INET), MP_ROM_INT(AF_INET) },
  374. { MP_ROM_QSTR(MP_QSTR_AF_INET6), MP_ROM_INT(AF_INET6) },
  375. { MP_ROM_QSTR(MP_QSTR_SOCK_STREAM), MP_ROM_INT(SOCK_STREAM) },
  376. { MP_ROM_QSTR(MP_QSTR_SOCK_DGRAM), MP_ROM_INT(SOCK_DGRAM) },
  377. { MP_ROM_QSTR(MP_QSTR_SOL_SOCKET), MP_ROM_INT(1) },
  378. { MP_ROM_QSTR(MP_QSTR_SO_REUSEADDR), MP_ROM_INT(2) },
  379. { MP_ROM_QSTR(MP_QSTR_getaddrinfo), MP_ROM_PTR(&mod_getaddrinfo_obj) },
  380. { MP_ROM_QSTR(MP_QSTR_pkt_get_info), MP_ROM_PTR(&pkt_get_info_obj) },
  381. };
  382. STATIC MP_DEFINE_CONST_DICT(mp_module_usocket_globals, mp_module_usocket_globals_table);
  383. const mp_obj_module_t mp_module_usocket = {
  384. .base = { &mp_type_module },
  385. .globals = (mp_obj_dict_t*)&mp_module_usocket_globals,
  386. };
  387. #endif // MICROPY_PY_USOCKET