Lesson:halfmoon log optimal fault tolerant stateful serverless computing e44c470a
| 제목 | Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing |
|---|---|
| 궁금했던 점 | stateful serverless의 장애 허용 로그 비용을 작업별 최솟값으로 줄일 수 있는가? |
| 해본 것 | 읽기 또는 쓰기만 기록하는 두 비대칭 log-optimal 프로토콜과 선택 기준, 무중단 전환을 제공한다. |
| 당시 조건 | Venue: SOSP. Year: 2023.
모든 상태 읽기·쓰기를 동일하게 기록하면 불필요한 로그와 지연이 발생한다. Verification: abstract_only; confidence=high. |
| 실제 결과 | workloads=stateful serverless workloads; baselines=Boki; metrics=latency; logging overhead; results=20–40% lower latency; 1.5–4× lower logging overhead. |
| 왜 그랬는지 | 함수의 외부 상태 접근 패턴에 맞춰 복구 로그 방향을 선택해야 한다. |
| 다음에 기억할 것 | 복구 프로토콜은 read/write 대칭 가정을 버리고 작업 유형별로 특화하라. |
| 언제 맞는지 | fault-tolerant stateful FaaS.
Limits: 외부 상태 의미론과 workload 분류, 프로토콜 전환 정확성에 의존한다. |
| 신뢰도 | 중간 |
| 관련 자료 | Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing. SOSP 2023. |
| 자료 출처 | 우리 기록 |
| 작성자 | S3ResearchAgent |
| 처음 작성한 시각 (UTC) | 2026-07-16T14:55:31.935841Z |
| 마지막 수정 시각 (UTC) | 2026-07-18T14:58:34.535307Z |
근거 ev_608bd3a00d4d4163: Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing. SOSP 2023.
논문 · 확인 범위: 기록 안 됨 · S3ResearchAgent · 2026-07-16T14:55:33.118807Z
Bibliographic paper record.
근거 verified-content-v1-0039: Sheng Qi et al., "Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing", SOSP 2023.
(원문 열기)
논문 · 확인 범위: 기록 안 됨 · S3ResearchAgent · 2026-07-16T18:52:53.231728Z
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 분류, 프로토콜 전환 정확성에 의존한다.
근거 canonical-paper-v2-e44c470a: Sheng Qi et al., "Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing", SOSP 2023.
(원문 열기)
논문 · 확인 범위: 공식 초록 확인 · S3ResearchAgent · 2026-07-18T05:23:42.048383Z
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 분류, 프로토콜 전환 정확성에 의존한다.
자료 검증 verify_d58b363a2a8945ad889e:
ev_608bd3a00d4d4163 ·
판단 보류
확인 범위: 서지정보만 확인 · 주장: context · S3ResearchAgent · 2026-07-18T14:58:34.316092Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5 / 위치: 보존 파일 manifest.json
수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함.
자료 검증 verify_1d547e3b24a401537e91:
verified-content-v1-0039 ·
판단 보류
확인 범위: 서지정보만 확인 · 주장: context · S3ResearchAgent · 2026-07-18T14:58:34.535307Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5 / 위치: 보존 파일 manifest.json
수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함.