<div id="readability-page-1" class="page"><div>
  <main>
    <h3 id="프로세스와-쓰레드의-생성과-수행">프로세스와 쓰레드의 생성과 수행</h3>
<hr>
<h4 id="프로세스">프로세스</h4>
<pre tabindex="0"><code>#include &lt;sys/types.h&gt;
#include &lt;unistd.h&gt;
#include &lt;stdio.h&gt;
#include &lt;stdlib.h&gt;

int g = 2;

int main() {
    pid_t pid;
    int i = 3;

    printf("PID(%d): parent g=%d, l=%d\n", getpid(), g, i);

    if ((pid = fork()) &lt; 0) {
        perror("fork error");
        exit(1);
    } else if (pid == 0) {
        g++;
        i++;
    } else {
        wait();
    }
    printf("PID(%d): parent g=%d, l=%d\n", getpid(), g, i);
    return 0;
}
</code></pre><p><img src="https://dl.dropbox.com/s/saro0csd55v20r1/Screen%20Shot%202022-05-14%20at%2020.48.06.png" alt=""></p>
<ul>
<li>
<p>전역변수 <code>g</code>와 <code>l</code>을 가지고 있는 프로그램을 <code>fork()</code> 함수를 통해서 새로운 프로세스를 생성하였다.</p>
</li>
<li>
<p>자식 프로세스에 전역 변수와 지역 변수를 각각 1씩 증가시켰기 때문에 값이 3, 4로 증가되어있는 모습을 확인할 수 있다. 반면에 부모 프로세스에서 <code>g</code>와 <code>l</code>을 다시 출력하면 각각 2, 3으로 되어있는 것을 확인할 수 있다.</p>
</li>
<li>
<p>이를 통해서 프로세스가 생성되면 주소 공간을 포함하여 이 프로세스를 위한 모든 자원들이 새롭게 할당 됨을 확인할 수 있다. 따라서 자식 프로세스의 연산 결과는 자식 프로세스 주소 공간의 변수에만 영향을 줄 뿐 부모 프로세스 주소 공간의 변수에는 영향이 없으며, 결국 지역 변수, 전역 변수 등의 값이 다르게 출력된 것이다.</p>
</li>
</ul>
<h4 id="쓰레드">쓰레드</h4>
<ul>
<li>만약 쓰레드에서는 수행 결과가 어떠한지 차이를 살펴보자. 리눅스에서는 쓰레드 생성을 위해서 <code>clone()</code> 이라는 시스템 호출을 제공한다.</li>
</ul>
<pre tabindex="0"><code>#define _GNU_SOURCE
#include &lt;unistd.h&gt;
#include &lt;stdio.h&gt;
#include &lt;stdlib.h&gt;
#include &lt;sched.h&gt;

int g = 2;

int sub_func(void *arg)
{
    g++;
    printf("PID(%d): child=%d\n", getpid(), g);
    sleep(2);
    return 0;
}

