обращающиеся atomicly два скалярных поля

Question

В многопоточной (Linux/amd64, Pthreads, C11) приложения У меня есть struct (momitem_st в monimelt.h), содержащий в частности, двумя полями

uint16_t i_paylkind; 
void* i_payload; 

(в случае необходимости, я мог бы изменить тип i_paylkind в какой-то другой интегрального типа, например, uintptr_t или atomic_uint)

FWIW, i_paylkind дискриминант определения фактического выполнения struct-типа i_payload указывает на.

Возможно ли получить доступ к этим двум полям атомарно (w.r.t. другие потоки, обращающиеся к тому же struct). Конечно, у меня также есть pthread_mutex_t i_mtx; в той же структуре, которую я мог бы заблокировать (используя pthread_mutex_lock). Но по соображениям производительности я мог бы избежать этого (возможно, transactional memory может быть уместным)

Похоже, <stdtomic.h> не предоставляет никаких механизмов для этого.

(вопрос, связанный с моим MELT monitor GPLv3 + программное обеспечение)

Answer 1

Если у вас есть на самом деле C11 компилятор, то _Atomic классификатор относится к любому типу данных. Просто используйте его. Для типов struct единственное, что вы можете сделать, это загрузить и сохранить, к сожалению, у вас нет доступа к отдельным членам.