[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/642089.642101acmconferencesArticle/Chapter ViewAbstractPublication PagesiscaConference Proceedingsconference-collections
Article
Free access

Picture systems, PS, and the design of a channel-to-channel computer interface

Published: 01 December 1974 Publication History

Abstract

This paper introduces a new simulation tool called picture systems. A picture system is (1) a set of pictures - one representing each state of a modeled computer system and (2) a transition graph which relates each picture to the set of pictures that may follow it. Picture systems can be used to model computer systems at any level of detail; however, this paper is concerned with modeling hardware/software systems at relatively high architectural levels. Picture systems, as a simulation tool, are useful to the computer architect. Perhaps more importantly, they provide an unexcelled means of communicating computer system mechanisms between people.The construction of picture systems from descriptions of the components of a computer system has been automated in PS. This paper describes a model of a channel-to-channel computer interface mechanism consisting of both hardware and software. Transition graph analysis by PS is briefly described. This powerful aid to computer system modeling eases the identification of problems such as deadlock, looping, and races.

References

[1]
Bell, C. G., and Newell, A., Computer Structures: Readings and Examples, Mcgraw-Hill, New York, 1971.
[2]
Isaacson, P., "Picture-system models and computer system design," Ph.D. dissertation in preparation, Computer Science Department, Institute of Technology, Southern Methodist University, Dallas, Texas, 1974.
[3]
P. Isaacson, "PS language definition," ACM SIGDA Newsletter 4(September 1974), pp. 20--28.
[4]
Isaacson, P., "PS, a tool for building picture-system models of computer systems," Proceeding of the Third Texas Conference on Computing Systems, November, 1974.
[5]
Baer, J. L., "A survey of some theoretical aspects of multiprocessing," ACM Computing Surveys 5 (1), pp. 31--81.
[6]
Brewer, M.A., Design Automation of Digital Systems, Prentice-Hall, Englewood Cliffs, New Jersey, 1972.
[7]
Miller, R. E., "A comparison of some theoretical models of parallel computation," IEEE Transactions on Computers C-22 (8), pp. 718--727.
[8]
Lee, J.A.N., Computer Semantics - Studies of Algorithms, Processors and Languages Von Nostrand Reinhold, New York, 1972.
[9]
Hold, A., and Commoner, F., "Events and Conditions," Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Association for Computing Machinery, New York, pp. 3--52.
[10]
Noe, J. D., and Nutt, G. J., "Macro E-nets for representation of parallel systems," IEEE Transactions on Computers C-22 (8), pp. 718--727.
[11]
Johnston, J. B., "The contour model of block structured processes," Technical report 70-C-366, Research and Development Center, General Electric, Schenectady, New York, 1970.
[12]
Berry, D. M., "Block-structure: retention or deletion," Proceedings of the Third ACM Symposium on the Theory of Computing, Association for Computing Machinery, New York, 1971.
[13]
Organick, E. I., Computer System Organization: The Burroughs B5700/6700 Series, Academic Press, New York, 1973.
[14]
Freeman, H., "On the encoding of arbitrary geometric configurations," IRE Transactions on Electronic Computers, pp. 260--268.
[15]
Earnest, C. P., Balke, K. G., and Anderson, J., "Analysis of graphis by ordering of nodes,' Journal of the ACM, January 1972, pp. 23--42.

Cited By

View all
  • (1979)Languages for operating systems description, design and implementation1979 International Workshop on Managing Requirements Knowledge (MARK)10.1109/MARK.1979.8817284(29-38)Online publication date: Jun-1979
  • (1974)PS language definitionACM SIGDA Newsletter10.1145/1061414.10614164:3(20-28)Online publication date: Sep-1974

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ISCA '75: Proceedings of the 2nd annual symposium on Computer architecture
January 1975
237 pages
ISBN:9781450373661
DOI:10.1145/642089
  • cover image ACM SIGARCH Computer Architecture News
    ACM SIGARCH Computer Architecture News  Volume 3, Issue 4
    December 1974
    232 pages
    ISSN:0163-5964
    DOI:10.1145/641675
    Issue’s Table of Contents
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1974

Check for updates

Qualifiers

  • Article

Acceptance Rates

Overall Acceptance Rate 543 of 3,203 submissions, 17%

Upcoming Conference

ISCA '25

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)45
  • Downloads (Last 6 weeks)6
Reflects downloads up to 31 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (1979)Languages for operating systems description, design and implementation1979 International Workshop on Managing Requirements Knowledge (MARK)10.1109/MARK.1979.8817284(29-38)Online publication date: Jun-1979
  • (1974)PS language definitionACM SIGDA Newsletter10.1145/1061414.10614164:3(20-28)Online publication date: Sep-1974

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media