Abstract
A technique is presented for replacing long-term interlocking of shared data by the possible repetition of unprivileged code in case a version number (associated with the shared data) has been changed by another process. Four principles of operating system architecture (which have desirable effects on the intrinsic reliability of a system) are presented; implementation of a system adhering to these principles requires that long-term lockout be avoided.
- Corbató, F. J., and Vyssotsky, V. A. Introduction and overview of the MULTICS system. Proc. AFIPS 1965 Fall Joint Comput. Conf., Vol. 27, Part 1. Spartan Books, New York, pp. 185--197.Google Scholar
- Daley, R. C., and Dennis, J. B. Virtual memory, processes, and sharing in MULTICS. Comm. ACM 11, 5 (May 1968) 306--312. Google ScholarDigital Library
- Denning, P. J. The working set model for program behavior. Comm. ACM 11, 5 (May 1968) 323--333. Google ScholarDigital Library
- Dennis, J. B. Segmentatión and the design of multiprogrammed computer systems. J. ACM. 12, 4 to (Oct. 1965) 143--155. Google ScholarDigital Library
- Dennis, J. B., and Van Horn, E. C. Programming semantics for multiprogrammed computations. Comm. ACM 9, 3 (Oct. 1966) 143--155. Google ScholarDigital Library
- Dijkstra, E. W. The structure of the "THE"- multiprogramming system. Comm. ACM 11, 5 (May 1968) 341--346. Google ScholarDigital Library
- Evans, D. C., and LeClerc, J. Y. Address mapping and the control of access in an interactive computer. Proc. AFIPS 1967 Spring Joint Comput. Conf., Vol. 30. Thompson Book Co., Washington, D.C., pp. 23--30.Google Scholar
- Fenichel, R. R. On implementation of label variables. Comm. ACM 14, 5 (May 1971) 349--350. Google ScholarDigital Library
- Gray, J. Locking. Record of the Project MAC conference on concurrent systems and parallel computation. ACM, New York, 1970, pp. 169--176.Google Scholar
- Lampson, B. W. Dynamic protection structures. Proc. AFIPS 1969 Fall Joint Comput. Conf., Vol. 35. AFIPS Press, Montvale, New Jersey, pp. 27--38.Google Scholar
- Lampson, B. W. A scheduling philosophy for multiprogramming systems. Comm. ACM 11, 5 (May 1968) 347--360. Google ScholarDigital Library
- Saltzer, J. H. Traffic control in a multiplexed computer system. Project MAC Technical Report 30 (thesis). Cambridge, Mass., July 1966. Google ScholarDigital Library
- Saltzer, J. H., and Gintell, J. W. The instrumentation of MULTICS. Comm. ACM 13, 8 (Aug. 1970) 495--500. Google ScholarDigital Library
- Watson, R. W. Timesharing system design concepts. McGraw-Hill, New York, 1970. Google ScholarDigital Library
Recommendations
Process synchronization without long-term interlock
SOSP '71: Proceedings of the third ACM symposium on Operating systems principlesA technique is presented for replacing long-term interlocking of shared data by the possible repetition of unprivileged code in case a version number (associated with the shared data) has been changed by another process. Four principles of operating ...
Short-term load forecasting method based on fuzzy time series, seasonality and long memory process
Seasonal Auto Regressive Fractionally Integrated Moving Average (SARFIMA) is a well-known model for forecasting of seasonal time series that follow a long memory process. However, to better boost the accuracy of forecasts inside such data for nonlinear ...
Long-term monthly evapotranspiration modeling by several data-driven methods without climatic data
Different data-driven methods are compared in predicting monthly ET0.The longitude, latitude and altitude data from 50 stations are used as inputs.The gene expression programming provides the worst estimates.ET0 of any site can be successfully estimated ...
Comments