SODA

Optimizing the SICStus Prolog virtual machine instruction set

Nässén, Henrik (2001) Optimizing the SICStus Prolog virtual machine instruction set. [SICS Report]

[img]Postscript
139Kb
[img]
Preview
PDF
222Kb

Abstract

The Swedish Institute of Computer Science (SICS) is the vendor of SICStus Prolog. To decrease execution time and reduce space requirements, variants of SICStus Prolog's virtual instruction set were investigated. Semi-automatic ways of finding candidate sets of instructions to combine or specialize were developed and used. Several virtual machines were implemented and the relationship between improvements by combinations and by specializations were investigated. The benefits of specializations and combinations of instructions to the performance of the emulator is on the average of the order of 10%. The code size reduction is 15%.

Item Type:SICS Report
Uncontrolled Keywords:Virtual machines and interpretation techniques, byte-code emulators, WAM, Prolog, SICStus
ID Code:2376
Deposited By:Vicki Carleson
Deposited On:29 Oct 2007
Last Modified:18 Nov 2009 16:07

Repository Staff Only: item control page