2026년 40주차 · 급상승 연구 주제
컴퓨터 과학 · Distributed systems and fault tolerance
연 607 → 2,170편
분야 평균 대비 +226%p
클라우드 컴퓨팅, 마이크로서비스, 대규모 데이터 처리 시스템의 확산으로 복잡한 분산 환경이 보편화되면서, 시스템 장애에도 불구하고 안정적인 서비스를 지속하기 위한 내결함성 기술의 중요성이 커지고 있다.
출판량은 OpenAlex 전수 데이터를 최근 12개월과 직전 12개월로 나눠 비교한 값이에요. 분야 전체가 함께 커지는 착시를 빼기 위해 분야 중앙값 성장률을 차감한 초과 성장(+226%p)으로 순위를 매겼어요.
학부·석사 수준에서 실제로 착수 가능한 스케일로 좁힌 방향이에요. 마음에 드는 걸 고르면 카라멜 조교가 이어서 구체화해 줘요.
엣지 컴퓨팅 환경에서 경량 분산 합의 알고리즘의 성능 최적화 방안 연구
아이디에이션2분산 시스템에서 특정 유형의 장애(예: 네트워크 파티션)에 대한 새로운 복구 메커니즘 개발
아이디에이션3블록체인 기반 분산 시스템의 내결함성 강화 및 보안 취약점 분석
아이디에이션인용 속도와 최신성으로 고른 논문이에요. 한국어 요약을 먼저 보고, 원문은 8개 섹션 풀 분석으로 이어갈 수 있어요.
Time-optimal self-stabilizing leader election in population protocols
본 연구는 표준 개체군 프로토콜 모델에서 자가 안정 리더 선출 문제의 시간 복잡도를 최초로 탐구한다. 이 모델은 구별 불가능하고 익명인 에이전트들이 균일 무작위 스케줄링에 따라 쌍으로 상호작용하며, 프로토콜은 어떤 초기 구성에서도 단일 리더 에이전트로 수렴해야 한다. 기존의 유일한 프로토콜은 예상 병렬 시간 Θ(n²)이 소요되며 n개의 상태를 사용한다. 기존 프로토콜은 에이전트 상태 변화가 멈추는 '사일런트(silent)' 특성을 가지는데, 사일런트 프로토콜은 Ω(n)의 예상 병렬 시간을 요구한다. 본 연구는 최적의 O(n) 병렬…
SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols
블록체인을 포함한 많은 분산 시스템에서 합의 알고리즘은 핵심적인 역할을 수행합니다. 실용적인 합의 알고리즘은 부분 동기 모델에 기반하지만, 메시지 전달 지연이 불확실할 때 활성 상태를 유지할 수 없습니다. 비동기 프로토콜은 유한한 지연 시간에 의존하지 않고 활성 상태를 유지하지만, 여러 계층의 알고리즘으로 구성되어 이해하고 구현하기가 훨씬 어렵습니다. 또한, FLP 불가능성 정리로 인해 확률적 활성 보장만을 제공하며, 이로 인해 비동기 프로토콜의 정확성 검증은 매우 어렵습니다. 실제로 이러한 프로토콜에서 수년간 발견되지 않은 활성 …
Performant Synchronization in Geo-Distributed Databases
데이터 신뢰성과 확장성 확보를 위해 지리적으로 분산된 데이터베이스 배포가 중요해지고 있으나, 분산 데이터베이스는 단일 노드 대비 현저히 높은 지연 시간을 보인다. 이는 주로 데이터 일관성을 유지하는 합의 프로토콜 때문이다. 본 연구는 분산 데이터베이스의 주요 병목이 동기화 비용이며, 특히 광역 네트워크(WAN) 환경에서 더욱 두드러진다고 주장한다. 생산 환경에서 동기화 비용을 최적화할 기회로 네트워크 클러스터링 현상, 전송 시 삼각 부등식 위반, 그리고 중복 데이터 전송을 식별했다. 이러한 관찰을 바탕으로, 지역 간 분산 데이터베…
MemIndex: Agentic Event-based Distributed Memory Management for Multi-agent Systems
로봇 공학, 산업 자동화, 자율 제어와 같은 대화형 애플리케이션은 사용자 입력에 동적으로 반응하는 지연 시간에 민감한 시스템이다. 이러한 애플리케이션은 효율적인 통신 프로토콜을 요구하며, 발행/구독(pub/sub) 모델이 유망한 접근 방식 중 하나로 꼽힌다. 그러나 기존 pub/sub 시스템은 제한된 메모리 용량과 동적 환경에서의 비효율성으로 인해 아키텍처적 제약을 겪고 있으며, 효과적인 분산 메모리 관리에 대한 연구는 미흡했다. 본 논문은 이러한 격차를 해소하기 위해 의도-색인 이분 그래프 아키텍처를 기반으로 하는 적응형 자율 …
Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models
순차 프로그램에서 비종료성은 재귀 집합(recurrence sets)으로 특징지어집니다. 본 연구는 이러한 재귀 집합 개념을 약한 메모리 모델에서 실행되는 동시성 프로그램으로 확장합니다. 고전적인 재귀 집합이 상태와 전이에 기반한 순차 프로그램의 운영 의미론에서 정의되는 것과 달리, 동시성 프로그램은 실행(executions)에 기반한 공리적 의미론을 가집니다. 이에 따라 새로운 재귀 집합은 확장(extensions)에 대해 실존적으로 닫힌 실행 집합으로 정의됩니다. 동시성 프로그램의 의미론은 메모리 모델뿐만 아니라 스케줄러나 메…
A Verified High-Performance Composable Object Library for Remote Direct Memory Access
원격 직접 메모리 접근(RDMA)은 CPU와 운영체제를 우회하여 원격 장치 간 직접 메모리 접근을 가능하게 하는 기술로, 현대 데이터 센터, 고성능 컴퓨팅(HPC) 및 AI/ML 워크로드에 필수적인 저지연 고처리량 네트워킹을 제공합니다. 그러나 RDMA의 기본 모델은 다루기 어려운 약한 메모리 모델을 가지며, 최근에야 정형화되었습니다. 본 연구에서는 RDMA 기반 다중 노드 객체 구축을 위한 정형 검증 라이브러리인 LOCO(Library of Composable Objects)를 소개합니다. LOCO는 공유 메모리와 분산 시스템 …
