从pthread到Win32thread.docVIP

从pthread到Win32thread ——Lilytask2.5基于Win32thread的实现 段孟成(dmc@net.pku.edu.cn) Lilytask是以任务为单位的并行编程模型，Lilytask2.5β版最初是在Linux系统上基于POSIX thread实现的，为了更好的适应并行计算环境中的异构性，又在β版的基础上实现了for Windows版，在实现过程中，需要用Win32thread library替换POSIX thread library，下文将主要描述POSIX thread(下文称之pthread)与Win32thread的关系以及在Lilytask2.5 for Windows中的具体实现。 一．什么是线程。 线程(thread)是为了提高系统内程序的并发(concurrency)执行程度而提出来的概念，它是比进程更小的能够独立运行的基本单位。在引入线程的系统中，线程是处理器调度(schedule)的基本单位，而传统的进程则只是资源分配的基本单位。同一进程中的线程共享这个进程的全部资源与地址空间，除此之外，线程基本上不拥有其他任何系统资源，当然，每个线程也必须拥有自己的程序计数器(Program Counter)，寄存器堆(register file)和栈(stack)等等。即线程是一个轻量级实体(light-weight entity)，它的结构(thread structure)相对简单，在切换速度上非常得快，同一进程中的线程切换不会引起进程的切换，对于并行计算来讲，有效的利用线程能够改善计算的效率，简化计算的复杂性，所以Lilytask正是基于线程实现的。 二．线程的标准。 目前，主要有三种不同的线程库的定义，分别是Win32，OS/2，以及POSIX，前两种定义只适合于他们各自的平台，而POSIX 定义的线程库是适用于所有的计算平台的，目前基本上所有基于UNIX的系统都实现了pthread。本文主要讨论Win32和POSIX的线程定义。 线程的实现一般有两种方法，一是用户级的线程(user-level thread library)，另一种是核心级的线程(kernel-level library)。对于用户级的线程来说，它只存在于用户空间中(user space)，它的创建，撤销和切换都不利用系统调用，与核心无关；而核心级的线程依赖于核心，它的创建，撤销和切换都是由核心完成的，系统通过核心中保留的线程控制块来感知线程的存在并对线程进行控制。Win32thread是基于核心级线程实现的，而pthread部分是基于用户级线程实现的。 三．pthread和Win32thread的具体实现。 1．关于线程创建和消亡的操作。 1.1 创建和撤销一个POSIX线程 pthread_create(tid, NULL, start_fn, arg); pthread_exit(status); 1.2 创建和撤销一个Win32线程 CreateThread(NULL, NULL, start_fn, arg, NULL, NULL); ExitThread(status); start_fn是该线程要执行的代码的入口。线程创建后，就拥有了一个TID(thread ID)，以后对于该线程的操作都是通过TID来进行的。Win32虽然也定义了TID，但是它对于线程的操作是通过另外定义的一个句柄(handle)来进行的，总之，在线程创建完毕后，都有一个唯一了标识符来确定对该线程的引用。线程的撤销可以显式的调用上面列举的函数来实现，如果没有显式调用撤销函数，则该线程执行的函数(即start_fn)返回时，该线程被撤销。关于创建和撤销线程，POSIX和Win32并无太大的区别。 2．关于线程的等待(join or wait for)的操作。 在多线程模型下，一个线程有可能必须等待其他的线程结束了才能继续运行。比如说司机和售票员，司机只有当售票员确定所有的人都上车了，即售票员的行动结束以后才能开车，在这之前司机必须等待。 2.1等待一个POSIX线程 pthread_join(T1); 2.2等待一个Win32线程 WaitForSingleObject(T1); 当调用上面的函数是，调用者会被阻塞起来，直到要等待的线程结束。对于POSIX，线程分为可等待(non-detached)和不可等待(detached)，只能对可等待的线程调用pthread_join()，而对不可等待的线程调用pthread_join()时，会返回一个错误。对于不可等待的线程，当线程消亡时，它的线程结构，栈，堆等资源会自动的归还给操作系统；而对于可等待的线程，当它消亡时并不自动归还，而需要程序员显式的调用等待函数来等待这个线