Change search
ReferencesLink to record
Permanent link

Direct link
Instruction merging and specializing in the SICStus Prolog virtual machine
Number of Authors: 3
2001 (English)Conference paper (Refereed)
Abstract [en]

Wanting to improve execution speed and reduce code size of SICStus Prolog programs, we embarked on a project whose aim was to systematically investigate combination and specialisation of WAM instructions. Various variants of the SICStus Prolog virtual machine instruction set were designed, implemented, and their performance was evaluated against standard benchmarks and on big Prolog programs. In this paper, we describe our methodology in finding appropriate candidates for instruction merging and specialisation, discuss related trade-offs, present detailed statistics and performance measurements that we gathered, and report on our experiences from our involvement in this feat. In short, our experience is positive: the speedup of performing instruction merging and specialisation in the context of the SICStus emulator is approximately~10%, while the bytecode size reduction is about~15%.

Place, publisher, year, edition, pages
2001, 1.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22611OAI: oai:DiVA.org:ri-22611DiVA: diva2:1042176
Conference
Proceedings PPDP'01, Principles and Practice of Declarative Programming
Note
3rd ACM SIGPLAN international conference.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(186 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 186 kBChecksum SHA-512
961e83808f1a690728007e0ab46b7399103e0ada9711f364417ee0bb3d2e98d3d72ad42e41d9897fb91d11b0466f894b8ae99369e50cda40cfc544305eb15197
Type fulltextMimetype application/pdf
fulltext(215 kB)0 downloads
File information
File name FULLTEXT02.psFile size 215 kBChecksum SHA-512
637c29719fb9637d36ef26f6149f9ea40253c5d7489b095bf66d129bd13f7e63afa933d815c3eaf3c491ec43e62e3f33669a0e935ba13898ad47b21476abf91b
Type fulltextMimetype application/postscript

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 5 hits
ReferencesLink to record
Permanent link

Direct link