Ada95 中的线程和信号量

Question

如何在 Ada95 中使用线程？我可以使用哪些函数来创建、销毁、停止和启动它们？

我如何在这种语言中使用信号量？

Answer 1

并发性内置于该语言中，因此您可以为任务（即线程）和受保护对象（即比信号量/互斥体/条件变量更强大）使用特定的 Ada 语法。这使得使用 Ada 编写多线程应用程序比使用 C/Java 等其他语言更容易（并且更不容易出错）。

不建议在 Ada 中使用信号量，受保护对象的功能要强大得多（但如果需要，您可以使用受保护对象轻松构建信号量）。

一些小的语法示例。任务（和受保护的对象）可以是静态的...

task My_Task;

task body My_Task is
begin
   -- Just print this to stdout and exit thread
   Ada.Text_IO.Put_Line("Hello, concurrent World!");
end;

...或动态创建

task type My_Task_Type(N : Natural);

task body My_Task_Type(N : Natural) is ...

...

T1 := new My_Task_Type(100);

abort T1;

比其他语言更简洁（并且更易于维护）！请参阅用于管理动态任务的“new”和“abort”关键字，以及其他专用包，例如 Ada.Synchronous_Task_Control。

Answer 2

Ada 中线程的术语是“任务”。 Ada 没有直接内置信号量（本身），但在 Google 上搜索“Ada 信号量”之类的内容应该会出现相当多的搜索结果。特别是 AdaPower.com，其中有相当多关于 Ada 中并发编程的内容（就此而言，几乎Ada 中的各种编程）。

Answer 3

信号量必须通常使用 2 个文件（文件扩展名 .adb 和 .ads）“构建”（而不是定制），复杂的信号量可能需要 3 个文件（请参阅“Ada 中的并发和实时编程”Alan Burns 和 Andy Wellings） ）。 Ada 中没有线程，而是任务。

对于使用信号量在 Ada 中进行同步，您可能会在我的 blogspot 上看到一篇文章！ http://3chevrons.blogspot.com/2010/02/semaphores- in-ada.html

我感觉您正在尝试将 Ada 与 C 中的并发性和/或 Python 中的线程联系起来。然而，艾达的吸引力有所不同。