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/c-call/README
ViewVC logotype

View of /MLRISC/trunk/c-call/README

Parent Directory Parent Directory | Revision Log Revision Log


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

This library implements C calls for several architectures and operating systems. For calling
conventions, we depend on the Staged Allocation library. 

We support both fixed- and variable-arity C calling sequences. For the fixed-arity case, we
generate MLRISC instructions for the calling sequence. For the variable-arity case, we must 
use more elaborate techniques. The basic idea is to use an interpreter at runtime to carry 
out the calling sequence. Our ML Workshop paper contains the specifics.

 * Calling variadic functions from a strongly typed language - http://cs.uchicago.edu/~mrainey/variadic08.pdf

Layout:

 * archs - support for different architectures and operating systems
 * cm - CM files for building the library
 * gen - architecture-independent code
 * test - testing infrastructure
 * varargs - variable arity C calls
   * gen - generates located-arguments and calls the runtime interpreter
   * interp - runtime interpreter
 

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