Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Proceedings PPDP'01, Principles and Practice of Declarative Programming, 5-7 Sep 2001, Firenze, Italy, 2001, 1Konferensbidrag, Publicerat paper (Refereegranskat)
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%.

Ort, förlag, år, upplaga, sidor
2001, 1.
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-22611OAI: oai:DiVA.org:ri-22611DiVA, id: diva2:1042176
Konferens
PPDP'01, Principles and Practice of Declarative Programming, 5-7 Sep 2001, Firenze, Italy; 3rd ACM SIGPLAN international conference
Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2025-09-23Bibliografiskt granskad

Open Access i DiVA

fulltext(186 kB)119 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 186 kBChecksumma SHA-512
961e83808f1a690728007e0ab46b7399103e0ada9711f364417ee0bb3d2e98d3d72ad42e41d9897fb91d11b0466f894b8ae99369e50cda40cfc544305eb15197
Typ fulltextMimetyp application/pdf
fulltext(215 kB)43 nedladdningar
Filinformation
Filnamn FULLTEXT02.psFilstorlek 215 kBChecksumma SHA-512
637c29719fb9637d36ef26f6149f9ea40253c5d7489b095bf66d129bd13f7e63afa933d815c3eaf3c491ec43e62e3f33669a0e935ba13898ad47b21476abf91b
Typ fulltextMimetyp application/postscript

Person

Carlsson, Mats

Sök vidare i DiVA

Av författaren/redaktören
Carlsson, Mats
Av organisationen
Computer Systems Laboratory
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 162 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 103 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf