Параллельное и распределенное программирование на С++
Шрифт:
Кроме того, «непрозрачные» объекты атрибутов предоставляют возможность для повышения быстродействия. Достоверность атрибутов можно проверить один раз при их установке, а не при каждом создании потока. Ведь реализации зачастую требуют кэширования объектов ядра, создание которых считается «дорогим удовольствием». Именно «непрозрачные» объекты атрибутов позволяют вовремя определить, в какой момент кэшированные объекты становятся недействительными из-за изменения атрибутов.
Поскольку оператор присваивания необязательно должен быть определен для каждого «непрозрачного» типа, значения, определяемые конкретной реализацией по умолчанию, невозможно назначать без ущерба для переносимости. Для решения этой проблемы можно позволить динамическую инициализацию объектов атрибутов с помощью
В качестве предполагаемой альтернативы поддержки атрибутов были представлены следующие предложения.
1. Поддерживается стиль передачи функциям инициализации (pthread_create , pthread_mutex_init , pthread_cond_init ) параметра, формируемого пу-тем применения поразрядной операции включающего ИЛИ к флагам. Содержащий эти флаги параметр (в расчете на расширяемость в булущем) должен иметь «непрозрачный» тип. Если в этом параметре флаги не установлены, то объекты создаются с использованием характеристик, действующих по умолчанию. Реализация самостоятельно может задавать значения флагов и соответствующее им поведение.
2. Если необходима дальнейшая специализация мьютексов и условных переменных, в реализациях могут быть определены дополнительные процедуры, предназначенные для выполнения действий над объектами типа pthread_mutex_t и pthread_cond_t (а не над объектами атрибутов).
При внедрении этого решения возможны следующие трудности.
1. Побитовая маска не будет считаться «закрытой», если биты должны быть установлены в векторных объектах атрибутов с использованием явно закодированных поразрядных операций включающего .ИЛИ. Если количество опций превышает размер типа int, прикладные программисты должны знать местоположение каждого бита. Если биты устанавливаются или считываются путем средств инкапсуляции (т.е. с помощью функций считывания и установки), то побитовал маска будет представлять собой всего лишь реализацию объектов атрибутов без свободного доступа для программиста.
2. Многие атрибуты имеют тип, отличный от булевого, или представляют собой малые целые значения. Например, для задания стратегии планирования можно выделить 3 или 4 бит, но для приоритета потребуется 5 или больше бит, следовательно по меньшей мере 8 из 16 возможных бит (для компьютеров с 16-разрядными целочисленными значениями) уже «занято». Поэтому побитовая маска может корректно управлять только атрибутами булевого типа («установлен» или нет) и не может служить в качестве хранилища для значений иного типа. Такие значения необходимо задавать или в качестве параметров функций (которые не относятся к числу наращиваемых), или путем установки полей структуры (которые не являются «закрытыми»), или с помощью функций доступа, т.е. функций считывания и записи (которые делают побитовую маску излишним дополнением к объектам атрибутов).
Размер стека определяется как необязательный атрибут, поскольку само понятие стека зависит от конкретного компьютера. Например, в одних реализациях невозможно изменить размер стека, а в других в этом вообще нет необходимости, поскольку страницы стека могут быть несмежными и выделяться (и освобождаться) по требованию.
Механизм атрибутов разработан по большей мере ради расширяемости. Будущие дополнения к механизму атрибутов или любому объекту атрибутов, определенному в этом томе (разделе) стандарта IEEE Std 1003.1-2001, необходимо вносить с чрезвычайной тщательностью, чтобы они не отразились на совместимости на уровне машинных кодов.
Объекты атрибутов, даже создаваемые с помощью таких функций динамического распределения памяти, как malloc, во время компиляции могут иметь фиксированный размер. Это означает, например, что функция pthread_create в реализации с дополнениями для использования типа pthread_attr_t не сможет «видеть» за пределами области, которую двоичное приложение считает допустимой. Это говорит о том, что реализации должны поддерживать в объекте атрибутов поле размера, а также информацию о версии, если дополнения приходится использовать в различных направлениях (или объединять продукты различных изготовителей).
Будущие направления
Отсутствуют.
Смотри также
pthread_attr_getstackaddr, pthread_attr_getstacksize, pthread_attr_getdetachstate , thread_create , том Base Definidons стандарта IEEEStd 1003.1-2001, <pthread.h>.
Последовательность внесения изменений
Функции впервые реализованы в выпуске Issue 5. Включены для согласования с расширение м POSIX Threads Extension.
Issue 6
Функции pthread_attr_destroy и pthread_attr_init от м ечены как часть опции Threads.
При м еняется интерпретация IEEE PASC Interpretation 1003.1 #107, в которой указывается, что результат инициализации уже инициализированного объекта атрибутов потока не опре д елен.
pthread_attr_getdetachstate, pthread_attr__setdetachstate
Имя
pthread_attr_getdetachstate, pthread_attr__setdetachstate — функции считывания и записи атрибута detachstate.
Синопсис
THR #include <pthread.h>
int pthread_attr_getdetachstate (
const pthread_attr_t *attr, int *detachstate) ;
int pthread_attr_setdetachstate (pthread_attr_t *attr,
int detachstate) ;
Описание
Атрибут detachstate управляет тем, создается ли поток в открепленно м (отсоединенно м) состоянии. Если поток создается открепленным, то использование его идентификационного но м ера (ID) функция м и pthread_detach или pthread_join является ошибкой.
Функции pthread_attr_getdetachstate и pthread_attr_setdetachstate считывают и устанавливают соответственно атрибут detachstate в объекте атрибутов, адресуе м о м пара м етро м аttr.
С по м ощью функции pthread_attr_setdetachstate приложение м ожет установить атрибут detachstate равны м либо значению PTHREAD_CREATE_DETACHED, либо значению PTHREAD_CREATE_JOINABLE.
С по м ощью функции pthread_attr_getdetachstate считывается значение атрибута detachstate, которое м ожет быть равны м либо PTHREAD_ CREATE_DE TACHED, либо PTHREAD_CREATE_JO INABLE.
Значение PTHREAD_CREATE_DETACHED используется для перевода всех потоков, создавае м ых с по м ощью объекта, адресуе м ого пара м етро м attr, в открепленное состояние, в то вре м я как значение PTHREAD_CREATE_JO INABLE при м еняется для перевода всех потоков, создавае м ых с по м ощью объекта, адресуе м ого пара м етро м attr, в присоединенное состояние. По у м олчанию атрибут detachstate устанавливается равны м значению PTHREAD_CREATE_JO INABLE.