[电脑基础知识]计算机操作系统第2章.ppt

　　5．线程的创建和终止 　　在多线程OS环境下，应用程序在启动时，通常仅有一个线程在执行，该线程被人们称为“初始化线程”。它可根据需要再去创建若干个线程。 在创建新线程时，需要利用一个线程创建函数(或系统调用)，并提供相应的参数，如指向线程主程序的入口指针、堆栈的大小，以及用于调度的优先级等。 在线程创建函数执行完后，将返回一个线程标识符供以后使用。 　　如同进程一样，线程也是具有生命期的。终止线程的方式有两种：一种是在线程完成了自己的工作后自愿退出；另一种是线程在运行中出现错误或由于某种原因而被其它线程强行终止。 但有些线程(主要是系统线程)，在它们一旦被建立起来之后，便一直运行下去而不再被终止。 在大多数的OS中，线程被中止后并不立即释放它所占有的资源，只有当进程中的其它线程执行了分离函数后，被终止的线程才与资源分离，此时的资源才能被其它线程利用。 　　虽已被终止但尚未释放资源的线程，仍可以被需要它的线程所调用，以使被终止线程重新恢复运行。 为此，调用者线程须调用一条被称为“等待线程终止”的连接命令，来与该线程进行连接。 如果在一个调用者线程调用“等待线程终止”的连接命令试图与指定线程相连接时，若指定线程尚未被终止，则调用连接命令的线程将会阻塞，直至指定线程被终止后才能实现它与调用者线程的连接并继续执行；若指定线程已被终止，则调用者线程不会被阻塞而是继续执行。 　　6．多线程OS中的进程 　　在多线程OS中，进程是作为拥有系统资源的基本单位，通常的进程都包含多个线程并为它们提供资源，但此时的进程就不再作为一个执行的实体。多线程OS中的进程有以下属性： 　　(1) 作为系统资源分配的单位。 在多线程OS中，仍是将进程作为系统资源分配的基本单位，在任一进程中所拥有的资源包括受到分别保护的用户地址空间、用于实现进程间和线程间同步和通信的机制、已打开的文件和已申请到的I/O设备，以及一张由核心进程维护的地址映射表，该表用于实现用户程序的逻辑地址到其内存物理地址的映射。 　　(2) 可包括多个线程。 通常，一个进程都含有多个相对独立的线程，其数目可多可少，但至少也要有一个线程，由进程为这些(个)线程提供资源及运行环境，使这些线程可并发执行。 在OS中的所有线程都只能属于某一个特定进程。 　　(3) 进程不是一个可执行的实体。 在多线程OS中，是把线程作为独立运行的基本单位，所以此时的进程已不再是一个可执行的实体。 虽然如此，进程仍具有与执行相关的状态。 例如，所谓进程处于“执行”状态，实际上是指该进程中的某线程正在执行。 此外，对进程所施加的与进程状态有关的操作，也对其线程起作用。例如，在把某个进程挂起时，该进程中的所有线程也都将被挂起；又如，在把某进程激活时，属于该进程的所有线程也都将被激活。 2.6.2　线程间的同步和通信 　　1．互斥锁(mutex) 　　互斥锁是一种比较简单的、用于实现线程间对资源互斥访问的机制。由于操作互斥锁的时间和空间开销都较低，因而较适合于高频度使用的关键共享数据和程序段。 互斥锁可以有两种状态，即开锁(unlock)和关锁(lock)状态。相应地，可用两条命令(函数)对互斥锁进行操作。其中的关锁lock操作用于将mutex关上，开锁操作unlock则用于打开mutex。 　　当一个线程需要读/写一个共享数据段时，线程首先应为该数据段所设置的mutex执行关锁命令。 命令首先判别mutex的状态，如果它已处于关锁状态，则试图访问该数据段的线程将被阻塞；而如果mutex是处于开锁状态，则将mutex关上后便去读/写该数据段。 在线程完成对数据的读/写后，必须再发出开锁命令将mutex打开，同时还须将阻塞在该互斥锁上的一个线程唤醒，其它的线程仍被阻塞在等待mutex打开的队列上。 　 　　另外，为了减少线程被阻塞的机会，在有的系统中还提供了一种用于mutex上的操作命令Trylock。 当一个线程在利用Trylock命令去访问mutex时，若mutex处于开锁状态，Trylock将返回一个指示成功的状态码；反之，若mutex处于关锁状态，则Trylock并不会阻塞该线程，而只是返回一个指示操作失败的状态码。 　 　　2．条件变量 　　在许多情况下，只利用mutex来实现互斥访问可能会引起死锁，我们通过一个例子来说明这一点。有一个线程在对mutex 1执行关锁操作成功后，便进入一临界区C，若在临界区内该线程又须访问某个临界资源R，同样也