Daniele Lacamera / PicoTCP Featured

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

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

include/arch/pico_mbed.h@83:d4e1dcd97346, 2013-09-06 (annotated)

Committer:
tass
Date:
Fri Sep 06 14:06:28 2013 +0000
Revision:
83:d4e1dcd97346
Parent:
3:b4047e8a0123
Child:
86:83f990506cef
added time prescaler that supports slowing down and speeding up the stack. Default, this id disabled with a typedef

Who changed what in which revision?

UserRevisionLine numberNew contents of line
daniele 3:b4047e8a0123 1 /*********************************************************************
daniele 3:b4047e8a0123 2 PicoTCP. Copyright (c) 2012 TASS Belgium NV. Some rights reserved.
daniele 3:b4047e8a0123 3 See LICENSE and COPYING for usage.
daniele 3:b4047e8a0123 4 Do not redistribute without a written permission by the Copyright
daniele 3:b4047e8a0123 5 holders.
daniele 3:b4047e8a0123 6
daniele 3:b4047e8a0123 7 File: pico_mbed.h
daniele 3:b4047e8a0123 8 Author: Toon Peters
daniele 3:b4047e8a0123 9 *********************************************************************/
daniele 3:b4047e8a0123 10
daniele 3:b4047e8a0123 11 #ifndef PICO_SUPPORT_MBED
daniele 3:b4047e8a0123 12 #define PICO_SUPPORT_MBED
daniele 3:b4047e8a0123 13
daniele 3:b4047e8a0123 14 //#include "mbed.h"
daniele 3:b4047e8a0123 15 //#include "serial_api.h"
daniele 3:b4047e8a0123 16
tass 83:d4e1dcd97346 17 //#define TIME_PRESCALE
daniele 3:b4047e8a0123 18 /*
daniele 3:b4047e8a0123 19 Debug needs initialization:
daniele 3:b4047e8a0123 20 * void serial_init (serial_t *obj, PinName tx, PinName rx);
daniele 3:b4047e8a0123 21 * void serial_baud (serial_t *obj, int baudrate);
daniele 3:b4047e8a0123 22 * void serial_format (serial_t *obj, int data_bits, SerialParity parity, int stop_bits);
daniele 3:b4047e8a0123 23 */
daniele 3:b4047e8a0123 24
daniele 3:b4047e8a0123 25 #define dbg(...)
daniele 3:b4047e8a0123 26 #define pico_zalloc(x) calloc(x, 1)
daniele 3:b4047e8a0123 27 #define pico_free(x) free(x)
daniele 3:b4047e8a0123 28
daniele 3:b4047e8a0123 29
daniele 3:b4047e8a0123 30 #define PICO_SUPPORT_MUTEX
daniele 3:b4047e8a0123 31 extern void *pico_mutex_init(void);
daniele 3:b4047e8a0123 32 extern void pico_mutex_lock(void*);
daniele 3:b4047e8a0123 33 extern void pico_mutex_unlock(void*);
daniele 3:b4047e8a0123 34
tass 83:d4e1dcd97346 35 extern uint32_t os_time;
daniele 3:b4047e8a0123 36
tass 83:d4e1dcd97346 37 #ifdef TIME_PRESCALE
tass 83:d4e1dcd97346 38 extern int32_t prescale_time;
tass 83:d4e1dcd97346 39 #endif
daniele 3:b4047e8a0123 40
daniele 3:b4047e8a0123 41 static inline unsigned long PICO_TIME(void)
daniele 3:b4047e8a0123 42 {
tass 83:d4e1dcd97346 43 #ifdef TIME_PRESCALE
tass 83:d4e1dcd97346 44 return (prescale_time < 0) ? (unsigned long)(os_time / 1000 << (-prescale_time)) : \
tass 83:d4e1dcd97346 45 (unsigned long)(os_time / 1000 >> prescale_time);
tass 83:d4e1dcd97346 46 #else
tass 83:d4e1dcd97346 47 return (unsigned long)(os_time / 1000);
tass 83:d4e1dcd97346 48 #endif
tass 83:d4e1dcd97346 49
daniele 3:b4047e8a0123 50 }
daniele 3:b4047e8a0123 51
daniele 3:b4047e8a0123 52 static inline unsigned long PICO_TIME_MS(void)
daniele 3:b4047e8a0123 53 {
tass 83:d4e1dcd97346 54 #ifdef TIME_PRESCALE
tass 83:d4e1dcd97346 55 return (prescale_time < 0) ? (unsigned long)(os_time << (-prescale_time)) : \
tass 83:d4e1dcd97346 56 (unsigned long)(os_time >> prescale_time);
tass 83:d4e1dcd97346 57 #else
daniele 3:b4047e8a0123 58 return (unsigned long)os_time;
tass 83:d4e1dcd97346 59 #endif
daniele 3:b4047e8a0123 60 }
daniele 3:b4047e8a0123 61
daniele 3:b4047e8a0123 62 static inline void PICO_IDLE(void)
daniele 3:b4047e8a0123 63 {
daniele 3:b4047e8a0123 64 // TODO needs implementation
daniele 3:b4047e8a0123 65 }
daniele 3:b4047e8a0123 66 /*
daniele 3:b4047e8a0123 67 static inline void PICO_DEBUG(const char * formatter, ... )
daniele 3:b4047e8a0123 68 {
daniele 3:b4047e8a0123 69 char buffer[256];
daniele 3:b4047e8a0123 70 char *ptr;
daniele 3:b4047e8a0123 71 va_list args;
daniele 3:b4047e8a0123 72 va_start(args, formatter);
daniele 3:b4047e8a0123 73 vsnprintf(buffer, 256, formatter, args);
daniele 3:b4047e8a0123 74 ptr = buffer;
daniele 3:b4047e8a0123 75 while(*ptr != '\0')
daniele 3:b4047e8a0123 76 serial_putc(serial_t *obj, (int) (*(ptr++)));
daniele 3:b4047e8a0123 77 va_end(args);
daniele 3:b4047e8a0123 78 //TODO implement serial_t
daniele 3:b4047e8a0123 79 }*/
daniele 3:b4047e8a0123 80
daniele 3:b4047e8a0123 81 #endif