Daniele Lacamera / PicoTCP Featured

Free (GPLv2) TCP/IP stack developed by TASS Belgium

Dependents:   lpc1768-picotcp-demo ZeroMQ_PicoTCP_Publisher_demo TCPSocket_HelloWorld_PicoTCP Pico_TCP_UDP_Test ... more

PicoTCP. Copyright (c) 2013 TASS Belgium NV.

Released under the GNU General Public License, version 2.

Different licensing models may exist, at the sole discretion of the Copyright holders.

Official homepage: http://www.picotcp.com

Bug tracker: https://github.com/tass-belgium/picotcp/issues

Development steps:

  • initial integration with mbed RTOS
  • generic mbed Ethernet driver
  • high performance NXP LPC1768 specific Ethernet driver
  • Multi-threading support for mbed RTOS
  • Berkeley sockets and integration with the New Socket API
  • Fork of the apps running on top of the New Socket API
  • Scheduling optimizations
  • Debugging/benchmarking/testing

Demo application (measuring TCP sender performance):

Import programlpc1768-picotcp-demo

A PicoTCP demo app testing the ethernet throughput on the lpc1768 mbed board.

Last commit 17 May 2013 by TASS Belgium

Diff: modules/pico_dhcp_client.c

Revision:
73:dfb737147f6e
Parent:
72:887bc44746ff
Child:
74:c146c4e346c4
--- a/modules/pico_dhcp_client.c	Fri Sep 27 06:27:23 2013 +0000
+++ b/modules/pico_dhcp_client.c	Fri Sep 27 12:43:36 2013 +0000
@@ -67,7 +67,7 @@
   uint32_t *uid;
   enum dhcp_client_state state;
   void (*cb)(void* dhcpc, int code);
-  uint64_t init_timestamp;
+  uint32_t init_timestamp;
   struct pico_socket *s;
   struct pico_ip4 address;
   struct pico_ip4 netmask;
@@ -156,7 +156,7 @@
     return NULL;
 }
 
-static void pico_dhcp_client_init_timer(uint64_t __attribute__((unused)) now, void *arg)
+static void pico_dhcp_client_init_timer(uint32_t __attribute__((unused)) now, void *arg)
 {
   struct pico_dhcp_client_cookie *dhcpc = (struct pico_dhcp_client_cookie *)arg;
 
@@ -178,7 +178,7 @@
   return;
 }
 
-static void pico_dhcp_client_requesting_timer(uint64_t __attribute__((unused)) now, void *arg)
+static void pico_dhcp_client_requesting_timer(uint32_t __attribute__((unused)) now, void *arg)
 {
   struct pico_dhcp_client_cookie *dhcpc = (struct pico_dhcp_client_cookie *)arg;
 
@@ -198,7 +198,7 @@
   return;
 }
 
-static void pico_dhcp_client_renewing_timer(uint64_t __attribute__((unused)) now, void *arg)
+static void pico_dhcp_client_renewing_timer(uint32_t __attribute__((unused)) now, void *arg)
 {
   struct pico_dhcp_client_cookie *dhcpc = (struct pico_dhcp_client_cookie *)arg;
 
@@ -213,7 +213,7 @@
   return;
 }
 
-static void pico_dhcp_client_rebinding_timer(uint64_t __attribute__((unused)) now, void *arg)
+static void pico_dhcp_client_rebinding_timer(uint32_t __attribute__((unused)) now, void *arg)
 {
   struct pico_dhcp_client_cookie *dhcpc = (struct pico_dhcp_client_cookie *)arg;
 
@@ -228,7 +228,7 @@
   return;
 }
 
-static void pico_dhcp_client_T1_timer(uint64_t __attribute__((unused)) now, void *arg)
+static void pico_dhcp_client_T1_timer(uint32_t __attribute__((unused)) now, void *arg)
 {
   struct pico_dhcp_client_cookie *dhcpc = (struct pico_dhcp_client_cookie *)arg;
 
@@ -242,7 +242,7 @@
   return;
 }
 
