초록: 분산 합의 및 일관성 프로토콜은 이해하기 어렵지만 클라우드의 근간을 이루므로, 배포 전에 종종 엄격한 증명과 형식적 검증 과정을 거칩니다. 그러나 생산 환경에서 빈번히 발생하는 프로토콜 수정에는 이러한 수준의 엄밀성이 거의 적용되지 않아 안전성이 위협받고 있습니다. 본 논문에서는 수동적 수정으로 인한 안전성 위반 위험을 제거하기 위해 분산 프로토콜용 자동 최적화 도구인 DistOptimize를 제안합니다. DistOptimize는 학술용 언어에서 개발된 처리량 최적화 기법을 실제 생산 환경에서 사용되는 프레임워크에 적용하며, Rocq 언어를 통해 재작성의 정확성을 검증하고, 교정과 ILP 기반의 탐색 공간 탐색을 결합하여 이를 자동으로 적용합니다. 기본적인 분산 프로토콜과 AWS에서 사용되는 프로토콜 모두에 적용한 결과, DistOptimize는 처리량을 최대 4배 향상시키며 지연 시간은 최대 0.3ms만 증가시킵니다.
주제: | 분산, 병렬 및 클러스터 컴퓨팅(cs.DC); 데이터베이스(cs.DB) 인용: | arXiv:2610.39017 [cs.DC] | (또는
arXiv:2610.39017v1 [cs.DC] 이 버전) | https://doi.org/10.48550/arXiv.2610.39017
더 알아보기
DataCite를 통한 arXiv 발급 DOI
투고 이력
논문 보기:
PDF 보기
HTML(실험적)
TeX 소스
추가 기능
오디오 요약
현재 탐색 컨텍스트:
참고문헌 및 인용
Google 학술검색
Semantic Scholar
북마크
기관
arXivLabs는 협력자가 당사 웹사이트에서 새로운 arXiv 기능을 직접 개발하고 공유할 수 있도록 하는 프레임워크입니다.
arXivLabs와 함께 일하는 개인과 조직 모두는 개방성, 커뮤니티, 우수성, 그리고 사용자 데이터 개인정보 보호라는 당사의 가치를 수용하고 받아들였습니다. arXiv은 이러한 가치에 헌신하며, 이에 부합하는 파트너들과만 협력합니다.
arXiv 커뮤니티에 가치를 더할 프로젝트 아이디어가 있으신가요? arXivLabs에 대해 자세히 알아보세요.