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

include/arch/pico_mbed.h@25:d63125298eb3, 2013-06-11 (annotated)

Committer:
daniele
Date:
Tue Jun 11 23:28:50 2013 +0000
Revision:
25:d63125298eb3
Parent:
3:b4047e8a0123
Child:
31:d3b2dfcc358f
Fixed close

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 25:d63125298eb3 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
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 25:d63125298eb3 29 #ifdef MEMORY_MEASURE // in case, comment out the two defines above me.
daniele 25:d63125298eb3 30 extern uint32_t max_mem;
daniele 25:d63125298eb3 31 extern uint32_t cur_mem;
daniele 25:d63125298eb3 32
daniele 25:d63125298eb3 33 static inline void * pico_zalloc(int x)
daniele 25:d63125298eb3 34 {
daniele 25:d63125298eb3 35 uint32_t *ptr;
daniele 25:d63125298eb3 36 if ((cur_mem + x )> (10 * 1024))
daniele 25:d63125298eb3 37 return NULL;
daniele 25:d63125298eb3 38
daniele 25:d63125298eb3 39 ptr = (uint32_t *)calloc(x + 4, 1);
daniele 25:d63125298eb3 40 *ptr = (uint32_t)x;
daniele 25:d63125298eb3 41 cur_mem += x;
daniele 25:d63125298eb3 42 if (cur_mem > max_mem) {
daniele 25:d63125298eb3 43 max_mem = cur_mem;
daniele 25:d63125298eb3 44 printf("max mem: %lu\n", max_mem);
daniele 25:d63125298eb3 45 }
daniele 25:d63125298eb3 46 return (void*)(ptr + 1);
daniele 25:d63125298eb3 47 }
daniele 25:d63125298eb3 48
daniele 25:d63125298eb3 49 static inline void pico_free(void *x)
daniele 25:d63125298eb3 50 {
daniele 25:d63125298eb3 51 uint32_t *ptr = (uint32_t*)(((uint8_t *)x) - 4);
daniele 25:d63125298eb3 52 cur_mem -= *ptr;
daniele 25:d63125298eb3 53 free(ptr);
daniele 25:d63125298eb3 54 }
daniele 25:d63125298eb3 55 #endif
daniele 3:b4047e8a0123 56
daniele 3:b4047e8a0123 57 #define PICO_SUPPORT_MUTEX
daniele 3:b4047e8a0123 58 extern void *pico_mutex_init(void);
daniele 3:b4047e8a0123 59 extern void pico_mutex_lock(void*);
daniele 3:b4047e8a0123 60 extern void pico_mutex_unlock(void*);
daniele 3:b4047e8a0123 61
daniele 3:b4047e8a0123 62
daniele 3:b4047e8a0123 63 extern uint32_t os_time;
daniele 3:b4047e8a0123 64
daniele 3:b4047e8a0123 65 static inline unsigned long PICO_TIME(void)
daniele 3:b4047e8a0123 66 {
daniele 3:b4047e8a0123 67 return (unsigned long)os_time / 1000;
daniele 3:b4047e8a0123 68 }
daniele 3:b4047e8a0123 69
daniele 3:b4047e8a0123 70 static inline unsigned long PICO_TIME_MS(void)
daniele 3:b4047e8a0123 71 {
daniele 3:b4047e8a0123 72 return (unsigned long)os_time;
daniele 3:b4047e8a0123 73 }
daniele 3:b4047e8a0123 74
daniele 3:b4047e8a0123 75 static inline void PICO_IDLE(void)
daniele 3:b4047e8a0123 76 {
daniele 3:b4047e8a0123 77 // TODO needs implementation
daniele 3:b4047e8a0123 78 }
daniele 3:b4047e8a0123 79 /*
daniele 3:b4047e8a0123 80 static inline void PICO_DEBUG(const char * formatter, ... )
daniele 3:b4047e8a0123 81 {
daniele 3:b4047e8a0123 82 char buffer[256];
daniele 3:b4047e8a0123 83 char *ptr;
daniele 3:b4047e8a0123 84 va_list args;
daniele 3:b4047e8a0123 85 va_start(args, formatter);
daniele 3:b4047e8a0123 86 vsnprintf(buffer, 256, formatter, args);
daniele 3:b4047e8a0123 87 ptr = buffer;
daniele 3:b4047e8a0123 88 while(*ptr != '\0')
daniele 3:b4047e8a0123 89 serial_putc(serial_t *obj, (int) (*(ptr++)));
daniele 3:b4047e8a0123 90 va_end(args);
daniele 3:b4047e8a0123 91 //TODO implement serial_t
daniele 3:b4047e8a0123 92 }*/
daniele 3:b4047e8a0123 93
daniele 3:b4047e8a0123 94 #endif