-static void pico_dhcp_client_T2_timer(uint64_t __attribute__((unused)) now, void *arg)
+static void pico_dhcp_client_T2_timer(uint32_t __attribute__((unused)) now, void *arg)
 {
   struct pico_dhcp_client_cookie *dhcpc = (struct pico_dhcp_client_cookie *)arg;
 
@@ -257,7 +257,7 @@
   return;
 }
 
-static void pico_dhcp_client_lease_timer(uint64_t __attribute__((unused)) now, void *arg)
+static void pico_dhcp_client_lease_timer(uint32_t __attribute__((unused)) now, void *arg)
 {
   struct pico_dhcp_client_cookie *dhcpc = (struct pico_dhcp_client_cookie *)arg;
 
@@ -272,7 +272,7 @@
   return;
 }
 
-static void pico_dhcp_client_reinit(uint64_t __attribute__((unused)) now, void *arg)
+static void pico_dhcp_client_reinit(uint32_t __attribute__((unused)) now, void *arg)
 {
   struct pico_dhcp_client_cookie *dhcpc = (struct pico_dhcp_client_cookie *)arg;
 
@@ -575,7 +575,8 @@
   /* RFC2131 ch 4.3.2 ... The client SHOULD use the parameters in the DHCPACK message for configuration */
   if (dhcpc->state == DHCP_CLIENT_STATE_REQUESTING)
     dhcpc->address.addr = hdr->yiaddr;
-    
+
+
   /* close the socket used for address (re)acquisition */
   pico_socket_close(dhcpc->s);
   /* delete the link with address 0.0.0.0, add new link with acquired address */
@@ -812,7 +813,7 @@
       optlen = PICO_DHCP_OPTLEN_MSGTYPE + PICO_DHCP_OPTLEN_MAXMSGSIZE + PICO_DHCP_OPTLEN_PARAMLIST + PICO_DHCP_OPTLEN_END;
       hdr = pico_zalloc((size_t)(sizeof(struct pico_dhcp_hdr) + optlen));
       /* specific options */
-      offset += pico_dhcp_opt_maxmsgsize(&hdr->options[offset], DHCP_CLIENT_MAXMSGZISE);
+      offset = (uint16_t)(offset + pico_dhcp_opt_maxmsgsize(&hdr->options[offset], DHCP_CLIENT_MAXMSGZISE));
       break;
 
     case PICO_DHCP_MSG_REQUEST:
@@ -821,10 +822,10 @@
               + PICO_DHCP_OPTLEN_END;
       hdr = pico_zalloc(sizeof(struct pico_dhcp_hdr) + optlen);
       /* specific options */
-      offset += pico_dhcp_opt_maxmsgsize(&hdr->options[offset], DHCP_CLIENT_MAXMSGZISE);
+      offset = (uint16_t)(offset+pico_dhcp_opt_maxmsgsize(&hdr->options[offset], DHCP_CLIENT_MAXMSGZISE));
       if (dhcpc->state == DHCP_CLIENT_STATE_REQUESTING) {
-        offset += pico_dhcp_opt_reqip(&hdr->options[offset], &dhcpc->address);
-        offset += pico_dhcp_opt_serverid(&hdr->options[offset], &dhcpc->server_id);
+        offset = (uint16_t)(offset+pico_dhcp_opt_reqip(&hdr->options[offset], &dhcpc->address));
+        offset = (uint16_t)(offset+pico_dhcp_opt_serverid(&hdr->options[offset], &dhcpc->server_id));
       }
       break;
 
@@ -833,9 +834,9 @@
   }
 
   /* common options */
-  offset += pico_dhcp_opt_msgtype(&hdr->options[offset], msg_type);
-  offset += pico_dhcp_opt_paramlist(&hdr->options[offset]);
-  offset += pico_dhcp_opt_end(&hdr->options[offset]);
+  offset = (uint16_t)(offset+pico_dhcp_opt_msgtype(&hdr->options[offset], msg_type));
+  offset = (uint16_t)(offset+pico_dhcp_opt_paramlist(&hdr->options[offset]));
+  offset = (uint16_t)(offset+pico_dhcp_opt_end(&hdr->options[offset]));
 
   switch (dhcpc->state)
   {