2.1.11创建线程--高级特性 2.1.11.1 thr_create(3T) #include int thr_create(void *stack_base,size_t stack_size, void *(*start_routine)(void *),void * arg, long flags,thread_t *newthread); size_t thr_min_stack(void); stack_base--新线程所用的堆栈地址。如果本参数为空,thr_create 为新线程分配一个至少长stack_size的堆栈。 Stack_size--新线程使用堆栈的字节数。如果本参数为零,将使用缺省值。 如果非零,一定要比调用thr_min_stack()获得的值大。 一个最小堆栈也许不能容纳start_routine需要的堆栈大小,所以如果 stack_size被指定,一定要保证它是最小需求与start_routine及它所调用的 函数需要的堆栈空间之和。 典型情况下,由thr_create()分配的线程堆栈从一个页边界开始,到离指 定大小最接近的页边界结束。在堆栈的顶部放置一个没有访问权限的页,这样, 大多数堆栈溢出错误发生在向越界的线程发送SIGSEGV信号的时候。由调用者分 配的线程堆栈 are used as is . ???? 如果调用者使用一个预分配的堆栈,在指向该线程的thr_join()函数返回 之前,堆栈将不被释放,即使线程已经终止。然后线程用该函数的返回值作为 退出码退出。 通常情况下,你不需要为线程分配堆栈空间。线程库为每个线程的堆栈分 配一兆的虚拟内存,不保留交换空间(线程库用mmap(2)的MAP_NORESERVE选项 来进行分配)。 每个用线程库创建的线程堆栈有一个"红区"。线程库将一个红区放置在堆 栈顶部来检测溢出。该页是没有访问权限的,在访问时将导致一个页错误。红 区被自动附加在堆栈顶端,不管是用指定的容量还是缺省的容量。 只有在你绝对确信你给的参数正确之后才可以指定堆栈。没有多少情况需 要去指定堆栈或它的大小。即使是专家也很难知道指定的堆栈和容量是否正确。 这是因为遵循ABI的程序不能静态地决定堆栈的大小。它的大小依赖于运行时的 环境。 2.1.11.2建立你自己的堆栈 如果你指定了线程堆栈的大小,要保证你考虑到了调用它的函数和它调用 的函数需要的空间。需要把调用结果、本地变量和消息结构的成分都考虑进来。 偶尔你需要一个与缺省堆栈略有不同的堆栈。一个典型的情况是当线程需 要一兆以上的堆栈空间。一个不太典型的情况是缺省堆栈对于你来说太大了。 你可能会创建上千个线程,如果使用缺省堆栈时,就需要上G的空间。 堆栈的上限是很显然的,但下限呢?一定要有足够的堆栈空间来保存堆栈 框架和本地变量。 你可以用thr_min_stack()函数来获得绝对的最小堆栈容量,它返回运行一 个空过程所需要的堆栈空间。有实际用途的线程需要的更多,所以在减小线程 堆栈的时候要小心。 你通过两种方式指定一个堆栈。第一种是给堆栈地址赋空值,由实时的运 行库来为堆栈分配空间,但需要给stack_size参数提供一个期望的值。 另外一种方式是全面了解堆栈管理,为thr_create函数提供一个堆栈的指 针。这意味着你不但要负责为堆栈分配空间,你还要考虑在线程结束后释放这 些空间。 在你为自己的堆栈分配空间之后,一定要调用一个mprotect(2)函数来为它 附加一个红区。 Start_routine--指定新线程首先要执行的过程。当start_routine返回时, 线程用该返回值作为退出码退出(参考thr_exit(3T))。 注意,你只能指定一个参数。如果你想要多参数,把他们作成一个(例如 写入一个结构)。这个参数可以是任何一个由void说明的数据,典型的是一个 4字节的值。任何更大的值都需要用指针来间接传送。 Flags--指定创建线程的属性。在多数情况下提供0即可。 Flags的值通过位或操作来赋。 THR_SUSPENDED--新线程挂起,在thr_continue()后再执行 start_routine。用这种办法在运行线程之前对它进行操作(例如改变 优先级)。分离线程的终止被忽略。 THR_DETACHED--将新线程分离,使线程一旦终止,其资源可以得到立刻 回收利用。如果你不需要等待线程结束,设置此标志。 如果没有明确的同步要求,一个不挂起的,分离的线程可以在它 的创建者调用的thr_create函数返回之前终止并将线程号和其他资源 移交给其他线程使用。 THR_BOUND--将一个新线程永久绑定在一个LWP上(新线程为绑定线程)。 THR_NEW_LWP--给非绑定线程的同时性等级加1。效果类似于用 thr_setconcurrency(3T)来增加同时性等级,但是使用 thr_setconcurrency()不影响等级设置。典型的,THR_NEW_LWP在LWP池 内增加一个LWP来运行非绑定线程。 如果你同时指定了THR_BOUND和THR_NEW_LWP,两个LWP被创建,一 个被绑定在该线程上,另外一个来运行非绑定线程。 THR_DAEMON--标志新线程为守护线程。当所有的非守护线程退出后进程 结束。守护线程不影响进程退出状态,在统计退出的线程数时被忽略。 一个进程可以通过调用exit(2)或者在所有非守护线程调用 thr_exit(3T)函数终止的时候终止。一个应用程序,或它调用的一个库, 可以创建一个或多个在决定是否退出的时候被忽略的线程。用 THR_DAEMON标志创建的线程在进程退出的范畴不被考虑。 New_thread--在thr_create()成功返回后,保存指向存放新线程ID的地址。 调用者负责提供保存这个参数值指向的空间。 如果你对这个值不感兴趣,给它赋值0。 返回值--thr_thread在正常执行后返回0,其他值意味着错误。在以下情况 发生时,函数失败并返回相关值。 EAGAIN 超过系统限制,例如创建了太多的LWP。 ENOMEM 内存不够创建新线程。 EINVAL stack_base非空,但stack_size比thr_minstack()的返回值小。 2.1.11.3 Thr_create(3T)例程 例2-5显示了怎样用一个与创建者(orig_mask)不同的新的信号掩模来创建 新线程。 在这个例子当中,new_mask被设置为屏蔽SIGINT以外的任何信号。然后创建 者的信号掩模被改变,以便新线程继承一个不同的掩模,在thr_create()返回后, 创建者的掩模被恢复为原来的样子。 例子假设SIGINT不被创建者屏蔽。如果最初是屏蔽的,用相应的操作去掉屏 蔽。另外一种办法是用新线程的start routine来设置它自己的信号掩模。 Code Example 2-5 thr_create() Creates Thread With New Signal Mask thread_t tid; sigset_t new_mask, orig_mask; int error; (void)sigfillset(&new_mask); (void)sigdelset(&new_mask, SIGINT); (void)thr_sigsetmask(SIGSETMASK, &new_mask, &orig_mask): error = thr_create(NULL, 0, dofunc, NULL, 0, &tid); (void)thr_sigsetmask(SIGSETMASK, NULL, &orig_mask); 2.1.12获得最小堆栈 thr_min_stack(3T) 用thr_min_stack(3T)来获得线程的堆栈下限 #include size_t thr_min_stack(void); thr_min_stack()返回执行一个空线程所需要的堆栈大小(空线程是一个创 建出来执行一个空过程的线程)。 如果一个线程执行的不仅仅是空过程,应当给它分配比thr_min_stack()返 回值更多的空间。 如果线程创建时由用户指定了堆栈,用户应当为该线程保留足够的空间。在 一个动态连接的环境里,确切知道线程所需要的最小堆栈是非常困难的。 大多数情况下,用户不应当自己指定堆栈。用户指定的堆栈仅仅用来支持那 些希望控制它们的执行环境的应用程序。 一般的,用户应当让线程库来处理堆栈的分配。线程库提供的缺省堆栈足够 运行任何线程。 2.1.13设置线程的同时性等级 2.1.13.1 thr_getconcurrency(3T) 用thr_getconcurrency()来获得期望的同时性等级的当前值。实际上同时活 动的线程数可能会比这个数多或少。 #include int thr_getconcurrency(void) 返回值--thr_getconcurrency()为期望的同时性等级返回当前值。 2.1.13.2 Thr_setconcurrency(3T) 用thr_setconcurrency()设置期望的同时性等级。 #include int thr_setconcurrency(new_level) 进程中的非绑定线程可能需要同时活动。为了保留系统资源,线程系统的缺 省状态保证有足够的活动线程来运行一个进程,防止进程因为缺少同时性而死锁。 因为这也许不会创建最有效的同时性等级,thr_setconcurrency()允许应用 程序用new_level给系统一些提示,来得到需要的同时性等级。 实际的同时活动的线程数可能比new_level多或少。 注意,如果没有用thr_setconcurrency调整执行资源,有多个 compute-bound(????)线程的应用程序将不能分配所有的可运行线程。 你也可以通过在调用thr_create()时设置THR_NEW_LWP标志来获得期望的同 时性等级。 返回值--thr_setconcurrency()在正常执行后返回0,其他值意味着错误。 在以下情况发生时,函数失败并返回相关值。 EAGAIN 指定的同时性等级超出了系统资源的上限。 EINVAL new_level的值为负。 2.1.14得到或设定线程的优先级 一个非绑定线程在调度时,系统仅仅考虑进程内的其他线程的简单的优先级, 不做调整,也不涉及内核。线程的系统优先级的形式是唯一的,在创建进程时继 承而来。 2.1.14.1 Thr_getprio(3T) 用thr_getprio()来得到线程当前的优先级。 #include int thr_getprio(thread_t target_thread,int *pri) 每个线程从它的创建者那里继承优先级,thr_getprio把target_thread当前 的优先级保存到由pri指向的地址内。 返回值--thr_getprio()在正常执行后返回0,其他值意味着错误。在以下情 况发生时,函数失败并返回相关值。 ESRCH target_thread在当前进程中不存在。 2.1.14.2 Thr_setprio(3T) 用thr_setprio()来改变线程的优先级。 #include int thr_setprio(thread_t target_thread,int pri) thr_setprio改变用target_thread指定的线程的优先级为pri。缺省状态下, 线程的调度是按照固定的优先级--从0到最大的整数--来进行的,即使不全由优先 级决定,它也占有非常重要的地位。Target_thread将打断低优先级的线程,而让 位给高优先级的线程。 返回值--thr_setprio()在正常执行后返回0,其他值意味着错误。在以下情 况发生时,函数失败并返回相关值。 ESRCH target_thread在当前进程中找不到。 EINVAL pri的值对于和target_thread相关的调度等级来说没有意义。