Core Concepts
부분적으로 음수이고 감소하는 서비스 곡선을 가진 시스템에서도 성능 경계를 계산할 수 있도록 네트워크 계산법을 확장하였다.
Abstract
이 보고서에서는 다음과 같은 내용을 다룹니다:
부분적으로 음수이고 감소하는 서비스 곡선을 가진 시스템에서 지연 경계와 백로그 경계를 계산하는 방법을 제안합니다. 이를 위해 최소 도착 곡선을 활용합니다.
제안된 지연 경계가 엄밀하다는 것을 보입니다. 백로그 경계의 경우 비트리비얼한 샘플 경로 논증을 통해 엄밀성을 보입니다.
이 새로운 결과의 실용적 유용성을 보여주기 위해 두 가지 응용 패턴을 제시합니다:
계산-통신 시스템
유한 공유 버퍼
이를 통해 기존 기법보다 향상된 성능 경계를 얻거나, 기존 기법으로는 분석이 불가능했던 경우에도 분석이 가능해짐을 보입니다.
Stats
부분적으로 음수이고 감소하는 서비스 곡선 β에 대해 ξ = β↓ = β⊘0으로 정의한다.
최소 도착 곡선 α와 서비스 곡선 ξ에 대해 지연 경계는 d(t) ≤ z(α, ξ) ∨ h(α, ξ)이다.
백로그 경계는 q(t) ≤ v(α, ξ) ∧ sup_{s≥0} {α(s)}이다.
Quotes
"부분적으로 음수이고 감소하는 서비스 곡선을 가진 시스템에서는 잔여 서비스 곡선을 계산할 수 없어 성능 경계를 구할 수 없다."
"최소 도착 곡선을 활용하면 서비스 보장이 결국 양수가 되어 성능 경계를 계산할 수 있다."