Skip header Section
Skip Bibliometrics Section
Alpha AXP architecture reference manual (2nd ed.)September 1995
- Authors:
- Richard L. Sites,
- Richard T. Witek
Abstract
No abstract available.
Cited By
Kwon Y, Yu H, Peter S, Rossbach C and Witchel E (2017). Ingens, ACM SIGOPS Operating Systems Review, 51:1, (83-93), Online publication date: 11-Sep-2017.- Kwon Y, Yu H, Peter S, Rossbach C and Witchel E Coordinated and efficient huge page management with ingens Proceedings of the 12th USENIX conference on Operating Systems Design and Implementation, (705-721)
- Freitas L, Rambo E and dos Santos L On-the-fly verification of memory consistency with concurrent relaxed scoreboards Proceedings of the Conference on Design, Automation and Test in Europe, (631-636)
- Rambo E, Henschel O and dos Santos L On ESL verification of memory consistency for system-on-chip multiprocessing Proceedings of the Conference on Design, Automation and Test in Europe, (9-14)
- Tang Y, Deng K, Wang X, Dou Y and Zhou X RIMP Proceedings of the 6th international conference on Advanced Parallel Processing Technologies, (71-80)
- Manson J, Pugh W and Adve S (2019). The Java memory model, ACM SIGPLAN Notices, 40:1, (378-391), Online publication date: 12-Jan-2005.
- Manson J, Pugh W and Adve S The Java memory model Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (378-391)
- Chuang W, Calder B and Ferrante J Phi-Predication for light-weight if-conversion Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, (179-190)
- Navarro J, Iyer S, Druschel P and Cox A (2002). Practical, transparent operating system support for superpages, ACM SIGOPS Operating Systems Review, 36:SI, (89-104), Online publication date: 31-Dec-2003.
- Shinagawa T, Kono K and Masuda T Flexible and efficient sandboxing based on fine-grained protection domains Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems, (172-184)
- Lee J and Padua D (2001). Hiding Relaxed Memory Consistency with a Compiler, IEEE Transactions on Computers, 50:8, (824-833), Online publication date: 1-Aug-2001.
- Hakkennes E and Vassiliadis S (2018). Multimedia Execution Hardware Accelerator, Journal of VLSI Signal Processing Systems, 28:3, (221-234), Online publication date: 1-Jul-2001.
- Maessen J and Shen X (2000). Improving the Java memory model using CRF, ACM SIGPLAN Notices, 35:10, (1-12), Online publication date: 1-Oct-2000.
- Maessen J and Shen X Improving the Java memory model using CRF Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-12)
- Barroso L, Gharachorloo K, McNamara R, Nowatzyk A, Qadeer S, Sano B, Smith S, Stets R and Verghese B Piranha Proceedings of the 27th annual international symposium on Computer architecture, (282-293)
- Barroso L, Gharachorloo K, McNamara R, Nowatzyk A, Qadeer S, Sano B, Smith S, Stets R and Verghese B (2000). Piranha, ACM SIGARCH Computer Architecture News, 28:2, (282-293), Online publication date: 1-May-2000.
- Kuszmaul B, Henry D and Loh G A comparison of scalable superscalar processors Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures, (126-137)
- Shen X, Arvind and Rudolph L Commit-reconcile & fences (CRF) Proceedings of the 26th annual international symposium on Computer architecture, (150-161)
- Shen X, Arvind and Rudolph L (1999). Commit-reconcile & fences (CRF), ACM SIGARCH Computer Architecture News, 27:2, (150-161), Online publication date: 1-May-1999.
- Park S and Dill D (1999). An Executable Specification and Verifier for Relaxed Memory Order, IEEE Transactions on Computers, 48:2, (227-235), Online publication date: 1-Feb-1999.
- Scales D and Gharachorloo K (1997). Towards transparent and efficient software distributed shared memory, ACM SIGOPS Operating Systems Review, 31:5, (157-169), Online publication date: 1-Dec-1997.
- Anderson J, Berc L, Dean J, Ghemawat S, Henzinger M, Leung S, Sites R, Vandevoorde M, Waldspurger C and Weihl W (1997). Continuous profiling, ACM SIGOPS Operating Systems Review, 31:5, (1-14), Online publication date: 1-Dec-1997.
- Scales D and Gharachorloo K Towards transparent and efficient software distributed shared memory Proceedings of the sixteenth ACM symposium on Operating systems principles, (157-169)
- Anderson J, Berc L, Dean J, Ghemawat S, Henzinger M, Leung S, Sites R, Vandevoorde M, Waldspurger C and Weihl W Continuous profiling Proceedings of the sixteenth ACM symposium on Operating systems principles, (1-14)
- Adve S and Gharachorloo K (2019). Shared Memory Consistency Models, Computer, 29:12, (66-76), Online publication date: 1-Dec-1996.
- Mogul J Hinted caching in the web Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, (103-108)
Index Terms
- Alpha AXP architecture reference manual (2nd ed.)
Recommendations
Reviews
Imad Mahgoub
This reference manual is divided into three parts, four appendices, and an adequate index. Each part is divided into chapters and sections and has its own table of contents. Part 1 adequately describes the instruction set architecture common to and required by all implementations. Part 2 adequately describes how the following operating systems relate to the Alpha AXP architecture: Open VMS AXP, DEC OSF/1, and Windows NT AXP. Part 3 describes a console firmware implementation that is specific to platforms that support the Open VMS AXP or DEC OSF/1 operating systems. Appendices A through D present software considerations, IEEE floating-point conformance, an instruction summary, and waivers and implementation-dependent functionality, respectively. This reference manual is intended for the machine-level programmer. Its length is reasonable, and it presents valuable information nicely. It is well bound, well printed, and well edited. Overall, this book adequately describes the required behavior for all Alpha implementations. I strongly recommend it.
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.