[논문 리뷰] A Tighter Real-Time Communication Analysis for Wormhole-Switched Priority-Preemptive NoCs

Borislav Nikolić, Leandro Soares Indrusiak외 1명|arXiv (Cornell University)|2016. 05. 25.

Interconnection Networks and Systems참고 문헌 12인용 수 4

한 줄 요약

이 논문은 고도로 정교화된 실시간 통신 분석 기법을 제안하여 웜홀 스위칭, 우선순위 프리에프empt리브 NoC에서 최악의 경로 시간 상한선의 낙관적 추정을 줄인다. 직접 간섭을 더 정확하게 모델링함으로써 간섭 계산을 정교화함으로써, 특히 저우선순위, 장경로, 소형 흐름에 대해 상당히 더 날카운 상한선을 달성한다. 이는 자원 활용도 향상과 트래픽 워크로드의 스케줄러블리티 향상으로 이어진다.

ABSTRACT

Simulations and runtime measurements are some of the methods which can be used to evaluate whether a given NoC-based platform can accommodate application workload and fulfil its timing requirements. Yet, these techniques are often time-consuming, and hence can evaluate only a limited set of scenarios. Therefore, these approaches are not suitable for safety-critical and hard real-time systems, where one of the fundamental requirements is to provide strong guarantees that all timing requirements will always be met, even in the worst-case conditions. For such systems the analytic-based real-time analysis is the only viable approach. In this paper the focus is on the real-time communication analysis for wormhole-switched priority-preemptive NoCs. First, we elaborate on the existing analysis and identify one source of pessimism. Then, we propose an extension to the analysis, which efficiently overcomes this limitation, and allows for a less pessimistic analysis. Finally, through a comprehensive experimental evaluation, we compare the newly proposed approach against the existing one, and also observe how the trends change with different traffic parameters.

연구 동기 및 목표

• 워프홀 스위칭, 우선순위 프리에프empt리브 NoC를 위한 기존 실시간 통신 분석에서 발생하는 높은 낙관적 추정을 해결함으로써 자원 과잉 할당을 방지한다.
• 경쟁하는 트래픽 흐름 간의 간섭 모델링에서 발생하는 특정 낙관적 추정 원인을 규명하고 해결한다.
• 정확성 손실 없이 최악의 경로 시간 상한선에 대해 더 낙관적인 분석 기법을 개발한다.
• 다양한 트래픽 파라미터를 기반으로 제안된 방법을 평가하여 낙관적 추정 감소 정도를 정량화하고 시스템 스케줄러블리티에 미치는 영향을 평가한다.
• 새로운 분석이 기존에 스케줄러블리티가 어려웠던 워크로드, 특히 제어 및 메모리 액세스 트래픽에 대해 스케줄러블리티를 가능하게 함을 입증한다.

제안 방법

• 기존 실시간 통신 분석 [15]을 분석하여 우선순위 프리에프empt리브 흐름 간의 간섭 모델링과 관련된 낙관적 추정의 원인을 규명한다.
• 자원 경쟁에 대한 시간 제약 조건을 정교화함으로써 경쟁 흐름 간의 직접 간섭을 더 정확하게 반영하는 확장된 간섭 모델을 제안한다.
• 최악의 경로 시간 상한선에 대한 수정된 상한 계산 방식을 도입하여 간섭 지연의 과대평가를 줄인다.
• 다양한 흐름 크기, 우선순위, 경로 길이, 흐름 세트 크기를 가진 여러 합성 트래픽 시나리오에서 최악의 경로 시간을 계산하기 위해 신규 분석을 적용한다.
• 사이클 정밀 시뮬레이션을 사용하여 기존 방법과 비교함으로써 상한선의 날카움과 낙관적 추정 감소를 검증한다.
• 초기 주기 반복 시뮬레이션을 수행하여 최악의 경우, 평균의 경우, 최선의 경우 경로 시간을 수집하여 분석적 상한선와 직접 비교한다.

실험 결과

연구 질문

• RQ1 기존의 우선순위 프리에프empt리브 웜홀 스위칭 NoC를 위한 실시간 분석에서 어떤 특정한 낙관적 추정 원인이 존재하는가?
• RQ2 제안된 간섭 모델링 정교화 방식은 최악의 경로 시간 추정에서 낙관적 추정을 어떻게 줄이는가?
• RQ3 흐름 파라미터(크기, 우선순위, 경로 길이, 흐름 세트 크기)는 낙관적 추정 감소 정도에 어떤 영향을 미치는가?
• RQ4 신규 분석은 시뮬레이션 결과와 비교할 때 상한선 추정의 날카움을 얼마나 향상시키는가?
• RQ5 제안된 분석은 간섭 지연의 과대평가를 줄임으로써 기존에 스케줄러블리티가 어려웠던 트래픽 워크로드를 스케줄러블하게 만들 수 있는가?

주요 결과

• 제안된 분석은 특히 저우선순위 흐름에 대해 상당한 낙관적 추정 감소를 달성하며, 흐름 우선순위가 낮아질수록 상대적 향상도가 증가한다.
• 큰 흐름 세트와 소형 흐름이 장경로를 통과하는 경우 낙관적 추정 감소가 가장 두드러지며, 일부 구성에서 최대 30%까지 향상된다.
• 신규 방법은 특히 간섭이 누적되는 중간 및 저우선순위 흐름에서 원래 분석보다 더 날카운 상한선을 생성한다.
• 시뮬레이션 결과는 새로운 분석이 고우선순위 흐름의 실제 최악의 경로 시간과 매우 유사하게 일치하며, 저우선순위 흐름의 경우에도 개선된 일치도를 보임을 확인한다.
• 분석은 간섭 지연의 과대평가가 감소함에 따라 이전에 스케줄러블리티가 어려웠던 워크로드를 스케줄러블하게 만들 수 있다.
• 결과는 간접 간섭 모델링이 여전히 향후 개선이 필요한 핵심 영역임을 시사하며, 저우선순위 시나리오에서 잔여 낙관적 추정이 지속됨을 나타낸다.