Folly vs Abseil 철학 비교 — performance-first vs std-compatible
한 줄 요약: Abseil은 std의 보완을 목표로 하고 Folly는 std의 능가를 목표로 한다. 같은 utility 라이브러리지만 거의 모든 설계 결정이 반대로 간다.
#동기 — 왜 두 라이브러리가 다른 길을 갔는가
Google과 Meta는 같은 시기에 비슷한 규모의 C++ 코드베이스를 갖게 됐다. 그러나 두 회사가 도달한 결론은 다르다.
Google은 Living at Head 철학을 택했다. 단일 monorepo, 단일 빌드, 모든 코드가 항상 최신 라이브러리에 맞춰진다. 그래서 Abseil은 호환성 가드레일을 만든다. 표준이 도착하면 표준으로 옮길 수 있도록 API를 미리 일치시킨다.
Meta도 monorepo지만 Folly는 성능 가드레일을 만든다. 워크로드의 critical path를 측정하고, 그 부분의 마이크로 최적화를 라이브러리 레벨로 흡수한다. 호환성보다 성능 회귀를 막는 데 더 많은 코드를 쓴다.
#핵심 결정의 비교
#1. 예외 정책
// Abseil — 예외 사용 안 함absl::StatusOr<User> GetUser(int id) { if (id < 0) return absl::InvalidArgumentError("id<0"); return User{id};}
// Folly — 예외 적극 활용folly::Future<User> getUserAsync(int id) { if (id < 0) throw std::invalid_argument("id<0"); return folly::makeFuture(User{id});}Abseil은 Google C++ Style Guide의 “no exceptions” 정책을 따른다. absl::Status, absl::StatusOr<T>로 에러를 값으로 표현한다. Folly는 예외를 folly::exception_wrapper로 type-erase해서 Future 체인을 통해 전파한다. setException()이 Promise API의 1급 시민이다.
#2. 의존성
| 라이브러리 | 의존성 |
|---|---|
| Abseil | 자체 완결 (CMake 기준), C++17 표준만, 옵션 Bazel |
| Folly | Boost (Context, ProgramOptions, …), glog, gflags, jemalloc (강력 권장), OpenSSL, double-conversion, fmt, libevent (executors), libdwarf (symbolizer) |
Folly를 도입하면 생태계 전체가 들어온다. 패키지 매니저로 vcpkg/Conan을 쓰지 않으면 빌드 자체가 어렵다. Abseil은 add_subdirectory만으로 충분한 경우가 많다.
#3. ABI 정책
// Abseil — 동일 빌드 unit 내 보장// 모든 binary가 같은 Abseil version으로 컴파일되어야 함
// Folly — 어떤 ABI 보장도 없음// commit 단위로 layout이 바뀔 수 있음// 정적 링크 강제 권장Abseil은 LTS branch를 유지한다(예: 20240722). LTS 안에서는 API 호환성을 약속한다. Folly에는 그런 약속이 없다. 외부 사용자는 특정 commit에 고정해서 쓰는 게 일반적이다.
#pImpl을 안 쓰는 라이브러리
두 라이브러리 모두 pImpl을 거의 안 쓴다. ABI 안정성보다 zero-overhead가 우선이라는 결정이다.
pImpl은 heap 1번 + indirection 1번이라 hot path에서 측정 가능한 비용이다. Folly/Abseil은 internal type을 header에 노출하는 대신 ABI 호환성 책임을 사용자에게 떠넘긴다 — 같은 컴파일러로 통째로 빌드하라는 식.
#4. Async 모델
// Abseil — async 없음// std::future, std::async, std::thread 사용
// Folly — 풍부한 async 도구folly::SemiFuture<int> compute();folly::CPUThreadPoolExecutor pool(8);compute().via(&pool).thenValue([](int x) { ... });
// Fiber: M:N stackful coroutinefolly::fibers::FiberManager fm(...);fm.addTask([] { /* baton.wait() OK */ });Async는 두 라이브러리의 가장 큰 격차다. Google은 기본적으로 표준 thread/future 위에 자체 패턴을 만들었고, Abseil은 그 위에 utility를 얹지 않았다. Meta는 일찍부터 비동기를 라이브러리화했다.
#5. 컨테이너 철학
// Abseil — Swiss table 기반 hashmapabsl::flat_hash_map<K, V> // value-stable 아님absl::node_hash_map<K, V> // pointer-stableabsl::btree_map<K, V> // ordered
// Folly — F14 (Facebook 14-way) hashmapfolly::F14ValueMap<K, V> // value 직접 저장folly::F14NodeMap<K, V> // pointer-stablefolly::F14VectorMap<K, V> // iteration locality 최적folly::F14FastMap<K, V> // size 기반 자동 선택둘 다 SIMD를 활용한 16-way probing이지만, F14는 iteration order/locality 변형을 더 많이 제공한다. Folly는 워크로드별 변형을 라이브러리에 노출하는 경향이 강하다.
#코드 패턴 비교
#에러 처리
// Abseil 스타일absl::StatusOr<Config> LoadConfig(absl::string_view path) { auto file = std::ifstream(std::string(path)); if (!file) { return absl::NotFoundError(absl::StrCat("missing: ", path)); } // ... return Config{};}
absl::Status Run() { ASSIGN_OR_RETURN(auto cfg, LoadConfig("a.cfg")); return absl::OkStatus();}// Folly 스타일 (예외)folly::Future<Config> loadConfigAsync(folly::StringPiece path) { return folly::via(&io_executor_, [path = path.str()] { std::ifstream file(path); if (!file) throw std::runtime_error(folly::sformat("missing: {}", path)); return Config{}; });}
// 또는 Try<T>folly::Try<Config> loadConfig(folly::StringPiece path) { std::ifstream file(path.str()); if (!file) return folly::Try<Config>(folly::make_exception_wrapper<std::runtime_error>("missing")); return folly::Try<Config>(Config{});}#문자열 조작
// Abseilstd::string s = absl::StrCat("user=", name, " id=", id);auto parts = absl::StrSplit(line, ',');std::string joined = absl::StrJoin(parts, "|");
// Follystd::string s = folly::sformat("user={} id={}", name, id);std::vector<folly::StringPiece> parts;folly::split(',', line, parts);std::string joined = folly::join("|", parts);API 모양은 비슷하지만 Folly는 split의 out parameter를 더 자주 노출한다(할당 회피).
#언제 무엇을 쓰는가
| 상황 | 권장 |
|---|---|
| 예외 금지 환경 (game engine, embedded) | Abseil |
| Google 스타일 가이드 준수 프로젝트 | Abseil |
| async/IO가 중심인 서버 | Folly |
| C++14 호환이 필요한 legacy | Folly (Optional, format 등) |
| 표준에 도달한 기능을 쓸 수 있다 | std |
| ABI 안정성이 필요한 라이브러리 SDK | Abseil LTS or std |
| 워크로드 hot path 최적화 | Folly |
| 빌드 시스템을 단순하게 유지 | Abseil |
#코드 리뷰 포인트
- 혼용하지 마라. 한 모듈에서
absl::Status와folly::Future예외 전파를 동시에 쓰면 에러 경로가 두 갈래로 갈라진다. - 타입 변환 비용을 보자.
absl::string_view↔folly::StringPiece,absl::Time↔std::chrono는 매번 변환 비용이 생긴다. - 의존성 닫기를 확인하라. Folly 헤더가 어느 boost를 끌고 들어오는지 build graph를 검증한다.
#자주 보는 안티패턴
// 1. 두 라이브러리에서 같은 기능을 둘 다 import#include <folly/Optional.h>#include "absl/types/optional.h"// folly::Optional<absl::optional<int>> ← 의미 없음
// 2. Abseil exception을 Folly Future로 잘못 전파absl::Status s = ...;folly::makeFuture(s); // Status는 throw되지 않음 — Future 체인이 error로 안 흐름
// 3. F14에 value-stable iterator 가정folly::F14ValueMap<K, V> m;auto& v = m[k];m.insert(...); // rehash 가능 — v dangling#정리
- 두 라이브러리는 같은 자리에서 반대 방향으로 출발했다.
- 예외/의존성/ABI/async는 결정이 완전히 갈린다.
- 컨테이너는 둘 다 Swiss-table류로 수렴했지만 변형 옵션은 Folly가 더 많다.
- 같은 프로젝트에서 혼용하지 말고, 모듈 단위로 선택을 일관시킨다.
- C++20 이후 표준이 차이를 빠르게 줄이고 있으므로 신규 코드는 표준 우선 검토한다.
#다음 편
Part 1-03: Build / fbcode 환경에서 Folly의 monorepo 빌드 구조와 외부 빌드의 함정을 본다.
#관련 항목
Folly Code Review · 3 of 89
- 1 Folly Code Review — Meta의 production-grade C++ 라이브러리 코드 분석
- 2 Folly 개요 — Meta가 production에서 검증한 utility 모음 분석
- 3 Folly vs Abseil 철학 비교 — performance-first vs std-compatible
- 4 Folly 빌드와 fbcode 환경 — monorepo의 그림자
- 5 Folly API stability 정책 — 어떤 보장도 없다는 솔직함
- 6 Folly production validation 문화 — peta-scale에서 단련된 코드
- 7 folly::Future 분석 — std::future의 한계를 넘는 composable async
- 8 folly::Promise·makeFuture — Future를 만드는 두 길
- 9 folly::SemiFuture vs Future — executor binding의 명시화
- 10 folly::Future thenValue·thenError·thenTry — continuation 체인 분석
- 11 folly::collect·collectAll·collectAny — fan-in 패턴 분석
- 12 folly::Future retry·window·via — 제어 흐름 조합자
- 13 folly::fibers 분석 — M:N stackful coroutine
- 14 folly::InlineExecutor — 호출자 thread에서 즉시 실행
- 15 folly::CPUThreadPoolExecutor — CPU-bound 작업의 표준 thread pool
- 16 folly::IOThreadPoolExecutor — libevent 기반 I/O pool
- 17 folly::ManualExecutor — 결정적 테스트를 위한 수동 진행
- 18 folly::EventBase 분석 — libevent 이벤트 루프의 핵심
- 19 folly::IOBuf 분석 — zero-copy buffer chain의 기본 단위
- 20 folly::IOBufQueue — chain의 push/pull 추상화
- 21 folly::io::Cursor·RWCursor — chain 위의 stream
- 22 folly Zero-copy 패턴 — IOBuf로 ScatterGather I/O 표현
- 23 folly::IOBuf shared semantics — clone·unshare·takeOwnership
- 24 folly::FBString 분석 — SSO + COW 구현
- 25 folly의 fmt::format 통합 — 모던 포맷팅 채택
- 26 folly::StringPiece — string_view 호환 분석
- 27 folly Join·Split utilities — 문자열 분해와 결합
- 28 folly::to·tryTo — text↔num 변환 분석
- 29 folly Conv Customization — 사용자 타입 지원
- 30 folly Conv 성능 비교 — sprintf·stringstream 대비
- 31 folly::F14ValueMap vs std::unordered_map
- 32 folly::F14NodeMap — stable pointer가 필요할 때
- 33 folly::F14VectorMap — cache-friendly iteration
- 34 folly::F14FastMap — auto-select 동작
- 35 folly F14 internals — SIMD probing 메커니즘
- 36 folly::small_vector — inline storage 분석
- 37 folly::FixedString — compile-time string
- 38 folly::AtomicHashMap — lock-free read 분석
- 39 folly::ConcurrentHashMap — sharded 동시 해시 맵
- 40 folly::EvictingCacheMap — LRU 구현 분석
- 41 folly::Synchronized — lock wrapper 패턴
- 42 folly::SharedMutex 분석
- 43 folly::Baton — one-shot wait 동기화
- 44 folly::RWSpinLock 분석
- 45 folly::PicoSpinLock — 1-byte spinlock
- 46 folly::ProducerConsumerQueue — SPSC 큐 분석
- 47 folly::MPMCQueue — multi-producer multi-consumer
- 48 folly::UnboundedQueue — 동적 크기 lock-free
- 49 folly::fibers::Channel — Go-like channel
- 50 folly::dynamic — JSON-like dynamic type 분석
- 51 folly JSON conversion — toJson·parseJson
- 52 folly dynamic ↔ struct — manual marshaling
- 53 folly dynamic Visitor pattern — type별 분기
- 54 folly::Singleton vs Meyers/static — 왜 Folly의 Singleton인가
- 55 folly::SingletonVault 분석 — 등록·소멸·의존성
- 56 folly::Singleton try_get·try_get_fast — TLS-cached 접근
- 57 folly::ExceptionWrapper — type-erased exception holder
- 58 folly::ScopeGuard·SCOPE_EXIT — RAII cleanup
- 59 folly::Optional vs std::optional
- 60 folly::Function vs std::function
- 61 folly::Lazy — 지연 초기화 wrapper
- 62 folly Meta 스타일 code review 패턴
- 63 folly anti-patterns — 잘못 쓰면 std보다 느림
- 64 folly vs std 선택 기준 분석
- 65 folly::coro 개요 — production C++20 코루틴 어댑터
- 66 folly::coro::Task — lazy single-shot 코루틴
- 67 folly::coro::AsyncGenerator — 비동기 스트림
- 68 folly coro blockingWait·collectAll — 동기 경계와 fan-in
- 69 folly::coro::Baton·Mutex — 코루틴-aware 동기화
- 70 folly::Expected — 결과 또는 오류
- 71 folly::Try — Future 결과 wrapper
- 72 folly::Try vs Expected 선택 기준
- 73 folly::Range — 일반 iterator pair
- 74 folly::Uri — URL 파서
- 75 folly Fingerprint64·128 — 분산 hash
- 76 folly SpookyHashV2 — fast non-crypto hash
- 77 folly::Init — main() 부트스트랩
- 78 folly::Indestructible — global lifetime 패턴
- 79 folly::MicroLock — 1-byte 락
- 80 folly::MicroSpinLock — 가장 좁은 spin lock
- 81 folly::format — legacy formatter 분석
- 82 folly::demangle — typeid 디망글링
- 83 folly::DynamicConverter — dynamic ↔ struct
- 84 folly::RecordIO — append-only 로그 파일 포맷
- 85 folly::io::Compression — zstd·lz4·snappy wrapper
- 86 folly::AsyncIO — io_uring·Linux AIO
- 87 folly::CancellationToken — 코루틴·Future 취소 전파
- 88 folly::observer — hot config의 atomic refresh
- 89 fbcode 패턴 모음 — folly 사용의 실전
관련 글
folly vs std 선택 기준 분석
Part 14-03: std/abseil/folly 선택 의사결정 가이드 — production scale, throughput, latency profile에 따른 분기.
같은 시리즈에서 이어 읽기
fbcode 패턴 모음 — folly 사용의 실전
Meta fbcode 코드 리뷰에서 반복적으로 등장하는 folly 사용 패턴 — overview + 시리즈 마무리.
같은 시리즈에서 이어 읽기
folly::observer — hot config의 atomic refresh
folly::observer — read mostly 값의 atomic refresh, hot config·feature flag·LB weight 같은 패턴의 표준.
같은 시리즈에서 이어 읽기