当有多个线程的时候，经常需要去同步这些线程以访问同一个数据或资源。

　　例如，假设有一个程序，其中一个线程用于把文件读到内存，而另一个线程用于统计文件的字符数。当然，在整个文件调入内存之前，统计它的计数是没有意义的。但是，由于每个操作都有自己的线程，操作系统会把两个线程当做是互不相干的任务分别执行，这样就可能在没有把整个文件装入内存时统计字数。为解决此问题，你必须使两个线程同步工作

　　存在一些线程同步地址的问题，Win 32 提供了许多线程同步的方式。这里将会讲到：临界区、互斥、信号量和事件

　　为了检验这些技术，首先来看一个需要线程同步解决的问题。假设有一个整数数组，需要按照升序赋初值。现在要在第一遍把这个数组赋初值为1~128，第二遍将此数组赋初值为128~255，然后结果显示在列表中。要用两个线程来分别进行初始化。下面的代码给出了没有做线程同步的代码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
unit Main;
 
interface
uses
    Windows, Messages, SysUtils, Classes, Graphics, Controls, Forms,
    Dialogs, StdCtrls;
 
type
    TMainForm =class(TForm)
        Button1: TButton;
        ListBox1: TListBox;
        procedure Button1Click(Sender: TObject);
    private
        procedure ThreadsDone(Sender: TObject);
    end;
 
    TFooThread = class(TThread)
    protected
        procedure Execute; override;
    end;
 
var
    MainForm: TMainForm;
 
implementation
{$R *.DFM}
const
    MaxSize = 128;
var
    NextNumber: Integer = 0;
    DoneFlags: Integer = 0;
    GlobalArray: array[1..MaxSize] of Integer;
 
function GetNextNumber: Integer;
begin
    Result:= NextNumber;    //return global var
    Inc(NextNumber);    //inc global var
end;
 
procedure TFooThread.Execute;
var
    i: Integer;
begin
    OnTerminate:= MainForm.ThreadsDone;
    for i:=1 to MazSize do
    begin
        GlobalArray[i]:= GetNextNumber;
        Sleep(5);
    end;
end;
 
procedure TMainForm.ThreadsDone(Sender: TObject);
var
    i: Integer;
begin
    Inc(DoneFlags);
    if DoneFlags = 2 then
        for i:=1 to MaxSize do
            ListBox1.Items.Add(IntToStr(GlobalArray[i]));    //注意ListBox的使用，并看下面编译运行的效果图
end;
 
procedure TMainForm.Button1Click(Sender: TObject);
begin
    TFooThread.Create(False);    //创建一个新的线程
    TFooThread.Create(Flase);    //再创建一个新的线程
end;
 
end.

　　因为两个线程同时运行，同一个数组在两个线程中被初始化会出现什么呢？你可以看下面的截图

　　这个问题的解决方案是：当两个线程访问这个全局数组时，为防止它们同时执行，需要使用线程的同步。这样，你就会得到一组合理的数值

1.临界区

　　临界区是一种最直接的线程同步方法。所谓临界区，就是一次只能有一个线程来执行的一段代码。如果把初始化数组的代码放在临界区内，那么另一个线程在第一个线程处理完之前是不会被执行的。

　　在使用临界区之前，必须使用 InitializeCriticalSection()过程初始化它，其声明如下

1
procedure InitializeCriticalSection(var lpCriticalSection: TRLCriticalSection); stdcall;

　　lpCriticalSection参数是一个TRTLCriticalSection类型的记录，并且是变参。至于TRTLCriticalSection是如何定义的，这并不重要，因为很少需要查看这个记录中的具体内容。只需要在lpCriticalSection中传递为初始化的记录，InitializeCriticalSection()过程就会填充这个记录

　　注意：Microsoft 故意隐瞒了TRTLCriticalSection 的细节。因为，其内容在不同的硬件平台上是不同的。在基于Intel 的平台上，TRTLCriticalSection 包含一个计数器、一个指示当前线程句柄的域和一个系统事件的句柄。在Alpha 平台上，计数器被替换为一种Alpha-CPU 数据结构，称为spinlock。

　　在记录被填充之后，我们就可以开始创建临界区了。这是我们需要使用EnterCriticalSection() 和LeaveCriticalSection() 来封装代码块。这两个过程的声明如下

1
2
3
procedure EnterCriticalSection(var lpCriticalSection: TRTLCriticalSection); stdcall;
 
procedure LeaveCriticalSection(var lpCriticalSection: TRTLCriticalSection); stdcall;

　　正如你所想的，参数 lpCriticalSection 就是有InitializeCriticalSection() 填充的记录

