Основы программирования в Linux

Вы можете создать потоки, ведущие себя подобным образом. Они называются отсоединенными или обособленными потоками, и вы создаете их, изменяя атрибуты потока или вызывая функцию

. Поскольку мы хотим продемонстрировать атрибуты, то применим здесь первый метод.

Самая важная функция, которая вам понадобится, —

, инициализирующая объект атрибутов потока:

И снова 0 возвращается в случае успешного завершения и код ошибки в случае аварийного.

Есть и функция для уничтожения:

. Ее задача — обеспечить чистое уничтожение объекта атрибутов. После того как объект уничтожен, он не может быть использован снова до тех пор, пока не будет инициализирован повторно.

Когда вы инициализировали объект атрибутов потока, можно использовать множество дополнительных функций, с помощью которых задается поведение разных атрибутов. Далее перечислены основные из них (полный список вы можете найти в интерактивном справочном руководстве, в разделе, посвященном pthread.h), но мы рассмотрим подробно только два:

и .

Как видите, существует лишь несколько атрибутов, которые вы можете применять, но к счастью у вас, как правило, не возникнет необходимости в использовании большинства из них.

□ 

— этот атрибут позволяет избежать необходимости присоединения потоков (rejoin). Как и большинство этих функций с префиксом , эта функция принимает указатель на атрибут и флаг для определения требуемого состояния. Два возможных значения флага для функции — и . По умолчанию у атрибута будет значение , поэтому вы сможете разрешить двум потокам объединяться (один ждет завершения другого). Если задать состояние , вы не сможете вызвать функцию , чтобы выяснить код завершения другого потока.

□ 

— этот атрибут управляет планированием потоков. Возможные значения — , и . По умолчанию атрибут равен . Два других типа планирования доступны только для процессов, выполняющихся с правами суперпользователя, поскольку они оба задают планирование в режиме реального времени, но с немного разным поведением. использует круговую или циклическую схему планирования, a — алгоритм "первым прибыл, первым обслужен". Оба эти алгоритма не обсуждаются в этой книге.

□ 

— это напарник атрибута и позволяет управлять планированием потоков, выполняющихся с типом планирования . Мы рассмотрим пример его применения чуть позже в этой главе.

□ 

— этот атрибут принимает одно из двух значений: и . По умолчанию значение атрибута , что означает планирование, явно заданное атрибутами. Если задать , новый поток будет вместо этого применять параметры, используемые потоком, создавшим его.

□ 

— этот атрибут управляет способом вычисления параметров планирования потока. Поскольку ОС Linux в настоящее время поддерживает единственное значение , мы не будем рассматривать его в дальнейшем.

□ 

— этот атрибут управляет размером стека при создании потока, задается в байтах. Это часть необязательного раздела стандарта и поддерживается только в тех реализациях, у которых определено значение . Linux по умолчанию реализует потоки со стеком большого размера, поэтому этот атрибут в ОС Linux избыточен.

Выполните упражнение 12.5.

В примере с отсоединенным или обособленным потоком thread5.c вы создаете атрибут потока, задаете состояние потока как отсоединенное и затем создаете с помощью этого атрибута поток. Теперь, когда закончится дочерний поток, он вызовет обычным образом

. В это время исходный поток больше не ждет созданный им поток для присоединения. В данном примере используется простой флаг , чтобы позволить потоку определить, закончился ли дочерний поток, и показать, что потоки все еще совместно используют переменные.