잠금 값을 썼다고 소유권을 얻은 것은 아닙니다
Lattice Mutex IP는 공유 메모리나 주변장치의 소유자를 조정합니다. AXI-Lite·AHB-Lite 인터페이스, mutex 수와 CPUID 폭은 구성에 따라 정합니다. 하드웨어 식별 지원도 선택 항목이므로 모든 인스턴스의 소유권 조건이 같다고 가정하지 않습니다.
2026 설계 가이드의 절차는 고유 CPU ID와 Lock=1을 쓴 뒤 읽어서 획득을 확인하는 것입니다. 해제도 ID와 Lock=0 쓰기 뒤 확인합니다. 포트 보호를 사용한다면 잠근 포트와 해제 포트의 조건도 맞아야 합니다.
FIFO 전송은 자원 소유권을 넘기지 않습니다
Mailbox IP는 두 프로세서 사이의 양방향 FIFO 통신입니다. FIFO 깊이와 인터럽트 임계값·마스크를 구성할 수 있습니다. 알림을 받았다고 해서 공유 UART의 잠금까지 얻은 것은 아닙니다.
Propel Builder 2025.1용 Mailbox v1.0.0 가이드는 빈 수신 FIFO 읽기와 가득 찬 송신 FIFO 쓰기를 오류로 보고 해당 동작을 무시한다고 설명합니다. 따라서 메시지를 발행한 횟수와 상대가 수락한 횟수를 같다고 세면 안 됩니다. 이 버전의 세부 레지스터 배치를 다른 릴리스에 그대로 적용하지 않습니다.
MMIO 상태와 공유 버퍼의 캐시 정책을 분리합니다
설계 가이드는 Mutex·Mailbox MMIO의 비캐시 배치를 권고합니다. 문서의 write-through 캐시도 DMA가 바꾼 버퍼를 자동으로 갱신하지 않습니다. 필요한 무효화를 별도로 처리하며 SGDMA 드라이버의 자동 캐시 관리에 기대지 않습니다.
도식은 검토할 세 조건이지 특정 버스의 배리어 처방이 아닙니다. 실제 주소 속성, 접근 순서, 오류 처리와 버퍼 수명은 해당 SoC·소프트웨어 규약으로 확인해야 합니다. 이 글은 보드 실행, 대기 시간 측정, Mutex 상세 레지스터 검증을 수행한 결과가 아닙니다.
- 소유권
readback으로 잠금 획득을 확인
- 전달
FIFO 수락·오류와 응답을 확인
- 가시성
버퍼 캐시·수명 조건을 확인