　　当你不需要TRTLCriticalSection 记录时，应当调用 DeleteCriticalSection() 过程，下面是它的声明

1
procedure DeleteCriticalSection(var lpCriticalSection: TRTLCriticalSection); stdcall;

　　下面演示利用临界区来同步数组初始化线程的技术

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
unit Main;
 
interface
uses
    Windows, Messages, SysUtils, Classes, Graphics, Controls, Forms,
    Dialogs, StdCtrls;
 
type
    TMainForm =class(TForm)
        Button1: TButton;
        ListBox1: TListBox;
        procedure Button1Click(Sender: TObject);
    private
        procedure ThreadsDone(Sender: TObject);
    end;
 
    TFooThread = class(TThread)
    protected
        procedure Execute; override;
    end;
 
var
    MainForm: TMainForm;
 
implementation
{$R *.DFM}
const
    MaxSize = 128;
var
    NextNumber: Integer = 0;
    DoneFlags: Integer = 0;
    GlobalArray: array[1..MaxSize] of Integer;
    CS: TRTLCriticalSection;        //
 
function GetNextNumber: Integer;
begin
    Result:= NextNumber;    //return global var
    Inc(NextNumber);    //inc global var
end;
 
procedure TFooThread.Execute;
var
    i: Integer;
begin
    OnTerminate:= MainForm.ThreadsDone;
    EnterCriticalSection(CS);        //
    for i:=1 to MazSize do
    begin
        GlobalArray[i]:= GetNextNumber;
        Sleep(5);
    end;
    LeaveCriticalSection(CS);        //
end;
 
procedure TMainForm.ThreadsDone(Sender: TObject);
var
    i: Integer;
begin
    Inc(DoneFlags);
    if DoneFlags = 2 then
        for i:=1 to MaxSize do
            ListBox1.Items.Add(IntToStr(GlobalArray[i]));
            DeleteCriticalSection(CS);    //
    end;
end;
 
procedure TMainForm.Button1Click(Sender: TObject);
begin
    InitializeCriticalSection(CS);    //
    TFooThread.Create(False);    //创建一个新的线程
    TFooThread.Create(Flase);    //再创建一个新的线程
end;
 
end.

　　在第一个线程调用EnterCriticalSection()之后，所有别的线程就不能再进入代码块。下一个线程要等到第一个线程调用LeaveCriticalSection()之后才能被唤醒，输出结果显示如下

2.互斥

　　互斥非常类似于临界区，除了两个关键的区别：

1)首先，互斥可用于跨进程的线程同步

2)其次，互斥能被赋予一个字符串名字，并且通过引用此名字创建现有互斥对象的附加句柄

　　提示：临界区与事件对象（比如互斥对象）的最大的区别在性能上。临界区在没有线程冲突时，要用10~15个时间片，而事件对象由于涉及到系统内核，所以要用400~600个时间片

　　可以调用函数CreatMutex() 来创建一个互斥量。下面是函数的声明

1
function CreateMutex(lpMutexAttributes: PSecurityAttributes; bInitialOwner: BOOL; lpName: PChar): THandle; stdcall;

　　lpMutexAttributes 参数为一个指向TSecurityAttributes记录的指针。此参数通常设为nil ， 表示默认的安全属性

　　bInitalOwner 参数表示创建互斥对象线程是否称为互斥对象的拥有者。当此参数为False时，表示互斥对象没有拥有者。

　　lpName 参数指定互斥对象的名称。设为nil表示无命名，如果参数不设为nil，函数会搜索是否有同名的互斥对象存在。如果有，函数就会返回同名互斥对象的句柄。否则，就新创建一个互斥对象并返回其句柄。

　　当使用完互斥对象时，应当调用CloseHandle()来关闭它。

　　下面演示使用互斥技术来使两个进程对一个数组的初始化同步

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
unit Main;
 
interface
uses
    Windows, Messages, SysUtils, Classes, Graphics, Controls, Forms,
    Dialogs, StdCtrls;
 
type
    TMainForm =class(TForm)
        Button1: TButton;
        ListBox1: TListBox;
        procedure Button1Click(Sender: TObject);
    private
        procedure ThreadsDone(Sender: TObject);
    end;
 
    TFooThread = class(TThread)
    protected
        procedure Execute; override;
    end;
 
var
    MainForm: TMainForm;
 
implementation
{$R *.DFM}
const
    MaxSize = 128;
var
    NextNumber: Integer = 0;
    DoneFlags: Integer = 0;
    GlobalArray: array[1..MaxSize] of Integer;
    hMutex: THandle = 0;        //
 
