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@86:83f990506cef, 2013-10-07 (annotated)

Committer:
tass
Date:
Mon Oct 07 06:28:04 2013 +0000
Revision:
86:83f990506cef
Parent:
29:1a47b7151851
Parent:
83:d4e1dcd97346
Child:
87:d45bc027b06d
Merged rev 83 and rev 85.

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 29:1a47b7151851 13 #include <stdio.h>
daniele 3:b4047e8a0123 14
daniele 3:b4047e8a0123 15 //#include "mbed.h"
daniele 3:b4047e8a0123 16 //#include "serial_api.h"
daniele 3:b4047e8a0123 17
tass 83:d4e1dcd97346 18 //#define TIME_PRESCALE
daniele 3:b4047e8a0123 19 /*
daniele 3:b4047e8a0123 20 Debug needs initialization:
daniele 3:b4047e8a0123 21 * void serial_init (serial_t *obj, PinName tx, PinName rx);
daniele 3:b4047e8a0123 22 * void serial_baud (serial_t *obj, int baudrate);
daniele 3:b4047e8a0123 23 * void serial_format (serial_t *obj, int data_bits, SerialParity parity, int stop_bits);
daniele 3:b4047e8a0123 24 */
daniele 3:b4047e8a0123 25
daniele 3:b4047e8a0123 26 #define dbg(...)
daniele 3:b4047e8a0123 27 #define pico_zalloc(x) calloc(x, 1)
daniele 3:b4047e8a0123 28 #define pico_free(x) free(x)
daniele 3:b4047e8a0123 29
daniele 29:1a47b7151851 30 #ifdef MEMORY_MEASURE // in case, comment out the two defines above me.
daniele 29:1a47b7151851 31 extern uint32_t max_mem;
daniele 29:1a47b7151851 32 extern uint32_t cur_mem;
daniele 29:1a47b7151851 33
daniele 29:1a47b7151851 34 static inline void * pico_zalloc(int x)
daniele 29:1a47b7151851 35 {
daniele 29:1a47b7151851 36 uint32_t *ptr;
daniele 29:1a47b7151851 37 if ((cur_mem + x )> (10 * 1024))
daniele 29:1a47b7151851 38 return NULL;
daniele 29:1a47b7151851 39
daniele 29:1a47b7151851 40 ptr = (uint32_t *)calloc(x + 4, 1);
daniele 29:1a47b7151851 41 *ptr = (uint32_t)x;
daniele 29:1a47b7151851 42 cur_mem += x;
daniele 29:1a47b7151851 43 if (cur_mem > max_mem) {
daniele 29:1a47b7151851 44 max_mem = cur_mem;
daniele 29:1a47b7151851 45 printf("max mem: %lu\n", max_mem);
daniele 29:1a47b7151851 46 }
daniele 29:1a47b7151851 47 return (void*)(ptr + 1);
daniele 29:1a47b7151851 48 }
daniele 29:1a47b7151851 49
daniele 29:1a47b7151851 50 static inline void pico_free(void *x)
daniele 29:1a47b7151851 51 {
daniele 29:1a47b7151851 52 uint32_t *ptr = (uint32_t*)(((uint8_t *)x) - 4);
daniele 29:1a47b7151851 53 cur_mem -= *ptr;
daniele 29:1a47b7151851 54 free(ptr);
daniele 29:1a47b7151851 55 }
daniele 29:1a47b7151851 56 #endif
daniele 3:b4047e8a0123 57
daniele 3:b4047e8a0123 58 #define PICO_SUPPORT_MUTEX
daniele 3:b4047e8a0123 59 extern void *pico_mutex_init(void);
daniele 3:b4047e8a0123 60 extern void pico_mutex_lock(void*);
daniele 3:b4047e8a0123 61 extern void pico_mutex_unlock(void*);
daniele 3:b4047e8a0123 62
tass 83:d4e1dcd97346 63 extern uint32_t os_time;
daniele 3:b4047e8a0123 64
tass 83:d4e1dcd97346 65 #ifdef TIME_PRESCALE
tass 83:d4e1dcd97346 66 extern int32_t prescale_time;
tass 83:d4e1dcd97346 67 #endif
daniele 3:b4047e8a0123 68
daniele 3:b4047e8a0123 69 static inline unsigned long PICO_TIME(void)
daniele 3:b4047e8a0123 70 {
tass 83:d4e1dcd97346 71 #ifdef TIME_PRESCALE
tass 83:d4e1dcd97346 72 return (prescale_time < 0) ? (unsigned long)(os_time / 1000 << (-prescale_time)) : \
tass 83:d4e1dcd97346 73 (unsigned long)(os_time / 1000 >> prescale_time);
tass 83:d4e1dcd97346 74 #else
tass 83:d4e1dcd97346 75 return (unsigned long)(os_time / 1000);
tass 83:d4e1dcd97346 76 #endif
tass 83:d4e1dcd97346 77
daniele 3:b4047e8a0123 78 }
daniele 3:b4047e8a0123 79
daniele 3:b4047e8a0123 80 static inline unsigned long PICO_TIME_MS(void)
daniele 3:b4047e8a0123 81 {
tass 83:d4e1dcd97346 82 #ifdef TIME_PRESCALE
tass 83:d4e1dcd97346 83 return (prescale_time < 0) ? (unsigned long)(os_time << (-prescale_time)) : \
tass 83:d4e1dcd97346 84 (unsigned long)(os_time >> prescale_time);
tass 83:d4e1dcd97346 85 #else
daniele 3:b4047e8a0123 86 return (unsigned long)os_time;
tass 83:d4e1dcd97346 87 #endif
daniele 3:b4047e8a0123 88 }
daniele 3:b4047e8a0123 89
daniele 3:b4047e8a0123 90 static inline void PICO_IDLE(void)
daniele 3:b4047e8a0123 91 {
daniele 3:b4047e8a0123 92 // TODO needs implementation
daniele 3:b4047e8a0123 93 }
daniele 3:b4047e8a0123 94 /*
daniele 3:b4047e8a0123 95 static inline void PICO_DEBUG(const char * formatter, ... )
daniele 3:b4047e8a0123 96 {
daniele 3:b4047e8a0123 97 char buffer[256];
daniele 3:b4047e8a0123 98 char *ptr;
daniele 3:b4047e8a0123 99 va_list args;
daniele 3:b4047e8a0123 100 va_start(args, formatter);
daniele 3:b4047e8a0123 101 vsnprintf(buffer, 256, formatter, args);
daniele 3:b4047e8a0123 102 ptr = buffer;
daniele 3:b4047e8a0123 103 while(*ptr != '\0')
daniele 3:b4047e8a0123 104 serial_putc(serial_t *obj, (int) (*(ptr++)));
daniele 3:b4047e8a0123 105 va_end(args);
daniele 3:b4047e8a0123 106 //TODO implement serial_t
daniele 3:b4047e8a0123 107 }*/
daniele 3:b4047e8a0123 108
daniele 3:b4047e8a0123 109 #endif