이 보고서에서는 다음과 같은 내용을 다룹니다:
부분적으로 음수이고 감소하는 서비스 곡선을 가진 시스템에서 지연 경계와 백로그 경계를 계산하는 방법을 제안합니다. 이를 위해 최소 도착 곡선을 활용합니다.
제안된 지연 경계가 엄밀하다는 것을 보입니다. 백로그 경계의 경우 비트리비얼한 샘플 경로 논증을 통해 엄밀성을 보입니다.
이 새로운 결과의 실용적 유용성을 보여주기 위해 두 가지 응용 패턴을 제시합니다:
이를 통해 기존 기법보다 향상된 성능 경계를 얻거나, 기존 기법으로는 분석이 불가능했던 경우에도 분석이 가능해짐을 보입니다.
翻譯成其他語言
從原文內容
arxiv.org
深入探究