function GetNextNumber: Integer;
begin
    Result:= NextNumber;    //return global var
    Inc(NextNumber);    //inc global var
end;
 
procedure TFooThread.Execute;
var
    i: Integer;
begin
    FreeOnTerminate:= True;
    OnTerminate:= MainForm.ThreadsDone;
    if WaitForSingleObject(hMutex, INFINITE) = WAIT_OBJECT_0 then        //
    begin
        for i:=1 to MazSize do
        begin
            GlobalArray[i]:= GetNextNumber;
            Sleep(5);
        end;
    end;
    ReleaseMutex(hMutex);        //
end;
 
procedure TMainForm.ThreadsDone(Sender: TObject);
var
    i: Integer;
begin
    Inc(DoneFlags);
    if DoneFlags = 2 then
        for i:=1 to MaxSize do
            ListBox1.Items.Add(IntToStr(GlobalArray[i]));
        CloseHandle(hMutex);    //
    end;
end;
 
procedure TMainForm.Button1Click(Sender: TObject);
begin
    hMutex:= CreateMutex(nil, False, nil);     //
    TFooThread.Create(False);    //创建一个新的线程
    TFooThread.Create(Flase);    //再创建一个新的线程
end;
 
end.

　　你将注意到，在程序中使用 WaitForSingleObject() 来防止其他进程进入同步区域的代码。此函数声明如下

1
function WaitForSingleObject(hHandle: Thandle; dwMilliseconds: DWORD): DWORD; stdcall;

　　这个函数可以使当前线程在dwMilliseconds 指定的时间内睡眠，直到 hHandle参数指向的对象进入发信号状态为止。一个互斥对象不再被线程拥有时，它就进入发信号状态。当一个进程要终止时，它就进入发信号状态，而后立即返回。dwMilliSeconds参数设为 INFINITE，表示如果信号不出现将一直等下去。这个函数的返回值列在下表

返回值 含义
WAIT_ABANDONED     指定的对象时互斥对象，并且拥有这个互斥对象的线程在没有释放此对象之前就已经终止。此时就称互斥对象被抛弃。这种情况下，这个互斥对象归当前线程所有，并把它设为非发信号状态
WAIT_OBJECT_0     指定的对象处于发信号状态
WAIT_TIMEOUT     等待的事件已过，对象仍然是非发信号状态

　　再次声明，当一个互斥对象不再被一个线程所拥有，它就处于发信号状态，此时首先调用WaitForSignalObject() 函数的线程就称为该互斥对象的拥有者，此互斥对象设为不发信号状态。当线程调用ReleaseMutex() 函数并传递一个互斥对象的句柄作为参数时，这种拥有关系就被解除，互斥对象重新进入发信号状态

　　注意 除WaitForSingleObject() 函数外，你还可以使用 WaitForMultipleObject() 和MsgWaitForMultipleObject() 函数，它们可以等待几个对象变为发信号状态。这两个函数的详细情况请看Win32 API联机文档

3.信号量

　　另外一种使线程同步的技术是使用信号量对象。它是在互斥的基础上建立的，但是信号量增加了资源计数的功能，预定数目的线程允许同时进入要同步的代码。可以用 CreateSemaphore() 来创建一个信号量对象，其声明如下

1
function CreateSemaphore(lpSemaphoreAttributes: PSecurityAttributes; lInitialCount, lMaxiMumCount: LongInt; lpName: PChar): THandle; stdcall;

　　和CreateMutex() 函数一样，CreateSemaphore() 的第一个参数也是一个指向 TSecurityAttributes 记录的指针，此参数的缺省值可以设为 nil。

　　lInitialCount 参数用来指定一个信号量的初始计数值，这个值必须在 0 和 lMaximumCount 之间。此参数大于 0，就表示信号量处于发信号状态。当调用 WaitForSingleObject() 函数(或其他函数)时，此计数值就减1。当调用 ReleaseSemaphore() 时，此计数值加1。

　　参数 lMaximumCount 指定计数值的最大值。如果这个信号量代表某种资源，那么这个值代表可用资源总数

　　参数 lpName 用于给出信号量对象的名称，它类似于 CreateMutex() 函数的 lpName 参数。

　　下面是使用信号量技术来同步初始化数组的代码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
unit Main;
 
interface
uses
    Windows, Messages, SysUtils, Classes, Graphics, Controls, Forms,
    Dialogs, StdCtrls;
 
type
    TMainForm =class(TForm)
        Button1: TButton;
        ListBox1: TListBox;
        procedure Button1Click(Sender: TObject);
    private
        procedure ThreadsDone(Sender: TObject);
    end;
 
    TFooThread = class(TThread)
    protected
        procedure Execute; override;
    end;
 
