조건부에 대한 OpenGL ES 모범 사례

Question

가능한 경우 쉐이더 모범 사례에서 avoid branching으로, 특히 쉐이더 내에서 계산 된 값으로 분기하는 것으로 Apple은 말합니다. 그래서 if 문을 내장 된 clamp() 함수로 대체했습니다. 제 질문은 clamp(), min() 및 max()이 더 효율적일까요 아니면 단지 if 블록으로 확장되는 편의성 (즉 매크로) 기능일까요?

구현에 따라 달라질 수 있습니다. 어쨌든 함수는 분명히 명확하고 명확한 의도를 내포합니다. 컴파일러 은과 함께 할 수 있습니다.

Answer 1

역사적으로 말하면 GPU는 임의 조건부 분기를 지원 한 것보다 훨씬 오래 오래 MIN 및 MAX과 같은 조각 별 명령어를 지원합니다. 데스크탑 OpenGL에서이 중 하나의 예는 분기를 지원하지 않는다는 명시 적으로 명시된 GL_ARB_fragment_program 확장 (현재 GLSL로 대체 됨)이지만 MIN 및 MAX 및 기타 조건부 명령어에 대한 지침을 제공합니다.

min(), max() 및 clamp()이 쉐이더에 얼마나 일반적인지를 고려하면 모든 GPU가 여전히 이러한 작업을위한 전용 하드웨어를 가지고 있다고 확신 할 수 있습니다. 이것은 구현이 코드를 최적화 할 수 있지만 코드를 최적화 할 수 있기 때문에 사양에 의해 보장되는 것은 아니지만 실제 환경에서는 자신의 롤링보다는 내장 된 GLSL 함수를 사용해야합니다.

유일한 예외는 많은 양의 추가 조각 처리를 피하기 위해 조건을 사용하고있는 경우입니다. 어느 지점에서 지점의 비용은 지점의 모든 코드를 실행하는 데 드는 비용보다 적지 만 여기서 균형은 하드웨어에 따라 크게 달라 지므로 벤치 마크를 통해 해당 코드가 실제로 응용 프로그램에서 도움이되는지 확인해야합니다. 대상 하드웨어. 낭비 노력 NDotL을하는 경우가 많이

void main() { 
    vec3 N = ...; 
    vec3 L = ...; 
    float NDotL = dot(N, L); 
    if (NDotL > 0.0) 
    { 
     // Lots of very intensive code for an awesome shadowing algorithm that we 
     // want to avoid wasting time on if the fragment is facing away from the light 
    } 
} 

그냥 항상에만 NDotL하여 최종 그림자 기간을 곱하면 각 조각에 그림자 코드를 처리 한 후 NDotL 0-1에와 클램핑한다 : 여기 물건의 종류 말의 원래는 < = 0 이었으므로 이론적으로 분기를 통해이 오버 헤드를 피할 수 있습니다. 이런 종류의 일이 항상 성과를 거두지는 못하는 이유는 하드웨어가 셰이더 분기를 구현하는 방법에 크게 의존하기 때문입니다.