본문으로 건너뛰기
Folly Code Review · 0/89

Folly Code Review — Meta의 production-grade C++ 라이브러리 코드 분석

· Hawk · 8분 읽기
cpp folly meta facebook library code-review overview

#이 시리즈를 쓰는 이유

Meta는 수십억 사용자 트래픽을 처리하는 fbcode mono-repo에서 C++ 라이브러리를 만들었고, 그 중 외부에 공개해도 무방한 부분이 Folly다. 이름은 “Facebook Open-source LibrarY”의 약자지만, 실제로는 production에서 std로는 부족한 부분을 채워 넣은 도구 모음이다.

Folly는 Abseil과 비교되는 일이 많다. 둘 다 std::을 보완하지만 철학이 다르다. Abseil이 std 호환을 유지하면서 보완한다면, Folly는 성능을 위해서라면 std와 다른 모양도 감수한다. fbstring의 SSO+COW, F14 map의 SIMD probing, fibers의 M

coroutine 모델은 모두 그런 결정의 산물이다.

이 시리즈는 Folly의 컴포넌트를 사용법으로 훑지 않는다. Meta가 사내에서 무엇을 보고 받아들였는가, 즉 왜 이 API가 std와 다른지, 언제 쓰면 std보다 빨라지고 언제 잘못 쓰면 더 느려지는지를 함께 본다.

#대상 독자

  • C++ 중급 이상 — std::vector, std::unique_ptr, std::function에 익숙한 사람
  • 비동기/병행 코드를 자주 다루는 시니어 엔지니어 (Future, Executor가 핵심)
  • 메모리/네트워크 성능에 민감한 시스템을 만드는 사람 (IOBuf)
  • “folly::dynamic은 std::any와 뭐가 달라?”가 궁금한 사람

C++ 초심자는 먼저 Effective Modern C++ 시리즈를 권한다.

#시리즈 구성

총 14 Parts × 63편으로 구성된다.

Part제목핵심편수
1Foundations설계 철학, fbcode, API stability5
2Future / Asyncfolly::Future, Promise, SemiFuture7
3ExecutorInline, CPU, IO, Manual, EventBase5
4IOBuf & Memoryzero-copy buffer chain5
5Strings (FBString)SSO + COW, fmt, StringPiece4
6Convfolly::to / tryTo3
7F14 MapsSIMD-probed hash map5
8ContainerSmallVector, AtomicHashMap, LRU5
9SynchronizationSynchronized, Baton, SharedMutex5
10Concurrency PrimitivesSPSC/MPMC queue, fiber channel4
11Dynamic Typingfolly::dynamic, JSON, visitor4
12Singleton / Factoryfolly::Singleton, vault3
13UtilityExceptionWrapper, ScopeGuard, Function5
14Code Review LessonsMeta style, anti-patterns, std vs folly3

#Part 1 — Foundations (5)

Folly가 왜 존재하는지, Abseil과의 차이부터.

#글 제목
1-01Folly 개요 — Meta가 production에서 검증한 utility
1-02Folly vs Abseil 철학 차이 (performance-first vs std-compatible)
1-03Build / fbcode 환경
1-04API stability 정책
1-05Production validation 문화

#Part 2 — Future / Async (7)

#글 제목
2-01folly::Future 개요
2-02Promise / makeFuture
2-03SemiFuture vs Future (executor binding)
2-04.then / .thenValue / .thenError
2-05collect / collectAll / collectAny
2-06retry / window / via
2-07fibers (M
coroutine)

#Part 3 — Executor (5)

#글 제목
3-01InlineExecutor
3-02CPUThreadPoolExecutor
3-03IOThreadPoolExecutor (libevent 기반)
3-04ManualExecutor (deterministic 테스트)
3-05EventBase

#Part 4 — IOBuf & Memory (5)

#글 제목
4-01IOBuf — 비복사 buffer chain
4-02IOBufQueue
4-03Cursor (read/write)
4-04Zero-copy 패턴
4-05IOBuf shared semantics

#Part 5 — Strings (FBString) (4)

#글 제목
5-01FBString — SSO + COW
5-02fmt::format integration
5-03StringPiece (string_view 호환)
5-04Join / split utilities

#Part 6 — Conv (3)

#글 제목
6-01folly::to / tryTo (text↔num 변환)
6-02Customization (사용자 타입)
6-03Performance vs sprintf / stringstream

#Part 7 — F14 Maps (5)

#글 제목
7-01F14ValueMap vs std::unordered_map
7-02F14NodeMap (stable pointer)
7-03F14VectorMap (cache-friendly iteration)
7-04F14FastMap (auto-select)
7-05F14 internals (SIMD probing)

#Part 8 — Container (5)

#글 제목
8-01SmallVector (inline storage)
8-02FixedString (compile-time string)
8-03AtomicHashMap (lock-free read)
8-04ConcurrentHashMap (sharded)
8-05EvictingCacheMap (LRU)

