어레이 액세스 분석
Array-access analysis컴퓨터 과학에서 어레이 액세스 분석은 어레이의 [1]요소 또는 부분에 대한 읽기 및 쓰기 액세스 패턴을 결정하기 위해 사용되는 컴파일러 분석 방법입니다.
과학 프로그램에서 조작되는 주요 데이터 유형은 배열입니다.어레이 전체에 대한 정의/사용 분석은 자동 병렬화 및 어레이 사유화 등 적극적인 컴파일러 최적화에는 불충분합니다.어레이 액세스 분석은 특정 코드 세그먼트(기본 블록, 루프 또는 프로시저 레벨)에 의해 어레이의 어떤 부분 또는 어떤 요소가 액세스되는지에 대한 지식을 얻는 것을 목적으로 합니다.
어레이 액세스 분석은 정밀도(또는 참조 리스트 베이스)와 요약 방법으로 크게 분류할 수 있습니다.정확도 및 복잡도의 트레이드오프에 따라 달라집니다.정확한 방법은 정확하지만 계산 및 공간 저장 측면에서 매우 비용이 많이 드는 반면 요약 방법은 대략적이지만 빠르고 경제적으로 계산할 수 있습니다.
일반적인 어레이 액세스 분석에는 선형화 및 원자 이미지가 포함됩니다.요약 방법은 어레이 섹션, 트리플렛 표기법을 사용한 경계 정규 섹션, 데이터 액세스 기술자 및 어레이 영역 분석과 같은 선형 제약 방법으로 더 나눌 수 있습니다.
레퍼런스
- ^ Paek, Yunheung; Hoeflinger, Jay; Padua, David (January 2002). "Efficient and precise array access analysis". ACM Transactions on Programming Languages and Systems. 24 (1): 65–109. doi:10.1145/509705.509708.
