형상 인식 컴퓨팅: 토폴로지 변경 후 프로그램 상태의 컴파일러 기반 업데이트

무선 센서 및 메시 네트워크, 모듈식 로봇, 그리고 형태 적응형 컴퓨터에서 컴퓨팅 모듈은 다른 모듈들이 로컬 상태를 유지하며 작동하는 동안 연결되거나(attach), 분리되거나(detach), 또는 교체됩니다. 캐시된 다음 홉(next hop)과 같이 이전 배열 하에 계산된 값은 메모리에 남아 있을 수 있지만, 더 이상 현재의 상태를 설명하지 못할 수 있습니다. 따라서 프로그램이 아무런 런타임 오류 없이 떠난 이웃에게 전송을 시도할 수 있게 됩니다. 우리는 '형상 인식 컴퓨팅(morph-aware computing)'이라는 프로그래밍 모델을 제시합니다. 이 모델에서는 애플리케이션이 이러한 상태의 수정 업데이트, 즉 '복구(repair)'를 명시하고 컴파일러가 이를 실행하는 시점을 결정합니다. MorphLang에서 복구는 전송(sends), 수신(receives), 센서 샘플링을 처리하는 일반적인 분기문(ordinary branches) 옆에 위치한 Reconfigure 분기문입니다. MorphC는 MorphLang을 베어메탈 RISC-V로 컴파일하고 모든 일반 분기문 앞에 가드(guard)를 삽입하여, 각 모듈이 다른 어떤 분기문이 새로운 토폴로지를 인식하기 전에 자신의 상태를 복구하도록 합니다. 이 순서에 의존하여, MorphC는 또한 대상이 리터럴일 수 있거나 복구가 항상 새로 고치지 않는 값인 전송(sends)도 거부합니다. MorphC가 생성하는 코드 모델에 대해, 우리는 Rocq에서 복구가 모든 역할 및 토폴로지 변경에 대해 모든 후속 일반 분기문보다 선행함을 증명합니다. 이는 전송 대상 확인이 핵심 언어에 대해 건전하다(sound)는 것을 보여줍니다. 7개의 네트워크 스택에서 파생된 19개의 MorphLang 프로그램에서, 복구를 제거하면 하나를 선언한 13개 프로그램 중 10개에서 목적지 유효성(destination validity)이 악화되며 개선되는 경우는 없습니다. 공개된 Contiki-NG 결함의 축소 재현 사례에서, 콜백 기반 버전은 384회 변경 중 60회 후에 떠난 부모에게 전송하는 반면, MorphLang 버전은 한 번도 그러지 않았습니다. 가드는 마이크로벤치마크에서 루프당 12 사이클의 비용이 들며, FPGA에서는 각 커밋부터 새로운 이웃으로 첫 전송까지의 지연 시간이 RTL 시뮬레이션과 일치합니다.