Глава 34 Библиотека потоков

Библиотека threads позволяет реализовывать конкуретное программирование в OCaml. Она предоставляет несколько потоков управления (также называемые лёгкими процессами), которые выполняются одновременно в одном адресном пространстве. Потоки взаимодействуют, изменяя общие структуры данных на месте или отправляя и получая данные по каналам связи.

Библиотека threads реализована поверх средств многопоточности, предоставляемых операционной системой: потоки POSIX 1003.1c для Linux, MacOS и других систем Unix; потоки Win32 для Windows. Одновременно выполнение кода OCaml в конкретной области ‍9.5.1 разрешено только одному потоку. Поэтому возможности параллелизма ограничены частями программы, выполняющими системный или код библиотеки C. Тем не менее, потоки обеспечивают конкурентность и могут использоваться для структурирования программ как нескольких взаимодействующих процессов. Потоки также эффективно поддерживают одновременные, перекрывающиеся операции ввода-вывода.

Программы, использующие потоки, должны быть скомпонованы следующим образом:

        ocamlc -I +unix -I +threads other options unix.cma threads.cma other files
        ocamlopt -I +unix -I +threads other options unix.cmxa threads.cmxa other files

Единицы компиляции, использующие библиотеку threads, также должны быть скомпилированы с опцией -I +threads (см. главу ‍13).

Модуль Thread: лёгкие потоки
Модуль Event: синхронная коммуникация первого класса