C func signature in Linux Kernel: include/linux/sched.h

Question

Снова найден один раз из тех тайных определений функций внутри ядра linux. Подпись функции выглядит следующим образом:

static void __sched __schedule(void) 

Теперь он имеет как пустоту, так и __sched как возвращаемый тип. Может кто-то объяснить, что там делают эти идентификаторы. Должно ли это быть недействительным или __sched? Как это может быть? Благодарю.

Это определение __sched

#define __sched   __attribute__((__section__(".sched.text"))) 

Answer 1

void представляет собой стандартный тип С, что указывает, что функция не возвращает результат.

__sched макрос, который расширяется в соответствии с определением, вы цитируемом, делая декларацию, эквивалентную:

static void __attribute__((__section__(".sched.text"))) __schedule(void) 

__attribute__ является расширением языка поддерживается GCC (и компиляторы, совместимые с GCC). Его значение задокументировано в gcc manual. Он указывает, что сгенерированный код для функции должен быть помещен в указанный раздел в объектном файле.

С __sched, или, скорее, последовательность, в которой он распространяется, не является именем типа, между ним и конфликтом нет void.

(двойные круглые скобки в синтаксисе __attribute__ позволяют Макроопределение как

#define __attribute__(arg) 

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