Singularity 만든 Kurtzer의 사용자 공간 커널 Ginux, 해커뉴스서 UML·gVisor와 비교당하며 AI 작성 논쟁
- Ginux는 Singularity/Apptainer를 만든 Gregory Kurtzer가 공개한 사용자 공간 커널로, README 기준 x86-64 인터프리터와 ptrace 기반 네이티브 백엔드를 함께 갖춤.
- 호스트 커널이 ptrace로 시스템 콜을 사용자 공간에 되돌려 처리하는 구조라 오버헤드가 크고, README도 네이티브 백엔드를 속도 균형형(balanced)이라고만 표현함.
- 저장소 규모는 커밋 1,854개, 브랜치 5개, 태그 2개이며 dispatch 성능 벤치마크(benchmarks/gate15)와 HDAE 에이전트 스킬 문서가 함께 들어 있음.
- CI 워크플로 커밋에 Co-Authored-By: Claude Opus 5.5 서명이 남아 있어 LLM을 코딩에 쓴 정황이 드러났고, 해커뉴스 댓글은 이를 두고 'AI slop'이라고 비판함.
- 해커뉴스에서는 User-mode Linux와 gVisor를 비교 대상으로 올리며 리눅스 API 전체를 주는 UML을 두고 왜 새 커널을 처음부터 쓰냐는 질문이 나옴.
Hacker News 의견들
이런 건 아무도 진지하게 안 봐. 사용자 공간 커널이라 문제라는 건지, AI로 쓴 게 문제라는 건지 나도 아직 파악 중임.
리눅스 네임스페이스에 rootless까지 거의 다 되는 마당에 이건 방향이 좀 아닌 것 같음. 그래도 cgroup이랑 VM 사이 어딘가라 흥미롭긴 함.
남의 연구를 '틀렸다'고 단정하는 사람들, HN은 언제나 한결같네.
리눅스 커널은 레거시 때문에 공격 표면이 어마어마한데 네임스페이스로는 그게 안 줄어. 사용자 공간 커널은 거기서 답을 찾는 거고, 그래서 도커식 격리는 격리 문제에서는 막다른 길이라고 봄. gVisor 쪽이 이겼으면 좋겠음.
호스트 커널을 안 거치고 ring0 권한 없이 한 겹 더 지나가면 익스플로잇 벡터가 꽤 걸러지지 않나? 이 층이 뚫린다고 하드웨어 ring0까지 바로 주는 것도 아니고.
어제도 같은 글 올라왔었음. 하루 만에 피벗이라니, 린하고 애자일하다는 게 이런 건가.
User-mode Linux가 이미 있는데 왜 처음부터 새 커널을 쓰냐는 생각부터 듦. UML은 리눅스 API 전체를 그대로 준다는 게 장점인데.
UML이랑은 결이 다름. gVisor처럼 제한된 커널 인터페이스만 노출하는 쪽에 가까움.
시스템 콜은 어떻게 잡음? eBPF인가? README 훑어봐도 잘 안 보였는데. 리플라이 보니 ptrace 네이티브 백엔드라 오버헤드가 꽤 크다고 함.
모두가 하나의 OS를 공유하면 버그 하나로 전부 털리고, 각자 커널을 말아 쓰면 그 한 대만 털림. 중간 어딘가가 답이겠지.
보안이 생명인 곳에서는 AI-Ginux로 안 갈 거고, AI로 짜더라도 사람 여럿이 검증하는 단계가 꼭 필요함.