분산형 온라인 작업 재배치를 통한 안전중요 애플리케이션 보장

본 논문은 안전중요 애플리케이션을 다중코어·다중노드 환경에서 신뢰성 있게 운영하기 위한 새로운 작업 재배치 메커니즘을 제시한다. 저자들은 먼저 병렬 컴퓨팅 아키텍처를 정점이 연산 유닛(CU), 간선이 물리적 통신 링크인 유향 단순 그래프 G(V,E) 로 추상화한다. 각 애플리케이션은 자체적인 작업 그래프 G_k(V_k,E_k) 로 표현되며, 작업 노드와 애플리케이션 링크는 각각 CU와 물리적 링크에 매핑된다. 이러한 매핑 문제를 정수선형계획법(ILP) 형태로 정형화함으로써, 최적의 할당을 수학적으로 도출한다. ILP 모델의 의사결정 변수는 다섯 종류로 구성된다. 첫 번째는 CU‑작업 매핑 행렬 X_CU→node 로, 특정 CU가 어떤 작업 노드에 할당되는지를 0/1 값으로 나타낸다. 두 번째는 물리링크‑애플리케이션 링크 매핑 행렬 X_path→link 로, 작업 간 통신 요구를 물리적 링크에 정확히 매핑한다. 세 번째는 애플리케이션 실행 여부를 나타내는 이진 벡터 r 로, 시스템이 감당할 수 없는 경우 낮은 우선순위 애플리케이션을 차단한다. 네 번째는 재배치된 작업을 표시하는 이진 벡터 M 으로, 기존 할당에서 변경된 작업을 추적한다. 마지막으로, 각 할당자 복제본이 사용하는 통신 경로를 나타내는 행렬 X_Comm,k 가 있다. 목적함수는 세 단계의 우선순위를 계층적으로 반영한다. 가장 높은 우선순위는 높은 우선순위 애플리케이션을 가능한 한 많이 실행하는 것이며, 이를 위해 α_k 라는 가중치를 부여한다. 두 번째 우선순위는 재배치 횟수를 최소화하는 것으로, β 라는 큰 상수를 도입해 재배치가 발생하면 목표값이 크게 감소하도록 설계한다. 세 번째 우선순위는 통신 경로 길이를 최소화하여 시스템 전체의 지연과 에너지 소비를 낮춘다. 이러한 가중치 설계는 논문 부록에서 수학적으로 증명된다. 제약식은 크게 네 범주로 나뉜다. (a) 변수 도메인 제약으로, X_CU→node, X_path→link, r, M 은 이진값을, X_Comm,k 은 -1,0,1 값을 갖는다. (b) 자원 할당 제약으로, 각 CU는 동시에 하나의 작업에만 할당될 수 있다. (c) 통신 매핑 제약으로, 작업 간 연결이 물리적 링크와 일치하도록 강제한다. (d) 고장 모델링 제약으로, 고장이 감지된 CU는 할당 후보에서 제외되고, 해당 CU에 매핑된 작업은 재배치 대상(M=1)으로 표시된다. 분산 구현은 핵심적인 혁신이다. 할당자 애플리케이션을 시스템 내부에 N_realloc 개 복제하고, 각 복제본이 독립적으로 ILP를 해결한다. 최종 할당 결정은 다수결 투표를 통해 이루어지며, 이는 중앙 집중식 할당자에 비해 단일 실패점(single point of failure)을 제거한다. 실험은 라즈베리파이 기반 클러스터를 사용해 수행되었다. 클러스터는 16개의 라즈베리파이 보드로 구성되었으며, 각 보드는 하나의 CU 역할을 한다. 실험 시 일부 보드에 인위적인 고장을 유발했을 때, 복제된 할당자들이 실시간으로 새로운 ILP를 풀어 작업을 재배치했으며, 안전중요 애플리케이션은 지속적으로 실행되었다. 또한, 고장 전후의 통신 지연 및 재배치 횟수를 측정해, 제안된 방법이 중앙 집중식 할당에 비해 고장 복구 시간과 시스템 가용성을 크게 향상시킴을 확인했다. 결론적으로, 이 논문은 그래프 기반 모델링, 정수선형 최적화, 그리고 복제된 할당자를 통한 투표 기반 분산 제어라는 세 축을 결합해, 안전중요 시스템에서 요구되는 고가용성, 실시간 재배치, 그리고 고장 내성을 효과적으로 달성한다는 점에서 학술적·실용적 기여가 크다.