Критическия секция, оцените и выскажите своё мнение Опции

[xelax]

sam7x + arm-elf-gcc
Решил этот вопрос вынести в отдельную тему.
По совету Сергея Борща переделал критические секция из FreeRTOS для себя.

Так как переделовать пришлось код на асме, а в асме я позорно слаб, поэтому просьба покритиковать если что.

На какие вещи опирался.
Сделал дизасм своего проекта и увидел, что переменная переданная в функцию в конечном счёте оказывается в R0 до выполнения кода функции. Поэтому значение CSPR регистра я сохраняю и соответсвенно восстанавливаю по адресу хранящемуся в R0.

И ещё меня смущает одна вещь, собрал проект с оптимизацией -Os. Естественно никакой передачи параметров в функцию нет, но указатель на переменную всё равно оказался в R0
Но в тоже время я вижу что SP и R0 имеют всегда одинаковое значение до начала выполнения тела функции.

Верно ли моё наблюдение про R0. И если верно ли оно для оптимизированного кода.

хидерник

Код

typedef  uint32_t atomic_t;

void StartAtomic(atomic_t volatile *pAtomic);

void EndAtomic(atomic_t volatile *pAtomic);

#define ATOMIC_SECTION_ENTER  {volatile atomic_t __atomic; StartAtomic(&__atomic);
#define ATOMIC_SECTION_LEAVE  EndAtomic(&__atomic);}

сишник

Код

void StartAtomic(atomic_t volatile *pAtomic)
{  

  /* Disable interrupts as per portDISABLE_INTERRUPTS();                             */
    asm volatile (
        "STMDB    SP!, {R1}            \n\t"    /* Push R1.                                */
        "MRS    R1, CPSR            \n\t"    /* Get CPSR.                            */
        "STR    R1, [R0]                          \n\t"
        "ORR    R1, R1, #0xC0             \n\t"    /* Disable IRQ, FIQ.                    */
        "MSR    CPSR, R1            \n\t"    /* Write back modified value.            */
        "LDMIA    SP!, {R1}" );                /* Pop R1.                                */
}

void EndAtomic(atomic_t volatile *pAtomic)
{
  asm volatile (
                "STMDB    SP!, {R1}        \n\t"    /* Push R1.                        */    
                "LDR    R1, [R0]                   \n\t"                        
                "MSR    CPSR, R1        \n\t"    /* Write back modified value.    */    
                "LDMIA    SP!, {R1}" );            /* Pop R1.                        */
}

З.Ы. Работает уже почти час. Пока живёт.

Сообщение отредактировал xelax - Dec 12 2007, 12:15

[Сергей Борщ]

А почему бы не попросить StartAtomic возвращать предыдущее значение CPSR вместо запоминания его? И при выходе передавать не адрес, а само значение. Согласно APCS (ARM Procedure Call Standart), значение интегрального типа возвращается в R0. К тому же функция должна сохранять только R4-R11, а R1 можно не сохранять.

Код

typedef  uint32_t atomic_t;
atomic_t volatile void StartAtomic();
void EndAtomic(atomic_t volatile Atomic);
#define ATOMIC_SECTION_ENTER  {volatile atomic_t __atomic = StartAtomic();
#define ATOMIC_SECTION_LEAVE  EndAtomic(__atomic);}

сишник

Код

atomic_t volatile StartAtomic()
{  

  /* Disable interrupts as per portDISABLE_INTERRUPTS();                             */
    asm volatile (
        "STMDB    SP!, {R1}            \n\t"    /* Push R1.                                */
        "MRS    R0, CPSR            \n\t"    /* Get CPSR.                            */
        "ORR    R1, R0, #0xC0             \n\t"    /* Disable IRQ, FIQ.                    */
        "MSR    CPSR, R1            \n\t"    /* Write back modified value.            */
        "LDMIA    SP!, {R1}" );                /* Pop R1.                                */
}

void EndAtomic(atomic_t volatile Atomic)
{
  asm volatile (
                "STMDB    SP!, {R1}        \n\t"    /* Push R1.                        */    
                "MSR    CPSR, R1        \n\t"    /* Write back modified value.    */    
                "LDMIA    SP!, {R1}" );            /* Pop R1.                        */
}

Только замечу, что этот код портит все остальные флаги в CPSR, может вылезти в любой момент. Надо бы в сохраненном значении маскировать все флаги. Подумать, чтобы при выходе одной командой AND включались только нужные прерывания.

[xelax]

А почему бы не попросить StartAtomic возвращать предыдущее значение CPSR вместо запоминания его? И при выходе передавать не адрес, а само значение. Согласно APCS (ARM Procedure Call Standart), значение интегрального типа возвращается в R0. К тому же функция должна сохранять только R4-R11, а R1 можно не сохранять.

Не понял, зачем мне R4-R11 в стек сохранять, если я к ним не обращаюсь???

А по поводу возвращения из функции тоже не понятно. Что в return указывать?

Только замечу, что этот код портит все остальные флаги в CPSR, может вылезти в любой момент. Надо бы в сохраненном значении маскировать все флаги. Подумать, чтобы при выходе одной командой AND включались только нужные прерывания.

Согласен, надо исправить.

[xelax]

Не понял, зачем мне R4-R11 в стек сохранять, если я к ним не обращаюсь???

А по поводу возвращения из функции тоже не понятно. Что в return указывать?
Согласен, надо исправить.

2 Сергей Борщ. Спасибо за документик . Теперь понятно. То что переменная лежит в R0. Это стандарт.
Зачем сохранять R4-11 тоже понятно . Но в моём случае смысла не вижу.