进程是一个可执行的程序,由私有虚拟地址空间、代码、数据和其他操作系统资源(如进程创建的文件、管道、同步对象等)组成。一个应用程序可以有一个或多个进程,一个进程可以有一个或多个线程,其中一个是主线程。 线程是操作系统分时调度分配CPU时间的基本实体。一个线程可以执行程序的任意部分的代码,即使这部分代码被另一个线程并发地执行;一个进程的所有线程共享它的虚拟地址空间、全局变量和操作系统资源。 之所以有线程这个概念,是因为以线程而不是进程为调度对象效率更高: 由于创建新进程必须加载代码,而线程要执行的代码已经被映射到进程的地址空间,所以创建、执行线程的速度比进程更快。 一个进程的所有线程共享进程的地址空间和全局变量,所以简化了线程之间的通讯。 Win32的进程处理简介 因为MFC没有提供类处理进程,所以直接使用了Win32 API函数。 进程的创建 调用 函数创建新的进程,运行指定的程序。CreateProcess的原型如下:
BOOL CreateProcess( LPCTSTR lpApplicationName, LPTSTR lpCommandLine, LPSECURITY_ATTRIBUTES lpProcessAttributes, LPSECURITY_ATTRIBUTES lpThreadAttributes, BOOL bInheritHandles, DWORD dwCreationFlags, LPVOID lpEnvironment, LPCTSTR lpCurrentDirectory, LPSTARTUPINFO lpStartupInfo, LPPROCESS_INFORMATION lpProcessInformation );
其中: lpApplicationName指向包含了要运行模块名字的字符串。 lpCommandLine指向命令行字符串。 lpProcessAttributes描述进程的安全性属性,NT下有用。 lpThreadAttributes描述进程初始线程(主线程)的安全性属性,NT下有用。 bInHeritHandles表示子进程(被创建的进程)是否可以继承父进程的句柄。可以继承的句柄有线程句柄、有名或无名管道、互斥对象、事件、信号量、映像文件、普通文件和通讯端口等;还有一些句柄不能被继承,如内存句柄、DLL实例句柄、GDI句柄、URER句柄等等。 子进程继承的句柄由父进程通过命令行方式或者进程间通讯(IPC)方式由父进程传递给它。 dwCreationFlags表示创建进程的优先级类别和进程的类型。创建进程的类型分控制台进程、调试进程等;优先级类别用来控制进程的优先级别,分Idle、Normal、High、Real_time四个类别。 lpEnviroment指向环境变量块,环境变量可以被子进程继承。 lpCurrentDirectory指向表示当前目录的字符串,当前目录可以继承。 lpStartupInfo指向StartupInfo结构,控制进程的主窗口的出现方式。 lpProcessInformation指向PROCESS_INFORMATION结构,用来存储返回的进程信息。 从其参数可以看出创建一个新的进程需要指定什么信息。 从上面的解释可以看出,一个进程包含了很多信息。若进程创建成功的话,返回一个进程信息结构类型的指针。进程信息结构如下: typedef struct _PROCESS_INFORMATION { HANDLE hProcess; HANDLE hThread; DWORD dwProcessId; DWORD dwThreadId; }PROCESS_INFORMATION;
进程信息结构包括进程句柄,主线程句柄,进程ID,主线程ID。 进程的终止 进程在以下情况下终止: - 调用ExitProcess结束进程;
- 进程的主线程返回,隐含地调用ExitProcess导致进程结束;
- 进程的最后一个线程终止;
- 调用TerminateProcess终止进程。
HANDLE CreateThread( LPSECURITY_ATTRIBUTES lpThreadAttributes, DWORD dwStackSize, LPTHREAD_START_ROUTINE lpStartAddress, LPVOID lpParameter, DWORD dwCreationFlags, // creation flags LPDWORD lpThreadId );
其中: lpThreadAttributes表示创建线程的安全属性,NT下有用。 dwStackSize指定线程栈的尺寸,如果为0则与进程主线程栈相同。 lpStartAddress指定线程开始运行的地址。 lpParameter表示传递给线程的32位的参数。 dwCreateFlages表示是否创建后挂起线程(取值CREATE_SUSPEND),挂起后调用ResumeThread继续执行。 lpThreadId用来存放返回的线程ID。 线程的优先级别 进程的每个优先级类包含了五个线程的优先级水平。在进程的优先级类确定之后,可以改变线程的优先级水平。用SetPriorityClass设置进程优先级类,用SetThreadPriority设置线程优先级水平。 Normal级的线程可以被除了Idle级以外的任意线程抢占。 线程的终止 以下情况终止一个线程: - 调用了ExitThread函数;
- 线程函数返回:主线程返回导致ExitProcess被调用,其他线程返回导致ExitThread被调用;
- 调用ExitProcess导致进程的所有线程终止;
- 调用TerminateThread终止一个线程;
- 调用TerminateProcess终止一个进程时,导致其所有线程的终止。
DWORD TlsAlloc()
在进程或DLL初始化时调用,并且把返回值(索引值)作为全局变量保存。 BOOL TlsSetValue( DWORD dwTlsIndex, //TLS index to set value for LPVOID lpTlsValue //value to be stored );
其中: dwTlsIndex是TlsAlloc分配的索引。 lpTlsValue是线程在TLS槽中存放的数据指针,指针指向线程要保存的数据。 线程首先分配动态内存并保存数据到此内存中,然后调用TlsSetValue保存内存指针到TLS槽。 LPVOID TlsGetValue( DWORD dwTlsIndex // TLS index to retrieve value for );
其中: dwTlsIndex是TlsAlloc分配的索引。 当要存取保存的数据时,使用索引得到数据指针。 BOOL TlsFree( DWORD dwTlsIndex // TLS index to free );
其中: dwTlsIndex是TlsAlloc分配的索引。 当每一个线程都不再使用局部存储数据时,线程释放它分配的动态内存。在TLS索引不再需要时,使用TlsFree释放索引。 线程同步 同步可以保证在一个时间内只有一个线程对某个资源(如操作系统资源等共享资源)有控制权。共享资源包括全局变量、公共数据成员或者句柄等。同步还可以使得有关联交互作用的代码按一定的顺序执行。 Win32提供了一组对象用来实现多线程的同步。 这些对象有两种状态:获得信号(Signaled)或者没有或则信号(Not signaled)。线程通过Win32 API提供的同步等待函数(Wait functions)来使用同步对象。一个同步对象在同步等待函数调用时被指定,调用同步函数地线程被阻塞(blocked),直到同步对象获得信号。被阻塞的线程不占用CPU时间。 同步对象 同步对象有:Critical_section(关键段),Event(事件),Mutex(互斥对象),Semaphores(信号量)。 下面,解释怎么使用这些同步对象。 关键段对象: 首先,定义一个关键段对象cs: CRITICAL_SECTION cs; 然后,初始化该对象。初始化时把对象设置为NOT_SINGALED,表示允许线程使用资源: InitializeCriticalSection(&cs); 如果一段程序代码需要对某个资源进行同步保护,则这是一段关键段代码。在进入该关键段代码前调用EnterCriticalSection函数,这样,其他线程都不能执行该段代码,若它们试图执行就会被阻塞。 完成关键段的执行之后,调用LeaveCriticalSection函数,其他的线程就可以继续执行该段代码。如果该函数不被调用,则其他线程将无限期的等待。 事件对象 首先,调用CreateEvent函数创建一个事件对象,该函数返回一个事件句柄。然后,可以设置(SetEvent)或者复位(ResetEvent)一个事件对象,也可以发一个事件脉冲(PlusEvent),即设置一个事件对象,然后复位它。复位有两种形式:自动复位和人工复位。在创建事件对象时指定复位形式。。 自动复位:当对象获得信号后,就释放下一个可用线程(优先级别最高的线程;如果优先级别相同,则等待队列中的第一个线程被释放)。 人工复位:当对象获得信号后,就释放所有可利用线程。 最后,使用CloseHandle销毁创建的事件对象。 互斥对象 首先,调用CreateMutex创建互斥对象;然后,调用等待函数,可以的话利用关键资源;最后,调用RealseMutex释放互斥对象。 互斥对象可以在进程间使用,但关键段对象只能用于同一进程的线程之间。 信号量对象 在Win32中,信号量的数值变为0时给以信号。在有多个资源需要管理时可以使用信号量对象。 首先,调用CreateSemaphore创建一个信号量;然后,调用等待函数,如果允许的话,则利用关键资源;最后,调用RealeaseSemaphore释放信号量对象。 此外,还有其他句柄可以用来同步线程: - 文件句柄(FILE HANDLES)
- 命名管道句柄(NAMED PIPE HANDELS)
- 控制台输入缓冲区句柄(CONSOLE INPUT BUFFER HANDLES)
- 通讯设备句柄(COMMUNICTION DEVICE HANDLES)
- 进程句柄(PROCESS HANDLES)
- 线程句柄(THREAD HANDLES)
CWinThread* AFXAPI AfxBeginThread( AFX_THREADPROC pfnThreadProc, LPVOID pParam, int nPriority, UINT nStackSize, DWORD dwCreateFlags, LPSECURITY_ATTRIBUTES lpSecurityAttrs )
其中: 参数1指定控制函数的地址; 参数2指定传递给控制函数的参数; 参数3、4、5分别指定线程的优先级、堆栈大小、创建标识、安全属性,含义同用户界面线程。 AfxBeginThread创建线程的流程 不论哪个AfxBeginThread,首先都是创建MFC线程对象,然后创建Win32线程对象。在创建MFC线程对象时,用户界面线程和工作者线程的创建分别调用了不同的构造函数。用户界面线程是从CWinThread派生的,所以,要先调用派生类的缺省构造函数,然后调用CWinThread的缺省构造函数。图8-1中两个构造函数所调用的CommonConstruct是MFC内部使用的成员函数。 CreateThread和_AfxThreadEntry MFC使用CWinThread::CreateThread创建线程,不论对工作者线程或用户界面线程,都指定线程的入口函数是_AfxThreadEntry。_AfxThreadEntry调用AfxInitThread初始化线程。 CreateThread和_AfxThreadEntry在线程的创建过程中使用同步手段交互等待、执行。CreateThread由创建线程执行,_AfxThreadEntry由被创建的线程执行,两者通过两个事件对象(hEvent和hEvent2)同步: 在创建了新线程之后,创建线程将在hEvent事件上无限等待直到新线程给出创建结果;新线程在创建成功或者失败之后,触发事件hEvent让父线程运行,并且在hEven2上无限等待直到父线程退出CreateThread函数;父线程(创建线程)因为hEvent的置位结束等待,继续执行,退出CreateThread之前触发hEvent2事件;新线程(子线程)因为hEvent2的置位结束等待,开始执行控制函数(工作者线程)或者进入消息循环(用户界面线程)。 MFC在线程创建中使用了如下数据结构: struct _AFX_THREAD_STARTUP { //传递给线程启动的参数(IN) _AFX_THREAD_STATE* pThreadState;//父线程的线程状态 CWinThread* pThread; //新创建的MFC线程对象 DWORD dwCreateFlags; //线程创建标识 _PNH pfnNewHandler; //新线程的句柄 HANDLE hEvent; //同步事件,线程创建成功或失败后置位 HANDLE hEvent2; //同步事件,新线程恢复执行后置位 //返回给创建线程的参数,在新线程恢复执行后赋值 BOOL bError; //如果创建发生错误,TRUE }; 该结构作为线程开始函数的参数被传递给_beginthreadex函数来创建和启动线程。_beginthreadex函数是“C”的线程创建函数,具有如下原型: unsigned long _beginthreadex( void *security, unsigned stack_size, unsigned ( __stdcall *start_address )( void * ), void *arglist, unsigned initflag, unsigned *thrdaddr ); 图8-2描述了上述过程。图中表示,_AfxThreadEntry在启动线程时,将创建本线程的线程状态,并且继承父线程的模块状态。关于MFC状态,见第9章。 线程的结束 从图8-2可以看出,AfxEndThread用来结束调用它的线程:它将清理本线程创建的MFC对象和释放线程局部存储分配的内存空间;调用CWinThread的虚拟函数Delete;调用“C”的结束线程函数_endthreadex释放分配给线程的资源,但是不关闭线程句柄。 CWinThread::Delete的缺省实现是:如果本线程的成员函数m_bDelete为TRUE,则调用“C”运算符号delete销毁MFC线程对象自身(delete this),这将导致线程对象的析构函数被调用。若析构函数检测线程句柄非空则调用CloseHandle关闭它。 通常,让m_bDelete为TRUE以便自动地销毁线程对象,释放内存空间(MFC内存对象在堆中分配)。但是,有时候,在线程结束之后(Win32线程已经不存在)保留MFC线程对象是有用的,当然程序员自己最后要记得销毁该线程对象。 实现线程的消息循环 在MFC中,消息循环是由线程完成的。一般地,可以使用MFC缺省的消息循环(即使用函数CWindThrad::Run),但是,有些时候需要程序员自己实现一个线程的消息循环,比如在用户界面线程进行一个长时间计算处理或者等待另一个线程时。一般有如下形式: while ( bDoingBackgroundProcessing) { MSG msg; while ( ::PeekMessage( &msg, NULL,0, 0, PM_NOREMOVE ) ) { if ( !PumpMessage( ) ) { bDoingBackgroundProcessing = FALSE; ::PostQuitMessage( ); break; } } // let MFC do its idle processing LONG lIdle = 0; while ( AfxGetApp()->OnIdle(lIdle++ ) ); // Perform some background processing here // using another call to OnIdle } 该段代码的解释参见图5-3对线程的Run函数的图解。 程序员实现线程的消息循环有两个好处,一是顾及了MFC的Idle处理机制;二是在长时间的处理中可以响应用户产生的事件或者消息。 在同步对象上等待其他线程时,也可以使用同样的方式,只要把条件 bDoingBackgroundProcessing 换成如下形式: WaitForSingObject(hHandleOfEvent,0) == WAIT_TIMEOUT 即可。