뛰기 전에 살펴보기: 타입 태그 확인(Type Tag Checking)에 대한 점검

기호 계산(symbolic-computation) 및 동적 언어(dynamic-language) 시스템에서 일반적인 동적 값(generic dynamic values)을 태깅(tagging)하는 것은 중요하지만, 머신 아키텍처(machine architectures)와 워크로드(workloads)가 진화함에 따라 그 트레이드오프(trade-offs)도 변화합니다. 특히, 박스된 값(boxed values), 즉시 값(immediate values), 그리고 타입 태그(type tags)에 관한 오래된 통념은 때때로 재조정되어야 합니다. 본 연구에서는 다양한 제조사의 AArch64 및 x86-64 아키텍처를 포함하여 오늘날 사용되는 다양한 플랫폼에서 배지 객체 헤더(badged object headers), 저비트 태깅(low-bit tagging), 그리고 두 가지 NaN-박싱(NaN-boxing) 레이아웃의 성능을 재검토합니다. 실험을 통해 두 가지 뚜렷한 효과를 분리하여 확인했습니다: 일반적인 스칼라 값(scalar values)을 힙 할당(heap-allocating)하지 않음으로써 피할 수 있는 비용, 그리고 힙 읽기(heap read)를 수행하는 대신 값 워드(value word)에서 직접 태그 정보를 얻음으로써 피할 수 있는 비용입니다. 결과에 따르면, 태그나 작은 값을 얻기 위해 힙 객체를 여는 것보다 몇 가지 로컬 비트 연산(bit operations)을 수행하는 것이 종종 더 저렴합니다. 저비트 태깅(low-bit tagging)은 대부분의 기호적 워크로드(symbolic workloads)에 대해 여전히 가장 단순하고 일반적으로 가장 빠른 선택으로 남아 있는 반면, NaN-박싱(NaN-boxing)은 접근 비용 면에서 근접하면서도 일반적인 부동 소수점 값(floating-point values)에 대한 힙 할당의 시간 및 공간 비용을 방지합니다.