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 RTOSgeneric mbed Ethernet driverhigh performance NXP LPC1768 specific Ethernet driverMulti-threading support for mbed RTOSBerkeley sockets and integration with the New Socket APIFork of the apps running on top of the New Socket APIScheduling 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.
include/arch/pico_mbed.h
- Committer:
- tass
- Date:
- 2013-10-07
- Revision:
- 86:83f990506cef
- Parent:
- 29:1a47b7151851
- Parent:
- 83:d4e1dcd97346
- Child:
- 87:d45bc027b06d
File content as of revision 86:83f990506cef:
/********************************************************************* PicoTCP. Copyright (c) 2012 TASS Belgium NV. Some rights reserved. See LICENSE and COPYING for usage. Do not redistribute without a written permission by the Copyright holders. File: pico_mbed.h Author: Toon Peters *********************************************************************/ #ifndef PICO_SUPPORT_MBED #define PICO_SUPPORT_MBED #include <stdio.h> //#include "mbed.h" //#include "serial_api.h" //#define TIME_PRESCALE /* Debug needs initialization: * void serial_init (serial_t *obj, PinName tx, PinName rx); * void serial_baud (serial_t *obj, int baudrate); * void serial_format (serial_t *obj, int data_bits, SerialParity parity, int stop_bits); */ #define dbg(...) #define pico_zalloc(x) calloc(x, 1) #define pico_free(x) free(x) #ifdef MEMORY_MEASURE // in case, comment out the two defines above me. extern uint32_t max_mem; extern uint32_t cur_mem; static inline void * pico_zalloc(int x) { uint32_t *ptr; if ((cur_mem + x )> (10 * 1024)) return NULL; ptr = (uint32_t *)calloc(x + 4, 1); *ptr = (uint32_t)x; cur_mem += x; if (cur_mem > max_mem) { max_mem = cur_mem; printf("max mem: %lu\n", max_mem); } return (void*)(ptr + 1); } static inline void pico_free(void *x) { uint32_t *ptr = (uint32_t*)(((uint8_t *)x) - 4); cur_mem -= *ptr; free(ptr); } #endif #define PICO_SUPPORT_MUTEX extern void *pico_mutex_init(void); extern void pico_mutex_lock(void*); extern void pico_mutex_unlock(void*); extern uint32_t os_time; #ifdef TIME_PRESCALE extern int32_t prescale_time; #endif static inline unsigned long PICO_TIME(void) { #ifdef TIME_PRESCALE return (prescale_time < 0) ? (unsigned long)(os_time / 1000 << (-prescale_time)) : \ (unsigned long)(os_time / 1000 >> prescale_time); #else return (unsigned long)(os_time / 1000); #endif } static inline unsigned long PICO_TIME_MS(void) { #ifdef TIME_PRESCALE return (prescale_time < 0) ? (unsigned long)(os_time << (-prescale_time)) : \ (unsigned long)(os_time >> prescale_time); #else return (unsigned long)os_time; #endif } static inline void PICO_IDLE(void) { // TODO needs implementation } /* static inline void PICO_DEBUG(const char * formatter, ... ) { char buffer[256]; char *ptr; va_list args; va_start(args, formatter); vsnprintf(buffer, 256, formatter, args); ptr = buffer; while(*ptr != '\0') serial_putc(serial_t *obj, (int) (*(ptr++))); va_end(args); //TODO implement serial_t }*/ #endif