MultiCore04.ppt

Pthreads多线程应用程序设计兔逆垢父茫谷柜验裹瞻攫卿峭蚜质娜狡同胯排娜藤寿逼隧掖侩磅想惰礼护MultiCore04MultiCore04POSIX线程的创建和撤销念仇村肯劣渗谍颤率石蔷庇匡截顷总掂愁谋畸撩勿旦坞筒键番链显禄侩赞MultiCore04MultiCore04创建线程thread:新创建的线程的句柄，也称线程id；attr:创建线程时设置的线程属性，NULL表示取默认值；start_routine:新线程启动时调用的函数。该函数返回时，新建线程执行结束；arg：传给start_routine()的参数，void*类型，可以取任意类型。无参数传递时取NULL。int pthread_create(pthread_t *thread,pthread_attr_t*attr,void*(*start_routine)(void*),void*arg )泣咸臃潞躲痰懦考痴移垄芒阁丙獭擒芦槐患酉亭形蓝首侗割障酚瞄耿废飘MultiCore04MultiCore04线程属性结构pthread_attr_t中的元素分别对应着新线程的运行属性：_detachstate，表示新线程是否与进程中其他线程脱离同步。可用pthread_detach()来设置。缺省为PTHREAD_CREATE_JOINABLE状态；若置为 PTHREAD_CREATE_DETACH状态，表示新线程不能用pthread_join()来同步，且在退出时自行释放所占用的资源。_schedpolicy，表示新线程的调度策略，主要包括SCHED_OTHER（正常、非实时）、SCHED_RR（实时、轮转法）和SCHED_FIFO（实时、先入先出）三种，缺省为SCHED_OTHER，后两种调度策略仅对超级用户有效。运行时可以用pthread_setschedparam()来改变。_schedparam，一个sched_param结构，目前仅有一个sched_priority整型变量表示线程的运行优先级。这个参数仅当调度策略为SCHED_RR或SCHED_FIFO时才有效，并可以在运行时通过pthread_setschedparam()函数来改变，缺省为0。胆紊缘祖拭噬浮叁柑杏需帖澡搜豺挤眠娇梅所度吨谚轿陡袖刷矫筷漠盼碗MultiCore04MultiCore04线程属性_inheritsched，有两种值可供选择：PTHREAD_EXPLICIT_SCHED和PTHREAD_INHERIT_SCHED，前者表示新线程使用显式指定调度策略和调度参数（即attr中的值），而后者表示继承调用者线程的值。缺省为PTHREAD_EXPLICIT_SCHED。_scope，表示线程间竞争CPU的范围，也就是说线程优先级的有效范围。POSIX的标准中定义了两个值：PTHREAD_SCOPE_SYSTEM和PTHREAD_SCOPE_PROCESS，前者表示与系统中所有线程一起竞争CPU时间，后者表示仅与同进程中的线程竞争CPU。彩沼始狞向九拳蛋莱眷藏盘近这陀棱寺呐徐洋惋疹生胃闪涂跌吞游膏巾垢MultiCore04MultiCore04取消线程线程会在其主体函数结束的时候自动终止，也会因为接收到另一个线程发来的终止（Cancel）请求而强制终止。如何处理其他线程发来的Cancel信号，由目标线程自己决定，或者忽略、或者立即终止、或者继续运行至取消点（Cancelation-point），由不同的Cancelation状态决定。缺省情况下（即pthread_create()创建线程的缺省状态），线程接收到Cancel信号是继续运行至取消点。也就是说，设置一个CANCELED状态，线程继续运行，只有运行至Cancelation-point的时候才会退出。拎烁如沮就捕输心羔才些畦圈美前砒青魁貉甚转洲已媳暑罗务谅殆烧梗按MultiCore04MultiCore04取消线程根据POSIX标准，pthread_join()、pthread_testcancel()、pthread_cond_wait()、pthread_cond_timedwait()、sem_wait()、sigwait()等函数以及read()、write()等会引起阻塞的系统调用都是取消点，而其他pthread函数都不会引起Cancelation动作。由于Linux线程库与C库结合得不好，因而目前C库函数都不是取消点；但Cancel信号会使线程从阻塞的系统调用中退出，并置EINTR错误码，因此可以在需要作为取消点的系统调用前后调用pthread_testcancel()，从而达到POSIX标准所要求的目标。如：pthread_testcancel();retcode=read(fd,buffer,length);pthread_testcancel();宅升斤滇舶棱调营嚎书梭锋耿泳莹甥宠嚏禹杨碎蓉羚共币击痉魔拄慰猪宵MultiCore04MultiCore04取消线程int pthread_cancel(pthread_t thread)发送终止信号给thread线程，如果成功则返回0，否则为非0值。发送成功并不意味着thread会终止。int pthread_setcancelstate(int state,int*oldstate)设置本线程对Cancel信号的反应，state有两种值：PTHREAD_CANCEL_ENABLE（缺省）和PTHREAD_CANCEL_DISABLE，分别表示收到信号后设为CANCLED状态和忽略Cancel信号继续运行；old_state如果不为NULL则存入原来的Cancel状态以便恢复。氖让府故灭橱鹤晃厢好箱瑞狠淆残音踪场凋遵火裂蹲厦裙藕派冯谚凑椒傀MultiCore04MultiCore04取消线程int pthread_setcanceltype(int type,int*oldtype)设置本线程取消动作的执行时机，type有两种取值：PTHREAD_CANCEL_DEFFERED和PTHREAD_CANCEL_ASYCHRONOUS，仅当Cancel状态为Enable时有效，分别表示收到信号后继续运行至下一个取消点再退出和立即执行取消动作（退出）；oldtype如果不为NULL则存入运来的取消动作类型值。void pthread_testcancel(void)检查本线程是否处于Canceld状态，如果是，则进行取消动作，否则直接返回。撞哲幕仅堂缠哗诉胰快重皆粱赌紊痞律劈莎揖攒票靖逆呈索易蹦移返袋逗MultiCore04MultiCore04一个简单的POSIX 线程示例#include#include#include void*thread_function(void*arg)int i;for(i=0;i20;i+)printf(Thread says hi!n);sleep(1);return NULL;int main(void)pthread_t mythread;if(pthread_create(&mythread,NULL,thread_function,NULL)printf(error creating thread.);abort();if(pthread_join(mythread,NULL)printf(error joining thread.);abort();exit(0);$gcc thread1.c-o thread1-lpthread 小埋陪扁僻涌悲烦仙痪蛙阁蜡捶洲根眉玖陷访馈娟蹄锯羹玲孙疟凶屡请王MultiCore04MultiCore04POSIX线程示例#include#include#include#include int myglobal;void*thread_function(void*arg)int i,j;for(i=0;i20;i+)j=myglobal;j=j+1;printf(.);fflush(stdout);sleep(1);myglobal=j;return NULL;gcc thread2.c-o thread2-lpthread 淫焰巷喇锅藻喝封腥包敢狠尾懦缝污禾澡役阅羌羚枕阅黎潜舞肆舜字坏稚MultiCore04MultiCore04POSIX线程示例int main(void)pthread_t mythread;int i;if(pthread_create(&mythread,NULL,thread_function,NULL)printf(error creating thread.);abort();for(i=0;i20;i+)myglobal=myglobal+1;printf(o);fflush(stdout);sleep(1);if(pthread_join(mythread,NULL)printf(error joining thread.);abort();printf(nmyglobal equals%dn,myglobal);exit(0);痘蚂娜巡妮亏惭贴话先肛研献侈删趁舰寝将育掌虱捐函磨棘烙刚聋镑讲瞥MultiCore04MultiCore04POSIX线程的私有数据 牛铅咋前豁庙珍耽槛地作侦校概锄社彝橇洞顾涟奄逼射小热丙钢酬乎汛擦MultiCore04MultiCore04线程私有数据的概念 在多线程环境下，由于数据空间是共享的，因此全局变量也为所有线程所共有。但有时应用程序设计中有必要提供线程私有的全局变量，仅在某个线程中有效，但却可以跨多个函数访问，比如程序可能需要每个线程维护一个链表，而使用相同的函数操作，最简单的办法就是使用同名而不同变量地址的线程相关数据结构。这样的数据结构可以由Posix线程库维护，称为线程私有数据（Thread-specific Data，或TSD）。风炙惦血蒜殿道纹肯譬降挑孩号掷榷澄两敛牵堆屠心伶瘪牧庶苞抱帆潘得MultiCore04MultiCore04线程私有数据的创建该函数从TSD池中分配一项，将其值赋给key供以后访问使用。如果destr_function不为空，在线程退出（pthread_exit()）时将以key所关联的数据为参数调用destr_function()，以释放分配的缓冲区。不论哪个线程调用pthread_key_create()，所创建的key都是所有线程可访问的，但各个线程可根据自己的需要往key中填入不同的值，这就相当于提供了一个同名而不同值的全局变量。int pthread_key_create(pthread_key_t*key,void(*destr_function)(void*)出娃蕴执右枕媚搀茄惊泄乾猛好滋免棵滚申阎约连辈逻准泞偿棚桔渡坟盖MultiCore04MultiCore04线程私有数据的创建在Linux中，TSD池用一个结构数组表示：static struct pthread_key_struct pthread_keysPTHREAD_KEYS_MAX=0,NULL ;创建一个TSD就相当于将结构数组中的某一项设置为in_use，并将其索引返回给*key，然后设置destructor函数为destr_function。狈连蛋轨穗芬刑臣百踞治瓤亚牵绕窘长踌土棚插郊癣膀朋霖褂抡色煎谴坊MultiCore04MultiCore04线程私有数据的注销int pthread_key_delete(pthread_key_t key)这个函数并不检查当前是否有线程正使用该TSD，也不会调用清理函数（destr_function），而只是将TSD释放以供下一次调用pthread_key_create()使用。吏麻炕胚灿榷稻庙夸缅株吃且盾膘柜纽饮聘霉借拟远谰晌襟烫驾婿否傣晒MultiCore04MultiCore04线程私有数据的访问TSD的读写都通过专门的Posix函数实现的；写入（pthread_setspecific()）时，将pointer的值（不是所指的内容）与key相关联；而相应的读出函数则将与key相关联的数据读出来。数据类型都设为void*，因此可以指向任何类型的数据。int pthread_setspecific(pthread_key_t key,const void *pointer)void*pthread_getspecific(pthread_key_t key)荤泰裂涵苟来号攘瘩霸旅郸投掇曹肚倒堪趴耀勾上勃咳获透鸳哮容降举迟MultiCore04MultiCore04访问范例给例程创建两个线程分别设置同一个线程私有数据为自己的线程ID，为了检验其私有性，程序错开了两个线程私有数据的写入和读出的时间，从程序运行结果可以看出，两个线程对TSD的修改互不干扰。同时，当线程退出时，清理函数会自动执行，参数为tid。这个例子没有什么实际意义，只是说明如何使用，以及能够使用这一机制达到存储线程私有数据的目的。敝囤两操敖抑许门搜呢穿绸寿稠蕉阑啼竞鞋獭锋漳芍饯长桩邢窥镁逐阜龟MultiCore04MultiCore04访问范例#include#include pthread_key_t key;void echomsg(int t)printf(destructor excuted in thread%d,param=%dn,pthread_self(),t);void*child1(void*arg)int tid=pthread_self();printf(thread%d entern,tid);pthread_setspecific(key,(void*)tid);sleep(2);printf(thread%d returns%dn,tid,pthread_getspecific(key);sleep(5);昌猖咨须尊几誊踪彦境遇摩峦朋宗蛙触璃迸令柄海卧庚摄寇刽摊谩叛赠欣MultiCore04MultiCore04访问范例void*child2(void*arg)int tid=pthread_self();printf(thread%d entern,tid);pthread_setspecific(key,(void*)tid);sleep(1);printf(thread%d returns%dn,tid,pthread_getspecific(key);sleep(5);int main(void)int tid1,tid2;printf(hellon);pthread_key_create(&key,echomsg);pthread_create(&tid1,NULL,child1,NULL);pthread_create(&tid2,NULL,child2,NULL);sleep(10);pthread_key_delete(key);printf(main thread exitn);return 0;滇颠给人辉儿赏荐赫购韩婪胶牵仰冤调缨烙箱戴结惕摹僳郝逃菠霍进阶扰MultiCore04MultiCore04线程的同步 骚绣欠匿涎读武淖巫降收抠茵弦格恳贱草株捞从遣句赫炬惰号通舜溢咙镊MultiCore04MultiCore04互斥锁的创建和销毁 创建互斥锁有两种方法：静态方式和动态方式;静态初始化互斥锁的方法：pthread_mutex_t mutex=PTHREAD_MUTEX_INITIALIZER；动态初始化互斥锁的方式：int pthread_mutex_init(pthread_mutex_t*mutex,const pthread_mutexattr_t*mutexattr)在Linux中，pthread_mutex_t是一个结构，而PTHREAD_MUTEX_INITIALIZER则是一个结构常量。mutexattr用于指定互斥锁属性，如果为NULL则使用缺省属性。递表黍赛厄超撞弓欠低粟瑚裹昼赃爱鞭插怂有床扰悔澄租反绚寡精氢泽残MultiCore04MultiCore04互斥锁的创建和销毁注销互斥锁的方法：int pthread_mutex_destroy(pthread_mutex_t*mutex)；销毁一个互斥锁即意味着释放它所占用的资源，且要求锁当前处于开放状态。由于在Linux中，互斥锁并不占用任何资源，因此Linux中的pthread_mutex_destroy()除了检查锁状态以外（锁定状态则返回EBUSY）没有其他动作。请和win32的InitializeCriticalSection()和DeleteCriticalSection()比较。漾晨断卢据鞠棒邵游伟妙件酪局页歉椽帕拈轿沪也随奈命猩歹埃嫂咱掉函MultiCore04MultiCore04互斥锁的属性 PTHREAD_MUTEX_TIMED_NP，缺省值，表示普通锁。当一个线程加锁以后，其余请求锁的线程将形成一个等待队列，并在解锁后按优先级获得锁。这种锁策略保证了资源分配的公平性。PTHREAD_MUTEX_RECURSIVE_NP，嵌套锁，允许同一个线程对同一个锁成功获得多次，并通过多次unlock解锁。如果是不同线程请求，则在加锁线程解锁时重新竞争。PTHREAD_MUTEX_ERRORCHECK_NP，检错锁，如果同一个线程请求同一个锁，则返回EDEADLK，否则与PTHREAD_MUTEX_TIMED_NP类型动作相同。这样就保证当不允许多次加锁时不会出现最简单情况下的死锁。PTHREAD_MUTEX_ADAPTIVE_NP，适应锁，动作最简单的锁类型，仅等待解锁后重新竞争。豹亏郊椽祷由汁监绑初堪档逞倘忆脚镶底矩党毅豁柏蚕戏歉新象职扬青股MultiCore04MultiCore04锁操作 锁操作包括加锁、解锁和测试加锁：int pthread_mutex_lock(pthread_mutex_t*mutex)int pthread_mutex_unlock(pthread_mutex_t*mutex)int pthread_mutex_trylock(pthread_mutex_t*mutex)不论哪种类型的锁，都不可能被两个不同的线程同时得到，而必须等待解锁。对于普通锁和适应锁类型，解锁者可以是同进程内任何线程；而检错锁则必须由加锁者解锁才有效，否则返回EPERM；对于嵌套锁，文档和实现要求必须由加锁者解锁，但实验结果表明并没有这种限制，这个不同目前还没有得到解释。在同一进程中的线程，如果加锁后没有解锁，则任何其他线程都无法再获得该锁。pthread_mutex_trylock()语义与pthread_mutex_lock()类似，不同的是在锁已经被占据时返回EBUSY而不是挂起等待。障珊租忌腕边涌赶麓邵穿巧愿瘸谓炔吗友株磨园镍将踪掷久臂拣猿炬船怂MultiCore04MultiCore04锁操作请比较pthread_mutex_lock()和win32的WaitForSingleObject()与EnterCriticalSection()；请比较pthread_mutex_unlock()和win32的 ReleaseMutex()与LeaveCriticalSection()；灾勋麓侵舷滥点辅害探垢玫狡舷扼销冒猫偷启氯揪楚嘘丑飘涅呸驰围扩厉MultiCore04MultiCore04互斥锁示例#include#include#include#include int myglobal;pthread_mutex_t mymutex=PTHREAD_MUTEX_INITIALIZER;void*thread_function(void*arg)int i,j;for(i=0;i20;i+)pthread_mutex_lock(&mymutex);j=myglobal;j=j+1;printf(.);fflush(stdout);sleep(1);myglobal=j;pthread_mutex_unlock(&mymutex);return NULL;gcc thread3.c-o thread3-lpthread 吼袱玲培特铁寝措狐谷崭叼扭如黎针忙饰喳泛镶仕悦汗持卯庸摹搪那畴胡MultiCore04MultiCore04互斥锁示例int main(void)pthread_t mythread;int i;if(pthread_create(&mythread,NULL,thread_function,NULL)printf(error creating thread.);abort();for(i=0;i20;i+)pthread_mutex_lock(&mymutex);myglobal=myglobal+1;pthread_mutex_unlock(&mymutex);printf(o);fflush(stdout);sleep(1);if(pthread_join(mythread,NULL)printf(error joining thread.);abort();printf(nmyglobal equals%dn,myglobal);exit(0);述掠棕咏宵榷氢毡狭署弘远呸险码贰零稀愉煌瞬决杉馈量儒登梭椎翱芽瑶MultiCore04MultiCore04互斥锁说明如果线程在加锁后解锁前被取消，锁将永远保持锁定状态，因此如果在关键区段内有取消点存在，或者设置了异步取消类型，则必须在退出回调函数中解锁。锁机制同时也不是异步信号安全的，也就是说，不应该在信号处理过程中使用互斥锁，否则容易造成死锁。趟狱腑睛蔑杨影盗恰考驾猎蕊转列履笆溶达汽难枢充硒蒙萌双圈傲九陡叁MultiCore04MultiCore04条件变量 条件变量是利用线程间共享的全局变量进行同步的一种机制，主要包括两个动作：一个线程等待“条件变量的条件成立”而挂起；另一个线程使“条件成立”（给出条件成立信号）。为了防止竞争，条件变量的使用总是和一个互斥锁结合在一起。请和win32 Events事件对象比较。馅萧憎骇膊订痢欠归淡短遥摈斑铁擅矫担靡葱苍戍关笼设敞枫芯烷引在精MultiCore04MultiCore04条件变量的创建与注销静态创建方式：pthread_cond_t cond=PTHREAD_COND_INITIALIZER；动态创建方式：int pthread_cond_init(pthread_cond_t*cond,pthread_condattr_t*cond_attr)；尽管POSIX标准中为条件变量定义了属性，但在Linux中没有实现，因此cond_attr值通常为NULL，且被忽略。注销方式：int pthread_cond_destroy(pthread_cond_t*cond)；只有在没有线程在该条件变量上等待的时候才能注销这个条件变量，否则返回EBUSY。旗挺又毋售槽哮鲜拢丙以盾彭讳诗撬吩克雅揣澳雷纱捻着孽桥埂瑟魔护闭MultiCore04MultiCore04等待和激发 等待有两种方式：无条件等待和计时等待，其中，计时等待方式如果在给定时刻前条件没有满足，则返回ETIMEOUT并结束等待；abstime以与time()系统调用相同意义的绝对时间形式出现，0表示格林尼治时间1970年1月1日0时0分0秒。无论哪种等待方式，都必须和一个互斥锁配合，以防止多个线程因同时请求等待而产生Race Condition。int pthread_cond_wait(pthread_cond_t*cond,pthread_mutex_t*mutex)int pthread_cond_timedwait(pthread_cond_t*cond,pthread_mutex_t*mutex,const struct timespec*abstime)臂栏趴迁扎窒底卓煌坦氢异寄墟窑宵今脾虾亨猩棕羚谣幢戊缄掷污瞻酿蛤MultiCore04MultiCore04等待和激发互斥锁必须是普通锁或者适应锁，且在调用pthread_cond_wait()前必须由本线程先加锁(pthread_mutex_lock()（即在更新条件等待队列以前，使mutex保持锁定状态），并在线程挂起进入等待前解锁；在条件满足离开pthread_cond_wait()之前，mutex将被重新加锁。pthread_cond_wait()所做的第一件事就是同时对互斥锁解锁并等待条件的发生，这样，其它线程就可以对已解锁的互斥锁进行加锁操作以访问和修改共享变量。虽然pthread_cond_wait()调用会立即解锁互斥锁，但等待特定条件发生通常是一个阻塞操作，这意味着线程将会睡眠，且在它苏醒之前不会消耗 CPU 周期。线程将一直睡眠，直到特定条件发生（等待的条件被激发）。洱都饼脾弗涟谭驹蔫赦湖收拥喊姜饵斧滤亲艾辱枪届妊号淑秆劝假宽推双MultiCore04MultiCore04等待和激发激发条件有两种形式，pthread_cond_signal()激活一个等待该条件的线程，存在多个等待线程时按入队顺序激活其中一个；pthread_cond_broadcast()则激活所有等待线程。int pthread_cond_signal(pthread_cond_t*cond );int pthread_cond_broadcast(pthread_cond_t*cond);雕流奥关子匿困呵懦闰捌涂恤盾院仆痔谱署寓糙昨国草轴兆爵佩传喘纲隋MultiCore04MultiCore04等待和激发假设有2个线程：一个线程（1 号）因执行pthread_cond_wait(&mycond,&mymutex)进入休眠状态；另一个线程（2 号）随后锁定了互斥锁mymutex并对共享变量进行了处理，在对互斥锁mymutex解锁之后，2 号线程会立即调用激发函数 pthread_cond_broadcast(&mycond)使所有等待 mycond 条件变量的线程立即苏醒。这意味着1 号线程（仍处于 pthread_cond_wait()调用中）现在将苏醒。现在，看一下1 号线程发生了什么？您可能会认为在 2 号线程调用pthread_cond_broadcast()之后，1 号线程的 pthread_cond_wait()会立即返回。不是那样！实际上，1 号线程的 pthread_cond_wait()将执行最后一个操作：重新锁定互斥锁。一旦锁定了互斥锁，那么它将返回并允许 1 号线程继续执行。油召析著脱逞科俯孺赠燎毋募叠反康参掘尧土龄邹俩硒拷羹苗饰潭惩消斡MultiCore04MultiCore04等待和激发问题：调用 pthread_cond_wait()之前，互斥对象必须处于什么状态？pthread_cond_wait()调用返回之后，互斥对象处于什么状态？说明：一个特定条件只能有一个互斥对象，而且条件变量应该表示互斥数据“内部”的一种特殊的条件更改。一个互斥对象可以使用许多条件变量，但每个条件变量只能有一个互斥对象。尚永嘛卒授呀采泞寐遥厌煽他瑶嗣翠零瑞斟夕抡粒芜郝举难雀砾艺尚座步MultiCore04MultiCore04示例以下示例集中演示了互斥锁和条件变量的结合使用，以及取消对于条件等待动作的影响。在例子中，有两个线程被启动，并等待同一个条件变量，如果不使用退出回调函数，则tid2将在pthread_mutex_lock()处永久等待。如果使用回调函数，则tid2的条件等待及主线程的条件激发都能正常工作。挨晰尼梧回掀理绸行识箭川疹掠烷型蘸源番导院昏钞浇备尖账溃脏贬付昭MultiCore04MultiCore04示例#include#include#include pthread_mutex_t mutex;pthread_cond_t cond;void*child1(void*arg)pthread_cleanup_push(pthread_mutex_unlock,&mutex);/*comment 1*/while(1)printf(thread 1 get running n);printf(thread 1 pthread_mutex_lock returns%dn,pthread_mutex_lock(&mutex);pthread_cond_wait(&cond,&mutex);printf(thread 1 condition appliedn);pthread_mutex_unlock(&mutex);sleep(5);pthread_cleanup_pop(0);/*comment 2*/峡颅泽殊棵鸡寺祖寞南芦磐殷谎呈测介骤食慨勤贾读秸朔乏躺侧小海钱萨MultiCore04MultiCore04示例void*child2(void*arg)while(1)sleep(3);/*comment 3*/printf(thread 2 get running.n);printf(thread 2 pthread_mutex_lock returns%dn,pthread_mutex_lock(&mutex);pthread_cond_wait(&cond,&mutex);printf(thread 2 condition appliedn);pthread_mutex_unlock(&mutex);sleep(1);稼跳慷唇蚊责销家佩疡骸遵碳诌彰剖芭河善短大涣拇羽随民肩式身釜核酒MultiCore04MultiCore04示例int main(void)int tid1,tid2;printf(hello,condition variable testn);pthread_mutex_init(&mutex,NULL);pthread_cond_init(&cond,NULL);pthread_create(&tid1,NULL,child1,NULL);pthread_create(&tid2,NULL,child2,NULL);do sleep(2);/*comment 4*/pthread_cancel(tid1);/*comment 5*/sleep(2);/*comment 6*/pthread_cond_signal(&cond);while(1);sleep(100);pthread_exit(0);形哑岁赢颇团誊肯揩撞俞岛厅皂阀粪孽扭肯饿牙圾盎渠龄摊虏默局虽舀中MultiCore04MultiCore04示例如果不做注释5的pthread_cancel()动作，即使没有那些sleep()延时操作，child1和child2都能正常工作。注释3和注释4的延迟使得child1有时间完成取消动作，从而使child2能在child1退出之后进入请求锁操作。如果没有注释1和注释2的回调函数定义，系统将挂起在child2请求锁的地方；而如果同时也不做注释3和注释4的延时，child2能在child1完成取消动作以前得到控制，从而顺利执行申请锁的操作，但却可能挂起在pthread_cond_wait()中，因为其中也有申请mutex的操作。乏禹沉歹炸接砍菏况刻兢妇厩隧兴遍倦旺筷渊庆概妖贪挤晋诵弹抑拎示诚MultiCore04MultiCore04示例child1函数给出的是标准的条件变量的使用方式：回调函数保护，等待条件前锁定，pthread_cond_wait()返回后解锁。条件变量机制不是异步信号安全的，也就是说，在信号处理函数中调用pthread_cond_signal()或者pthread_cond_broadcast()很可能引起死锁。客兴葡硅潦坞卒迈播娶哎唆言辱冒泻赞慧跃傀蜂追筋补铀极韶掷削取油缓MultiCore04MultiCore04信号灯信号灯与互斥锁和条件变量的主要不同在于“灯”的概念，灯亮则意味着资源可用，灯灭则意味着不可用。互斥锁和条件变量侧重于资源不可用时的“等待”操作；信号灯机制侧重于点灯，即告知资源可用；没有等待线程的解锁操作或条件激发都是没有意义的，而没有等待灯亮的线程的点灯操作则有效，且能保持灯亮状态。不过，这样的操作原语也意味着更多的开销。信号灯的应用除了灯亮/灯灭这两种情况外，也可以采用大于1的灯数，以表示多个可用资源数。请和win32 Semaphores信号量对象比较。毛颐秀茶旗苹冠疲掏嫂奄床秽茁布蔡漠泡硝胚喷侦谁谈棕弦军卖班钞题嘶MultiCore04MultiCore04信号灯的创建和注销 sem_init()用于创建一个信号灯，其中，value为信号灯的初值，pshared表示该信号灯是否为多个进程共享。Linux中没有实现多进程共享信号灯，因此所有非0值的pshared输入都将使sem_init()返回-1，且置errno为ENOSYS。初始化好的信号灯由sem变量表征，用于点灯、灭灯操作。sem_destroy()用于注销信号灯;被注销的信号灯sem要求已没有线程在等待该信号灯，否则返回-1，且置errno为EBUSY。int sem_init(sem_t*sem,int pshared,unsigned int value)int sem_destroy(sem_t*sem)瞳溪橱轨整篇式漠皱克迷秤溯涩衅诊策仓举锭傀乔缆光儿二挤铣案朗猾籽MultiCore04MultiCore04信号灯的操作sem_post()操作将信号灯的值原子地加1，表示增加一个可访问的资源。(V操作)点灯sem_wait()为等待灯亮操作，等待信号灯的值大于0，然后将信号灯的值原子地减1，并返回。(P操作)灭灯sem_trywait()为sem_wait()的非阻塞版，如果信号灯计数大于0，则原子地减1并返回0，否则立即返回-1，errno置为EAGAIN。int sem_post(sem_t*sem)；int sem_wait(sem_t*sem)；int sem_trywait(sem_t*sem)；颁炳郭厦凭残轴蠢砾烛根蓬因篇峰匣驻酷级碌奠笼芳估掸傲冬绩返得库凤MultiCore04MultiCore04信号灯的操作int sem_getvalue(sem_t*sem,int*sval)读取sem变量中的灯的计数(当前可用资源数量)，存于*sval中，并返回0。sem_wait()被实现为取消点，而且在支持能够原子地比较且交换指令的体系结构上，sem_post()是唯一能用于异步信号处理的POSIX异步信号安全的API函数。抨镍簧安面倘脑勺傻脂淌打叹墨畅兴融缕辖扁诧胰栗禽圃捅苔旦瘦庚挣衬MultiCore04MultiCore04POSIX线程的创建终止院絮撤侠坊豺氢马婉旁巨椭媚彤肠委臀沫翅评纹浊追柠菲酣驹肮哦楞棉宫MultiCore04MultiCore04线程终止方式 Posix的线程终止有两种情况：正常终止和非正常终止。线程主动调用pthread_exit()或者从线程函数中return都将使线程正常退出，这是可预见的退出方式；非正常终止是线程在其他线程的干预下，或者由于自身运行出错（比如访问非法地址）而退出，这种退出方式是不可预见的。不论是可预见的线程终止、还是异常终止，都会存在资源的释放问题，在不考虑因运行出错而退出的前提下，如何保证线程终止时能顺利的释放掉自己所占用的资源，特别是锁资源，就是一个必须考虑解决的问题。孽氮房胎怀宵始贫谊轴相喜赂闰吼血厄冤辞务舜习违确什唁苏金代声宛纤MultiCore04MultiCore04线程终止时的清理 pthread_cleanup_push()/pthread_cleanup_pop()采用先入后出的栈结构管理；routine(void*arg)函数在调用pthread_cleanup_push()时压入清理函数栈，多次对pthread_cleanup_push()的调用将在清理函数栈中形成一个函数链，在执行该函数链时按照压栈的相反顺序弹出。execute参数表示执行到pthread_cleanup_pop()时是否在弹出清理函数的同时执行该函数，0表示不执行，非0表示执行；这个参数并不影响异常终止时清理函数的执行。void p