int main() {
    int pid;
    int child_stack[4096];
    int l = 3;
    printf("PID(%d) : parent g=%d, l=%d\n", getpid(), g, l);
    clone(sub_func, (void *)(child_stack + 4095), CLONE_VM | CLONE_THREAD | CLONE_SIGHAND, NULL);
    sleep(1);
    printf("PID(%d) : parent g=%d, l=%d\n", getpid(), g, l);
    return 0;
}
</code></pre><p><img src="https://dl.dropbox.com/s/70hiewjpfti8nrv/Screen%20Shot%202022-05-14%20at%2021.09.49.png" alt=""></p>
<ul>
<li>
<p>결과를 확인해보면, 일단 프로세스가 같은 것을 확인할 수 있다. 그리고, 전역 변수 값이 변경된 것을 확인할 수 있다.</p>
</li>
<li>
<p>즉, 기존에 수행되던 쓰레드는 자신이 생성한 쓰레드가 변수를 수정하면 그 수정된 결과를 그대로 볼 수 있다.</p>
</li>
<li>
<p>결론은 새로운 프로세스를 생성하면, 생성된 프로세스 (자식 프로세스)와 생성한 프로세스 (부모 프로세스) 는 서로 다른 주소의 공간을 갖는 반면에 새로운 쓰레드를 생성하면 같은 주소 공간을 공유한다.</p>
</li>
<li>
<p>한 프로세스에서 여러 쓰레드가 동작하는 모델을 다중 쓰레드 시스템이라고 하며 쓰레드 생성은 모든 자원을 새롭게 생성해 주어야 했던 프로세스에 비해서 생성에 드는 비용이 비교적 적다.</p>
</li>
<li>
<p>그리고 자식 쓰레드에서 결함이 발생하면 그것은 부모 쓰레드로 전파된다. 반면에 자식 프로세스에서 발생한 결함은 부모 프로세스에게 전파되지 않는다.</p>
</li>
<li>
<p>결국 쓰레드 모델은 지원 공유에 적합하며, 프로세스 모델은 결함 고립에 적합한 모델이다.</p>
</li>
</ul>
<h3 id="프로세스의-수행">프로세스의 수행</h3>
<hr>
<ul>
<li>리눅스는 태스크의 수행을 위해 <code>excel()</code> 이라는 시스템 호출을 제공한다.</li>
</ul>
<pre tabindex="0"><code>#include &lt;sys/types.h&gt;
#include &lt;unistd.h&gt;
#include &lt;stdio.h&gt;
#include &lt;stdlib.h&gt;

