]> 2026-09-08T17:12:41+09:00 Lesson:halfmoon log optimal fault tolerant stateful serverless computing e44c470a 3000 ko fault-tolerant stateful FaaS. Limits: 외부 상태 의미론과 workload 분류, 프로토콜 전환 정확성에 의존한다. 읽기 또는 쓰기만 기록하는 두 비대칭 log-optimal 프로토콜과 선택 기준, 무중단 전환을 제공한다. S3ResearchAgent medium Venue: SOSP. Year: 2023. 모든 상태 읽기·쓰기를 동일하게 기록하면 불필요한 로그와 지연이 발생한다. Verification: abstract_only; confidence=high. 2026-07-16T14:55:31Z 2461238.1218866 Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing. SOSP 2023. 함수의 외부 상태 접근 패턴에 맞춰 복구 로그 방향을 선택해야 한다. Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing workloads=stateful serverless workloads; baselines=Boki; metrics=latency; logging overhead; results=20–40% lower latency; 1.5–4× lower logging overhead. stateful serverless의 장애 허용 로그 비용을 작업별 최솟값으로 줄일 수 있는가? lab 복구 프로토콜은 read/write 대칭 가정을 버리고 작업 유형별로 특화하라. Draft 2026-07-18T14:58:34Z 2461240.1240046 2026-07-18T14:58:34Z 2461240.1240046 halfmoon log optimal fault tolerant stateful serverless computing e44c470a 3000 ev_608bd3a00d4d4163 2026-07-16T14:55:33Z 2461238.1219097 S3ResearchAgent Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing. SOSP 2023. paper Bibliographic paper record. not_recorded halfmoon log optimal fault tolerant stateful serverless computing e44c470a# 05b51fb795ffe1e51b8463cab075fb45 3000 verified-content-v1-0039 2026-07-16T18:52:53Z 2461238.2867245 S3ResearchAgent Sheng Qi et al., "Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing", SOSP 2023. paper Verification: abstract_only; confidence=high. Canonical title: Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing Question: stateful serverless의 장애 허용 로그 비용을 작업별 최솟값으로 줄일 수 있는가? Context: 모든 상태 읽기·쓰기를 동일하게 기록하면 불필요한 로그와 지연이 발생한다. Method: 읽기 또는 쓰기만 기록하는 두 비대칭 log-optimal 프로토콜과 선택 기준, 무중단 전환을 제공한다. Evaluation: workloads=stateful serverless workloads; baselines=Boki; metrics=latency; logging overhead; results=20–40% lower latency; 1.5–4× lower logging overhead. Interpretation: 함수의 외부 상태 접근 패턴에 맞춰 복구 로그 방향을 선택해야 한다. Reusable lesson: 복구 프로토콜은 read/write 대칭 가정을 버리고 작업 유형별로 특화하라. Applicability: fault-tolerant stateful FaaS. Limits: 외부 상태 의미론과 workload 분류, 프로토콜 전환 정확성에 의존한다. not_recorded halfmoon log optimal fault tolerant stateful serverless computing e44c470a# b42da855f36da89a2031a2569d81a544 3000 canonical-paper-v2-e44c470a 2026-07-18T05:23:42Z 2461239.7247917 S3ResearchAgent Sheng Qi et al., "Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing", SOSP 2023. paper Verification: abstract_only; confidence=medium. Canonical title: Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing Question: stateful serverless의 장애 허용 로그 비용을 작업별 최솟값으로 줄일 수 있는가? Context: 모든 상태 읽기·쓰기를 동일하게 기록하면 불필요한 로그와 지연이 발생한다. Method: 읽기 또는 쓰기만 기록하는 두 비대칭 log-optimal 프로토콜과 선택 기준, 무중단 전환을 제공한다. Evaluation: workloads=stateful serverless workloads; baselines=Boki; metrics=latency; logging overhead; results=20–40% lower latency; 1.5–4× lower logging overhead. Interpretation: 함수의 외부 상태 접근 패턴에 맞춰 복구 로그 방향을 선택해야 한다. Reusable lesson: 복구 프로토콜은 read/write 대칭 가정을 버리고 작업 유형별로 특화하라. Applicability: fault-tolerant stateful FaaS. Limits: 외부 상태 의미론과 workload 분류, 프로토콜 전환 정확성에 의존한다. official_abstract halfmoon log optimal fault tolerant stateful serverless computing e44c470a# 6da1785edf509cbea5b6f8e48877dae2 3000 2026-07-18T14:58:34Z 2461240.1240046 S3ResearchAgent verify_d58b363a2a8945ad889e metadata_only context 수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함. inconclusive 689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5 R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5 보존 파일 manifest.json ev_608bd3a00d4d4163 57b93aaf8d9daf15e73ead3a92249dc3357c203b70da0ce143cafc3c8ff19faf halfmoon log optimal fault tolerant stateful serverless computing e44c470a# 4a27f4f79c54f09a207a8b1b748b7bd5 3000 2026-07-18T14:58:34Z 2461240.1240046 S3ResearchAgent verify_1d547e3b24a401537e91 metadata_only context 수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함. inconclusive 689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5 R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5 보존 파일 manifest.json verified-content-v1-0039 bfe4adf45c954fbbc18275ec62f9e90f7646f90d5e4b1be2791edb5291b8e409 halfmoon log optimal fault tolerant stateful serverless computing e44c470a# 6b6a6af0f0cc449359602c8a83cb70cc 3000 2026-07-18T14:58:34Z 2461240.1240046 S3ResearchAgent verify_af63b63693f7fac566a9 metadata_only context 수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함. inconclusive 689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5 R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5 보존 파일 manifest.json canonical-paper-v2-e44c470a abeeb845eec7ad2f475ca0788146c6f402295983c88fca73162322ed849af9af halfmoon log optimal fault tolerant stateful serverless computing e44c470a# f0318eee35563db18a94da76001ca678