💿 KAIST:PINTOS | Concept | Argument Parsing vs Passing

목표

PintOS Project 2에서 Argument Passing을 구현할 때, 단순히 스택에 값을 쌓는 것으로 끝나는 것이 아니다. 이 과정 앞에는 반드시 Argument Parsing, 즉 문자열을 의미 단위로 쪼개는 단계가 필요하다. 이 글에서는 파싱(Parsing)과 패싱(Passing)의 차이와 관계를 명확하게 이해하는 것을 목표로 한다.

---

정의: Parsing vs Passing

개념	설명	예시
Argument Parsing	전체 커맨드라인 문자열을 의미 단위(토큰)로 분리하는 과정	"args-multiple a b c" → ["args-multiple", "a", "b", "c"]
Argument Passing	파싱한 인자들을 스택에 포인터 형태로 올리는 과정	argv 배열과 argc 값을 포함하여 사용자 스택을 구성함

---

전체 흐름 요약

1. Parsing (문자열 분리)

   • thread_current()->name에 저장된 전체 문자열
   • strtok_r()를 사용해 공백 기준으로 분리 → argv[] 배열에 저장

2. Passing (스택 구성)

   • 분리한 문자열을 역순으로 사용자 스택에 push
   • 각각의 문자열 주소도 arg_addr[]에 저장해 이후 argv[i] 구성에 활용
   • 정렬(Word-align), NULL sentinel, argc, argv, fake return address를 스택에 구성

---

핵심 함수: setup_stack() 구현 핵심

static bool setup_stack(struct intr_frame *if_) {
  ...
  // 🔹 1) 파싱: 문자열을 분해
  for (token = strtok_r(fn_copy, " ", &save_ptr); token != NULL;
       token = strtok_r(NULL, " ", &save_ptr)) {
    argv[argc++] = token;
  }

  // 🔹 2) 패싱: 분해한 문자열을 역순으로 스택에 복사
  for (int i = argc - 1; i >= 0; i--) {
    size_t len = strlen(argv[i]) + 1;
    rsp -= len;
    memcpy((void *)rsp, argv[i], len);
    arg_addr[i] = (void *)rsp;
  }

  // 🔹 그 외 구성: word-align, NULL sentinel, argv[], argc, return address 등
  ...
}

---

시스템콜 없이 Passing 성공 여부를 확인하는 법

성공한 Argument Passing의 간접적 판단 기준

Executing 'args-many a b c d e f g':
Execution of 'args-many a b c d e f g' complete.

위 로그가 나온다는 건:

• 유저 프로그램이 정상적으로 로드되었고
• 커널에서 스택 세팅에 실패하지 않았으며
• 반환까지 완료되었다는 뜻이다.

즉, Argument Passing에 의한 스택 구성 자체는 성공한 것이다.

---

요약

• Argument Passing을 하기 위해선 반드시 Parsing이 먼저 선행되어야 한다.
• Parsing은 문자열을 나누는 과정, Passing은 그것을 스택에 올리는 과정이다.
• 시스템콜을 아직 구현하지 않아도, 프로그램이 정상 실행되면 Passing까지는 성공한 것이라 간접적으로 판단할 수 있다.