int main() {
    pid_t pid;

    int exit_status;

    if ((pid = fork()) &lt; 0) {
        perror("fork error");
        exit(1);
    } else if (pid == 0) {
        printf("before exec\n");
        execl("./fork", "fork", (char *)0);
        printf("after exec\n");
    } else {
        pid = wait(&amp;exit_status);
    }
    printf("parent\n");
    return 0;
}
</code></pre><p><img src="https://dl.dropbox.com/s/nccyio8r0del165/Screen%20Shot%202022-05-14%20at%2021.20.00.png" alt=""></p>
<ul>
<li>
<p>새로운 프로세스를 생성한 후에 생성된 프로세스에서 <code>execl()</code>를 호출하여 <code>fork</code> 라는 바이너리 파일을 수행한다.</p>
</li>
<li>
<p>“after exec” 라는 문자열은 출력되지 않았는데 이는 <code>execl()</code> 이 성공적으로 수행되면 프로세스의 수행 이미지 (텍스트, 데이터, 스택 등)가 기존의 것에서 새로운 것으로 바뀌며 이 때문에 “after exec"를 출력하는 <code>printf()</code>는 수행되지 않는다.</p>
</li>
<li>
<p>마지막으로 프로세스 생성 및 수행과 관련되어서 하나만 더 언급하지만 <code>fork()</code> 와 <code>vfork()</code>의 차이이다. 둘다 프로세스를 생성하지만, <code>fork()</code>는 부모 프로세스의 공간을 복사하여 자식 프로세스의 공간을 따로 만들지만 <code>vfork()</code>의 경우 일단은 같은 주소 공간을 가리킨다.</p>
</li>
<li>
<p>이때 <code>execl()</code> 이 자식 프로세스에서 수행되었다고 가정을 하면, 기존에 사용하던 프로세스의 주소 공간을 모두 없애고, 요청된 바이너리를 기반으로 새로운 주소 공간을 생성하는데, 이러면 자식 프로세스의 공간을 따로 만들어주었던 것이 불필요한 작업이 된다. 따라서 이러한 비효율을 제거하는 것이 바로 <code>vfork()</code> 이다.</p>
</li>
<li>
<p>최근 리눅스는 <code>COW</code> 기법을 도입하여 <code>fork()</code> 할 떄 야기되는 주소 공간 복사 비용을 많이 줄였다.</p>
</li>
</ul>
<h3 id="리눅스의-태스크-모델">리눅스의 태스크 모델</h3>
<hr>
<ul>
<li>
<p>위에서는 사용자 입장에서 프로세스와 쓰레드를 어떻게 생성하는지 살펴보았지만, 리눅스 커널에서는 이러한 객체들을 어떻게 구현하는지 살펴보자.</p>
</li>
<li>
<p>프로세스는 자신이 사용하는 자원과 그 자원에서 수행되는 수행 흐름으로 구성된다. 그리고 리눅스에서는 이를 관리하기 위해서 각 프로세스마다 <code>task_struct</code> 라는 자료 구조를 생성한다.</p>
</li>
<li>
<p>그럼 자원을 의미하는 사각형이 하나 그려지고 이 자원에서 수행되는 수행의 흐름을 의미하는 실선이 하나 생성된다. 그리고 리눅스에서는 <code>task_struct</code> 자료 구조를 생성한다.</p>
</li>
<li>
<p>스레드를 만들었을 때도 기존에 존재하는 프로세스에 실선이 하나 생성되고 리눅스 커널에서는 <code>task_struct</code> 가 하나 생성된다. 결국 리눅스에서는 프로세스가 생성되든 쓰레드가 생성되든 <code>task_struct</code> 라는 동일한 자료 구조를 생성하여 관리한다.</p>
</li>
<li>
<p>결국 리눅스 커널은 프로세스 또는 쓰레드 중에서 어떤 것이 요청될 지라도 모두, <code>task_struct</code> 자료 구조로 동일하게 관리한다. 단지 <code>task_struct</code> 자료 구조 중에서 수행 이미지를 공유하는가, 같은 쓰레드 그룹에 속해 있는가 등의 여부에 따라 프로세스, 또는 쓰레드로 사용자에게 해석되는 차이가 있을 뿐이다.</p>
</li>
<li>
<p>커널 내부에서는 쓰레드이건 프로세스이건 모두 태스크 구조체로 표현이 되는데 그렇다면 사용자들은 어떤 조건이 만족될 때 태스크를 프로세스라고 부르며 반대로 어던 조건이 만족될 떄 태스크를 쓰레드라고 부를까?</p>
</li>
<li>
<p>시스템에 존재하는 모든 태스크는 유일하게 구분이 가능해야 한다. 태스크 별로 유일한 이 값은 <code>task_struct</code> 구조체 내의 <code>pid</code> 필드에 담겨있다. 그런데 <code>POSIX</code> 표준에 의하면 ‘한 프로세스 내의 쓰래드는 동일한 PID를 공유해야 한다’ 라고 명시되어 있다. 리눅스에서는 이를 위해 <code>tgid</code> (Thread Group ID) 라는 개념을 도입했다.</p>
</li>
<li>
<p>태스크가 생성되면 이 태스크를 위한 유일한 번호를 <code>pid</code>로 할당해 준다. 그런 다음에 만약 사용자가 프로세스를 원하는 경우라면 생성된 태스크의 <code>tgid</code> 값을 새로 할당된 <code>pid</code> 값과 동일하게 넣어준다.</p>
</li>
<li>
<p>따라서 <code>tgid</code> 값도 유일한 번호를 갖게 된다. 사용자가 쓰레드를 원하는 경우라면 부모 쓰레드의 <code>tgid</code> 값과 동일한 값으로 생성된 태스크의 <code>tgid</code> 를 설정한다. 결국 부모 태스크의 자식 태스크는 동일한 <code>tgid</code>를 갖게 되며 동일한 프로세스에 속해있는 것으로 해석된다.</p>
</li>
</ul>
<h3 id="참고-문헌">참고 문헌</h3>
<hr>
<ul>
<li><a href="https://www.aladin.co.kr/shop/wproduct.aspx?ItemId=52166775">리눅스 커널 내부구조</a></li>
</ul>

    <a href="../../../../"> &gt;&gt; Home</a>
  </main>
</div></div>

Home on 개발자 이동욱

Lee Dong Wook

