可移植的线程对象

烽驿2009开源实时通信平台 源码获取:svn checkout http://fy2009.googlecode.com/svn/trunk/ fy2009-read-only

 

笔者在前面的博文中陆续介绍了本项目实现的若干基础服务,如:时间服务(http://blog.csdn.net/DreamFreeLancer/archive/2009/05/05/4150165.aspx, http://blog.csdn.net/DreamFreeLancer/archive/2009/05/05/4151871.aspx),

日志服务(http://blog.csdn.net/DreamFreeLancer/archive/2009/06/07/4250289.aspx),消息服务(http://blog.csdn.net/DreamFreeLancer/archive/2009/06/13/4266189.aspx)和异步IO服务

(http://blog.csdn.net/DreamFreeLancer/archive/2009/07/26/4381316.aspx)等。其中日志,消息和异步IO服务均用到所谓线程局部存储(TLS)。为方便在线程中使用这些基础服务,并尽可能保持线程概念在Windows和Linux间的可移

植性,本项目实现了thread_t,该类是个虚基类,不能直接实例化,自定义线程类需继承该类并重写其纯虚函数。

 

thread_t实现简要描述如下:
int32 start()--创建操作系统线程,直至完成应用级初始化才返回,成功,返回零;否则,返回非零。

virtual void run()=0--thread_t隐藏了操作系统的线程函数,应用层线程逻辑将被实现在该函数中。实现通常遵循以下模式:

线程初始化语句体
_unlock_start();
//完成应用级线程初始化后,需调用该保护函数以释放创建线程的start()调用,即start()将在该调用后返回创建线程。
应用逻辑语句体
线程退出清理语句体

 

若用户线程是个执行周期任务的“长寿”线程,则上述“应用逻辑语句体”通常是个while(true){...}样式的“死循环”。这时在循环体的适当位置应调用保护函数_is_stopping()检测是否有外部线程通过stop()调用向本线程发出终止请求,如果

_is_stopping()返回true, 应执行break语句跳出循环,并最终结束线程。另外,若while循环体中驱动的是heart_beat_it接口,则应在heart_beat()返回RET_HB_IDLE时或在周期性完成当前应用逻辑时调用保护函数_on_idle(),该函数尝试将Block在本线程缓冲区的日志送往写日志线程(如果Enable了Trace服务)或调用message proxy的heart_beat尝试接收发往本线程的消息(如果Enable了Message服务)或调用aio proxy的heart_beat尝试接收发往本线程的异步IO事件(如果Enable了AIO服务)。如果当前没任何日志等待送往写日志线程;

或没有任何消息被送到本线程;或没有任何异步IO事件被送到本线程,则_on_idle调用会被阻塞在内部一个event slot上直至指定超时,或前面任一事件发生。因此,当前无事可干的“长寿线程”可挂起在_on_idle上,既减小系统空转消耗,又避免sleep引起的响应不及时。

void stop(uint32 timeout)--外部线程可通过调用该函数通知目标线程退出,目标线程应通过显式调用_is_stopping()感知该请求,并及时退出线程函数。stop在发出上述终止请求后,将等待一个超时时间,若在超时到达时,目标线程仍未退出,最初的实现在Windows和Linux下行为并不一致,在Linux上,原来通过调用pthread_cancel来终止线程,而在Windows下则调用TerminateThread直接结束线程。但两者都不完美,pthread_cancel向目标线程发出“取消请求”,当目标线程执行到所谓“取消点(Cancellation Point)”时,目标线程将退出。线程退出机制以抛出一个特殊异常的方式进行,该异常不能被用户的try...catch捕捉并终止,就是说用户程序中的catch(...)子句最后必需用一个“throw;”语句再抛出,否则,程序将出错(FATAL: exception not rethrown),这是一件很不幸的事,该特性会导致任何构成线程函数的代码中不能有不含"throw;"语句的catch(...)子句,这会导致本项目所有异常处理的宏不能用在线程函数中,这太不幸了,也不能被接受。经过权衡,最后放弃了整个线程Cancel机制(本来这也只是一种容错处理,良好设计的线程函数本来就不应该发生这种事),另外一个额外收获是保持了线程概念在Windows平台和Linux平台上的高度一致,当然,为此也取消了在Windows上线程无法法正常结束时对TerminateThread调用,反正该函数也不回收线程资源,调它何用?既然不能正常结束,那就随它“自生自灭”好了,从此“一刀两断”。总之,无论在Windows下还是Linux下,我们都应小心编写run函数实现,及时调用_is_stopping,发现来自其它线程的stop请求及时退出。
void enable_trace/disable_trace--Enable/Disable本线程的日志服务。如需要从线程中写日志,应Enable日志服务;否则,可Disable,以适当减少线程对象开销。必需在start()前调用。
void enable_msg/disable_msg--Enable/Disable本线程消息服务,如线程需要收/发消息,应Enable 消息服务。必需在start()前调用。
void enable_aio/disable_aio--Enable/Disable本线程异步IO服务,如线程要用到异步IO(如异步Socket),应Enable异步IO操作。必需在start()前调用。 

 

注:Linux下标识一个线程用线程ID(Linux下的类型是pthread_t),pthread_create会产生该值,线程外可从此处得到该值,线程内部则可通过调用pthread_self得到指向自身的线程ID。值得注意的是出现在Linux高版本(如2.6)中的gettid和我们“顾名思义”的结果并不相同,它的含义更接近getpid而不是获取我们认为的线程ID,也就是说,同一进程中不同线程调用gettid通常返回相同的值,即进程ID。系统帮助说明了gettid和getpid什么情况下不同(用CLONE_THREAD调用clone时),但和我们通常的线程ID没有任何关系。总之, 从线程内部得到自身ID的正确方法是pthread_self而不是别的。

 

Windows下对应线程有两个系统对象,一个是线程句柄,一个是线程ID,有使简单问题复杂化的嫌疑。线程ID可在系统范围内唯一标识一个线程,和Linux下的类似概念作用相同。但Windows下很多线程函数却需要以线程句柄为参数。CreateThread直接返回的是线程句柄,但可通过一个参数返回线程ID,线程外可从此处得到线程句柄和线程ID。从线程内部获取线程ID可调用GetCurrentThreadId,但从线程内部获取线程句柄则得当心,GetCurrentThread貌似正确的选择,但其实该函数返回的是所谓的“伪句柄”,仅限于线程内使用,实际它的值在所有线程中都相同(XP上实测为0xfffffffe),也就是说它和CreateThread创建该线程时产生的句柄并不相等,对该“伪句柄”调用DuplicateHandle可生成真正的句柄,可在当前线程外使用,但使用者需负责用完后对其执行CloseHandle,“伪句柄”则从来不用Close。总之,在Windows下使用线程句柄,需小心区分是“真句柄”还是“伪句柄”,并弄清两者不同的适用场景。

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
1.几种同步方法的区别 lock和Monitor是.NET用一个特殊结构实现的,Monitor对象是完全托管的、完全可移植的,并且在操作系统资源要求方 面可能更为有效,同步速度较快,但不能跨进程同步。lock(Monitor.Enter和Monitor.Exit方法的封装),主要作用是锁定临界区,使临 界区代码只能被获得锁的线程执行。Monitor.Wait和Monitor.Pulse用于线程同步,类似信号操作,个人感觉使用比较复杂,容易造成死 锁。 互斥体Mutex和事件对象EventWaitHandler属于内核对象,利用内核对象进行线程同步,线程必须要在用户模式和内核模 式间切换,所以一般效率很低,但利用互斥对象和事件对象这样的内核对象,可以在多个进程中的各个线程间进行同步。 互斥体Mutex类似于一个接力棒,拿到接力棒的线程才可以开始跑,当然接力棒一次只属于一个线程(Thread Affinity),如果这个线程不释放接力棒(Mutex.ReleaseMutex),那么没办法,其他所有需要接力棒运行的线程都知道能等着看热 闹。 EventWaitHandle 类允许线程通过发信号互相通信。 通常,一个或多个线程在 EventWaitHandle 上阻止,直到一个未阻止的线程调用 Set 方法,以释放一个或多个被阻止的线程。 2.什么时候需要锁定 首先要理解锁定是解决竞争条件的,也就是多个线程同时访问某个资源,造成意想不到的结果。比如,最简单的情况是,一个计数器,两个线程 同时加一,后果就是损失了一个计数,但相当频繁的锁定又可能带来性能上的消耗,还有最可怕的情况死锁。那么什么情况下我们需要使用锁,什么情况下不需要 呢? 1)只有共享资源才需要锁定 只有可以被多线程访问的共享资源才需要考虑锁定,比如静态变量,再比如某些缓存中的值,而属于线程内部的变量不需要锁定。 2)多使用lock,少用Mutex 如果你一定要使用锁定,请尽量不要使用内核模块的锁定机制,比如.NET的Mutex,Semaphore,AutoResetEvent和 ManuResetEvent,使用这样的机制涉及到了系统在用户模式和内核模式间的切换,性能差很多,但是他们的优点是可以跨进程同步线程,所以应该清 楚的了解到他们的不同和适用范围。 3)了解你的程序是怎么运行的 实际上在web开发中大多数逻辑都是在单个线程中展开的,一个请求都会在一个单独的线程中处理,其中的大部分变量都是属于这个线程的,根本没有必要考虑锁 定,当然对于ASP.NET中的Application对象中的数据,我们就要考虑加锁了。 4)把锁定交给数据库 数 据库除了存储数据之外,还有一个重要的用途就是同步,数据库本身用了一套复杂的机制来保证数据的可靠和一致性,这就为我们节省了很多的精力。保证了数据源 头上的同步,我们多数的精力就可以集中在缓存等其他一些资源的同步访问上了。通常,只有涉及到多个线程修改数据库中同一条记录时,我们才考虑加锁。 5)业务逻辑对事务和线程安全的要求 这 条是最根本的东西,开发完全线程安全的程序是件很费时费力的事情,在电子商务等涉及金融系统的案例中,许多逻辑都必须严格的线程安全,所以我们不得不牺牲 一些性能,和很多的开发时间来做这方面的工作。而一般的应用中,许多情况下虽然程序有竞争的危险,我们还是可以不使用锁定,比如有的时候计数器少一多一, 对结果无伤大雅的情况下,我们就可以不用去管它。 3.InterLocked类 Interlocked 类提供了同步对多个线程共享的变量的访问的方法。如果该变量位于共享内存中,则不同进程的线程就可以使用该机制。互锁操作是原子的,即整个操作是不能由相 同变量上的另一个互锁操作所中断的单元。这在抢先多线程操作系统中是很重要的,在这样的操作系统中,线程可以在从某个内存地址加载值之后但是在有机会更改 和存储该值之前被挂起。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值