Что произойдет, если pthread_key_delete вызывается на ключ после неудачного pthread_key_create?

Question

Пусть следующий код:

pthread_key_t key; 
pthread_key_create(&key, NULL); /* failure here */ 
pthread_key_delete(key); 

Если pthread_key_create неудачна, вызов pthread_key_delete считается неопределенное поведение? Как насчет того, если pthread_key_create закомментирован?

pthread_key_delete часть стандартных состояний POSIX: функция

pthread_key_delete() должен удалить нити специального ключа данных ранее возвращенное pthread_key_create().

С pthread_key_delete ожидает нить данные по конкретным ключевым ранее вернулся по pthread_key_create, боюсь, называя pthread_key_delete на ключ, который не был возвращен pthread_key_create может привести к непредсказуемому поведению.

Answer 1

Да, это неявно неопределенное поведение, поскольку стандарт, который вы связываете, не определяет, что происходит в этом случае использования.

SUSv7, однако, является явно в обсуждении pthread_key_delete, говоря прямо в CHANGE HISTORY for Issue 7, что:

Ошибка [EINVAL] для значения ключа не получается из pthread_key_create() или ключа удаляется с помощью pthread_key_delete(); это условие приводит к неопределенному поведению.

Answer 2

Глядя на исходный код pthread_key_create и pthread_key_delete , кажется, что pthread_key_create возвращается в ячейку памяти и заполнение других полей «ключ» структуры, которая является непрозрачной, как и все остальное в POSIX.

pthread_key_delete ожидает, что поля структуры ключа будут заполнены/установлены с использованием достоверных данных для поиска местоположения памяти. Таким образом, кажется, что вызов pthread_key_delete после неудачного pthread_key_create вызывает неопределенное поведение. Вот еще одна ссылка, которая, по-видимому, поддерживает мнение.

How does pthread_key_t and the method pthread_key_create work?

Я надеюсь, что это помогает.