var
    MainForm: TMainForm;
 
implementation
{$R *.DFM}
const
    MaxSize = 128;
var
    NextNumber: Integer = 0;
    DoneFlags: Integer = 0;
    GlobalArray: array[1..MaxSize] of Integer;
    hSem: THandle = 0;        //
 
function GetNextNumber: Integer;
begin
    Result:= NextNumber;    //return global var
    Inc(NextNumber);    //inc global var
end;
 
procedure TFooThread.Execute;
var
    i: Integer;
    WaitReturn: DWORD;
begin
    OnTerminate:= MainForm.ThreadsDone;
    WaitReturn:= WaitForSingleObject(hSem, INFINITE);       //
    if WaitReturn = WAIT_OBJECT_0 then        //
    begin
        for i:=1 to MazSize do
        begin
            GlobalArray[i]:= GetNextNumber;
            Sleep(5);
        end;
    end;
    ReleaseSemaphore(hSem, 1, nil);        //
end;
 
procedure TMainForm.ThreadsDone(Sender: TObject);
var
    i: Integer;
begin
    Inc(DoneFlags);
    if DoneFlags = 2 then
        for i:=1 to MaxSize do
            ListBox1.Items.Add(IntToStr(GlobalArray[i]));
            CloseHandle(hSem, );    //
    end;
end;
 
procedure TMainForm.Button1Click(Sender: TObject);
begin
    hSem:= CreateSemaphore(nil, 1, 1 , nil);     //
    TFooThread.Create(False);    //创建一个新的线程
    TFooThread.Create(Flase);    //再创建一个新的线程
end;
 
end.

　　在这个程序中因为只允许一个线程进入要同步的代码，所以信号量的最大计数值（lMaximumCount）要设为1。

　　ReleaseSemaphore() 函数将使信号量对象的计数加 1。请注意此函数比 ReleaseMutex() 更复杂。ReleaseSemaphore() 函数声明如下：

1
2
function ReleaseSemaphore(hSemaphore: Thandle; lReleaseCount: LongInt;
    lpPreviousCount: Pointer): BOOL; stdcall;

　　lReleaseCount 数用于指定每次使计数值加多少。如果参数 lpPreviousCount 不为nil ,原有的计数值将存储在 lpPreviousCount 里。信号量对象并不属于某个线程。例如，假设一个信号量对象的最大计数值是10，并且有10个线程调用 WaitForSingleObject() ,计数值将减至0。只要有一个线程调用 ReleaseSemaphore()，并且把lReleaseCount参数设为10。这时，计数值又恢复为10，同时10个线程又恢复发信号状态。不过，此函数使调试变得困难，使用时要小心。

　　记住，最后一定要调用 CloseHandle() 函数来释放由CreateSemaphore()创建的信号量对象的句柄。

最后说一下Application.ProcessMessages

　　顺便总结Application.ProcessMessages的作用：运行一个非常耗时的循环，那么在这个循环结束前，程序可能不会响应任何事件，按钮没有反应，程序设置无法绘制窗体，看上去就如同死了一样，这有时不是很方便，例如于终止循环的机会都没有了，又不想使用多线程时,这时你就可以在循环中加上这么一句，每次程序运行到这句时，程序就会让系统响应一下消息，从而使你有机会按按钮，窗体有机会绘制。所起作用类似于VB中DoEvent方法. 调用ProcessMessages来使应用程序处于消息队列能够进行消息处理，ProcessMessages将Windows消息进行循环轮转，直至消息为空，然后将控制返回给应用程序。

　　注示：仅在应用程序调用ProcessMessages时勿略消息进程效果，而并非在其他应用程序中。在冗长的操作中，调用ProcessMessages周期性使得应用程序对画笔或其他信息产生回应。 ProcessMessages不充许应该程序空闲，而HandleMessage则然.使用ProcessMessages一定要保证相关代码是可重入的，如果实在不行也可按我上面的方法实现同步。

http://www.cnblogs.com/xumenger/p/4450659.html

