fork() + exec()의 시대는 끝났다?
전통적인 Unix의 fork() + exec() 시스템 콜은 프로세스 생성 시 높은 비용으로 인해 비효율적이라는 지적이 제기됨
Li Chen의 'Spawn Templates' 제안은 반복 실행 최적화를 목표로 했으나, 근본적인 fork() 비용 해결에는 한계가 있었음
커뮤니티에서는 pidfd 기반의 새로운 API를 통해 posix_spawn()을 구현하는 것이 더 나은 방향으로 제시됨
향후 posix_spawn()의 네이티브 구현이 리눅스 커널에 도입될 가능성이 있음
fork() + exec() 패턴의 근본적인 비효율성
커뮤니티에서는 전통적인 Unix의 fork() + exec() 시스템 콜 패턴이 프로세스 생성 시 전체 프로세스 상태 복사로 인해 근본적으로 비효율적이라고 지적합니다. 특히, fork()로 복사된 메모리 대부분을 exec()에서 즉시 폐기하는 과정은 상당한 비용 낭비로 간주됩니다. Mateusz Guzik은 이 패턴이 퇴출되어야 한다(needs to be retired)고 강하게 주장하며, 비용의 대부분을 차지하는 fork() 자체를 제거하는 방향으로 최적화가 이루어져야 한다고 강조했습니다.
Spawn Templates 제안의 목적과 한계
Li Chen의 'Spawn Templates' 제안은 동일한 실행 파일을 반복적으로 실행하는 애플리케이션의 성능 향상을 목표로 합니다. 커널이 실행 파일 정보를 미리 캐싱하여 재실행 속도를 높이는 방식입니다. 하지만 이 방식은 fork() 자체의 비용을 줄이지 못하며, 제안된 구조체(struct spawn_template_create_args, struct spawn_template_spawn_args)와 액션(spawn_template_action)을 통한 파일 디스크립터 및 시그널 처리 방식이 복잡하다는 지적이 있었습니다. 결과적으로 커널에 직접 통합되기보다는 새로운 API 설계의 영감이 될 것으로 보입니다.
pidfd 기반의 새로운 프로세스 생성 API 제안
Christian Brauner는 pidfd 추상화를 기반으로 한 새로운 API 설계를 제안했습니다. `pidfd_open()`에 빈 프로세스를 생성하는 옵션을 추가하고, `pidfd_config()` 시스템 콜을 통해 환경, 실행 이미지 등을 설정하는 방식입니다. 이는 posix_spawn() 표준 구현을 지원하며, 기존 fork()/exec()의 복잡성을 숨기는 방식이 아닌 명확한 API를 제공할 수 있다는 장점이 있습니다. Chen 역시 이 방향에 동의하며 향후 연구가 진행될 예정입니다.
posix_spawn()의 잠재적 이점과 구현 과제
논의의 핵심은 posix_spawn()이 fork()/exec() 패턴을 대체할 수 있는 현대적인 대안이라는 점입니다. 사용자 공간(User Space)에서의 네이티브 구현은 개발자들에게 더 예측 가능하고 효율적인 프로세스 생성 방식을 제공할 수 있습니다. 다만, 새로운 API 설계와 커널 지원이 필요하며, 기존 시스템과의 호환성 및 성능 최적화가 중요한 과제로 남아있습니다.
