Автоматически освободить мьютекс по выходу из функции (RAII-style) на Си

Сделай макрос типа DECLARE_MUTEX(имя), где будет запрятано все колдовство с созданием мьютекса, объявлением переменной и Т.П.

goto :D

Да это-то понятно. Хочется вообще обойтись без лишних локальных переменных. Сказать компилятору «сгенери вот этот вызов с вот этими аргументами перед каждым return'ом».

Тоже понятно. Но хочу автоматически.

Возможно?

Конечно. Пропатчи компилятор.

C++ :)

у M$ есть __finally, но думаю это сильный оффтопик :)
https://msdn.microsoft.com/en-us/library/yb3kz605.aspx

На тебе вот такие костыли...
https://gist.github.com/rampion/91594

В смысле, без лишних?

А откуда берется указатель на мьютекс, или как создается мьютекс?

Указатель на мьютекс — глобальная переменная, насколько я понял.

Не встречал такого. Для этого традиционно делаются отдельные foo() и foo_unlocked().

Я просто не могу понять, откуда там может взяться лишняя переменная....

Если ты мьютекс объявляешь локально (auto/static), то для него и объявляй __attribute__((cleanup(mutex_unlock))), в качестве аргумента автоматом будет передан указательна мьютекс.

Если ты его мыделяешь маллоком, то напиши деструктор, в него будет передан двойной указатель...

Да тут речь вообще не про _unlocked.

The cleanup attribute runs a function when the variable goes out of scope. This attribute can only be applied to auto function scope variables; it may not be applied to parameters or variables with static storage duration. The function must take one parameter, a pointer to a type compatible with the variable. The return value of the function (if any) is ignored.

If -fexceptions is enabled, then cleanup_function will be run during the stack unwinding that happens during the processing of the exception. Note that the cleanup attribute does not allow the exception to be caught, only to perform an action. It is undefined what happens if cleanup_function does not return normally.

В мануале же четко написано, какой должна быть функция...

Мьютекс, то бишь одно значение типа uint32_t, — глобальная переменная (на самом деле вообще не важно, он может быть передан как параметр). Чтобы написать attribute cleanup, нужно объявить локальную переменную, в которую положить адрес этого мьютекса. Но это лишняя локальная переменная. Хочу без неё.

How about C++???

Не, мне никто не даст тащить в CRIU плюсы. Ладно, вопрос закрыт, пойду писать goto, как труъ-кернел-девелоперы.

У каждого сишника наступает время, когда хочется извращений. Такой уж язык.

Но это лишняя локальная переменная. Хочу без неё.

Есть объективные причины против этого? Кроме хотелки :)

Не-а. Написано же в тегах: хочется странного.

Почему DECLARE_MUTEX(имя),
ТС, имхо, хочет другой макрос:
WITH_MUTEX(mutex,{code_block});

Компилятор скорее всего оптимизирует код и в итоге локальная переменная исчезнет (точнее она всегда будет заменяться глобальной), поэтому оверхеда не будет. Главное не описывай её как volatile (сам указатель, значение по указателю вполне может быть таковым), а ещё лучше опиши как const (ну и само собой нельзя ей присваивать нигде кроме объявления).

Вот, например, такой код:

extern int a;

void g(int a, int *b);

void f() {
	int *b = &a;
	*b = 10;
	g(*b, b);
	(*b)++;
}

Превращается в это:

f:
	subq	$8, %rsp
	movl	$a, %esi <-- второй аргумент функции g
	movl	$10, %edi <-- первый аргумент функции g
	movl	$10, a(%rip) <-- присваивание a значения
	call	g
	addl	$1, a(%rip) <-- инкремент переменной a
	addq	$8, %rsp
	ret

Можно заметить, что переменная b испарилась и все обращения идут напрямую к a.

Разумеется, я компилировал с включенными оптимизациями (-O2).

Да, точно, про слонаpointed-to analysis я и забыл. Надо поглядеть, во что превращается код с attribute cleanup.

http://fdiv.net/2015/10/08/emulating-defer-c-clang-or-gccblocks

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

сделать .. при выходе из .. функции

то есть a-la atexit, но для функции. Можно вспомнить молодость и пойти путём подмены адреса возврата функции в стеке. Не для всех -Oxx сработает, под каждую архитектуру придётся помуторится и ещё антивирусы могут ругаться..

Но это-же С - тут всё возможно :-)

Но логичнее накатать макрос ONMUTEX(mutex,fun,args...) который захватывает мутекс, искполняет функцию и освобождает мутекс.

Напиши функцию locked(m, f), которая залочит m, вызовет f(), разлочит m, вернет результат. Вызывай везде locked(m, f).

Ммм, попахивает декораторами :).

напиши препроцессор

Решил уподобиться тому, который захотел писать на C как на Simula и придумал деструкторы? :-)

Нульчую этого оратора!

Нульчую этого оратора!

Ну ты ж колобок :-)

Ты слишком много каких-то костылей понаписал :-) Неужели ты думаешь, что этим можно пользоваться? :-) Сколько же в мире костыле-пейсателей, диву даёшься всякий раз :-)

Не ну а чё ваще?

Тут весь тред про костыли...

Вот это:

Но логичнее накатать макрос ONMUTEX(mutex,fun,args...) который захватывает мутекс, искполняет функцию и освобождает мутекс.

Очень даже ничего, и не надо использовать нестандартные расширения языка, в отличии от костыля ОПа...