리눅스에서의 쓰레드 스케줄링에 관해서 질문 드립니다.

먼저 "얼핏 듣기로는 pthread 같은 경우는 라이브러리에서 제공하는 스케쥴러를 사용한다고 들은것 같아서요" 요 부분은 일단 결론은 아닙니다 입니다. 만약 glibc 내에 포함된 posix thread api 를 쓴다면, 커널의 스케줄러가 pthread 를 스케줄링 하게 됩니다. 저런 말이 나올 수 있는게, GNU pth 라고 posix thread api 를 유저 레벨 쓰레드로 구현해 놓은 것이 있습니다. 이 라이브러리를 사용하게 되면, 유저 레벨 쓰레드 구현체인 만큼 라이브러리 내의 스케줄러로 스케줄링 하게 되겠습니다.

이건 확실하구요. 지금 부터 말씀드리는 것은 솔직히 자신 없습니다. 틀릴 확률도 있어요. 고수 분 태클 대 환영입니다 ㅜㅜ

그리고 아마도 현대 UNIX 운영체제 중 스케줄러 관점에서 프로세스와 쓰레드의 차이를 두는 운영체제는 없을 듯 합니다. 프로세스는 자원 할당 단위이고 쓰레드는 스케줄링의 단위인데, 예전에 쓰레드가 없었던 시절의 운영체제에서는 프로세스 밖에 없었으니 프로세스 단위로 스케줄링 했을 것이고, 현대 운영체제 처럼 커널 쓰레드를 지원하는 운영체제는 기본적으로 쓰레드가 스케줄링 단위입니다. 만약 쓰레드를 생성하지 않은 프로세스는 당연히 하나의 쓰레드로 생각해서 스케줄링 하게 될 것입니다.

여기 까지도 어느 정도는 내용을 확신할 수 있습니다. ^^ 자 이제 부터는 더더욱 머리속이 애매한 부분입니다. ㅜㅜ

기본적으로 모든 운영체제는 스케줄러 입장에서는 쓰레드를 스케줄링 단위로 삼는데, 님께서 말씀하신 "리눅스에서는 스케쥴러 관점에서는 쓰레드와 일반 프로세스간에 차이가 없는 것으로 알고 있습니다." 이 부분은 아마도 리눅스의 특이한 프로세스 생성법에 대한 이야기 인 것 같습니다. 리눅스에서 pthread 가 이직 구현 되지 않았던 시절에, 리눅스 프로세스는 다른 unix 의 프로세스와는 좀 달랐습니다. 프로세스를 생성할 때(즉 fork() 할 때), 새롭게 프로세스 공간 전체를 만드는 것이 아니라 공유할 수 있는 것들은 공유해 버릴 수 있는 성질을 리눅스는 가지고 있습니다. clone() 이 쓰레드를 만드는 시스템 콜이기는 하지만, 사실 fork()는 clone() 의 랩퍼 함수였습니다. 즉 fork()는 프로세스를 생성하되, clone() 을 호출하되 인자로 코드 세그먼트만 공유하고 다른 것은 모두 새롭게 만들도록 하는 clone 랩퍼 펑션이었죠. 물론 clone() 을 사용하면 데이터 세그먼트도 공유가능한 프로세스 혹은 쓰레드를 만들 수도 있었습니다. 이랬었기 때문에, 리눅스에서는 쓰레드와 프로세스의 구분이 없다는 말을 하곤 했습니다. 다른 운영체제의 프로세스 구현에 비해 프로세스를 만드는 비용이 훨씬 적게들어갔으니까요. 그래서 아파치가 2.0 으로 넘어오면서 thread 방식을 쓸수 있게 되었는데, 리눅스의 경우는 쓰레드를 쓰는 것과 프로세스를 쓰는 경우의 성능 차이가 미비했습니다. 어차피 쓰레드를 생성하는 것과 프로세스를 생성하는게 같은 방식으로 생성되었기 때문입니다.

그러나 몇 년 사이 상황이 많이 달라졌습니다. NTPL 이라는 새로운 POSIX Thread 구현체가 커널 내로 들어 오면서, 쓰레드와 fork로 만들어진 프로세스의 성격이 많이 상이해 졌을 겁니다.

아마 커널 고수님께서 답변 더 잘해주리라 믿습니다 ^^ 저도 궁금하네요... 아무도 답변을 달아주시지 않아서 일단 매우 부족합니다만 ㅜㅜ 한번 달아 봅니다.

아 그리고 자바의 경우는 플랫폼이나 구현마다 다르겠지만 그 운영체제의 쓰레드를 그대로 쓰지 않을까요? 딴 건 잘 모르겠는데 IBM 의 자바 구현체는 리눅스에서 NTPL 구현체를 사용하는 것으로 알고 있습니다 ^^

수정 : NTPL 구현체도 clone 시스템콜로 쓰레드를 생성한다고 합니다 ^^