POSIX 쓰레드를 이용한 SR 실행지원시스템의 설계 및 구현

Design and Implementation of SR Run-Time Support System Using POSIX ZThreads

본 연구에서는 POSIX 쓰레드(Pthreads)를 사용하여 구현한 새로운 SR 실행지원 시스템인 SR/RTS+를 제시한다. SR은 다중의 병행 제어 프리미티브를 이용해서 다양한 병행 프로그래밍 기법을 제공한다. 윈 SR 실행지원시스템이 자신의 고유한 쓰레드 경영 기법을 사용하였기 때문에 다른 컴퓨터 시스템에서 동작하기 위해서는 실행지원 시스템의 수정이 필요하다. 더우기 실행지원시스템의 실행 효율성은 이런 각각의 상이한 시스템에 연관되어 개별적으로 고려되어야 한다. 따라서 이식성을 증가시키고 실행 효 율성을 예측 가능하도록 하기 위해서 SR/RTS+를 하나의 POSIX프로세스내에서 다중의 실행의 쓰레드를 제공하는 Pthreaes(POSIX쓰레드)상에서 설계되었다. 또한 ,SR 컴파일러 Ptherads 인터페이스를 위한 코드를 적절히 생성하도록 수정되었다. SR/RTS+는 Florida Sate Univerisity에서 제공하는 Pthreads 라이브러리를 사용하여 Spare Workstation 상에서 개발되었으며, University of Arizona에서 제공하는 SR 검증 도구로 테스트하였다.

In this paper,we prosent a new run-time support system for SR usitn POSIX threads (Pthreads),called SR/RTS +.SR supports a rich set of concurent programming techniques with multiple cincurrency control primit-ives Since the original RTS for SR uses its own thread management facility,it should be modifide to work on different computer systems.Furthermore,the run-time efficiency of the RTS should be considered in association with those different sytems.Thus,to portability and to guarantee the predictable run-time ef-ficiency,SR/RTS + is designed on the pthreads(POSIX Threads )which supports multiple threads of con-trol within a single POSIX process.Also, the SR compiler is modified to generate the codes appropriate for pthreads interface.SR/RTS + has been develped on Spare Workstation using pthreads library announced by Florida State University and tested with the SR verification suite distribute by the University of Arizona.