More Web Proxy on the site http://driver.im/

Article

Free access

Characterization of VAX Macsyma

Authors:

John K. Foderaro,

Richard J. FatemanAuthors Info & Claims

SYMSAC '81: Proceedings of the fourth ACM symposium on Symbolic and algebraic computation

Pages 14 - 19

https://doi.org/10.1145/800206.806364

Published: 05 August 1981 Publication History

Abstract

The algebraic manipulation system Macsyma [Grou77, Fate80] has been running for over a year on Digital Equipment Corp. VAX-11 large-address-space medium-scale computers [Stre78]. In order to run Macsyma in this environment, a Lisp system for the VAX, FRANZ LISP[Fode50], was constructed at Berkeley. The goal of running Macsyma provided direction and motivation and is partially responsible for the rapid development of the Lisp system.

Because Lisp is a high level language there are many decisions to be made about the internal framework of the system. Efforts to increase efficiency require that we be able to characterize the demands of a large, compiled, Lisp system. Fortunately, the VAX/UNIX operating system provides useful tools for determining such characteristics. This paper presents some of our data and related analysis.

References

[1]

W. C. Alexander and D. B. Wortman, "Static and Dynamic characteristics of XPL Programs," Computer8(11) pp. 41-46 (November 1975).

[2]

Henry G. Baker, "A Note of the Optimal Allocation of Spaces in Maclisp," MIT AI Working paper 142 (March 1977).

[3]

Bruce W. Char, "On Stieltjes' Continued Fraction for the Gamma Function." Mathematics of Computation34(150) pp. 547-551 (April 1980).

[4]

Douglas W. Clark and C. Cordell Green, "An Empirical Study of List Structure in Lisp," CACM20(2) pp. 78-88 (February 1977).

Digital Library

[5]

Richard J. Fateman, Addendum to the Macsyma Reference Manual for the VAX. 1980.

[6]

J. P. Fitch and A. C. Norman, "Implementing LISP in a High-Level Language," Software-Practice and Experience 7 pp. 713-725 (1977).

[7]

John K. Foderaro and Keith L. Sklower, The Franz Lisp Manual. 1980.

[8]

C. C. Foster, R. H. Gonter, and E. M. Riseman, "Measures of Op-Code Utilization," IEEE Transactions on Computers, pp. 582-584 (May 1971).

Digital Library

[9]

Mathlab Group, Macsyma Reference Manual, Laboratory for Computer Science, MIT (1977).

[10]

Robert R. Henry, Techniques to Measure Static and Dynamic Operator and Operand Statistics on the VAX. 1980.

[11]

W. N. Joy, "Virtualizing a Swap-Based system to do Paging in an Architecture lacking Page-Referenced Bits," UCB CS Internal memorandum (1981).

[12]

D. E. Knuth, The Art of Computer Programming, Addison-Wesley (1988).

Digital Library

[13]

Thomas Standish, Data Structure Techniques, Addison-Wesley (1980).

Digital Library

[14]

Guy L. Steele, "Data Representations in PDP-10 Maclisp," Proceedings of the 1977 MACSYMA Users' Conference, pp. 203-214 (July 1977).

[15]

William D. Strecker, "VAX-11/780: A Virtual Address Extension to the DEC PDP-11 Family," Proc NCC, pp. 987-980 (June 1978).

Cited By

Chang Tvan Hulzen JWang P(2005)Code generation and optimization for finite element analysisEUROSAM 8410.1007/BFb0032846(237-247)Online publication date: 10-Jun-2005
https://doi.org/10.1007/BFb0032846
Wang P(2005)Taking advantage of symmetry in the automatic generation of numerical programs for finite element analysisEUROCAL '8510.1007/3-540-15984-3_332(572-582)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-15984-3_332
Char BGeddes KGentleman WGonnet G(2005)The design of Maple: A compact, portable, and powerful computer algebra systemComputer Algebra10.1007/3-540-12868-9_95(101-115)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-12868-9_95
Show More Cited By

Index Terms

Characterization of VAX Macsyma

Recommendations

Implementation of Interlisp on the VAX
LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming

This paper presents some of the issues involved in implementing Interlisp [19] on a VAX computer [24] with the goal of producing a version that runs under UNIX[17], specifically Berkeley VM/UNIX. This implementation has the following goals:

• To be ...
Engineering VAX Ada for a multi-language programming environment

DIGITAL's VAX™ Ada^r is a validated, production-quality implementation of the full Ada language that is well-integrated into the VMS™ operating system environment on VAX systems. The programming support environment consists of an Ada compiler, an Ada ...
VAX DEBUG: an interactive, symbolic, multilingual debugger
Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on high-level debugging

Digital Equipment Corporation's VAX-11 Debugger, usually called VAX DEBUG or simply DEBUG, is an interactive, symbolic, and multilingual debugger which runs on the VAX-11 series of computers under the VMS operating system. The following gives an ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SYMSAC '81: Proceedings of the fourth ACM symposium on Symbolic and algebraic computation

August 1981

248 pages

ISBN:0897910478

DOI:10.1145/800206

Copyright © 1981 ACM.

Permission to make digital or hard copies of all or part 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 components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 August 1981

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
275
Total Downloads

Downloads (Last 12 months)34
Downloads (Last 6 weeks)5

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Chang Tvan Hulzen JWang P(2005)Code generation and optimization for finite element analysisEUROSAM 8410.1007/BFb0032846(237-247)Online publication date: 10-Jun-2005
https://doi.org/10.1007/BFb0032846
Wang P(2005)Taking advantage of symmetry in the automatic generation of numerical programs for finite element analysisEUROCAL '8510.1007/3-540-15984-3_332(572-582)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-15984-3_332
Char BGeddes KGentleman WGonnet G(2005)The design of Maple: A compact, portable, and powerful computer algebra systemComputer Algebra10.1007/3-540-12868-9_95(101-115)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-12868-9_95
Wang P(2005)Hacijan's algorithm in VAXIMA: improvements and difficultiesComputer Algebra10.1007/3-540-11607-9_16(135-143)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-11607-9_16
Lee WChang J(2004)A garbage collection policy based on empirical behaviorInformation Sciences: an International Journal10.1016/j.ins.2003.05.014167:1-4(129-146)Online publication date: 2-Dec-2004
https://dl.acm.org/doi/10.1016/j.ins.2003.05.014
Norman AFitch JEngeler ECaviness B(1996)Memory tracing of algebraic calculationsProceedings of the 1996 international symposium on Symbolic and algebraic computation10.1145/236869.236916(113-119)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/236869.236916
Abdullahi SMiranda ERingwood G(1992)Collection schemes for distributed garbageMemory Management10.1007/BFb0017183(43-81)Online publication date: 1992
https://doi.org/10.1007/BFb0017183
Fateman R(1991)Canonical representations in Lisp and applications to computer algebra systemsProceedings of the 1991 international symposium on Symbolic and algebraic computation10.1145/120694.120750(360-369)Online publication date: 1-Jun-1991
https://dl.acm.org/doi/10.1145/120694.120750
Nuth PHalstead R(1989)A study of LISP on a multiprocessor preliminary versionACM SIGPLAN Lisp Pointers10.1145/1317258.13172602:3-4(15-32)Online publication date: 1-Jan-1989
https://dl.acm.org/doi/10.1145/1317258.1317260
Ungar DJackson F(1988)Tenuring policies for generation-based storage reclamationACM SIGPLAN Notices10.1145/62084.6208523:11(1-17)Online publication date: 1-Jan-1988
https://dl.acm.org/doi/10.1145/62084.62085
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

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