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@59:31f58acea595, 2013-09-13 (annotated)

Committer:
tass
Date:
Fri Sep 13 08:51:57 2013 +0000
Revision:
59:31f58acea595
Parent:
3:b4047e8a0123
Child:
63:97f481e33cb2
Child:
65:8cdaaa1df01d
added time prescaler support, default this is disabled

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 59:31f58acea595 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 59:31f58acea595 35 extern uint32_t os_time;
daniele 3:b4047e8a0123 36
daniele 3:b4047e8a0123 37 extern uint32_t os_time;
tass 59:31f58acea595 38 #ifdef TIME_PRESCALE
tass 59:31f58acea595 39 extern int32_t prescale_time;
tass 59:31f58acea595 40 #endif
daniele 3:b4047e8a0123 41
daniele 3:b4047e8a0123 42 static inline unsigned long PICO_TIME(void)
daniele 3:b4047e8a0123 43 {
daniele 3:b4047e8a0123 44 return (unsigned long)os_time / 1000;
tass 59:31f58acea595 45 #ifdef TIME_PRESCALE
tass 59:31f58acea595 46 return (prescale_time < 0) ? (unsigned long)(os_time / 1000 << (-prescale_time)) : \
tass 59:31f58acea595 47 (unsigned long)(os_time / 1000 >> prescale_time);
tass 59:31f58acea595 48 #else
tass 59:31f58acea595 49 return (unsigned long)(os_time / 1000);
tass 59:31f58acea595 50 #endif
tass 59:31f58acea595 51
daniele 3:b4047e8a0123 52 }
daniele 3:b4047e8a0123 53
daniele 3:b4047e8a0123 54 static inline unsigned long PICO_TIME_MS(void)
daniele 3:b4047e8a0123 55 {
tass 59:31f58acea595 56 #ifdef TIME_PRESCALE
tass 59:31f58acea595 57 return (prescale_time < 0) ? (unsigned long)(os_time << (-prescale_time)) : \
tass 59:31f58acea595 58 (unsigned long)(os_time >> prescale_time);
tass 59:31f58acea595 59 #else
daniele 3:b4047e8a0123 60 return (unsigned long)os_time;
tass 59:31f58acea595 61 #endif
daniele 3:b4047e8a0123 62 }
daniele 3:b4047e8a0123 63
daniele 3:b4047e8a0123 64 static inline void PICO_IDLE(void)
daniele 3:b4047e8a0123 65 {
daniele 3:b4047e8a0123 66 // TODO needs implementation
daniele 3:b4047e8a0123 67 }
daniele 3:b4047e8a0123 68 /*
daniele 3:b4047e8a0123 69 static inline void PICO_DEBUG(const char * formatter, ... )
daniele 3:b4047e8a0123 70 {
daniele 3:b4047e8a0123 71 char buffer[256];
daniele 3:b4047e8a0123 72 char *ptr;
daniele 3:b4047e8a0123 73 va_list args;
daniele 3:b4047e8a0123 74 va_start(args, formatter);
daniele 3:b4047e8a0123 75 vsnprintf(buffer, 256, formatter, args);
daniele 3:b4047e8a0123 76 ptr = buffer;
daniele 3:b4047e8a0123 77 while(*ptr != '\0')
daniele 3:b4047e8a0123 78 serial_putc(serial_t *obj, (int) (*(ptr++)));
daniele 3:b4047e8a0123 79 va_end(args);
daniele 3:b4047e8a0123 80 //TODO implement serial_t
daniele 3:b4047e8a0123 81 }*/
daniele 3:b4047e8a0123 82
daniele 3:b4047e8a0123 83 #endif