get_order lock의 위치 관련 문의

[lukeqwaszx]

안녕하세요,

  if (server_ctx.list.head == NULL) return NULL;

  pthread_mutex_lock(&server_ctx.lock);

  target_node = server_ctx.list.head;

  if (server_ctx.list.head == server_ctx.list.tail) {
    server_ctx.list.head = NULL;
    server_ctx.list.tail = NULL;
  } else {
    server_ctx.list.head = server_ctx.list.head->next;
  }

  server_ctx.list.count--;

  pthread_mutex_unlock(&server_ctx.lock);

mcdonalds.c의 get_order()가 이렇게 구현되어 있는 상황인데, 이런 구현 하에서 list의 node가 하나 있고 thread가 두 개 있을 때,thread 1에서 list.head == NULL이 아님을 확인하고 context switch가 이루어져 thread 2에서 get_order()가 이루어지고 다시 thread1으로 context switch되는 경우 list.count가 -1이 되는 문제가 존재하는 것 같아 issue드립니다!

[kwonsw055]

말씀하신 것과 같은 문제가 발생할 수 있을 것으로 생각됩니다.
직접 첫 번째 줄과 lock을 잡는 줄의 위치를 서로 바꾸어 수정하셔도 됩니다.

다만 list.count가 kitchen_task의 while문의 조건으로만 사용되기에, 랩의 대부분 스펙 구현에는 문제가 되지 않고, ctrl-C 시그널 핸들링 시 while문을 탈출하지 못하는 kitchen thread가 생길 수 있다는 점 정도의 문제만 발생합니다. 시그널 핸들링 부분은 TODO가 없는 관계로 채점하지 않을 예정이니, 해당 부분을 수정하지 않으셔도 채점 결과에는 영향이 없을 것입니다.