시그널

🧐시그널 :

• 상위 수준의 예외적 제어 흐름
• 소프트웨어(전기적) OS 소프트웨어로 구현
• • 예외 상활과 인터럽트를 커널에서 추상화함
  • 커널이 프로세스에게 보내준다
  • 서로 다른 시그널들은 정수 아이디로 구분한다
  • 시그널에 포함된 유일한 정보는 시그널 아이디와 시그널이 도착했다는 사실이다어떤 이벤트가 시스템에 발생했다는 것을 프로세스에게 알려주는 짧은 메시지

<시그널의 송신> send

• 시그널을 보낸다 :
• 커널은 목적지 프로세스의 컨텍스트 내 일부 상태를 갱신하는 방법으로 시그널을 목적지 프로세스에 보낸다
• 커널은 다음과 같은 경우에 시그널을 보낸다
  • 커널이 divide by zero (SIGFPE) 나 자식 프로세스의 종료(SIGCHLD) 와 같은 시스템 이벤트를 감지했을 때
  • ( 0으로 나누거나 자식 프로세스의 종료 같은 시스템 이벤트)
  • 다른 프로세스가 kill 시스템 콜을 호출해서 커널이 목적지 프로세스로 시그널을 보낼 것을 요청했을 때
  • (어떤 프로세스가 커널에 명시적으로 시그널을 목적 프로세스에 보낼 것을 요구하기 위해 kill함수 호출)

<시그널의 수신> receive

• 시그널을 받는다 :(전송된 시그널에 대해 행동이 필요할 때, 목적지 프로세스는 시그널을 받는다.)
• 목적지 프로세스가 시그널을 받을 때, 어떤 형태로든 반응을 하도록 커널에 의해 요구될 때
• 3가지 반응
  1. 무시 ignore
  2. 대상 프로세스 종료 terminate
  3. 시그널 핸들러 : 유저레벨 함수를 실행하여 시그널을 잡는다 catch
     1. 비동기형 인터럽트에 대한 응답으로 호출되는 인터럽트 핸들러 방식과 유사
     2. 인터럽트 발생시 CPU가 어떻게 동작하는가? → 이거 답이 뭐임
• 커널이 프로세스 p를 커널 모드에서 사용자 모드로 전환할 때, 커널은 프로세스 p에 대해 블록되지 않음 (pending & ~blocked)의 시그널 집합을 체크.
• 이 집합이 비었다면 커널은 p를 다음으로 전달

<시그널 관련 용어>

• SIGKILL과 SIGSTOP은 획득하거나 블럭되거나 무시될 수 없다
• core : 코드와 데이터 이미지를 디스크에 기록하는 것

1. pending : 대기 하고 있다

전송하였지만, 아직 수신되지 않은 시그널

• 어느 특정 타입의 시그널에 대해 최대 한 개의 대기 시그널이 존재할 수 있다
• 동일한 아이디의 시그널을 하나만 pending가능 (다음에 발생하는 같은 타입의 시그널은 버려짐)
• 시그널은 큐에 들어가지 않는다. → 미리 발생했던 건 버리고 옴

2. 프로세스는 특정 시그널의 수신을 블록할 수 있다. → 시그널의 거절

• 블록된 시그널들은 전달될 수 있지만, 이 시그널이 풀릴 때까지는 수신될 수 없다
• 프로세스에서 블록될 수 없는 유일한 시그널은 SIGKILL이다.

3. 대기하는 시그널은 최대 한번만 수신 가능

• 커널은 대기 시그널들을 나타내기 위하여 비트 벡터를 사용한다.

<시그널 개념>

커널은 각 프로세스의 컨텍스트(상태정보)에 pending과 blocked 비트 벡터를 가지고 있음

🧐pending

대기 시그널들을 표시

• 커널은 타입 k 시그널이 도착할 때마다 pending 값의 k번째 비트를 1로 설정
• 커널은 타입 k시그널을 수신할 때마다, pending 의 k번째 비트를 0으로 설정

🧐blocking

블록된 시그널들을 표시

• sigprocmask 함수를 사용하여 응용 프로그램이 1또는 0으로 설정 → 비트벡터이다