随笔分类 - 程序设计
摘要：协程的概念就不介绍了,不清楚的同学可以自己google,windows和unix like系统本身就提供了协程的支持,windows下叫fiber,unix like系统下叫ucontext.在这里重复制造轮子,一是为了更清楚了解协程的实现,二是为了在windows和unix like系统下都提供一套统一的协程接口.首先介绍下接口,很简单,只有几个函数:#ifndef _UTHREAD_H#define _UTHREAD_Htypedef void (*start_fun)(void *); typedef struct uthread* uthread_t;uthread_t uthread
阅读全文
摘要：程序项目经常用到定时功能，如网络程序中，每隔固定的时间将发送缓冲中的数据一次性发往对端.下面介绍一个用posix timerfd实现的定时器， timerfd将定时器当做一个文件描述符，当定时器到时fd变为可读，可以将这个描述符交给epoll监听，timeout的时候由epoll返回并执行回调.timer.h#ifndef _TIMER_H#define _TIMER_H#define MAX_TIMER 4096typedef struct Timer *Timer_t;typedef void (*timer_callback)(Timer_t,void*);typedef struct
阅读全文
摘要：前面一篇文章实现了一个抢先式的用户级多线程框架，现在用那个框架编写一个echo服务，因为只是个实验，所以代码写得比较杂乱，还有很多可能出错的情况也没有处理，这些在今后的进一步研究中都会慢慢修改，下面是代码:uthread.h/** brief: 用ucontext实现的用户级线程框架* author: kenny huang* date: 2009/10/13* email: huangweilook@21cn.com*/#ifndef _UTHREAD_H#define _UTHREAD_H#include <ucontext.h>#include <stdio.h>
阅读全文
摘要：以前曾经写过一篇blog，使用linux ucontext实现的用户级多线程框架.那个框架实现的是协作式多线程序，也就是只有当正在执行的coroutine主动放弃处理器时，其它coroutine才有机会得以执行.今天用ucontext实现了一个抢先式的用户级多线程框架，其主要思想是，用一个物理线程作为中断发生器，以固定的时间间隔发送SIGUSR1信号.另一个物理线程运行Scheduler和用户级线程。每当这个物理线程收到信号的时候，就会将执行权切换到Scheduler，由Scheduler挑选一个个用户线程执行.thread.h// C/C++ header file// Author: ..
阅读全文
摘要：昨天看CN-Erlounge-IV讲搞的其中一篇<erlang进程模型在C++中的实践>,对用coroutine实现用户态的线程非常感兴趣,于是查下资料写了个简单的实验框架,其中schedule算法的实现很简单,只是遍历所有可以执行的coroutine.代码如下:uthread.h/** brief: 用ucontext实现的用户级线程框架* author: kenny huang* date: 2009/10/13* email: huangweilook@21cn.com*/#ifndef _UTHREAD_H#define _UTHREAD_H#include <uco
阅读全文
摘要：曾经参与过的一款网络游戏，其服务器使用了异常复杂的多线程序解决方案。导致应用层程序员编写的代码很容易就出现死锁。最终，公司的一个老员工，只能开发了一个死锁检测框架，在debug模式下运行时，只要发生死锁就会打印出调用堆栈。虽然说这个框架基本可以在上线前把所有的死锁都检测了出来，但是，规根到底这是设计不合理造成的，多线程利用好了会提升应用的效率，用不好的话，除了影响效率外，对上层开发简直是灾难。下面说说那个检测方法，其实方法挺简单的。有两个容器，一个用于保存线程正在请求的锁，一个用于保存线程已经持有的锁。每次加锁之前都会做如下检测:1)检测当前正在请求的锁是否已经被其它线程持有,如果有，则把那些
阅读全文
摘要：随着处理器往多核的发展，多线程被越来越多的应用到软件的开发中。但是如果没有正确的使用多线程，反而可能会导致软件性能的下降。多线程程序中一个影响程序性能的因素就是同步。对于windows系统来说，最快的同步方案就是critical_section,critical_section基本上可以被认为是一个用户态的同步机制(特别是设定了spincount,只有在自旋超过了spincount次之后任然不能获得锁，才会切入核心态并把当前线程阻塞).但即使是这样，如果在临界区中的代码如果处理时间比较长，任然会导致处理器浪费在自旋上。如果我们可以让线程在无法获得锁的时候就切换线程（当然是在用户态，切换核心态线
阅读全文
摘要：本篇介绍另外一个在C++ stl中常用的容器map.我打算将map的实现容器和map接口分开,创建map的时候可以传递一个实现了interface_map_container接口的对象指针进来,如果这个参数传0,则默认使用红黑树做实际的容器.这样做的好处是用户可以根据性能需求传递自己定制的容器类.例如在游戏程序中常见的数据表.一般通过一个索引查询,并且在程序启动时候将数据全部加载好,在以后的运行中,只会对数据进行查询,不会做任何修改的动作.在这种情况下,使用一个数组存放key,val对,再加载完成后对数组排序,后面查询的时候使用2分法,显然比用红黑树或其它的二叉平衡树效率更高.好了,下面介绍m
阅读全文
摘要：这是我的工具库中最后一个内存分配相关工具,其主要用途是，在某一函数或一个作用域中需要使用动态内存，出了这个作用域之后，马上就释放这些分配的内存.其主要工作模式是，函数开始时分配一大块内存，由分配器管理，函数中需要使用的动态内存全都由分配器从这块大的内存中分配出来，分配出来的内存无需free，函数返回之前销毁分配器，由分配将开始分配的大块内存释放.local_pool.h#ifndef _LOCAL_POOL_H#define _LOCAL_POOL_Htypedef local_pool *local_pool_t;/** pool:外部传进来的大内存块首地址，当这个参数不为0时,* ...
阅读全文
摘要：本篇将介绍一个通用内存分配器的实现.上一篇的开头已经介绍过,这个实现是组合first fit pool和fix_obj_pool以处理不同大小的分配请求.首先看由fix_obj_pool返回的内存的头结构:struct head_fix{unsigned short idx;/*0-255,表示在fix_objs的下标*/unsigned short chunk_idx;};这个头不会返回给上层应用,是给释放内存使用的.因为内存的请求是对齐到4字节的,小于1024字节的请求,被分成256个分配大小,分别是4,8,12,....1024.每个大小的请求由一个fix_obj_pool处理.idx的
阅读全文
摘要：本篇介绍通用内存分配工具的另一个组件,first fit momery pool,也就是首次适应内存分配器。相对于best fit 算法，通常来说first fit具有更好的平均性能，具体分析可参考kunth计算机程序设计第一卷2.5的讨论.我的通用内存分配器准备组合使用fix obj pool和first fit pool.fix obj pool用于处理1-1024字节的小内存请求.这里分配的内存是对齐到4字节的.而对于1-1024字节以外的大内存块请求，将交给first fit pool处理.为了加快free时的处理效率，将对fix obj pool做一个小处理，具体将在下篇通用内存分配
阅读全文
摘要：vector.h#ifndef _VECTOR_H#define _VECTOR_Hstruct vector;struct vector *vector_create(unsigned int val_size,unsigned int reserve_size);struct vector *vector_copy_create(struct vector*);void vector_copy(struct vector*,struct vector*);void vector_reserve(struct vector*,unsigned int);void vector_destroy
阅读全文
摘要：对大小固定的对象提供的对象池工具，当对内存分配的请求大小不固定时，使用其它的通用内存池.fix_obj_pool.h#ifndef _FIX_OBJ_POOL_H#define _FIX_OBJ_POOL_Hstruct fix_obj_pool;/** obj_size:对象大小* default_size:默认对象池大小* align4:返回的对象地址是否需要对齐到4字节*/extern struct fix_obj_pool *create_pool(unsigned int obj_size,int default_size,int align4);extern void destro
阅读全文
摘要：使用setjmp,longjmp实现的C与言异常处理框架。提供 抛出异常，捕获异常等功能。exception.h#ifndef _EXCEPTION_H#define _EXCEPTION_H#define except_alloc_failed 1 //内存分配失败#define except_list_empty 2 //list_pop操作,当list为空触发//............#endifexcept.h#ifndef _EXCEPT_H#define _EXCEPT_H#include <setjmp.h>#include <stdio.h>#incl
阅读全文
摘要：近来考虑将项目基础框架的开发语言从C++换成C，免不了要编写一大堆的基础工具。本篇为第一篇，list,提供的接口和操作方式与std::list相似.后续将会陆续贴出map,vector,memory pool,hash_table等工具。list.h#ifndef _LIST_H#define _LIST_Hstruct list;struct node;struct fix_obj_pool;struct list_iter{ struct node **next; struct node *n;};struct fix_obj_pool *list_create_obj_poo...
阅读全文
摘要：C++实现反射的一个简单实验，考虑并不充分。typelist.h#ifndef _TYPELIST_H#define _TYPELIST_Hclass NullType {};//Typelisttemplate <class T, class U>struct Typelist{ typedef T Head; typedef U Tail;};template <class TList, class T> struct IndexOf; template <class T>struct IndexOf<NullType, T>{ enum {
阅读全文
摘要：在网络服务器的设计中,经常使用多进程/多线程.这就涉及到在进程/线程间共享数据.现在我们假设一个场景,一个进程/线程负责处理网络收发,一个或多个进程/线程处理收到的网络数据包.显然,我们可以在每一对协作进程/线程间添加一个队列,将数据添加到队列中,以实现两个进程/线程的协作.我们的消息队列主要的设计目标有三个:1)要可以使用在进程与进程和线程与线程之间.当在进程之间通信时,我们的消息队列将会被放在共享内存中.2)避免使用锁机制,其一方面原因是锁的开销较大,另一方面是因为,对于在共享内存中使用消息队列时.如果一个进程获得锁之后崩溃,另一个进程将得不到任何的通知.当它要获得锁的时候,将会阻塞在永远
阅读全文
浙公网安备 33010602011771号