Sign in Join
Wiki copytemporary

Multithreaded Application Tutorial/zh CN: what changed

Revision 1 to 2. Removed lines have a minus sign; added lines have a plus sign.

OldNewLine
11## 概述
22
33这个页面将试图解释如何在Free Pascal 和 Lazarus上编写和调试一个多线程应用程序。一个多线程应用程序创建两个或多个线程同时执行任务。如果你正需要使用多线程,请阅读"你需要多线程吗?",以确定你是否真的需要;这可以避免些麻烦。
44
55程序中的一个线程被称为主线程,也就是在应用程序启动时由操作系统创建的那个线程。主线程是**唯一**一个可以更新用户界面组件的线程,否则,应用程序可能会挂起。
66
77其主要思想是:应用程序使用第二个线程在后台处其他事情,同时用户可以继续使用主线程工作。
88
99线程的另一个用途是为了更好的响应应用程序。如,你创建了一个应用程序,在应用程序启动时,用户按下按钮启动一个大的任务……处理中……之后,程序停止响应,这让用户觉得应用程序假死了,在用户体验上这很不好。如果大的任务在另一个线程中运行,应用程序保持响应,它就像在闲置,在本例中它是个不错的选择。不过,在启用线程之前,你需要禁用表单按钮,以避用户启动多个线程。
1010
1111还有,服务器应用程序在使用多线程后,它能够同时响应多个客户端的请求。
1212
1313## 你需要多线程吗?
1414
1515如果你刚想使用多线程,而只是想让你的应用程序长时间运行任务而不失去响应,那么,多线程可能超过你的需要。多线程应用程序难以调试并且很复杂,多数情况下你不需要多线程。单线程就足够了。如果你能将耗时的任务分隔成几块,并使用**Application.ProcessMessages**。这种方法让LCL处理所有等待的消息并返回。其核心是,在长时间运行任务时定期调用Application.ProcessMessages以处理用户点击了什么东西,或者重绘进度条等等。
1616
1717例如:读取一个大文件并处理它。 参看 examples/multithreading/singlethreadingexample1.lpi。
1818
1919使用多线程
2020
2121- blocking handles, like network communications(~~屏蔽处理,比如网络通信~~)
2222- 同时使用多个处理器 (SMP)
2323- 算法和库调用,必须通过一个 API 调用,如不能被分解成更小的部分。
2424
2525If you want to use multi-threading to increase speed by using multiple processors simultaneously, check if your current program now uses all 100% resources of 1 core CPU (for example, your program can actively use input-output operations, e.g. writing to file; this takes a lot of time, but doesn't load CPU; in this case your program will not be faster with multiple threads). Also check if optimisation level is set to maximum (3). When switching optimisation level from 1 to 3, a program may become about 5 times faster.
2626
2727~~你想使用多线程使用多个处理器来提高速度,检查当前程序使用1个核心的CPU上的100%资源(如,你的程序可以积极使用输入输出操作,如写入文件等等,这需要大量时间,但CPU没有负载;在这种情况下,你的程序将不会比多种线程快。)检查优化级别设置为最大(3)。切换优化级别1到3,程序运行可能会快5倍。~~
2828
2929## 多线程单元
3030
3131在Windows上你不需要任何特殊单元。
3232
3333然而在Linux、Mac OS X和FreeBSD上,你需要cthreads单元,并且,*必须*项目中第一个引入的单元(项目源文件,通常是 .lpr文件)!
3434
3535所以,你的Lazarus应用程序代码看起来应该是:
3636
3737``` pascal
3838program MyMultiThreadedProgram;
3939{$mode objfpc}{$H+}
4040uses
4141{$ifdef unix}
4242 cthreads,
4343 cmem, // the c memory manager is on some systems much faster for multi-threading(C内存管理器在某些系统中使多线程运行更快)
4444{$endif}
4545 Interfaces, // this includes the LCL widgetset 引入LCL 部件工具箱
4646 Forms
4747 { you can add units here },
4848```
4949
5050如果你忘记了这一点,使用TThread启动应用程序时,你会得到这样的错误:
5151
5252` This binary has no thread support compiled in. (`~~`二进制文件编译时没有线程支持`~~`)`\
5353` Recompile the application with a thread-driver in the program uses clause before other units using thread.(`~~`在引用线程单元前引用了其他单元`~~`)`
5454
5555> **Note:** 提示"mcount"未找到的错误。在你的单元里包含了多线程代码,你需要添加 cthreads单元或使用智能链接。
5656
5757> **Note:** "Project raised exception class 'RunError(232)'" in procedure SYSTEM_NOTHREADERROR (项目引发的异常类)错误,你的代码里需要线程,你需要添加 cthreads单元。
5858
5959## TThread类
6060
6161下面的例子可以在 examples/multithreading/ 目录中找到。
6262
6363若要创建一个多线程的应用程序,最简单的方法是使用 TThread 类。This class permits the creation of an additional thread (alongside the main thread) in a simple way.(~~这个线程允许在主线程上创建一个附加线程)。~~)通常你只需要重写 2 个方法:创建构造函数(constructor)和执行方法(Execute)。
6464
6565在构造函数中,设置线程运行前初始化需要的变量,在TThread原始构造函数中有一参数Suspended,设置Suspended = True防止在创建后自动启动线程。设置为False,则在在调用Start方法后才执行。
6666
6767> **Note:** 方法摘要在:[自FPC 2.4.4 弃用](http://wiki.freepascal.org/User_Changes_2.4.4#TThread.Suspend_and_TThread.Resume_have_been_deprecated)。它被Start代替。
6868
6969FPC 2.0.1及更高版本,TThread.Create有一个隐含的堆栈大小参数。根据需要,你可以改变默认堆栈的大小。深层递归过程是个很好的例子。如果你不指定堆栈大小,将使用系统默认的大小。
7070
7171重写Execute方法,编写将在线程中执行的代码。
7272
7373TThread 类有一个重要属性:
7474
7575`Terminated : boolean;`
7676
7777If the thread has a loop (and this is typical), the loop should be exited when Terminated is true (it is false by default). Within each pass, the value of Terminated must be checked, and if it is true then the loop should be exited as quickly as is appropriate, after any necessary cleanup. Bear in mind that the Terminate method does not do anything by default: the .Execute method must explicitly implement support for it to quit its job.
7878
7979(~~如果线程中包含循环(这是典型的),当 Terminated 为True时退出循环(默认为 False)。每次循环都将检查 Terminated值,如果为真将退出循环,之后做些必要的清理。牢记 Terminate方法不做任何事情,默认情况下:.Execute 方法实现退出循环后的操作。~~)
8080
8181如上所述,线程不应该与可见组件交互,对可见组件操作应该在主线程的上下文中进行。
8282
8383To do this, a TThread method called Synchronize exists. Synchronize requires a method within the thread (that takes no parameters) as an argument. When you call that method through Synchronize(@MyMethod), the thread execution will be paused, the code of MyMethod will be called from the main thread, and then the thread execution will be resumed.
8484
8585(~~要这样做,可以在TThread 方法调用Synchronize。以同步线程中的方法(不带参数)作为参数。当你调用Synchronize(@MyMethod),线程将暂停执行,并从主线程中调用MyMethod,之后线程恢复。~~)
8686
8787The exact working of Synchronize depends on the platform, but basically it does this: (~~同步的具体工作取决于平台,它基本上是:~~)
8888
8989- 发送消息到主消息队列并进入睡眠
9090- eventually the main thread processes the message and calls MyMethod. This way MyMethod is called without context, that means not during a mouse down event or during paint event, but after.
9191- 主线程执行 MyMethod后,唤醒睡眠的线程和下条消息
9292- 之后,线程继续执行
9393
9494另外,还有一重要属性: TThread: FreeOnTerminate。为True时,线程停止(.Execute 方法)后自动释放。否则,需要手动释放。
9595
9696示例:
9797
9898``` pascal
9999 Type
100100 TMyThread = class(TThread)
101101 private
102102 fStatusText : string;
103103 procedure ShowStatus;
104104 protected
105105 procedure Execute; override;
106106 public
107107 Constructor Create(CreateSuspended : boolean);
108108 end;
109109
110110 constructor TMyThread.Create(CreateSuspended : boolean);
111111 begin
112112 FreeOnTerminate := True;
113113 inherited Create(CreateSuspended);
114114 end;
115115
116116 procedure TMyThread.ShowStatus;
117117 // this method is executed by the mainthread and can therefore access all GUI elements.
118118 begin
119119 Form1.Caption := fStatusText;
120120 end;
121121
122122 procedure TMyThread.Execute;
123123 var
124124 newStatus : string;
125125 begin
126126 fStatusText := 'TMyThread Starting...';
127127 Synchronize(@Showstatus);
128128 fStatusText := 'TMyThread Running...';
129129 while (not Terminated) and ([any condition required]) do
130130 begin
131131 ...
132132 [here goes the code of the main thread loop]
133133 ...
134134 if NewStatus <> fStatusText then
135135 begin
136136 fStatusText := newStatus;
137137 Synchronize(@Showstatus);
138138 end;
139139 end;
140140 end;
141141```
142142
143143在应用程序中,
144144
145145``` pascal
146146 var
147147 MyThread : TMyThread;
148148 begin
149149 MyThread := TMyThread.Create(True); // This way it doesn't start automatically
150150 ...
151151 [Here the code initialises anything required before the threads starts executing]
152152 ...
153153 MyThread.Start;
154154 end;
155155```
156156
157157If you want to make your application more flexible you can create an event for the thread; this way your synchronized method won't be tightly coupled with a specific form or class: you can attach listeners to the thread's event. Here is an example:
158158
159159(~~如果想使你的应用更加灵活,可以创建一个事件的线程;这样一来,synchronized方法将不会被特定窗体或类紧耦合:你可以监听线程的事件。~~)
160160
161161下面是一个例子:
162162
163163``` pascal
164164 Type
165165 TShowStatusEvent = procedure(Status: String) of Object;
166166
167167 TMyThread = class(TThread)
168168 private
169169 fStatusText : string;
170170 FOnShowStatus: TShowStatusEvent;
171171 procedure ShowStatus;
172172 protected
173173 procedure Execute; override;
174174 public
175175 Constructor Create(CreateSuspended : boolean);
176176 property OnShowStatus: TShowStatusEvent read FOnShowStatus write FOnShowStatus;
177177 end;
178178
179179 constructor TMyThread.Create(CreateSuspended : boolean);
180180 begin
181181 FreeOnTerminate := True;
182182 inherited Create(CreateSuspended);
183183 end;
184184
185185 procedure TMyThread.ShowStatus;
186186 // this method is executed by the mainthread and can therefore access all GUI elements.
187187 begin
188188 if Assigned(FOnShowStatus) then
189189 begin
190190 FOnShowStatus(fStatusText);
191191 end;
192192 end;
193193
194194 procedure TMyThread.Execute;
195195 var
196196 newStatus : string;
197197 begin
198198 fStatusText := 'TMyThread Starting...';
199199 Synchronize(@Showstatus);
200200 fStatusText := 'TMyThread Running...';
201201 while (not Terminated) and ([any condition required]) do
202202 begin
203203 ...
204204 [here goes the code of the main thread loop]
205205 ...
206206 if NewStatus <> fStatusText then
207207 begin
208208 fStatusText := newStatus;
209209 Synchronize(@Showstatus);
210210 end;
211211 end;
212212 end;
213213```
214214
215215在应用程序中,
216216
217217``` pascal
218218 Type
219219 TForm1 = class(TForm)
220220 Button1: TButton;
221221 Label1: TLabel;
222222 procedure FormCreate(Sender: TObject);
223223 procedure FormDestroy(Sender: TObject);
224224 private
225225 { private declarations }
226226 MyThread: TMyThread;
227227 procedure ShowStatus(Status: string);
228228 public
229229 { public declarations }
230230 end;
231231
232232 procedure TForm1.FormCreate(Sender: TObject);
233233 begin
234234 inherited;
235235 MyThread := TMyThread.Create(true);
236236 MyThread.OnShowStatus := @ShowStatus;
237237 end;
238238
239239 procedure TForm1.FormDestroy(Sender: TObject);
240240 begin
241241 MyThread.Terminate;
242242
243243 // FreeOnTerminate is true so we should not write:
244244 // MyThread.Free;
245245 inherited;
246246 end;
247247
248248 procedure TForm1.Button1Click(Sender: TObject);
249249 begin
250250 MyThread.Start;
251251 end;
252252
253253 procedure TForm1.ShowStatus(Status: string);
254254 begin
255255 Label1.Caption := Status;
256256 end;
257257```
258258
259259## 特殊处理
260260
261261### Windows堆栈检查
262262
263263There is a potential headache in Windows with Threads if you use the -Ct (stack check) switch. For reasons not so clear the stack check will "trigger" on any TThread.Create if you use the default stack size. The only work-around for the moment is to simply not use -Ct switch. Note that it does NOT cause an exception in the main thread, but in the newly created one. This "looks" like if the thread was never started.
264264
265265A good code to check for this and other exceptions which can occur in thread creation is:
266266
267-<strike> 如果在Windows使用-CT(堆栈检查)会引发一些问题。 如果你使用默认的堆栈大小在,堆栈检查将在TThread.Create时"触发",原因不是很清楚。 唯一的解决方法是,不使用-CT。请注意,它不会导致主线程的异常,但新创建的却不一定。如果线程从未启动过,它"看起来"会。
267+如果在Windows使用-CT(堆栈检查)会引发一些问题。 如果你使用默认的堆栈大小在,堆栈检查将在TThread.Create时"触发",原因不是很清楚。 唯一的解决方法是,不使用-CT。请注意,它不会导致主线程的异常,但新创建的却不一定。如果线程从未启动过,它"看起来"会。
268268
269-下面的代码来检查它,用于在线程创建时抛出异常:</strike>
269+下面的代码来检查它,用于在线程创建时抛出异常:
270270
271271``` pascal
272272MyThread := TThread.Create(False);
273273if Assigned(MyThread.FatalException) then
274274 raise MyThread.FatalException;
275275```
276276
277277This code will assure that any exception which occurred during thread creation will be raised in your main thread.
278278
279279~~上面的代码,将在某个线程创建时抛出任何异常在主线程中。~~
280280
281281### 多线程包
282282
283283Packages which uses multi-threading should add the **-dUseCThreads** flag to the custom usage options. Open the package editor of the package, then Options \> Usage \> Custom and add *-dUseCThreads*. This will define this flag to all projects and packages using this package, including the IDE. The IDE and all new applications created by the IDE have already the following code in their .lpr file:
284284
285285``` pascal
286286uses
287287 {$IFDEF UNIX}{$IFDEF UseCThreads}
288288 cthreads,
289289 cmem, // the c memory manager is on some systems much faster for multi-threading
290290 {$ENDIF}{$ENDIF}
291291```
292292
293293### Heaptrc
294294
295295You can not use the -gh switch with the *cmem* unit. The -gh switch uses the heaptrc unit, which extends the heap manager. Therefore the **heaptrc** unit must be used **after** the **cmem** unit.
296296
297297~~你不能使用-gh选项与 *cmem* 单元。-gh使用了heaptrc单元,它扩展了堆管理器。因此**heaptrc** 必须在**cmem**单元后引用。~~
298298
299299``` pascal
300300uses
301301 {$IFDEF UNIX}{$IFDEF UseCThreads}
302302 cthreads,
303303 cmem, // the c memory manager is on some systems much faster for multi-threading
304304 {$ENDIF}{$ENDIF}
305305 heaptrc,
306306```
307307
308308## SMP支持
309309
310310好消息是,如果你的应用程序在多线程上工作正常,看来SMP已经启用。
311311
312312## Lazarus调试多线程应用程序
313313
314314Lzarus上使用[GDB](http://zh.wikipedia.org/zh-cn/GDB)进行调试,它功能齐全、稳定。不过,在一些Linux发行版上存在一些问题。
315315
316316### 调试输出
317317
318318In a single threaded application, you can simply write to console/terminal/whatever and the order of the lines is the same as they were written. In multi-threaded application things are more complicated. If two threads are writing, say a line is written by thread A before a line by thread B, then the lines are not necessarily written in that order. It can even happen, that a thread writes its output, while the other thread is writing a line.While under linux (maybe) you'll get proper DebugLn() output, under win32 you can get exceptions (probably DiskFull) because of DebugLn() usage outside of main thread.So, to avoid headaches use DebugLnThreadLog() mentioned below.
319319
320-(<strike>在一个单线程的应用程序中,你可以很容易的写入(输出信息)到控制台/终端/其他,因为写入顺序是一样的。
320+(在一个单线程的应用程序中,你可以很容易的写入(输出信息)到控制台/终端/其他,因为写入顺序是一样的。
321321
322322在多线程应用程序中这样做会变得很复杂。如果两个线程在写,线程A在线程B之前输出一行,似乎输出结果并不会按写入顺序显示。甚至会发生,一个线程写入一个线程输出,其他的线程在写。在Linux下使用DebugLn()你会得到正确的输出结果。在Win32下可能得到异常(或许是DiskFull),它是因为,在主线程外使用DebugLn()。
323323
324-所以,为了避免这类问题,使用DebugLnThreadLog(),下面将会提到:</strike>)
324+所以,为了避免这类问题,使用DebugLnThreadLog(),下面将会提到:)
325325
326326LCLProc 单元包含几个过程,让每个线程写入它自己的日志文件:
327327
328328``` pascal
329329 procedure DbgOutThreadLog(const Msg: string); overload;
330330 procedure DebuglnThreadLog(const Msg: string); overload;
331331 procedure DebuglnThreadLog(Args: array of const); overload;
332332 procedure DebuglnThreadLog; overload;
333333```
334334
335335示例: 不是*writeln('Some text ',123);* 而是,使用
336336
337337` DebuglnThreadLog(['Some text ',123]);`
338338
339339这将在**Log\<PID\>.txt**文件中添加一行'Some text 123'。\<PID\>是当前线程的进程ID。
340340
341341在每次运行前删除日志文件是个不错的选择:
342342
343343` rm -f Log* && ./project1`
344344
345345### Linux
346346
347347如果你尝试在Linux调试多线程应用程序,你将会遇到一个很大的问题:
348348
349349X服务器上的桌面管理器可能会**挂掉**。如应用程序已捕获鼠标/键盘gdb暂停,X服务器等待应用程序响应。
350350
351351发生这种情况时,你可以使用另一个用户登录计算机杀掉gdb或按Ctrl+Alt+F3退出会话并杀掉gdb。
352352
353353或者,你重新启动窗口管理器:输入 /etc/init.d/gdm restart。
354354
355355这将重新启动桌面管理器,让你回到桌面。
356356
357357Since it depends where gdb stops your program in some cases some tricks may help: 为Ubuntu x64设置项目选项用于调试所需的额外信息文件...
358358
359359` 工程菜单 -> 工程选项 -> 编译选项中的调试项,勾选`**`使用外部gdb调试语法文件(-Xg)`**`。`
360360
361361另一种选择是,打开另一个X桌面,在里面运行 IDE/GDB和其他应用程序,因此,只会在测试桌面中冻结。创建一个新的X实例:
362362
363363` X :1 &`
364364
365365It will open, and when you switch to another desktop (the one you are working with pressing CTRL+ALT+F7), you will be able to go back to the new graphical desktop with CTRL+ALT+F8 (if this combination does not work, try with CTRL+ALT+F2... this one worked on [Slackware](http://www.slackware.com)).
366366
367367(~~这将打开,按Ctrl+Alt+F7切换到另一个桌面,Ctrl+Alt+F8切换到原桌面(桌面快捷键没效果,尝试按Ctrl+Alt+F2,它工作在[Slackware](http://www.slackware.com))。~~)
368368
369369Then you could, if you want, create a desktop session on the X started with:
370370
371371(~~之后,如果你愿意,你可以在X开始时创建会话:~~)
372372
373373` gnome-session --display=:1 &`
374374
375375Then, in Lazarus, on the run parameters dialog for the project, check "Use display" and enter :1.
376376
377377(~~之后在Lazarus运行参数对话框中检查Use display并设置为:1。~~)
378378
379379现在应用程序运行在第二个X服务器上,你可以在第一个X服务器上调试它。。
380380
381381在Windows及Linux上的Free Pascal 2.0 和Lazarus 0.9.10 测试。
382382
383383------------------------------------------------------------------------
384384
385385Instead of creating a new X session, one can use [Xnest](http://en.wikipedia.org/wiki/Xnest). Xnest is a X session on a window. Using it X server didn't lock while debugging threads, and it's much easier to debug without keeping changing terminals.
386386
387387(~~而不是创建一个新的X会话,可以使用[Xnest](http://en.wikipedia.org/wiki/Xnest)。Xnest是X会话窗口,它使用X服务器不锁定调试线程,及更容易调试并改变终端。~~)
388388
389389运行 Xnest 命令
390390
391391` Xnest :1 -ac`
392392
393393创建一个X会话:1,并禁用访问控制。
394394
395395## Lazarus 部件工具箱接口
396396
397397The win32, the gtk and the carbon interfaces support multi-threading. This means, TThread, critical sections and Synchronize work. But they are not thread safe. This means only one thread at a time can access the LCL. And since the main thread should never wait for another thread, it means only the main thread is allowed to access the LCL, which means anything that has to do with TControl, Application and LCL widget handles. There are some thread safe functions in the LCL. For example most of the functions in the FileUtil unit are thread safe.
398398
399399(~~在Win32 中,gtk 和carbon接口支持多线程。这意味着,TThread、关键区域和同步工作,但它们不是线程安全的。也就是说只有一个线程在同一时间可以访问LCL。由于主线程不应该等待另一个线程,这使得只有主线程访问LCL,这意味着任何TControl,应用程序和LCL控件句柄。LCL中有一些线程安全函数。例如大部分的 FileUtil 单元中的函数是[线程安全](http://zh.wikipedia.org/wiki/%E7%BA%BF%E7%A8%8B%E5%AE%89%E5%85%A8)的。~~)
400400
401401### 使用SendMessage/PostMessage进行线程间通信
402402
403403在应用程序中只有一个线程可以调用LCL API,通常是主线程。其他线程可以通过一些间接的方法调用LCL,使用SendMessage、PostMessage是不错的选择。LCLIntf.SendMessage 和 LCLIntf.PostMessage将发送一条消息到应用程序的消息队列中。
404404
405405参看这些例程文档
406406
407407- [[doc:lcl/lclintf/sendmessage.html|SendMessage]]
408408- [[doc:lcl/lclintf/postmessage.html|PostMessage]]
409409
410410The difference between SendMessage and PostMessage is the way that they return control to the calling thread. With SendMessage control is not returned until the window that the message was sent to has completed processing the sent message, however with PostMessage control is returned immediately.
411411
412412(~~SendMessage 和 PostMessage区别在于处理调用线程的方式。SendMessage 在接收到返回值后才继续执行,而PostMessage则不会等待。~~)
413413
414414Here is an example of how a secondary thread could send text to be displayed in an LCL control to the main thread:
415415
416416``` pascal
417417const
418418 WM_GOT_ERROR = LM_USER + 2004;
419419 WM_VERBOSE = LM_USER + 2005;
420420
421421procedure VerboseLog(Msg: string);
422422var
423423 PError: PChar;
424424begin
425425 if MessageHandler = 0 then Exit;
426426 PError := StrAlloc(Length(Msg)+1);
427427 StrCopy(PError, PChar(Msg));
428428 PostMessage(formConsole.Handle, WM_VERBOSE, Integer(PError), 0);
429429end;
430430```
431431
432432及如何从窗口中处理这个消息:
433433
434434``` pascal
435435const
436436 WM_GOT_ERROR = LM_USER + 2004;
437437 WM_VERBOSE = LM_USER + 2005;
438438
439439type
440440 { TformConsole }
441441
442442 TformConsole = class(TForm)
443443 DebugList: TListView;
444444 // ...
445445 private
446446 procedure HandleDebug(var Msg: TLMessage); message WM_VERBOSE;
447447 end;
448448
449449var
450450 formConsole: TformConsole;
451451
452452implementation
453453
454454....
455455
456456{ TformConsole }
457457
458458procedure TformConsole.HandleDebug(var Msg: TLMessage);
459459var
460460 Item: TListItem;
461461 MsgStr: PChar;
462462 MsgPasStr: string;
463463begin
464464 MsgStr := PChar(Msg.wparam);
465465 MsgPasStr := StrPas(MsgStr);
466466 Item := DebugList.Items.Add;
467467 Item.Caption := TimeToStr(SysUtils.Now);
468468 Item.SubItems.Add(MsgPasStr);
469469 Item.MakeVisible(False);
470470 //f/TrayControl.SetError(MsgPasStr);
471471end;
472472
473473end.
474474```
475475
476476## 临界区
477477
478478A *critical section* is an object used to make sure, that some part of the code is executed only by one thread at a time. A critical section needs to be created/initialized before it can be used and be freed when it is not needed anymore.
479479
480480(~~*[临界区](http://zh.wikipedia.org/wiki/%E4%B8%B4%E7%95%8C%E5%8C%BA)*用来确保代码的某些部分同一时间只能由一个线程执行。临界区需要被创建/初始化后才能使用,不需要时释放它。~~)
481481
482482临界区通常使用这种方式:
483483
484484声明 (全局范围内所有线程可以访问):
485485
486486` MyCriticalSection: TRTLCriticalSection;`
487487
488488初始化临界区:
489489
490490` InitializeCriticalSection(MyCriticalSection);`
491491
492492运行一些线程,只做
493493
494494``` pascal
495495EnterCriticalSection(MyCriticalSection);
496496try
497497 // 访问变量、写入文件、发送网络数据包等等
498498finally
499499 LeaveCriticalSection(MyCriticalSection);
500500end;
501501```
502502
503503所有线程结束后,释放它:
504504
505505` DeleteCriticalSection(MyCriticalSection);`
506506
507507As an alternative, you can use a TCriticalSection object. The creation does the initialization, the Enter method does the EnterCriticalSection, the Leave method does the LeaveCriticalSection and the destruction of the object does the deletion.
508508
509509(~~作为代替者,你可以使用TCriticalSection对象。创建即初始化临界区,进入临界区使用 EnterCriticalSection,离开时使用 LeaveCriticalSection,对象销毁时删除临界区。~~)
510510
511511例如:5个线程递增计数器。 查看 lazarus/examples/multithreading/criticalsectionexample1.lpi
512512
513513**注意**: There are two sets of the above 4 functions. The RTL and the LCL ones. The LCL ones are defined in the unit LCLIntf and LCLType. Both work pretty much the same. You can use both at the same time in your application, but you should not use a RTL function with an LCL Critical Section and vice versus.
514514
515515### 共享变量
516516
517517如果一些线程共享变量,它是只读的,那么就没有什么好担心的,直接读取就可以了。
518518
519519但是如果一个或多个线程想改变变量,那么你必须确保,同一时间只有一个线程访问该变量。
520520
521521示例:5线程递增计数器。 查看 lazarus/examples/multithreading/criticalsectionexample1.lpi
522522
523523## 等待另一个线程
524524
525525如果一个线程A需要线程B的结果,那么它必须等待,直到B完成。
526526
527527**重要:**主线程不应该等待另一个线程,不是使用Synchronize(见上文)。
528528
529529查看示例: lazarus/examples/multithreading/waitforexample1.lpi
530530
531531``` pascal
532532{ TThreadA }
533533
534534procedure TThreadA.Execute;
535535begin
536536 Form1.ThreadB:=TThreadB.Create(false);
537537 // create event
538538 WaitForB:=RTLEventCreate;
539539 while not Application.Terminated do begin
540540 // wait infinitely (until B wakes A)
541541 RtlEventWaitFor(WaitForB);
542542 writeln('A: ThreadB.Counter='+IntToStr(Form1.ThreadB.Counter));
543543 end;
544544end;
545545
546546{ TThreadB }
547547
548548procedure TThreadB.Execute;
549549var
550550 i: Integer;
551551begin
552552 Counter:=0;
553553 while not Application.Terminated do begin
554554 // B: Working ...
555555 Sleep(1500);
556556 inc(Counter);
557557 // wake A
558558 RtlEventSetEvent(Form1.ThreadA.WaitForB);
559559 end;
560560end;
561561```
562562
563563> **Note:** RtlEventSetEvent can be called before RtlEventWaitFor. Then RtlEventWaitFor will return immediately. Use RTLeventResetEvent to clear a flag.
564564
565565> **Note:** ~~RtlEventSetEvent可以在RtlEventWaitFor之前被调用。之后RtlEventWaitFor将立即返回。使用RTLeventResetEvent清除标记。~~
566566
567567## Fork
568568
569569When forking in a multi-threaded application, be aware that any threads created and running BEFORE the fork (or fpFork) call, will NOT be running in the child process. As stated on the fork() man page, any threads that were running before the fork call, their state will be undefined.
570570
571571So be aware of any threads initializing before the call (including on the initialization section). They will NOT work.
572572
573573## 并行程序/循环
574574
575575多线程的一个特殊情况是并行运行一个程序。参见[[Parallel procedures|并行程序]]。
576576
577577## 分布式计算
578578
579579The next higher steps after multi threading is running the threads on multiple machines.
580580
581581- 可以使用TCP组件像synapse、lnet 或 indy通信。这给你最大的灵活性和主要用于松散连接的客户端/服务器应用程序。
582582- 你可以使用消息传递库,像[[MPICH]],用于HPC(高性能计算)集群上。
583583
584584## 外部线程
585585
586586To make Free Pascal's threading system work properly, each newly created FPC thread needs to be initialized (more exactly, the exception, I/O system and threadvar system per thread needs to be initialized so threadvars and heap are working). That is fully automatically done for you if you use BeginThread (or indirectly by using the TThread class). However, if you use threads that were created without BeginThread (i.e. external threads), additional work (currently) might be required. External threads also include those that were created in external C libraries (.DLL/.so).
587587
588588Things to consider when using external threads (might not be needed in all or future compiler versions):
589589
590590- Do not use external threads at all - use FPC threads. If can you can get control over how the thread is created, create the thread by yourself by using BeginThread.
591591
592592If the calling convention doesn't fit (e.g. if your original thread function needs cdecl calling convention but BeginThread needs pascal convention, create a record, store the original required thread function in it, and call that function in your pascal thread function:
593593
594594``` pascal
595595type
596596 TCdeclThreadFunc = function (user_data:Pointer):Pointer;cdecl;
597597
598598 PCdeclThreadFuncData = ^TCdeclThreadFuncData;
599599 TCdeclThreadFuncData = record
600600 Func: TCdeclThreadFunc; //cdecl function
601601 Data: Pointer; //original data
602602 end;
603603
604604// The Pascal thread calls the cdecl function
605605function C2P_Translator(FuncData: pointer) : ptrint;
606606var
607607 ThreadData: TCdeclThreadFuncData;
608608begin
609609 ThreadData := PCdeclThreadFuncData(FuncData)^;
610610 Result := ptrint(ThreadData.Func(ThreadData.Data));
611611end;
612612
613613procedure CreatePascalThread;
614614var
615615 ThreadData: PCdeclThreadFuncData;
616616begin
617617 New(ThreadData);
618618 // this is the desired cdecl thread function
619619 ThreadData^.Func := func;
620620 ThreadData^.Data := user_data;
621621 // this creates the Pascal thread
622622 BeginThread(@C2P_Translator, ThreadData );
623623end;
624624```
625625
626626- Initialize the FPC's threading system by creating a dummy thread. If you don't create any Pascal thread in your app, the thread system won't be initialized (and thus threadvars won't work and thus heap will not work correctly).
627627
628628``` pascal
629629type
630630 tc = class(tthread)
631631 procedure execute;override;
632632 end;
633633
634634 procedure tc.execute;
635635 begin
636636 end;
637637
638638{ main program }
639639begin
640640 { initialise threading system }
641641 with tc.create(false) do
642642 begin
643643 waitfor;
644644 free;
645645 end;
646646 { ... your code follows }
647647end.
648648```
649649
650650(After the threading system is initialized, the runtime may set the system variable "IsMultiThread" to true which is used by FPC routines to perform locks here and there. You should not set this variable manually.)
651651
652652- If for some reason this doesn't work for you, try this code in your external thread function:
653653
654654``` pascal
655655function ExternalThread(param: Pointer): LongInt; stdcall;
656656var
657657 tm: TThreadManager;
658658begin
659659 GetThreadManager(tm);
660660 tm.AllocateThreadVars;
661661 InitThread(1000000); // adjust inital stack size here
662662
663663 { do something threaded here ... }
664664
665665 Result:=0;
666666end;
667667```
668668
669669### 识别外部线程
670670
671671有时你甚至不知道是否要处理外部线程 (如对C 库进行回调)。这个可以帮助你来分析:
672672
6736731\. 询问操作系统当前应用程序线程的ID
674674
675675``` pascal
676676GetCurrentThreadID() // Windows;
677677GetThreadID() // Darwin/OSX;
678678TThreadID(pthread_self) // Linux;
679679```
680680
6816812\. 再次询问线程内部的当前线程的ID和步骤1结果对比
682682
683683### 放弃时间片
684684
685685ThreadSwitch()
686686
687687> **Note:** 不要使用Windows的 *Sleep(0)*,因为它不会在所有平台上工作。
688688
689689## 参见
690690
691691- [[Streaming components|流媒体组件]]
692692- [[Manager Worker Threads System|管理工作线程系统]]
693693- [[Example of multi-threaded application: array of threads|多线程应用示例:数组线程]]
694694- [[Parallel procedures|并行程序]]
695695- [[Main Loop Hooks|主循环钩子]]
696696- [[Asynchronous Calls|异步调用]]
697697
698698---
699699*From the Free Pascal wiki, page "Multithreaded Application Tutorial/zh CN", as it stood on 2020-02-20 after a change by Trev, out of the wiki's dump of 2024-05-26. Copyright stays with the author who wrote it, according to the old wiki's [[Licensing]] page. If you have concerns about this material, [message the admin](/wiki-contact).*

Back to history