프로세스와 쓰레드의 생성과 수행
프로세스
#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>
int g = 2;
int main() {
    pid_t pid;
    int i = 3;
    printf("PID(%d): parent g=%d, l=%d\n", getpid(), g, i);
    if ((pid = fork()) < 0) {
        perror("fork error");
        exit(1);
    } else if (pid == 0) {
        g++;
        i++;
    } else {
        wait();
    }
    printf("PID(%d): parent g=%d, l=%d\n", getpid(), g, i);
    return 0;
}
전역변수 g와 l을 가지고 있는 프로그램을 fork() 함수를 통해서 새로운 프로세스를 생성하였다.
자식 프로세스에 전역 변수와 지역 변수를 각각 1씩 증가시켰기 때문에 값이 3, 4로 증가되어있는 모습을 확인할 수 있다. 반면에 부모 프로세스에서 g와 l을 다시 출력하면 각각 2, 3으로 되어있는 것을 확인할 수 있다.
이를 통해서 프로세스가 생성되면 주소 공간을 포함하여 이 프로세스를 위한 모든 자원들이 새롭게 할당 됨을 확인할 수 있다. 따라서 자식 프로세스의 연산 결과는 자식 프로세스 주소 공간의 변수에만 영향을 줄 뿐 부모 프로세스 주소 공간의 변수에는 영향이 없으며, 결국 지역 변수, 전역 변수 등의 값이 다르게 출력된 것이다.
쓰레드
만약 쓰레드에서는 수행 결과가 어떠한지 차이를 살펴보자. 리눅스에서는 쓰레드 생성을 위해서 clone() 이라는 시스템 호출을 제공한다.
#define _GNU_SOURCE
#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>
#include <sched.h>
int g = 2;
int sub_func(void *arg)
{
    g++;
    printf("PID(%d): child=%d\n", getpid(), g);
    sleep(2);
    return 0;
}
int main() {
    int pid;
    int child_stack[4096];
    int l = 3;
    printf("PID(%d) : parent g=%d, l=%d\n", getpid(), g, l);
    clone(sub_func, (void *)(child_stack + 4095), CLONE_VM | CLONE_THREAD | CLONE_SIGHAND, NULL);
    sleep(1);
    printf("PID(%d) : parent g=%d, l=%d\n", getpid(), g, l);
    return 0;
}
결과를 확인해보면, 일단 프로세스가 같은 것을 확인할 수 있다. 그리고, 전역 변수 값이 변경된 것을 확인할 수 있다.
즉, 기존에 수행되던 쓰레드는 자신이 생성한 쓰레드가 변수를 수정하면 그 수정된 결과를 그대로 볼 수 있다.
결론은 새로운 프로세스를 생성하면, 생성된 프로세스 (자식 프로세스)와 생성한 프로세스 (부모 프로세스) 는 서로 다른 주소의 공간을 갖는 반면에 새로운 쓰레드를 생성하면 같은 주소 공간을 공유한다.
한 프로세스에서 여러 쓰레드가 동작하는 모델을 다중 쓰레드 시스템이라고 하며 쓰레드 생성은 모든 자원을 새롭게 생성해 주어야 했던 프로세스에 비해서 생성에 드는 비용이 비교적 적다.
그리고 자식 쓰레드에서 결함이 발생하면 그것은 부모 쓰레드로 전파된다. 반면에 자식 프로세스에서 발생한 결함은 부모 프로세스에게 전파되지 않는다.
결국 쓰레드 모델은 지원 공유에 적합하며, 프로세스 모델은 결함 고립에 적합한 모델이다.
프로세스의 수행
리눅스는 태스크의 수행을 위해 excel() 이라는 시스템 호출을 제공한다.
#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>
int main() {
    pid_t pid;
    int exit_status;
    if ((pid = fork()) < 0) {
        perror("fork error");
        exit(1);
    } else if (pid == 0) {
        printf("before exec\n");
        execl("./fork", "fork", (char *)0);
        printf("after exec\n");
    } else {
        pid = wait(&exit_status);
    }
    printf("parent\n");
    return 0;
}
새로운 프로세스를 생성한 후에 생성된 프로세스에서 execl()를 호출하여 fork 라는 바이너리 파일을 수행한다.
“after exec” 라는 문자열은 출력되지 않았는데 이는 execl() 이 성공적으로 수행되면 프로세스의 수행 이미지 (텍스트, 데이터, 스택 등)가 기존의 것에서 새로운 것으로 바뀌며 이 때문에 “after exec"를 출력하는 printf()는 수행되지 않는다.
마지막으로 프로세스 생성 및 수행과 관련되어서 하나만 더 언급하지만 fork() 와 vfork()의 차이이다. 둘다 프로세스를 생성하지만, fork()는 부모 프로세스의 공간을 복사하여 자식 프로세스의 공간을 따로 만들지만 vfork()의 경우 일단은 같은 주소 공간을 가리킨다.
이때 execl() 이 자식 프로세스에서 수행되었다고 가정을 하면, 기존에 사용하던 프로세스의 주소 공간을 모두 없애고, 요청된 바이너리를 기반으로 새로운 주소 공간을 생성하는데, 이러면 자식 프로세스의 공간을 따로 만들어주었던 것이 불필요한 작업이 된다. 따라서 이러한 비효율을 제거하는 것이 바로 vfork() 이다.
최근 리눅스는 COW 기법을 도입하여 fork() 할 떄 야기되는 주소 공간 복사 비용을 많이 줄였다.
리눅스의 태스크 모델
위에서는 사용자 입장에서 프로세스와 쓰레드를 어떻게 생성하는지 살펴보았지만, 리눅스 커널에서는 이러한 객체들을 어떻게 구현하는지 살펴보자.
프로세스는 자신이 사용하는 자원과 그 자원에서 수행되는 수행 흐름으로 구성된다. 그리고 리눅스에서는 이를 관리하기 위해서 각 프로세스마다 task_struct 라는 자료 구조를 생성한다.
그럼 자원을 의미하는 사각형이 하나 그려지고 이 자원에서 수행되는 수행의 흐름을 의미하는 실선이 하나 생성된다. 그리고 리눅스에서는 task_struct 자료 구조를 생성한다.
스레드를 만들었을 때도 기존에 존재하는 프로세스에 실선이 하나 생성되고 리눅스 커널에서는 task_struct 가 하나 생성된다. 결국 리눅스에서는 프로세스가 생성되든 쓰레드가 생성되든 task_struct 라는 동일한 자료 구조를 생성하여 관리한다.
결국 리눅스 커널은 프로세스 또는 쓰레드 중에서 어떤 것이 요청될 지라도 모두, task_struct 자료 구조로 동일하게 관리한다. 단지 task_struct 자료 구조 중에서 수행 이미지를 공유하는가, 같은 쓰레드 그룹에 속해 있는가 등의 여부에 따라 프로세스, 또는 쓰레드로 사용자에게 해석되는 차이가 있을 뿐이다.
커널 내부에서는 쓰레드이건 프로세스이건 모두 태스크 구조체로 표현이 되는데 그렇다면 사용자들은 어떤 조건이 만족될 때 태스크를 프로세스라고 부르며 반대로 어던 조건이 만족될 떄 태스크를 쓰레드라고 부를까?
시스템에 존재하는 모든 태스크는 유일하게 구분이 가능해야 한다. 태스크 별로 유일한 이 값은 task_struct 구조체 내의 pid 필드에 담겨있다. 그런데 POSIX 표준에 의하면 ‘한 프로세스 내의 쓰래드는 동일한 PID를 공유해야 한다’ 라고 명시되어 있다. 리눅스에서는 이를 위해 tgid (Thread Group ID) 라는 개념을 도입했다.
태스크가 생성되면 이 태스크를 위한 유일한 번호를 pid로 할당해 준다. 그런 다음에 만약 사용자가 프로세스를 원하는 경우라면 생성된 태스크의 tgid 값을 새로 할당된 pid 값과 동일하게 넣어준다.
따라서 tgid 값도 유일한 번호를 갖게 된다. 사용자가 쓰레드를 원하는 경우라면 부모 쓰레드의 tgid 값과 동일한 값으로 생성된 태스크의 tgid 를 설정한다. 결국 부모 태스크의 자식 태스크는 동일한 tgid를 갖게 되며 동일한 프로세스에 속해있는 것으로 해석된다.
참고 문헌
리눅스 커널 내부구조

리눅스 커널 스터디 2주차

댓글