Schedulers as enforces in synchronization
暂无分享,去创建一个
[1] Richard J. Lipton. Limitations of synchronization primitives with conditional branching and global variables , 1974, STOC '74.
[2] Richard J. Lipton,et al. On synchronization primitive systems , 1973 .
[3] David Lorge Parnas,et al. Concurrent control with “readers” and “writers” , 1971, CACM.
[4] Richard J. Lipton. Reduction: a new method of proving properties of systems of processes , 1975, POPL '75.
[5] A. Nico Habermann. Synchronization of Communicating Processes , 1972, Commun. ACM.
[6] Jerome H. Saltzer,et al. Traffic control in a multiplexed computer system , 1966 .
[7] Edsger W. Dijkstra,et al. The structure of the “THE”-multiprogramming system , 1968, CACM.
[8] Axel van Lamsweerde,et al. On an Extension of Dijkstra's Semaphore Primitives , 1972, Inf. Process. Lett..