휘발성이 필요합니까?

Question

구조체를 업데이트하고 인터럽트를 비활성화하는 함수가 있습니다.

bool readBuffer() 
{ 
    __disable_irq(); 

    rb->reader += 1; // Just an example 

    __enable_irq(); 

    return true; 
} 

인터럽트가 비활성화되어 있기 때문에 구조의 값을 업데이트하는 동안 다른 인터럽트가 우선 적용되지 않습니다.

하지만 독자 변수를 volatile으로 표시해야합니까? 이론적으로 다른 인터럽트는 함수에 들어가는 동안 선제 할 수 있기 때문에 실제로는 __disable_irq() 전에 호출됩니다. 그리고 내 함수가 다시 시작될 때 rb->reader의 캐시 된 값이 올바르지 않습니다. 또는 컴파일러 (GCC)가 해당 라인이 실제로 적중 될 때까지 rb->reader을 캐시하지 않는 코드를 생성합니까?

Answer 1

는 명시 적 최적화 장벽 지정하는 것이 더 좋을 것입니다 수 있음 : 다른 경우에 당신은 컴파일러가 rb->reader 변수를 최적화하려면

bool readBuffer() 
{ 
    __disable_irq(); 
    asm volatile ("" ::: "memory"); // Some unexpected memory modification 
    rb->reader += 1; // Just an example 
    __enable_irq(); 
    return true; 
} 

그것은 수익성이 될 것이다, 따라서 과도한 휘발성을 것이다 표시 .