const volatile 포인터 함수 인수

Question

임베디드 SW 프로젝트의 경우 const volatile TYPE * 포인터를 사용해야합니다. 이제 다음과 같은 몇 가지 계산 함수가 있습니다.

uint8 calc(const volatile uint8 *array, uint8 value) { ... } 

두 변수의 데이터는 함수 실행 중에 변경되지 않습니다.

호출하는 코드처럼 보이는 다음

const volatile uint8 *array = (const volatile uint8 *)0x00010111; 
uint8 value = 8; 

uint8 result = calc(array, value); 

을 질문 지금, 우리는 휘발성 인수없이 calucation 기능을 설계 할 경우 차이가있을 것입니다 :

uint8 calc(const uint8 *array, uint8 value) { ... } 

를 호출 우리의 경우 휘발성을 버리십시오.

uint8 result = calc((const uint8 *)array, value); 

두 번째 솔루션에 대한 장점은 더 유연합니다. y : 비 휘발성 변수에도이 함수를 사용할 수 있습니다. 그러나 우리가 변동성을 제거하고 컴파일러가 강력한 최적화를 수행한다면 이것이 효과가 있습니까?

Answer 1

실제로는 volatile-ness로 인해 발생할 수있는 것에 따라 다릅니다.

함수 실행 중에이 배열의 값이 변경되고 이러한 변경 사항이 발견되면이를 volatile으로 지정하십시오.

중요하지 않거나 "이전"값이 더 중요한 경우 volatile을 생략하십시오.

Answer 2

비 휘발성 인수가있는 함수를 항상 사용할 수 있습니다. 함수의 코드가 주어진 객체를 휘발성처럼 처리하는 것입니다 (그럴 경우 성능이 저하 될 가능성이 큽니다). 휘발성 논증 ("예고없이 변경 될 수 있기 때문에")이 무엇을 의미 하는지를 상상하기는 힘듭니다. 당신이 작성하는 것처럼, 당신의 경우에는 데이터가 변하지 않으므로 가장 유연한 솔루션은 매개 변수를 const로 선언하고 휘발성을 잊어 버리는 것입니다.

그리고 "uint8_t"를 사용하고 uint8과 같은 자체 제작 된 형식 이름을 사용하지 마십시오. 1996 년부터 표준에 포함되었습니다!

Answer 3

두 가지 경우가 있습니다. 기능이 하드웨어 레지스터 등을 직접 조작하는 것입니다. 그런 다음 은이 매개 변수에 휘발성이 있어야합니다. 또는이 함수는 하드웨어 레지스터와 전혀 관련이 없습니다. 그런 다음 은이 휘발성이어서는 안됩니다. 이 두 가지 경우에는 중간 지점이 없습니다. 함수 인자의 계산 순서가없는 동작이므로

또한 calc((const uint8_t*)array, value);는

const uint8_t* ptr = array; 
calc(ptr, value); 

전 형태 나쁜 단지 불량 가능성 버 버전이다. 컴파일러는 왼쪽 피연산자 또는 오른쪽 피연산자를 먼저 평가하기로 선택했을 수 있습니다. 따라서이 명령을 알거나 추측 할 수 없습니다. 휘발성 액세스는 부작용이므로 원래 코드는 프로그램이 빌드 될 때마다 다른 결과를 줄 수 있습니다. 이것은 실시간 임베디드 시스템에서 특히 문제가되며 위험 할 수도 있습니다.

따라서 표현식 내에서 휘발성 변수에 절대 액세스하지 않는 것이 좋습니다 (MISRA-C : 2004 12.2 참조).