Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Instruction merging and specializing in the SICStus Prolog virtual machine
RISE., Swedish ICT, SICS, Computer Systems Laboratory.ORCID-id: 0000-0003-3079-8095
2001 (engelsk)Inngår i: Proceedings PPDP'01, Principles and Practice of Declarative Programming, 5-7 Sep 2001, Firenze, Italy, 2001, 1Konferansepaper, Publicerat paper (Fagfellevurdert)
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%.

sted, utgiver, år, opplag, sider
2001, 1.
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-22611OAI: oai:DiVA.org:ri-22611DiVA, id: diva2:1042176
Konferanse
PPDP'01, Principles and Practice of Declarative Programming, 5-7 Sep 2001, Firenze, Italy; 3rd ACM SIGPLAN international conference
Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2025-09-23bibliografisk kontrollert

Open Access i DiVA

fulltext(186 kB)119 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 186 kBChecksum SHA-512
961e83808f1a690728007e0ab46b7399103e0ada9711f364417ee0bb3d2e98d3d72ad42e41d9897fb91d11b0466f894b8ae99369e50cda40cfc544305eb15197
Type fulltextMimetype application/pdf
fulltext(215 kB)43 nedlastinger
Filinformasjon
Fil FULLTEXT02.psFilstørrelse 215 kBChecksum SHA-512
637c29719fb9637d36ef26f6149f9ea40253c5d7489b095bf66d129bd13f7e63afa933d815c3eaf3c491ec43e62e3f33669a0e935ba13898ad47b21476abf91b
Type fulltextMimetype application/postscript

Person

Carlsson, Mats

Søk i DiVA

Av forfatter/redaktør
Carlsson, Mats
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 162 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 103 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.47.0