[unix] 새로운 프로세스를 생성하기 위해 분기해야하는 이유는 무엇입니까?

짧은 대답은 fork당시의 기존 시스템에 맞추기 쉽고 버클리 의 이전 시스템 이 포크 개념을 사용 했기 때문에 Unix에 있습니다 .

에서 유닉스 시간 공유 시스템의 진화 (관련 텍스트가되었습니다 강조 ) :

현대적인 형태의 프로세스 제어는 며칠 내에 설계 및 구현되었습니다. 기존 시스템에 얼마나 쉽게 적용되는지 놀랍습니다. 동시에 , 디자인에서 약간 특이한 특징 중 일부가 존재하는 것에 대한 작고 쉽게 코딩 된 변경 사항을 나타 내기 때문에 어떻게 정확하게 나타나는지 쉽게 알 수 있습니다 . 좋은 예는 포크와 실행 함수의 분리입니다. 새로운 프로세스 생성을위한 가장 일반적인 모델은 프로세스가 실행할 프로그램을 지정하는 것입니다. 유닉스에서, 분기 프로세스는 명시 적 실행을 수행 할 때까지 상위 프로세스와 동일한 프로그램을 계속 실행합니다. 기능의 분리는 확실히 유닉스 고유의 것이 아니며, 실제로는 톰슨에게 잘 알려진 버클리 시간 공유 시스템에 존재했습니다.. 여전히 Unix에 존재 한다고 가정하는 것이 합리적 입니다. 포크를 쉽게 변경하지 않고도 쉽게 구현할 수 있기 때문입니다 . 시스템은 이미 여러 프로세스 (즉, 두 개)를 처리했습니다. 프로세스 테이블이 있었고 프로세스는 기본 메모리와 디스크간에 교환되었습니다. 포크의 초기 구현에만 필요

1) 공정 테이블 확장

2) 기존 스왑 IO 프리미티브를 사용하여 현재 프로세스를 디스크 스왑 영역에 복사하고 프로세스 테이블을 약간 조정 한 포크 호출 추가.

실제로 PDP-7 포크 호출에는 정확히 27 줄의 어셈블리 코드가 필요했습니다. 물론 운영 체제와 사용자 프로그램의 다른 변경이 필요했으며 그 중 일부는 다소 흥미롭고 예상치 못한 결과였습니다. 그러나 exec가 존재하지 않았기 때문에 결합 된 fork-exec는 훨씬 더 복잡 했을 것입니다. 이 기능은 명시 적 IO를 사용하여 셸에서 이미 수행되었습니다.

그 논문 이후, 유닉스는 발전했다. fork다음에 exec더 이상 프로그램을 실행할 수있는 유일한 방법입니다.

• vfork 는 새로운 프로세스가 포크 바로 다음에 exec를 수행하려는 경우보다 효율적인 포크로 만들어졌습니다. vfork를 수행 한 후 상위 프로세스와 하위 프로세스는 동일한 데이터 공간을 공유하며 하위 프로세스가 프로그램을 실행하거나 종료 될 때까지 상위 프로세스가 일시 중단됩니다.

• posix_spawn 은 새 프로세스를 작성하고 단일 시스템 호출로 파일을 실행합니다. 호출자의 열린 파일을 선택적으로 공유하고 신호 처리 및 기타 속성을 새 프로세스에 복사 할 수있는 많은 매개 변수가 필요합니다.

답변