C 컴파일러가 Out Heap 메모리 할당을 최적화할 수 있습니까?

힙 메모리 할당에 대한 최적화 프로그램의 관점

C 영역에서는 다음과 같은 질문이 제기됩니다. 컴파일러가 힙 메모리 할당을 최적화할 수 있습니까? 이 흥미로운 주제를 자세히 살펴보겠습니다.

다음 코드 조각을 고려해 보세요.

int main()
{
    int* mem = new int[100];
    return 0;
}

컴파일러가 새 호출을 제거할 자유가 있습니까? 우리 연구에 따르면 g와 Visual Studio는 이러한 최적화를 피하는 반면 clang은 이를 수용합니다. 이러한 차이로 인해 질문이 생깁니다. 새로운 기본 시스템 호출에 의존하여 컴파일러 최적화를 비실용적이고 허용할 수 없게 만드는 것은 아닌가?

컴파일러의 정당성

이 수수께끼를 명확히 하기 위해 우리는 컴파일러가 메모리 할당을 최적화할 수 있도록 하는 제안인 N3664의 역할을 인정해야 합니다. 하지만 이 최적화는 N3664 이전에 구상되었기 때문에 그 유효성에 대한 의문이 제기되었습니다.

이 질문에 답하기 위해 C 표준의 기본 측면인 "as-if" 규칙을 살펴보겠습니다. 이 규칙은 프로그램의 관찰 가능한 동작을 유지하는 한 구현이 특정 요구 사항에서 벗어나는 것을 허용합니다.

new는 프로그램의 반환 값을 변경하는 예외를 발생시킬 수 있으므로 "as-if" 규칙은 금지하는 것으로 보입니다. 최적화. 그러나 컴파일러는 예외 처리가 구현 세부 사항이며 이 경우 예외를 트리거하지 않는다고 주장할 수 있습니다. 따라서 new 호출을 제거해도 "as-if" 규칙을 위반하지 않습니다.

또한 "as-if" 규칙은 new의 non-throw 버전까지 확장됩니다. 그러나 별도의 번역 단위에 대체 연산자 new가 있으면 관찰 가능한 동작에 영향을 미칠 수 있습니다. 따라서 컴파일러는 이러한 최적화를 안전하게 수행하기 위해 그러한 시나리오가 존재하지 않도록 해야 합니다.

Clang의 공격적인 접근 방식

이전 clang 버전은 그러한 경우에도 최적화되었지만 이후 버전은 릴리스는 더욱 조심스러워졌습니다.

결론적으로 컴파일러는 new로 만들어진 메모리 할당을 포함하여 힙 메모리 할당을 최적화하는 데 활용합니다. 그러나 이 최적화는 "as-if" 규칙의 미묘한 차이와 C 예외 처리 메커니즘의 복잡성을 준수해야 합니다.

위 내용은 C 컴파일러가 Out Heap 메모리 할당을 최적화할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!