| 摘要 |
<p>본 발명은 실시간 시스템에서 태스크들 사이의 공유 메모리의 동기화를 최적화하는 방법에 관한 것으로서, Priorty Ceiling Protocol을 PICARD 시스템의 태스크 사이의 데이터 교환에 적용함에 의하여, 첫 번째로, 태스크는 자신보다 높은 태스크와 연관된 데이터가 복사되는 동안에만 블로킹이 이루어진다. 높은 우선 순위를 가지는 태스크는 일반적으로 주고 받는 데이터의 크기가 그리 크지 않기 때문에 높은 우선 순위를 가지는 태스크일수록 블로킹 시간이 줄어들게 된다. 특히 우선 순위가 가장 높은 태스크의 경우에는 자신이 사용하는 데이터가 복사되는 동안에만 블로킹을 당하게 되고, 두 번째로, 일반적으로 하나의 태스크의 우선 순위가 바뀌는 경우 전체 태스크들에 대해 실행 여부를 다시 결정하는 것(resecheduling)이 필요한데, 여기서는 복사가 일어나는 동안에 일어나는 태스크의 우선 순위의 변화는 항상 우선 순위가 커지는 방향으로만 일어나기 때문에, 우선 순위 변경후 실행 여부의 재결정이 필요하지 않는 특징이 있다.</p> |
