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:
128:ae39e6e81531
Parent:
123:dd26752a4538
Child:
142:35da43068894
--- a/include/arch/pico_mbed.h	Wed Dec 04 08:39:16 2013 +0000
+++ b/include/arch/pico_mbed.h	Thu Dec 05 08:31:32 2013 +0000
@@ -80,30 +80,35 @@
 extern void pico_mutex_unlock(void*);
 
 extern uint32_t os_time;
+extern uint64_t local_time;
+extern uint32_t last_os_time;
 
 #ifdef TIME_PRESCALE
 extern int32_t prescale_time;
 #endif
 extern uint32_t os_time;
 
+#define UPDATE_LOCAL_TIME() do{local_time=local_time+(os_time-last_os_time);last_os_time=os_time;}while(0)
 
-static inline unsigned long PICO_TIME(void)
+static inline uint64_t PICO_TIME(void)
 {
+  UPDATE_LOCAL_TIME();
   #ifdef TIME_PRESCALE
-  return (prescale_time < 0) ? (unsigned long)(os_time / 1000 << (-prescale_time)) : \
-                                (unsigned long)(os_time / 1000 >> prescale_time);
+  return (prescale_time < 0) ? (uint64_t)(local_time / 1000 << (-prescale_time)) : \
+                                (uint64_t)(local_time / 1000 >> prescale_time);
   #else
-  return (unsigned long)(os_time / 1000);
+  return (uint64_t)(local_time / 1000);
   #endif
 }
 
-static inline unsigned long PICO_TIME_MS(void)
+static inline uint64_t PICO_TIME_MS(void)
 {
+  UPDATE_LOCAL_TIME();
   #ifdef TIME_PRESCALE
-  return (prescale_time < 0) ? (unsigned long)(os_time << (-prescale_time)) : \
-                                (unsigned long)(os_time >> prescale_time);
+  return (prescale_time < 0) ? (uint64_t)(local_time << (-prescale_time)) : \
+                                (uint64_t)(local_time >> prescale_time);
   #else
-  return (unsigned long)os_time;
+  return (uint64_t)local_time;
   #endif
 }