#Part 9 — Synchronization (5)

#글 제목
9-01Synchronized (lock wrapper)
9-02SharedMutex
9-03Baton (one-shot wait)
9-04RWSpinLock
9-05PicoSpinLock (1-byte spinlock)

#Part 10 — Concurrency Primitives (4)

#글 제목
10-01ProducerConsumerQueue (SPSC)
10-02MPMCQueue
10-03UnboundedQueue
10-04fibers::Channel

#Part 11 — Dynamic Typing (4)

#글 제목
11-01folly::dynamic
11-02JSON conversion (toJson / parseJson)
11-03Dynamic ↔ struct
11-04Visitor pattern

#Part 12 — Singleton / Factory (3)

#글 제목
12-01Singleton vs Meyers / static
12-02SingletonVault
12-03try_get / try_get_fast (성능)

#Part 13 — Utility (5)

#글 제목
13-01ExceptionWrapper
13-02ScopeGuard / SCOPE_EXIT
13-03folly::Optional (vs std::optional)
13-04folly::Function (vs std::function)
13-05Lazy

#Part 14 — Code Review Lessons (3)

#글 제목
14-01Meta 스타일 code review
14-02Folly anti-patterns (잘못 쓰면 std보다 느림)
14-03std vs folly 선택 기준

#자매 시리즈

이 시리즈와의 차이: 위 셋은 언어 feature를 다루고, 이 시리즈는 industrial library를 reading lens로 다룬다. Folly와 Abseil은 같은 문제에 다른 답을 내놓은 라이브러리다. 둘을 나란히 읽으면 production C++의 트레이드오프가 보인다.

#학습 로드맵

처음부터 1편씩 순서대로 읽지 않아도 된다. 권장 순서:

  1. 핵심 (먼저) — Part 2 (Future), Part 3 (Executor), Part 9 (Synchronization). 비동기/병행이 Folly의 가장 강력한 영역.
  2. 고성능 자료구조 — Part 7 (F14), Part 4 (IOBuf), Part 10 (Concurrency Primitives).
  3. 유틸리티 — Part 13 (ExceptionWrapper, ScopeGuard) — 다른 곳에서 흔히 빠진 것.
  4. 선택적 — Part 11 (dynamic), Part 12 (Singleton) — 필요할 때만.
  5. Part 14 — 모든 Part를 본 후 — std vs folly 의사결정.

#관련 항목

