Siunertaq를 복잡한 평면으로 확장하는 개념을 다루는 논문.
이 글은 Siunertaq를 배치 그래프에서 복잡한 평면으로 확장하는 방법을 탐구한다. 주된 문제는 mutable 타입인 Ref[IO, Array[Byte]]로, 이는 안전한 상태 표현을 방해한다. 이를 해결하기 위해 GPU 레지스터 파일의 특성을 고려하여 고정 폭의 타입 안전성을 확보하는 방법을 제시한다. 이 과정에서 SIMT 아키텍처와 수학 이론인 브레이드 그룹 이론과의 연결성을 발견한다.
Explores extending Siunertaq from batch graphs to the complex plane.
This article investigates the extension of Siunertaq from batch graphs to the complex plane. The main issue addressed is the mutable type Ref[IO, Array[Byte]], which compromises safe state representation. It proposes a solution inspired by GPU register files, ensuring fixed-width and type safety. Additionally, it connects this to SIMD architecture and braid group theory.