Linux - статьи



   Заказать ранец в школу по супер акции в Rukzakoff.ru. Купи школьные ранцы для мальчиков на сайте.             

Реализация атомарной функции down в ядре Linux


static inline void down(struct semaphore * sem) { __asm__ __volatile__( "# atomic down operation\n\t" /*A*/ LOCK "decl %0\n\t" /* -sem->count */ /*B*/ "js 2f\n" "1:\n" /*C*/ LOCK_SECTION_START("") /*D*/ "2:\tcall __down_failed\n\t" "jmp 1b\n" /*E*/ LOCK_SECTION_END :"=m" (sem->count) :"c" (sem) :"memory"); }

Данная inline-функция уменьшения значения семафора написана на встроенном ассемблере gcc, которым компилируется ядро Linux. В строке, помеченной литерой A, выполняется атомарная операция уменьшения счетчика на единицу. В строке B проверяется стал ли счетчик после этого отрицательным, и если это произошло, управление передается на строку, помеченную литерой D, в которой вызывается функция __down_failed, дожидающаяся освобождения семафора и захватывающая его.

Макрос из строки C определен в файле include/linux/spinlock.h. Он заставляет компилятор собирать фрагмент кода между литерами C и E в отдельной секции ядра. Это означает, что код до строки C вставляется компилятором в тело функции, откуда вызвана down (поскольку она помечена модификатором inline), а для кода между C и E отводиться специальное место в памяти. На него исполнение передается только в случае, если семафор закрыт.




Содержание  Назад  Вперед