https://lkic1625.github.io/blog/goroutine/Recent content in Goroutine on Hammer's BlogHugoko-kr© 조원빈 - All rights reservedWed, 30 Sep 2026 17:41:37 +0900https://lkic1625.github.io/go-runtime-internals/Wed, 30 Sep 2026 17:41:37 +0900https://lkic1625.github.io/go-runtime-internals/<blockquote> <p><strong>작성 중인 글입니다.</strong> Goroutine Stack까지 정리했으며, M·P·schedt·netpoller·sysmon 설명은 이어서 작성할 예정입니다.</p></blockquote> <h2 id="개요">개요</h2> <p>고루틴을 설명하라고 하면, 반드시 나오는 이야기가 있다. GMP 구조이다. 고루틴의 위대한 업적 중 하나를 뽑자면, 어려운 경량 스레드 모델링에 대해 가장 직관적이고 명료한 모델링이라고 생각한다. 다만, GMP 모델을 아는 것과 이를 완전히 이해하는 것은 서로 다른 문제이다. 아래 질문에 대해서 답변할 수 있는가?</p> <ul> <li>왜 <code>G → OS Thread</code>가 아니라 <strong>G-M-P</strong>일지</li> <li>왜 <code>GOMAXPROCS</code>를 통해 <strong>P 개수</strong>를 제한해야하는지, 그리고 그 개수는 왜 코어 개수인지.</li> <li>go runtime은 어떻게 <strong>필요한 M만 유지하면서 runnable G를 P에 공급하는지</strong></li> <li>network I/O 시에 고루틴은 어떻게 동작하는지 이 글은 이 질문에 답변하기 위한 글이다.</li> </ul> <h2 id="topology">Topology</h2> <h3 id="g---goroutine">G - Goroutine</h3> <h4 id="goroutine-stack">Goroutine Stack</h4> <p>우리가 가장 잘 아는 고루틴이다. stackful한 구조를 통해, 자신이 언제 어디서 멈췄는지를 기억하는, 독립적인 Call Stack을 가지고 있다. 참고로, 보통 코루틴을 나누는 구조 중에 하나는 stackful, stackless이다. stackless는 간단하게 설명하자면, 명시적인 구절을 통해 실제 컴파일 단에서 suspension 지점을 지정하고 상태 기계를 통해 관리하는 방식이다.(물론, 호출자의 스택을 이용해 최소한의 정보만을 저장을 한다는 의미이다.) 코루틴의 대한 다양한 논의와 코루틴 이론에 대해서는 몇 가지 글을 참고할 수 있겠으나, 이 글에서는 다루지 않겠다. [1], [2]</p>