2026년 35주차 · 급상승 연구 주제
컴퓨터 과학 · Distributed systems and fault tolerance
연 608 → 1,943편
분야 평균 대비 +191%p
클라우드 컴퓨팅과 대규모 서비스가 보편화되면서, 여러 컴퓨터가 협력하여 작동하는 분산 시스템의 중요성이 커졌다. 시스템 일부에 장애가 발생해도 전체 서비스가 중단되지 않도록 하는 기술이 필수적이다.
출판량은 OpenAlex 전수 데이터를 최근 12개월과 직전 12개월로 나눠 비교한 값이에요. 분야 전체가 함께 커지는 착시를 빼기 위해 분야 중앙값 성장률을 차감한 초과 성장(+191%p)으로 순위를 매겼어요.
학부·석사 수준에서 실제로 착수 가능한 스케일로 좁힌 방향이에요. 마음에 드는 걸 고르면 카라멜 조교가 이어서 구체화해 줘요.
분산 데이터베이스에서 데이터 일관성을 유지하면서 장애 발생 시 복구 속도를 높이는 알고리즘 개선
아이디에이션2마이크로서비스 아키텍처에서 서비스 간 통신 장애를 효율적으로 감지하고 처리하는 기법 연구
아이디에이션3엣지 컴퓨팅 환경에서 제한된 자원으로 분산 노드 간의 합의를 이루는 경량 프로토콜 개발
아이디에이션인용 속도와 최신성으로 고른 논문이에요. 한국어 요약을 먼저 보고, 원문은 8개 섹션 풀 분석으로 이어갈 수 있어요.
Time-optimal self-stabilizing leader election in population protocols
본 연구는 표준 개체군 프로토콜 모델에서 자가 안정 리더 선출 문제의 시간 복잡도를 최초로 탐구한다. 이 모델은 구별 불가능하고 익명인 에이전트들이 균일 무작위 스케줄링에 따라 쌍으로 상호작용하며, 프로토콜은 어떤 초기 구성에서도 단일 리더 에이전트로 수렴해야 한다. 기존의 유일한 프로토콜은 예상 병렬 시간 Θ(n²)이 소요되며 n개의 상태를 사용한다. 기존 프로토콜은 에이전트 상태 변화가 멈추는 '사일런트(silent)' 특성을 가지는데, 사일런트 프로토콜은 Ω(n)의 예상 병렬 시간을 요구한다. 본 연구는 최적의 O(n) 병렬…
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는 공유 메모리와 분산 시스템 …
