pthread와 vfork

Question

리눅스 매뉴얼 페이지vork매우 구체적:

vfork()차이점 fork(2)은 호출하는 것입니다.철사하위 프로세스가 종료될 때까지 일시 중지됩니다.

그것은 과정이 아니라 실제 소명이다철사. 이 동작은 POSIX 또는 다른 표준에 의해 보장되지 않으며 다른 구현에서는 다르게 수행될 수 있습니다(기껏해야 단순히 vfork일반 구현을 사용하는 것을 포함 fork).

(리치 펠커도 여기에 있습니다.vfork는 위험한 것으로 간주됩니다.)

다중 스레드 프로그램에서 사용하는 것에 fork대해 이미 추론하기는 어렵습니다 . 호출도 vfork적어도 그만큼 나쁩니다. 귀하의 테스트는 정의되지 않은 동작으로 가득 차 있으며, -type 함수를 vfork제외하고는 'd 하위 항목에서 함수를 호출하는 것조차 허용되지 않습니다 (I/O 수행은 물론) . (그것은 불가능하며 반환하면 혼란을 야기합니다)exec_exitexit

다음은 귀하의 예를 적용한 것입니다.거의int컴파일러/구현이 s에 대한 원자성 읽기 및 쓰기에 대한 함수 호출을 내보내지 않는다고 가정하면 정의되지 않은 동작은 없습니다 . (한 가지 문제는 - start뒤에 쓰는 것이 vfork허용되지 않는다는 것입니다.) 짧게 유지하기 위해 오류 처리를 생략합니다.

#include<unistd.h>
#include<signal.h>
#include<errno.h>
#include<atomic>
#include<cstring>
#include<string>
#include<iostream>

std::atomic<int> start;
std::atomic<int> counter;
const int thread_count = 4;

void *vforker(void *){
  std::cout << "vforker starting\n";
  int pid=vfork();
  if(pid == 0){
    start = 1;
    while (counter < (thread_count-1))
      ;
    execlp("/bin/date","date",nullptr);
  }
  std::cout << "vforker done\n";
  return nullptr;
}

void *job(void *){
  while (start == 0)
    ;
  counter++;
  return NULL;
}

int main(){
  signal(SIGPIPE,SIG_IGN);
  signal(SIGCHLD,SIG_IGN);
  pthread_t thread[thread_count];
  counter = 0;
  start   = 0;

  pthread_create(&(thread[0]), nullptr, vforker, nullptr);
  for(int i=1;i<thread_count;++i)
    pthread_create(&(thread[i]), nullptr, job, nullptr);

  for(int i=0;i<thread_count;++i)
    pthread_join(thread[i], nullptr);
}

아이디어는 다음과 같습니다. 일반 스레드는 start전역 원자 카운터를 증가시키기 전에 원자 전역 변수를 기다립니다(사용 중 루프). vfork 자식에서 설정된 스레드를 실행 1한 다음 다른 스레드가 카운터를 증가시킬 때까지 기다립니다(다시 사용 중 루프).vforkstart1

기간 동안 다른 스레드가 중단되면 vfork진행이 이루어지지 않습니다. 중단된 스레드는 절대 증가하지 않으므로( counter로 ) vforker 스레드는 무한한 바쁜 대기 상태에 갇히게 됩니다.start1

Answer 1