The Posix.Signal 구조

Posix.Signal 구조는 POSIX 표준(1003.1, 1996) 3.3절에 정의된 모든 POSIX 신호의 상징적 이름을 정의하고, 그 신호들과 밑에 깔린 표현 사이의 변환 함수를 제공해요. 신호는 프로세스에 비동기적으로 발생하는 사건(이벤트) 알림이에요. 운영체제는 특정 조건(예: 다른 프로세스가 kill로 보냄, 키보드 인터럽트, 타이머 만료)에서 프로세스에 신호를 보내요. 이 구조는 시그널을 기억하기 쉬운 상징 이름(예: SIGINT) 대신 abrt, alrm, bus 같은 짧은 값으로 노출해요.

출처: 문서

본문

시놉시스 (Synopsis)

signature POSIX_SIGNAL
structure Signal : POSIX_SIGNAL

인터페이스 (Interface)

eqtype signal
val toWord : signal -> SysWord.word
val fromWord : SysWord.word -> signal
val abrt : signal
val alrm : signal
val bus : signal
val fpe : signal
val hup : signal
val ill : signal
val int : signal
val kill : signal
val pipe : signal
val quit : signal
val segv : signal
val term : signal
val usr1 : signal
val usr2 : signal
val chld : signal
val cont : signal
val stop : signal
val tstp : signal
val ttin : signal
val ttou : signal

설명 (Description)

eqtype signal

POSIX 신호, 즉 사건의 비동기 알림을 나타내는 타입이에요. 이 타입의 값은 밑에 깔리는 정수 표현과 일대일 대응되며, 신호를 보내고 받는 시스템 호출에 전달돼요. 예를 들어 <signal.h>의 SIGABRT, SIGALRM, SIGBUS, SIGFPE, SIGHUP, SIGILL, SIGINT, SIGKILL, SIGPIPE, SIGQUIT, SIGSEGV, SIGTERM 등이 각각 abrt, alrm, bus, fpe, hup, ill, int, kill, pipe, quit, segv, term 같은 값으로 정의돼 있어요.

val toWord : signal -> SysWord.word
val fromWord : SysWord.word -> signal

이 함수들은 신호 식별자와 그 밑에 깔린 정수 표현 사이를 변환해요. toWord s는 신호 s를 SysWord.word 값으로 바꾸고, fromWord w는 워드 w를 신호 값으로 바꿔요. 참고: fromWord는 결과가 유효한 POSIX 신호에 대응하는지 검사하지 않아요. 즉 임의의 정수 값으로도 신호 값을 만들 수 있으며, 그 값이 실제로 어떤 신호를 가리키는지는 호출하는 쪽의 책임이에요.

The Posix.Signal 구조