시간성 튜플 도입을 통한 LINDA 개념의 확장

Extension of LINDA concept through the introduction timed-tuple

본 논문에서는 LINDA 개념에 시간성 튜플 개념을 도입함으로써 보다 빠르고 보다 간단한 IPC 메커니즘을 커널속에 구현할 수 있음을 보였다. 이 새로운 개념에서는 정보의 교환은 기존의 튜플을 그대로 이용하고 IPC는 시간성 튜플을 이용하여 구현하였는데, 튜플을 이렇게 2가지 종류로 나눔으로써 정보의 교환에 이용되는 튜플은 IPC에 사용되는 필드를 갖고있지 않아도 되고, 반대로 IPC에 사용되는 시간성 튜플은 정보의 교환에 이용되는 필드를 갖고있지 않아도 된다 결과적으로 기존의 LINDA 개념을 이용한 커널의 크기보다는 작아진 커널을 구현할 수 있다. 또한 정보의 교환이나 IPC를 위하여 읽혀지거나 쓰여지는 정보의 크기도 작아지므로 커널 서비스 시간을 단축할 수 있다. 그리고 IPC를 위해서는 시스템 tic을 세는 증감 연산이 필요한데, 기존의 LINDA 개념에서는 모든 튜플을 읽고 처리해야 하지만 시간성 튜플 개념을 이용한 IPC에서는 단지 시간성 튜플에만 증감 연산이 필요하다. 결과적으로 보다 효과적인 커널 서비스를 구현할 수 있다.