Folly Code Review · 1 of 89

  1. 1 Folly Code Review — Meta의 production-grade C++ 라이브러리 코드 분석
  2. 2 Folly 개요 — Meta가 production에서 검증한 utility 모음 분석
  3. 3 Folly vs Abseil 철학 비교 — performance-first vs std-compatible
  4. 4 Folly 빌드와 fbcode 환경 — monorepo의 그림자
  5. 5 Folly API stability 정책 — 어떤 보장도 없다는 솔직함
  6. 6 Folly production validation 문화 — peta-scale에서 단련된 코드
  7. 7 folly::Future 분석 — std::future의 한계를 넘는 composable async
  8. 8 folly::Promise·makeFuture — Future를 만드는 두 길
  9. 9 folly::SemiFuture vs Future — executor binding의 명시화
  10. 10 folly::Future thenValue·thenError·thenTry — continuation 체인 분석
  11. 11 folly::collect·collectAll·collectAny — fan-in 패턴 분석
  12. 12 folly::Future retry·window·via — 제어 흐름 조합자
  13. 13 folly::fibers 분석 — M:N stackful coroutine
  14. 14 folly::InlineExecutor — 호출자 thread에서 즉시 실행
  15. 15 folly::CPUThreadPoolExecutor — CPU-bound 작업의 표준 thread pool
  16. 16 folly::IOThreadPoolExecutor — libevent 기반 I/O pool
  17. 17 folly::ManualExecutor — 결정적 테스트를 위한 수동 진행
  18. 18 folly::EventBase 분석 — libevent 이벤트 루프의 핵심
  19. 19 folly::IOBuf 분석 — zero-copy buffer chain의 기본 단위
  20. 20 folly::IOBufQueue — chain의 push/pull 추상화
  21. 21 folly::io::Cursor·RWCursor — chain 위의 stream
  22. 22 folly Zero-copy 패턴 — IOBuf로 ScatterGather I/O 표현
  23. 23 folly::IOBuf shared semantics — clone·unshare·takeOwnership
  24. 24 folly::FBString 분석 — SSO + COW 구현
  25. 25 folly의 fmt::format 통합 — 모던 포맷팅 채택
  26. 26 folly::StringPiece — string_view 호환 분석
  27. 27 folly Join·Split utilities — 문자열 분해와 결합
  28. 28 folly::to·tryTo — text↔num 변환 분석
  29. 29 folly Conv Customization — 사용자 타입 지원
  30. 30 folly Conv 성능 비교 — sprintf·stringstream 대비
  31. 31 folly::F14ValueMap vs std::unordered_map
  32. 32 folly::F14NodeMap — stable pointer가 필요할 때
  33. 33 folly::F14VectorMap — cache-friendly iteration
  34. 34 folly::F14FastMap — auto-select 동작
  35. 35 folly F14 internals — SIMD probing 메커니즘
  36. 36 folly::small_vector — inline storage 분석
  37. 37 folly::FixedString — compile-time string
  38. 38 folly::AtomicHashMap — lock-free read 분석
  39. 39 folly::ConcurrentHashMap — sharded 동시 해시 맵
  40. 40 folly::EvictingCacheMap — LRU 구현 분석
  41. 41 folly::Synchronized — lock wrapper 패턴
  42. 42 folly::SharedMutex 분석
  43. 43 folly::Baton — one-shot wait 동기화
  44. 44 folly::RWSpinLock 분석
  45. 45 folly::PicoSpinLock — 1-byte spinlock
  46. 46 folly::ProducerConsumerQueue — SPSC 큐 분석
  47. 47 folly::MPMCQueue — multi-producer multi-consumer
  48. 48 folly::UnboundedQueue — 동적 크기 lock-free
  49. 49 folly::fibers::Channel — Go-like channel
  50. 50 folly::dynamic — JSON-like dynamic type 분석
  51. 51 folly JSON conversion — toJson·parseJson
  52. 52 folly dynamic ↔ struct — manual marshaling
  53. 53 folly dynamic Visitor pattern — type별 분기
  54. 54 folly::Singleton vs Meyers/static — 왜 Folly의 Singleton인가
  55. 55 folly::SingletonVault 분석 — 등록·소멸·의존성
  56. 56 folly::Singleton try_get·try_get_fast — TLS-cached 접근
  57. 57 folly::ExceptionWrapper — type-erased exception holder
  58. 58 folly::ScopeGuard·SCOPE_EXIT — RAII cleanup
  59. 59 folly::Optional vs std::optional
  60. 60 folly::Function vs std::function
  61. 61 folly::Lazy — 지연 초기화 wrapper
  62. 62 folly Meta 스타일 code review 패턴
  63. 63 folly anti-patterns — 잘못 쓰면 std보다 느림
  64. 64 folly vs std 선택 기준 분석
  65. 65 folly::coro 개요 — production C++20 코루틴 어댑터
  66. 66 folly::coro::Task — lazy single-shot 코루틴
  67. 67 folly::coro::AsyncGenerator — 비동기 스트림
  68. 68 folly coro blockingWait·collectAll — 동기 경계와 fan-in
  69. 69 folly::coro::Baton·Mutex — 코루틴-aware 동기화
  70. 70 folly::Expected — 결과 또는 오류
  71. 71 folly::Try — Future 결과 wrapper
  72. 72 folly::Try vs Expected 선택 기준
  73. 73 folly::Range — 일반 iterator pair
  74. 74 folly::Uri — URL 파서
  75. 75 folly Fingerprint64·128 — 분산 hash
  76. 76 folly SpookyHashV2 — fast non-crypto hash
  77. 77 folly::Init — main() 부트스트랩
  78. 78 folly::Indestructible — global lifetime 패턴
  79. 79 folly::MicroLock — 1-byte 락
  80. 80 folly::MicroSpinLock — 가장 좁은 spin lock
  81. 81 folly::format — legacy formatter 분석
  82. 82 folly::demangle — typeid 디망글링
  83. 83 folly::DynamicConverter — dynamic ↔ struct
  84. 84 folly::RecordIO — append-only 로그 파일 포맷
  85. 85 folly::io::Compression — zstd·lz4·snappy wrapper
  86. 86 folly::AsyncIO — io_uring·Linux AIO
  87. 87 folly::CancellationToken — 코루틴·Future 취소 전파
  88. 88 folly::observer — hot config의 atomic refresh
  89. 89 fbcode 패턴 모음 — folly 사용의 실전

관련 글

Folly 개요 — Meta가 production에서 검증한 utility 모음 분석

Folly의 출발점, 구성, std/Abseil과의 차별점 — Meta production에서 단련된 high-performance C++ 라이브러리.

· cpp

같은 시리즈에서 이어 읽기

folly Meta 스타일 code review 패턴

Part 14-01: Meta(Facebook) 사내 code review 문화 — performance-first lens.

· cpp

같은 시리즈에서 이어 읽기

folly::Future 분석 — std::future의 한계를 넘는 composable async

folly::Future가 std::future의 어떤 한계를 해결하는가 — continuation, executor binding, exception 전파.

· cpp

같은 시리즈에서 이어 읽기

이 글을 참조하는 글 (4)