Delphi线程同步（临界区、互斥、信号量，包括详细代码）的更多相关文章

  1. 编写高质量代码改善C#程序的157个建议——建议72：在线程同步中使用信号量

    建议72:在线程同步中使用信号量 所谓线程同步,就是多个线程在某个对象上执行等待(也可理解为锁定该对象),直到该对象被解除锁定.C#中对象的类型分为引用类型和值类型.CLR在这两种类型上的等待是不一样 ...

  2. 改善C#程序的建议6：在线程同步中使用信号量

    原文:改善C#程序的建议6:在线程同步中使用信号量 所谓线程同步,就是多个线程之间在某个对象上执行等待(也可理解为锁定该对象),直到该对象被解除锁定.C#中对象的类型分为引用类型和值类型.CLR在这两 ...

  3. java线程 同步临界区：thinking in java4 21.3.5

    java线程 同步临界区:thinking in java4 21.3.5 thinking in java 4免费下载:http://download.csdn.net/detail/liangru ...

  4. Android多线程研究（3）——线程同步和互斥及死锁

    为什么会有线程同步的概念呢?为什么要同步?什么是线程同步?先看一段代码: package com.maso.test; public class ThreadTest2 implements Runn ...

  5. 线程同步 - POSIX互斥锁

    线程同步 - POSIX互斥锁 概括 本文讲解POSIX中互斥量的基本用法,从而能达到简单的线程同步.互斥量是一种特殊的变量,它有两种状态:锁定以及解锁.如果互斥量是锁定的,就有一个特定的线程持有或者 ...

  6. Delphi线程同步（临界区、互斥、信号量）

    当有多个线程的时候,经常需要去同步这些线程以访问同一个数据或资源. 例如,假设有一个程序,其中一个线程用于把文件读到内存,而另一个线程用于统计文件的字符数.当然,在整个文件调入内存之前,统计它的计数是 ...

  7. Delphi 线程同步技术（转）

    上次跟大家分享了线程的标准代码,其实在线程的使用中最重要的是线程的同步问题,如果你在使用线程后,发现你的界面经常被卡死,或者无法显示出来,显示混乱,你的使用的变量值老是不按预想的变化,结果往往出乎意料 ...

  8. Delphi线程同步

    总结一下Windows常用的几种线程同步技术. 1.Critical Sections(临界段),源代码中如果有不能由两个或两个以上线程同时执行的部分,可以用临界段来使这部分的代码执行串行化.它只能在 ...

  9. C++线程同步与互斥总结

    互斥:当多个线程访问同一个全局变量,或者同一个资源(比如打印机)的时候,需要进行线程间的互斥操作来保证访问的安全性. 临界区.互斥体.事件和信号量都可以实现线程互斥.但如果仅仅需要实现互斥功能,推荐前 ...

随机推荐

  1. QtCreator调试传入运行参数

    QtCreator是非常不错的IDE,最近在做的Qt命令行应用,因为调试的环境不同等问题,需要在调试的时候为 main() 传入参数.度娘了半天,没找到方法,只能自力更生.后来在“项目-构建和运行-运 ...

  2. php将会话保存在数据库里

    php默认把会话保存在临时文件中,保存在数据库中可以提高安全性,在共享主机服务器上,所有web站点都使用同一个临时目录,这意味着数十个程序都在同一位置进行文件读取的操作,我们很容易就编写一个脚本从这个 ...

  3. explorer.exe进程简单介绍

    explorer.exe是Windows程序管理器或者Windows资源管理器,它用于管理Windows图形壳,包括开始菜单.任务栏.桌面和文件管理.不过也发现有大量的恶意病毒木马插入到explore ...

  4. IDX爱定客 | 氪加

    IDX爱定客 | 氪加 个性化定制鞋网站,在线定制只需三分钟

  5. 沙湖王 | 用Scipy实现K-means聚类算法

    沙湖王 | 用Scipy实现K-means聚类算法 用Scipy实现K-means聚类算法

  6. Micro Python - Python for microcontrollers

    Micro Python - Python for microcontrollers MicroPython

  7. 智能路由——ESB

    SOA之我见 SOA已然是企业级开发的必定之路.有人会问:我们有了OOP,还须要SOA吗?好吧我承认,这个问题也困扰了我非常久.现现在我得出的结论是:OOP是OOP,SOA是SOA. OOP是指面向对 ...

  8. java获取文件大小

    1.使用File的length()方法获取.这个方法获取的字节数,由于返回的是Long类型所以能返回的最大值是Long.MAX_VALUE File file = new File( "D: ...

  9. Hacker（六）----黑客藏匿之地--系统进程

    windows系统中,进程是程序在系统中的依次执行活动.主要包括系统进程和程序进程两种. 凡是用于完成操作系统各种功能的各种进程都统称为系统进程: 而通过启动应用程序所产生的进程则统称为程序进程. 由 ...

  10. 密码算法详解——AES

    0 AES简介 1997年1月2号,美国国家标准技术研究所宣布希望征集一个安全性能更高的加密算法(AES)[3],用以取代DES.我们知道DES的密钥长度是64 bits,但实际加解密中使用的有效长度 ...