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: include/arch/pico_mbed.h

Revision:
66:71a2ef45a035
Parent:
63:97f481e33cb2
Parent:
65:8cdaaa1df01d
--- a/include/arch/pico_mbed.h	Thu Sep 19 12:38:53 2013 +0000
+++ b/include/arch/pico_mbed.h	Thu Sep 19 13:06:00 2013 +0000
@@ -10,11 +10,11 @@
 
 #ifndef PICO_SUPPORT_MBED
 #define PICO_SUPPORT_MBED
-#include <stdio.h>
 
 //#include "mbed.h"
 //#include "serial_api.h"
 
+//#define TIME_PRESCALE
 /*
 Debug needs initialization:
 * void serial_init       (serial_t *obj, PinName tx, PinName rx);
@@ -26,50 +26,38 @@
 #define pico_zalloc(x) calloc(x, 1)
 #define pico_free(x) free(x)
 
-#ifdef MEMORY_MEASURE // in case, comment out the two defines above me.
-extern uint32_t max_mem;
-extern uint32_t cur_mem;
-
-static inline void * pico_zalloc(int x)
-{
-    uint32_t *ptr;
-    if ((cur_mem + x )> (10 * 1024))
-        return NULL;
-        
-    ptr = (uint32_t *)calloc(x + 4, 1);
-    *ptr = (uint32_t)x;
-    cur_mem += x;
-    if (cur_mem > max_mem) {
-        max_mem = cur_mem;
-        printf("max mem: %lu\n", max_mem);
-    }
-    return (void*)(ptr + 1);
-}
-
-static inline void pico_free(void *x)
-{
-    uint32_t *ptr = (uint32_t*)(((uint8_t *)x) - 4);
-    cur_mem -= *ptr;
-    free(ptr);
-}
-#endif
 
 #define PICO_SUPPORT_MUTEX
 extern void *pico_mutex_init(void);
 extern void pico_mutex_lock(void*);
 extern void pico_mutex_unlock(void*);
 
+extern uint32_t os_time;
 
 extern uint32_t os_time;
+#ifdef TIME_PRESCALE
+extern int32_t prescale_time;
+#endif
 
 static inline unsigned long PICO_TIME(void)
 {
-  return (unsigned long)os_time / 1000;
+  #ifdef TIME_PRESCALE
+  return (prescale_time < 0) ? (unsigned long)(os_time / 1000 << (-prescale_time)) : \
+                                (unsigned long)(os_time / 1000 >> prescale_time);
+  #else
+  return (unsigned long)(os_time / 1000);
+  #endif
+  
 }
 
 static inline unsigned long PICO_TIME_MS(void)
 {
+  #ifdef TIME_PRESCALE
+  return (prescale_time < 0) ? (unsigned long)(os_time << (-prescale_time)) : \
+                                (unsigned long)(os_time >> prescale_time);
+  #else
   return (unsigned long)os_time;
+  #endif
 }
 
 static inline void PICO_IDLE(void)