[논문 리뷰] Analysis of buffering effects on hard real-time priority-preemptive wormhole networks

Leandro Soares Indrusiak, Alan Burns외 1명|arXiv (Cornell University)|2016. 06. 09.

Interconnection Networks and Systems참고 문헌 15인용 수 15

한 줄 요약

이 논문은 우선순위 기반 선점형 웜홀 네트워크에서 최악의 반응 시간을 안전하고 정밀하게 분석하기 위한 새로운 방법을 제안한다. 이 방법은 버퍼 백프레셔에 의해 유도되는 간접적 간섭을 정확히 반영함으로써 이전 최첨단 기법에서 발견된 핵심적인 결함을 해결한다. 특히 하류 방향의 다중 간섭을 보다 정교하게 모델링하고, 모든 알려진 간섭 및 버퍼링 조건 하에서 유일하게 안전한 것으로 입증된 방법을 제시한다.

ABSTRACT

There are several approaches to analyse the worst-case response times of sporadic packets transmitted over priority-preemptive wormhole networks. In this paper, we provide an overview of the different approaches, discuss their strengths and weaknesses, and propose an approach that captures all effects considered by previous approaches while providing tight yet safe upper bounds for packet response times. We specifically address the problems created by buffering and backpressure in wormhole networks, which amplifies the problem of indirect interference in a way that has not been considered by the early analysis approaches. Didactic examples and large-scale experiments with synthetically generated packet flow sets provide evidence of the strength of the proposed approach.

연구 동기 및 목표

• 웜홀 네트워크의 실시간 분석 기법에서 기존에 잘못 처리된 버퍼 백프레셔에 의한 간접적 간섭을 규명하고 수정하는 것.
• Xiong 등 [18]의 방법을 포함한 이전 접근법의 한계를 해결하는 것. 이는 하류 간섭을 잘못 모델링하여 일부 경우에 너무 보수적이거나, 오히려 낙관적인 결과를 초래한다는 점에서 문제가 있음.
• 모든 알려진 간섭 및 버퍼링 영향을 포괄하면서도 안전성(즉, 분석의 경계를 뒤집는 반례가 존재하지 않음)을 보장하는 새로운 분석 기법을 개발하는 것.
• 일반적으로 평균 성능 향상을 위해 큰 버퍼를 선호하는 일반적인 가정과는 반대로, 작은 버퍼가 최악의 상황 예측 가능성을 향상시킨다는 점을 입증하는 것.
• 서브라우트 및 하류 수준에서의 간섭 계산을 정교화함으로써 NoC 및 기타 우선순위 기반 선점형 웜홀 네트워크에서 더 정밀한 실시간 분석의 기반을 마련하는 것.

제안 방법

• 방정식 8에 제시된 보다 정교한 척도 $ I^{down}_{ji} $ 를 사용하여, 백프레셔에 의해 발생하는 하류 다중 간섭을 구체적으로 모델링하는 간접적 간섭의 새로운 수식을 제안한다.
• 하류 흐름으로부터의 간섭 계산에 있어 안전성에 중요한 정교화를 도입하여, 분석이 반응 시간을 과소 평가하지 않도록 보장한다.
• 직접 간섭, 백프레셔, 비제로 임계 순간, 서브라우트 간섭을 모두 고려하는 형식적 모델을 사용하며, 패킷의 경로 동안 발생하는 다중 간섭 이벤트를 명시적으로 처리한다.
• Xiong 등 [18]의 방법이 하류 간접 간섭을 잘못 모델링하여 안전하지 않다는 점을 반례를 통해 입증함으로써, 제안된 방법의 필요성을 검증한다.
• 대규모 시뮬레이션 실험과 설명용 예제를 통해 방법의 타당성을 검증하였으며, Shi와 Burns, Kashif와 Patel, Xiong 등 [18]의 방법과의 비교를 수행하였다.
• 앞서 언급한 바와 같이, 바쁜 기간 기반 간섭 추정 및 서브라우트 수준의 정밀도 향상 기법은 향후 연구 과제로 남겨두었다.

실험 결과

연구 질문

• RQ1 Xiong 등 [18]의 최첨단 분석은 버퍼 백프레셔에 의해 발생하는 하류 간접 간섭을 고려할 때 안전한가?
• RQ2 우선순위 기반 선점형 웜홀 네트워크에서 모든 알려진 간섭 및 버퍼링 영향을 포괄하면서도 안전하고 정밀한 실시간 분석을 개발할 수 있는가?
• RQ3 버퍼 크기는 간접 간섭 하에서 웜홀 네트워크의 최악의 반응 시간과 예측 가능성에 어떤 영향을 미치는가?
• RQ4 서브라우트 수준에서 간섭을 모델링하는 것과 전체 루트 수준에서 모델링하는 것의 분석 정밀도 및 안전성에 대한 영향은 어떠한가?
• RQ5 제안된 방법은 혼합 비중도 시스템이나 더 세밀한 간섭 계산을 지원하기 위해 확장 가능할 수 있는가, 이 경우 안전성은 유지되는가?

주요 결과

• 제안된 분석은 반례를 통해 Xiong 등 [18]의 방법이 잘못되었음을 입증함으로써, 테스트된 모든 간섭 및 버퍼링 조건 하에서 안전한 것으로 알려진 오직 유일한 방법임을 확인하였다.
• 분석 결과, 더 큰 버퍼가 최악의 성능을 악화시킨다는 점을 입증하였으며, 이는 일반적으로 큰 버퍼가 예측 가능성을 향상시킨다는 가정과 정반대되는 결과이다. 반대로 작은 버퍼가 더 정밀한 경계를 제공한다.
• 제안된 방법과 Xiong 등 [18]의 방법 간의 반응 시간 경계 차이는 최대 몇 퍼센트 이내로 매우 미미하여, 하류 간접 간섭 문제의 미묘함과 간과되기 쉬운 성격을 시사한다.
• 합성 흐름 세트를 활용한 실험 결과, 특히 큰 버퍼와 높은 부하 조건에서 제안된 방법이 이전 방법보다 더 정밀한 경계를 제공하는 것으로 확인되었다.
• 이전 방법들(예: Xiong 등)이 하류 다중 간섭을 제대로 반영하지 못하여 안전하지 않은 낙관적인 결과를 도출한 데 반해, 본 방법은 이를 정확히 모델링하고 있음을 입증하였다.
• 본 방법은 서브라우트 간섭 및 바쁜 기간 기반 간섭 추정을 지원하기 위해 확장 가능하며, 향후 연구를 통해 경계를 더욱 정밀하게 만들 수 있는 길을 열어 놓았다.