Abstract
Request operations and release operations occur repeatedly in resource allocation systems. The process requesting a resource acquires one by any priority-based mechanism, and returns the resource after some periods. In this system, resource failures lead to delay of resource allocation, or to termination of process holding the failed resource. To analyze this process effectively, this paper designs a probabilistic ACSR, a process algebra that extends ACSR with the probabilistic choice operation. The ability to express/analyze both request-release rates and failure-recovery rates is illustrated using probabilistic ACSR.
자원할당 시스템에서는 자원에 대한 요구연산과 반환연산이 반복적으로 이루어진다. 자원을 요구한 프로세스는 우선순위에 따라 할당받은 뒤, 일정 기간 사용 후 다시 반납하게 된다. 이때 자원에 오류가 발생하면 그 오류로부터 회복될 때까지 할당이 지연되거나, 할당받은 프로세스를 중단하는 사태가 발생한다. 이 논문은 이와 같은 처리 과정을 효과적으로 분석하기 위해, 기존의 프로세스 대수학 ACSR에 확률적 선택연산 개념을 추가한 확률적 ACSR 을 설계하였다. 확률적 ACSR을 이용하여 요구연산과 반환연산이 발생하는 비율과, 오류가 발생하고 그 오류로부터 복구하는 비율을 확률적으로 표기하고 분석할 수 있음을 보였다.