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


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 4, pp. 1106-1120, Apr. 1997
10.3745/KIPSTE.1997.4.4.1106,   PDF Download:

Abstract

In this paper, we present a new run-time support system for SR using POSIX threads(Pthreads), called SR/RTS . SR supports a rich set of concurrent programming techniques with multiple concurrency control primitives. Since the original RTS for SR uses its own thread management facility, it should be modified to work on different computer systems. Furthermore, the run-time efficiency of the RTS should be considered in association with those different systems. Thus, to enhance the protability and to guarantee the predictable run-time efficiency, SR/RTS is designed on the top of Pthreads(POSIX Threads) which supports multiple threads of control within a single POSIX process. Also, the SR compiler is modified to generate the codes appropriate for Pthreads interface. SR/RTS has been developed on Sparc Workstation using Pthreads library announced by Florida State University and tested with the SR verification suite distributed by the University of Arizona.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
K. Y. Gon, J. Y. Phil, P. Y. Su, L. M. Joon, "Design and Implementation of SR Run-Time Support System Using POSIX Threads," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 4, no. 4, pp. 1106-1120, 1997. DOI: 10.3745/KIPSTE.1997.4.4.1106.

[ACM Style]
Kim Young Gon, Jeong Young Phil, Park Yang Su, and Lee Myung Joon. 1997. Design and Implementation of SR Run-Time Support System Using POSIX Threads. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 4, 4, (1997), 1106-1120. DOI: 10.3745/KIPSTE.1997.4.4.1106.