See this document in CiteSeerX!

On the impact of argument passing on the performance of the WAM and B-Prolog (2000)  (Make Corrections)  (2 citations)
Bart Demoen, Phuong-Lan Nguyen



  Home/Search   Context   Related

 
View or download:
cs.kuleuven.ac.be/~bmd/pub...wamtoam.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.kuleuven.ac.be/~bmd/pubs/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: B-Prolog deviates from WAM mainly by its parameter passing mechanism: parameters are pushed on the control stack instead of being passed through argument registers. Also, the B-Prolog emulator has a quite high performance on the classical benchmark set despite its being ANSI-C compliant. It is therefore tempting to attribute its performance to the parameter passing convention. This issue is investigated here in more detail. Instruction compression was a key issue in this study, so we... (Update)

Context of citations to this paper:   More

...to a read mode routine and a write mode routine. In a bytecode interpreter, this can be done either using two switch statements (as in [4]) or e.g. as a common one where an opcode 2 i refers to a read mode routine and 2 i 1 refers to the write mode version. An indirect...

...(as well as other WAM implementations we know o ) which might be responsible for the perceived speed of B Prolog. Indeed, as shown in [7], closer inspection of the implementation technology (generated abstract machine code, emulator structure . shows that mainly the...

Cited by:   More
Argument Registers Or Local Stack for parameter passing in the.. - Demoen, Nguyen   (Correct)
Instruction Merging and Specialization in the SICStus.. - Nässén, Carlsson..   (Correct)

Active bibliography (related documents):   More   All
0.3:   Trying Out Alternatives for Type Class Support in a new.. - Demoen, Banda, Stuckey   (Correct)
0.3:   About Unnecessary Performance Differences between Prolog.. - Demoen, Nguyen   (Correct)
0.2:   So many WAM variations, so little time. - Demoen, Nguyen   (Correct)

Similar documents based on text:   More   All
0.5:   Combining an Improvement to PARMA Trailing with Trailing.. - Schrijvers, Demoen (2002)   (Correct)
0.4:   Copying garbage collection for the WAM: - To Mark Or   (Correct)
0.3:   Combining an improvement to PARMA trailing with analysis in HAL - Schrijvers (2002)   (Correct)

Related documents from co-citation:   More   All
2:   An abstract prolog instruction set (context) - Warren - 1983
2:   So many WAM variations (context) - Demoen, Nguyen

BibTeX entry:   (Update)

B. Demoen and P.-L. Nguyen. On the impact of argument passing on the performance of the WAM and B-Prolog. Technical Report CW 300, K.U. Leuven, 2000. http://citeseer.ist.psu.edu/demoen00impact.html   More

@misc{ demoen00impact,
  author = "B. Demoen and P. Nguyen",
  title = "the impact of argument passing on the performance of the WAM and B-Prolog",
  text = "B. Demoen and P.-L. Nguyen. On the impact of argument passing on the performance
    of the WAM and B-Prolog. Technical Report CW 300, K.U. Leuven, 2000.",
  year = "2000",
  url = "citeseer.ist.psu.edu/demoen00impact.html" }
Citations (may not include all citations):
395   An Abstract Prolog Instruction Set (context) - Warren - 1983
29   Warren's Abstract Machine: A Tutorial Reconstruction (context) - t-Kaci - 1991
25   CAT: the Copying Approach to Tabling - Demoen, Sagonas - 1998
22   Optimising Bytecode Emulation for Prolog (context) - Costa - 1999
17   CHAT: the Copy-Hybrid Approach to Tabling - Demoen, Sagonas - 2000
17   Indexing and Other Implementation Issues in the WAM (context) - Carlsson - 1987
10   the Scheme of Passing Arguments in Stack Frames for Prolog (context) - Zhou - 1994
9   Program Transformations and WAM-support for the Compilation .. (context) - Tarau - 1992
3   Computational Logic - CL (context) - Demoen, Nguyen et al. - 2000
2   the Eciency of Optimising Shallow Backtracking in Compiled P.. (context) - Carlsson - 1989
1   Executing Query Packs in ILP Proceedings of ILP2000 - 10th I.. (context) - Blockeel, Dehaspe et al. - 2000
1   Lecture Notes in Articial Intelligence (context) - Demoen, Mari et al. - 1992
1   Compiling large disjunctions Proceedings of the Workshop on .. (context) - Vandecasteele, Demoen et al. - 2000
1   Experiments in WAM emulators and term representations (context) - Demoen, Nguyen - 2000
1   A Novel Implementation Method for Delay Joint Internatinal C.. (context) - Zhou - 1996

Documents on the same site (http://www.cs.kuleuven.ac.be/~bmd/pubs/):   More
On Delphi Lemmas And Other Memoing Techniques For.. - Tarau, De Bosschere.. (1997)   (Correct)
Partial Translation: Towards a Portable and Efficient.. - Tarau, De Bosschere.. (1996)   (Correct)
A new Scheme for Unification in WAM. - Marien, Demoen (1991)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC