자기 안정화의 조합 이론을 찾아서

In Search of a Compositional Theory of Self-Stabilization

자기 안정화 시스템의 조합에 관한 최근 연구를 찾지 못한 저자는 rely-guarantee TLA+ 모델을 사용해 재시도 폭풍을 분석한다. 2017년 Kim, Arcak, Seshia의 파라메트릭 가정-보장 계약 논문을 발견하지만, 이는 메모리리스 관점이라 백로그를 표현하지 못하고 안정화와 연결되지 않는다. 저자는 두 개의 큐와 네 개의 기울기를 가진 시스템에서 작은 이득 정리가 결합만 고려하고 메모리를 무시해 불안정성을 놓친다는 것을 보여준다.