Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /MLRISC/trunk/staged-alloc/README
ViewVC logotype

View of /MLRISC/trunk/staged-alloc/README

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3158 - (download) (annotate)
Tue Jul 29 01:10:54 2008 UTC (11 years, 1 month ago) by mrainey
File size: 927 byte(s)
  Documentation.
Staged Allocation for MLRISC
Mike Rainey (mrainey@cs.uchicago.edu)

Staged allocation is a technique for handling calling conventions for different
architectures and languages. The basic idea is to use a domain-specific language
for calling conventions and an allocator machine. The allocator machine takes
a convention encoded in this language and a function signature and returns the
machine locations for passing and returning values. From there, it is trivial
to generate the calling sequence. For the full treatment, see the original
paper by Olinsky et. al.

 *  Staged allocation: a compositional technique for specifying and implementing procedure calling conventions - http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html

Our library consists of two parts: 
 * allocator - follows the operational semantics given in the paper
 * cm - CM files for building the library
 * conventions - several calling conventions

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0