Article

Free access

The microarchitecture of a capability-based computer

Authors:

D. A. Abramson,

J. RosenbergAuthors Info & Claims

MICRO 19: Proceedings of the 19th annual workshop on Microprogramming

Pages 138 - 145

https://doi.org/10.1145/19551.19546

Published: 01 December 1986 Publication History

Abstract

This paper describes the micro-architecture of a microprogrammed workstation called MONADS-PC. The system has been specifically designed to support a very large uniform virtual memory, capability-based addressing and information hiding software modules with procedural interfaces. The paper gives a brief introduction to these topics followed by implementation details of the system.

References

[1]

Rosenberg, J. and Abramson, D. (1985): "MONADS-PC - A Capability-Based Workstation to Support Software Engineering", Proc. 18th. Annual Hawaii International Conference on System Sciences, Honolulu.

[2]

Pamas, D.L. "On the Criteria to be Used in Decomposing Systems into Modules", Comm. ACM, 15, 12, pp 1053-1058.

Digital Library

[3]

Abramson, D.A. "MONADS-PC Micro Architecture Manual", MONADS-PC Technical Report 2, Department of Computer Science, Monash University, 1984.

[4]

Pamas, D.L. "Information Distribution Aspects of Design Methodology", Proc. 5th. World Computer Congress, IFIP-71, pp 339-344.

[5]

Jones, A.K. "The Object Model, a Conceptual Tool for Structuring Software", in Bayer et al, "Operating Systems, An Advanced Course", Lecture Notes in Computer Science, 60, Springer Verlag, Berlin, 1978, pp .7- 16.

Digital Library

[6]

Keedy, J.L. and Richards, I. "A Software Engineering View of Files", Australian Computer Journal, 14, 2, 1982.

[7]

Keedy, J.L. "On the Exportation of Variables", Australian Computer Journal, 12, 1, pp 23-27, 1980.

[8]

Keedy, J.L. "The MONADS View of Software Modules", Proc. 9th. Australian Computer Conference, pp 560-574, Hobart, 1982.

[9]

Houdek, M.E. and Mitchell, G.R. "Translating a Large Virtual Address", IBM System/38 Technical Developments, pp 19-21, 1978.

[10]

Rosenberg, J. and Keedy, J.L. "Software Management of a Large Virtual Memory", Proc. 4th. Australian Computer Science Conference, pp 173- 18 1, Brisbane, 1981.

[11]

Dennis, J.B. and Van Horn, E.C. "Programming Semantics for Multiprogrammed Computations", Comm. ACM, 9,3, pp 143-155, 1966.

Digital Library

[12]

Keedy, J.L., 1980. Paging and Small Segments: A Memory Management Model. Proc. 8th. World Computer Congress, IFIP-80, Melbourne, pp. 337- 342.

[13]

Rosenberg, J. "MONADS-PC Instruction Set", MONADS-PC Technical Report 1, Department of Computer Science, Monash University, 1984.

[14]

Rosenberg, J. "MONADS-PC Assembler Manual", MONADS-PC Technical Report 3, Department of Computer Science, Monash University, 1984.

[15]

Keedy, J.L. "An Instruction Set for Evaluating Expressions", IEEE Transactions on Computers, Vol. C-32, 5, pp 476-478, 1983.

[16]

Abramson, D.A. and Rosenberg, J. "A Vertical User Interface to Horizontal Microcode", Proceedings of 8th Australian Computer Sciences Conference, Melbourne, Australian Computer Sciences Communications, Vo17, No 1, 1985.

[17]

Tuke, M. "MONADS-PC Microassembler Specification", MONADS-PC Technical Report 4, Department of Computer Science, Monash University, 1984.

[18]

Advanced Micro Devices "Am2900 Family 1983 Data Book", Advanced Micro Devices, 1983.

[19]

Abramson, D.A. "Hardware Management of a Large Virtual Memory", Proc. 4th. Australian Computer Science Conference, pp l-13, Brisbane, 1981.

[20]

Rosenberg, J. "MONADS-PC System Management Instructions", MONADS-PC Technical Report 5, Department of Computer Science, Monash University, 1984.

[21]

Patterson D. (1985) "Reduced Instruction Set Computers", Communications of the ACM, Vol 28, No 1, pp 8, 21.

Digital Library

[22]

Abramson, D.A. and Rosenberg, J (1985) "Supporting a Capability-based Architecture in Silicon", The 4th Australian Micro-electronics Conference, Sydney, May 1985.

[23]

Organick, E.I. (1972) "The Multics System: An Examination of its Structure", Cambridge, Mass., M.I.T. Press, 1972.

Digital Library

Cited By

Mossop DPose R(2005)Security Models in the Password-Capability SystemTENCON 2005 - 2005 IEEE Region 10 Conference10.1109/TENCON.2005.301334(1-6)Online publication date: Nov-2005
https://doi.org/10.1109/TENCON.2005.301334
Mossop DPose R(2005)Covert channel analysis of the password-capability systemProceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture10.1007/11572961_53(655-668)Online publication date: 24-Oct-2005
https://dl.acm.org/doi/10.1007/11572961_53
Jalili RHenskens FKoch DRosenberg J(1995)Operating system support for object dependencies in persistent object storesProceedings of Words '94. The First Workshop on Object-Oriented Real-Time Dependable Systems10.1109/WORDS.1994.518667(18-25)Online publication date: 1995
https://doi.org/10.1109/WORDS.1994.518667
Show More Cited By

Index Terms

Recommendations

Microarchitecture of HaL's CPU
COMPCON '95: Proceedings of the 40th IEEE Computer Society International Conference

The HaL PM1 CPU is the first implementation of the 64-bit SPARC Version 9 instruction set architecture. The processor utilizes superscalar instruction issue, register renaming, and a dataflow model of execution. Instructions can complete out-of-order ...
The microarchitecture of a capability-based computer

This paper describes the micro-architecture of a microprogrammed workstation called MONADS-PC. The system has been specifically designed to support a very large uniform virtual memory, capability-based addressing and information hiding software modules ...
Microarchitecture of the Godson-2 processor

The Godson project is the first attempt to design high performance general-purpose microprocessors in China. This paper introduces the microarchitecture of the Godson-2 processor which is a 64-bit, 4-issue, out-of-order execution RISC processor that ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MICRO 19: Proceedings of the 19th annual workshop on Microprogramming

December 1986

179 pages

ISBN:081860736X

DOI:10.1145/19551

Chairman:
Stanley Habib

ACM SIGMICRO Newsletter Volume 17, Issue 4
Dec. 1986
163 pages
ISSN:1050-916X
DOI:10.1145/19530
Editor:
Stanley Habib
Issue’s Table of Contents

Copyright © 1986 Authors.

Sponsors

SIGMICRO: ACM Special Interest Group on Microarchitectural Research and Processing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1986

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

MICRO86

Sponsor:

SIGMICRO

MICRO86: 19th Annual Workshop on Microprogramming

October 15 - 17, 1986

New York, New York, USA

Acceptance Rates

Overall Acceptance Rate 484 of 2,242 submissions, 22%

Upcoming Conference

MICRO '24

Sponsor:
sigmicro

57th Annual IEEE/ACM International Symposium on Microarchitecture

November 2 - 6, 2024

Austin , TX , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
298
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)6

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mossop DPose R(2005)Security Models in the Password-Capability SystemTENCON 2005 - 2005 IEEE Region 10 Conference10.1109/TENCON.2005.301334(1-6)Online publication date: Nov-2005
https://doi.org/10.1109/TENCON.2005.301334
Mossop DPose R(2005)Covert channel analysis of the password-capability systemProceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture10.1007/11572961_53(655-668)Online publication date: 24-Oct-2005
https://dl.acm.org/doi/10.1007/11572961_53
Jalili RHenskens FKoch DRosenberg J(1995)Operating system support for object dependencies in persistent object storesProceedings of Words '94. The First Workshop on Object-Oriented Real-Time Dependable Systems10.1109/WORDS.1994.518667(18-25)Online publication date: 1995
https://doi.org/10.1109/WORDS.1994.518667
Corsini PLopriore L(1995)An implementation of storage management in capability environmentsSoftware: Practice and Experience10.1002/spe.438025050325:5(501-520)Online publication date: May-1995
https://doi.org/10.1002/spe.4380250503

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents