$Revision: 5.0.2.14 $
The document introduction.htm provides an overview of the Allegro CL documentation with links to all major documents. The document index.htm is an index with pointers to every documented object (operators, variables, etc.) The revision number of this document is below the title. These documents may be revised from time to time between releases.
1.0 Foreign functions introduction
1.1 Some notation
1.2 Different
versions of Allegro CL load foreign code differently
1.3 Package information
1.4 Load foreign code
with cl:load
1.4.1
Foreign File Processing
1.4.2
Externals must be resolved when the .so/.sl/.dll file is created
1.4.3 One
library file cannot depend on an already loaded library file
1.4.4 Entry points are updated
automatically
1.4.5 Duplicate entry points are
never a problem
1.4.6
If you modify a so/sl/dll file that has been loaded, you must load the modified file!
1.5 Foreign code
cannot easily be included at installation time
1.6 Foreign
functions and multiprocessing
1.7
Creating Shared Objects that refer to ACL Functionality
2.0 The 4.3.x UNIX model for
foreign functions
3.0 The ACL 3.0.x for
Windows model for foreign functions
4.0 The 5.0 foreign
function interface specification
4.1 Foreign
function interface function summary
4.1.1
A note on foreign addresses
4.2 def-foreign-call
4.2.1
def-foreign-call syntax
4.2.2
def-foreign-call examples
4.3 def-foreign-variable
4.3.2
def-foreign-variable examples
5.0 Conventions for passing arguments
5.1
Modifying arguments called by address: use arrays
5.2 Lisp may
not see a modification of an argument passed by address
5.3 Lisp
unexpectedly sees a change to an argument passed by address
5.4 Passing
fixnums, bignums, and integers
5.5 Another
example using arrays to pass values
6.0 Passing strings between Lisp and C
6.1 Passing strings from
Lisp to C
6.2
Special Case: Passing an array of strings from Lisp to C
7.0 Handling signals in foreign code
8.0 Input/output in foreign code
9.0 Using Lisp functions and values
from C
9.1 Accessing
Lisp values from C: lisp_value()
9.2 Calling
Lisp functions from C: lisp_call_address() and lisp_call()
9.3 Calling foreign
callables from Lisp
Appendix A: Foreign Functions on
Windows
A.1 Making a .dll
A.2 Making a Fortran .dll
A.3 The Lisp side of
foreign functions
A.4 A complete example
Appendix B:
building shared libraries on Solaris 2.4 or later
Appendix C: building
shared libraries on HP-UX 10.20
Appendix D:
building shared libraries on SGI/IRIX 6.2 or later
Appendix E:
building shared libraries on Dec Unix 4.0 or later
Appendix F: building
shared libraries on AIX 4.2 or later
Appendix G: building shared libraries on Linux
Appendix H: building shared libraries on FreeBSD
The description of Foreign Types is not in this document. It can be found in ftype.htm.
The foreign-function interface allows one to link compiled foreign code dynamically into a running Lisp. Foreign code is defined to be code not written in Lisp. For example, code written in C or Fortran is foreign code. The foreign-function interface allows users to load compiled code written in a foreign programming language into a running Lisp, execute it from within Lisp, call Lisp functions from within the foreign code, return to Lisp and pass data back and forth between Lisp and the foreign code.
This mechanism is very powerful, as programs need not be recoded into Lisp to use them. Another advantage arises during program development. For example, a large graphics library can be linked into Lisp and all the functions will be accessible interactively. This enables rapid prototyping of systems that use the library functions, since the powerful Lisp debugging and development environment is now available.
We use the word link because all foreign code should be in a shared object (.so or .sl on Unix) or dynamic library (.dll on Windows) file which is mapped into a running Lisp process. The function that causes this linking is cl:load, which has been extended to accept and do the right thing with .so/.sl/.dll files. Because cl:load is used, we sometimes speak of foreign code being loaded into Lisp. Please understand that foreign code is not truly made part of the image.
In this chapter, we discuss C or FORTRAN routines and the Lisp functions that call them. These often have the same names. In order to distinguish them, names ending with () are foreign routines and names without () are Lisp functions. Thus we might say:
The foreign function bar() is loaded into Lisp. We use def-foreign-call to define the Lisp function bar which calls bar().
The differences are not that significant since all 5.0 platforms use some form of dynamic linking of shared objects. However, the internal mechanisms are different and the differences may sometimes be important. The type of loading is identified by a feature on the *features* list. The following table lists the relevant features:
| Feature | Meaning | |
| :dynload | Foreign code is dynamically linked. | |
| :dlfcn | Loading is done using dlopen(). :dynload will be present if this feature is present. The type of loadable files is .so. | |
| :dlhp | Loading is done using shl_load. :dynload will be present if this feature is present. HP machines only. The type of loadable files is .sl. | |
| :dlwin | Loading is done using LoadLibrary. :dynload will be present if this feature is present. Windows only. The type of loadable files is .dll. | |
| :dlld | Foreign code is directly loaded into image. :dynload will not be present. No 5.0 platforms currently use this method of foreign loading so none have this feature. | |
The following appendices describe how to create files suitable for loading on various platforms.
Appendix A: Foreign Functions on
Windows
A.1 Making a .dll
A.2 Making a Fortran .dll
A.3 The Lisp side of
foreign functions
A.4 A complete example
Appendix B:
building shared libraries on Solaris 2.4 or later
Appendix C: building
shared libraries on HP-UX 10.20
Appendix D:
building shared libraries on SGI/IRIX 6.2 or later
Appendix E:
building shared libraries on Dec Unix 4.0 or later
Appendix F: building
shared libraries on AIX 4.2 or later
The foreign-function interface in Lisp is in the package foreign-functions, nicknamed ff. Users must either use the qualifier ff: on these symbols or evaluate
(use-package :ff)
before using the interface.
The code for the foreign-function interface may not be contained in the basic Allegro CL image. It is loaded only when needed. Executing certain of the interface functions will cause the correct module to be loaded (ff:def-foreign-call for instance), but we recommend that you ensure that the code is loaded by evaluating the following form before using the foreign-functions interface:
(require :foreign)
This will cause the foreign.fasl module to be loaded from the Lisp library. The form should be included in any source file using functions in the interface. (It is not an error to call require when a module is already loaded.)
Note that the foreign-function interface was designed for the C and Fortran compilers on the system at the time of the release of this version of Allegro CL. New versions of the C or Fortran compilers from the hardware manufacturers may, for purposes of using the foreign-function interface, be incompatible with the version current when the interface was written. In that case, it is possible that already written and compiled Lisp code may cease to work, and that, for a time, the interface may fail altogether. We will maintain the foreign-function interface, and make it compatible with each new release of the system compilers. We cannot guarantee, however, that already compiled code will continue to work in the presence of changes in the C or Fortran compilers.
Foreign code in a .so/.sl/.dll file is loaded into Lisp with cl:load (or the top-level command :ld). cl:load is, of course, also used to load Lisp source and compiled (fasl) files. Since cl:load may just be presented with a filename as a single argument, it must be able to determine based on that argument alone whether Lisp code or a foreign library is being loaded. Sometimes other arguments are provided. In that case, those arguments may indicate the type of file being loaded.
Note that the Operating System must know where to find foreign files, either those needed to resolve externals in a file or the file itself if it is specified to load with no directory information.
On Solaris, IRIX, and DEC Unix, LD_LIBRARY_PATH must be set correctly. Note that once Lisp has started, changes to the value of that environment variable will likely not be seen by the running Lisp.
On HP-UX, the directories in the SHLIB_PATH environmental variable are searched.
On Windows, the following locations are searched:
An addition keyword argument is provided to cl:load, unreferenced-library-names. If specified, it should be a list of entry points (strings). The system will check if these entry points exist and signal an error if they do not.
Here is how cl:load works.
stream, load from it (as a Lisp or fasl
file) and return. (You should not open a stream to a Foreign library or shared object file
and pass that stream to cl:load.)nil,
then the files to load are assumed to be foreign and are assumed to be given as the value
of the foreign-files or system-libraries argument or the purpose of the
call is to check that specific entry points, specified with the unreferenced-library-names
argument, are present. The check for unreferenced-library-names is done if that
argument is specified. excl::*load-foreign-types*
(the test is case insensitive on Windows), foreign load processing is done, as described below.Foreign file processing behavior can differ slightly, depending on your version of Lisp.
Versions of Lisp with :dlfcn on *features* (e.g., SunOS 5.x):
:unreferenced-lib-names was given, then make sure all entry points are
defined and return. nil, then signal an error, since dlopen()
will not find the pathname. dlopen() to map the searched pathname into the address
space and return. Versions of Lisp with :dlwin on *features* (e.g. Windows):
nil, then signal an error, since GetModuleHandle()
will not find the pathname. GetModuleHandle() to map the searched pathname into
the address space and return. Versions of Lisp with :dlhp on *features* (e.g., HP/UX
10.20):
:unreferenced-lib-names was given, then make sure all entry points are
defined and return. nil and there is a directory or host component
to this pathname, then signal an error, since shl_load()
will not find the pathname. shl_load() to map the searched pathname into the
address space and return. Suppose one library file contains a reference to a function defined in another file. For example, suppose we are on a Solaris machine and t_double.so, contains a call to foo() which is defined in foo.so. When we try to load t_double.so, we get the following error (on Solaris, see below for behavior on other platforms):
USER(24): :ld t_double.so
; Foreign loading /net/rubix/usr/tech/dm/acl/t_double.so.
Error: loading library "/net/rubix/usr/tech/dm/acl/t_double.so" caused the
following error:
ld.so.1: /net/sole/scm3/temp-images/lisp:
relocation error: symbol not found: foo: referenced in
/net/rubix/usr/tech/dm/acl/t_double.so
Below, we point out that loading foo.so (before or after the attempt to load t_double.so) will not resolve the unsatisfied external. The point, which we emphasize here, is any unsatisfied external must be resolved when the so/sl/dll file is created (e.g. by using -l<libname> arguments passed to ld on Solaris). Even though the error is signaled when Lisp attempts to load the .so file, the problem cannot be resolved within Lisp. A new .so file, created with the correct arguments passed to ld, must be created and that new .so file must be loaded into Lisp.
This problem is not as bad as it might be. Many standard shared libraries are linked automatically and calls to routines in them will be resolved when the .so file is loaded into Lisp. The important point, to state it again, is if you do get an unsatisfied external error, you must recreate the .so file and then load the modified .so file into Lisp. The example below shows how a .so file might be recreated.
Here is the behavior in this case on various platforms. On the following platforms, the load will fail with an error message that lists an unresolved external symbol:
On the following platforms, the load will fail without an adequate explanation. Unresolved externals is always a possibility for failure.
Each file must be complete in itself: all necessary routines must either be defined in the file or must be in a library specified when the file is created. On Windows, Dec Unix, and AIX, by default, the linker prevents building a shared library with unresolved external symbols.
Consider the example on a Solaris machine: t_double() (defined in t_double.so) calls foo() (defined in foo.so). Even if you have already loaded foo.so, trying to load t_double.so will fail, as follows:
USER(23): :ld foo.so
; Foreign loading /net/rubix/usr/tech/dm/acl/foo.so.
USER(24): :ld t_double.so
; Foreign loading /net/rubix/usr/tech/dm/acl/t_double.so.
Error: loading library "/net/rubix/usr/tech/dm/acl/t_double.so"
caused the
following error:
ld.so.1: /net/sole/scm3/temp-images/lisp:
relocation error: symbol not found: foo: referenced in
/net/rubix/usr/tech/dm/acl/t_double.so
Restart actions (select using :continue):
0: retry the load of t_double.so
[1] USER(25):
There are two solutions to this problem. You can combine all necessary files (t_double.so and foo.so in our case) into a single file. On Solaris, this could be done with the following command starting with the .o files used to make the .so files:
% ld -G -o combine.so foo.o t_double.o
Alternatively, you can specify the file holding the needed routines (foo.so in our example) as a library for the file needing them (t_double.so in our example). On Solaris again, a command like:
% ld -G -o t_double.so t_double.o -R /net/rubix/usr/dm/acl -lfoo
Suppose you load a library file which defines bar() and then use ff:def-foreign-call to define bar, which calls bar(). Then you load another .so file which defines bar(). What happens?
Lisp will automatically modify bar.so it calls the bar() defined in the newly loaded file (and it prints a warning that it is doing so).
Let us make this clear with an example on a Solaris machine. Consider the two files bar1.c and bar2.c:
/* bar1.c */
void bar()
{
printf("This is BAR 11111 in bar1.c!\n");
fflush(stdout);
}
/* bar2.c */
void bar()
{
printf("This is BAR 22222 in bar2.c!\n");
fflush(stdout);
}
bar1.so defines bar() and bar2.so also defines bar(). We first load bar1.so and use ff:def-foreign-call to define bar, and then load bar2.so.
USER(37): :ld bar1.so
; Foreign loading /net/rubix/usr/tech/dm/acl/bar1.so.
USER(38): (ff:def-foreign-call bar nil :returning :void)
T
USER(39): (bar)
This is BAR 11111 in bar1.c!
nil
USER(40): :ld bar2.so
; Foreign loading /net/rubix/usr/tech/dm/acl/bar2.so.
Warning: definition of "bar" moved from /net/rubix/usr/tech/dm/acl/bar1.so
to /net/rubix/usr/tech/dm/acl/bar2.so.
USER(41): (bar)
This is BAR 22222 in bar2.c!
nil
USER(43): 3
Since one library file cannot depend on another unless specified when it was built, there is a never a problem with duplicate entry points. It is important, however, to be sure that you know which foreign routine is being called.
Failure to do so may cause Lisp to fail unrecoverably.
Suppose on Solaris you have bar() defined in bar1.so and you load bar1.so into Lisp. You also define the function bar with def-foreign-call. Then, you decide to modify bar1.c and bar1.so. Once the new bar1.so has been created, you must load it into Lisp before calling bar. Otherwise, Lisp may fail.
The problem is that the function bar knows it should look for the definition of bar() in bar1.so and it knows where to look in that file. If bar1.so is modified in any way, the place where Lisp will look for the definition of bar() is likely wrong. Lisp, however, does not know that and will look at that location anyway, taking whatever it finds to be valid code. The result can be disastrous, since typically Lisp hangs unrecoverably. In that case, Lisp may have to be killed from a shell and restarted.
In earlier versions of Allegro CL on Unix, it was possible and relatively easy to build an executable image that included foreign code. Because of changes in the way images are built and the fact that the executable and image files are different (which is a new feature on Unix platforms), it is no longer easy to build foreign code into an image. The only way is to write a main() which does the necessary linking. See main.htm.
There are two models of multiprocessing used by Allegro CL (as described in multiprocessing.htm): the :os-threads model and the non :os-threads model. (:os-threads appears on the *features* list of implementations that use it). In 5.0, Allegro CL on Windows uses the :os-threads model while Allegro CL on all Unix platforms, at the time of writing, uses the non :os-threads model.
In the non :os-threads model, foreign code is not interruptable and Lisp code never runs until foreign code returned control to Lisp, typically by completing but sometimes when the foreign code called back to Lisp. In the :os-threads model, Lisp code on one process may run while foreign code in another process may be waiting or be interrupted. This means that certain implicit features of foreign code may no longer hold. Among them is the most significant:
Lisp pointers passed to foreign code are not guaranteed to be valid by default. In earlier releases, because Lisp code never ran while foreign code was running, a Lisp pointer passed to foreign code was guaranteed to be valid until the foreign code completed or called back to Lisp. In the :os-threads model, because Lisp code and foreign code can run in different OS processes, Lisp code may be run concurrently with foreign code. A garage collection may move Lisp objects rendering the pointer in the foreign code invalid. We recommend storing all values used by both Lisp and foreign code in foreign (not garbage-collected) space or dynamically allocated on the stack. It is also possible to block Lisp code from running until foreign code completes (replicating pre-5.0 behavior).
See the release-heap keyword argument to def-foreign-call. It prevents or permits other threads from running along with the foreign code.
When creating foreign code to load dynamically into lisp, it is sometimes necessary to refer to variables within Allegro CL's runtime such as nilval or UnboundValue, or else to call a function directly from C such as lisp_call_address(). In cases like these it is necessary to link in the Allegro CL shared-library (either .dll, .so, or .sl, depending on the architecture) with the shared-library that is being built. The actual name of the Allegro CL shared-library is available via excl::get-shared-library-name and can be added to the link line to resolve symbols within it that are referenced in the foreign code.
For example, on a Sparc,
% cat foo.c
#include "lisp.h"
LispVal
get_nil ()
{
return nilval;
}
% cc -c -K pic -I<ipath> foo.c
<ipath> is the location of lisp.h (usually <Allegro directory>/misc/). Now, before linking, we need to find out where the Allegro CL shared-library is, so in the lisp (for example, your own name and path might be different):
user(4): (excl::get-shared-library-name)
"libacl50.so"
user(5): (translate-logical-pathname "sys:")
#p"/usr/acl50/"
user(6):
Then back in the shell and build the shared library (this example is from a Solaris machine):
ld -G -o foo.so foo.o /usr/acl50/libacl50.so
Note that other libraries, including system libraries, might need to be linked in in order to complete the ld. Then, back in the lisp, the load can be done:
user(6): :ld ./foo.so
; Foreign loading ./foo.so
user(7): (ff:def-foreign-call get_nil () :returning :lisp)
get_nil
user(8): (get_nil)
nil
user(9):
All existing 4.3 exported symbols become deprecated, and preserved only for compatibility. There is a compatibility module for 4.3.x style foreign functions code. The module is called ffcompat and can be loaded with
(require :ffcompat)
See the document ffi43com.htm for information on the compatibility package.
here is a compatibility module for 4.3.x style foreign functions code. The module is called ffcompat and can be loaded with
(require :aclwinff1)
See the document aclwffi.htm for information on the compatibility package.
The remainder of this document describes the foreign function interface in Allegro CL 5.0. Except as noted, the interface is the same on all platforms.
The description of foreign types is in the document ftype.htm.
The following table shows the functions used in the foreign function interface. The Notes in the following table provide brief and by no means complete descriptions of the object being described. Please follow the link to the description page for the complete description including warnings and subtleties.
| Name | Arguments | Notes |
| ff:def-foreign-call | name-and-options arglist &key option ... | This macro defines a foreign function as the symbol-function of a Lisp symbol. See 4.2 def-foreign-call below. |
| ff:def-foreign-variable | name-and-options &key type convention | This macro defines a foreign variable to Lisp. See #4.3 def-foreign-variable below. |
| ff:def-foreign-type | name-and-options def ... | This macro defines a foreign type to Lisp and can make a connection between foreign and lisp types, allowing proper conversion. See ftype.htm. |
| ff:defun-foreign-callable | name arglist &body body | This macro defines a Lisp function which can be directly called by a foreign function. See 9.0 Using Lisp functions and values from C below. |
| ff:register-foreign-callable | name &optional index-or-reuse convert-to-c-types | Registers the location of a Lisp function to allow access by foreign code. See 9.2 Calling Lisp functions from C: lisp_call_address() and lisp_call() below. |
| ff:unregister-foreign-callable | index | Unregisters a Lisp function registered with ff:register-foreign-callable. See 9.2 Calling Lisp functions from C: lisp_call_address() and lisp_call() below. |
| ff:register-lisp-value | value &optional index | Register a Lisp value to allow access by foreign code. See 9.1 Accessing Lisp values from C: lisp_value() below. |
| ff:unregister-lisp-value | index | Unregisters a Lisp values registered with ff:register-lisp-value. See 9.1 Accessing Lisp values from C: lisp_value() below. |
| ff:lisp-value | index | Simulates a call to lisp_value(). See 9.1 Accessing Lisp values from C: lisp_value() below. |
| ff:convert-foreign-name | name &key language | Default function used to convert a Lisp name to a foreign entry point (prepending and appending characters such as underscores as needed. See 4.2.1 def-foreign-call syntax below. |
| ff:get-entry-point | name | Returns the entry point for name, if there is one. Returns nil if there is not. |
| ff:list-all-foreign-libraries | &key return-structs &allow-other-keys | Returns a list of all foreign libraries (so/sl/dll files) that are loaded into the current lisp image. |
| ff:unload-foreign-library | filename | Unmaps (i.e. unloads) the so/sl/dll files previously loaded with cl:load specified by filename. |
| ff:char*-to-string [Obsolete, use excl:native-to-string instead] | address &optional string make-string-p | Takes the address of a C string and returns an equivalent Lisp string. |
| excl:native-to-string | address &key string make-string? external-format | Takes the address of a C string and returns an equivalent Lisp string. This function has other uses in International Allegro CL (see iacl.htm). See 6.0 Passing strings between Lisp and C below. |
| ff:string-to-char* [Obsolete, use excl:string-to-native instead] | string &optional address | Takes a Lisp string and writes a C string to malloc space. |
| excl:string-to-native | string &key :address :external-format | Takes a Lisp string and writes a C string to malloc space. This function has other uses in International Allegro CL (see iacl.htm). See 6.0 Passing strings between Lisp and C below. |
| excl:with-native-string | (string-var string-exp &key (start 0) end native-length-var external-format) &body body | This macro provides an efficient, portable, and non-garbage (from the lisp garbage collector's point of view) way of converting lisp-strings to addresses acceptable for foreign functions expecting native string arguments. This macro has other uses in International Allegro CL (see iacl.htm). |
| ff:foreign-strlen | address | Returns the length of the C string located at address. See 6.0 Passing strings between Lisp and C below. |
Locations of foreign objects (usually objects stored outside the Lisp) are typically specified by addresses. A true address is a machine integer. Lisp integers are not machine integers (because ceratin bits have special meaning in fixnums and bignum have a header) but a true machine integer can be extracted easily enough so long as the system knows to do it. Foreign functions defined to Lisp with def-foreign-call may take foreign type objects, or vectors or foreign addresses (integers, vectors, or foreign-pointer objects) as arguments.
A foreign type is either one of the built-in types (like :int) or one of a system of foreign structures defined with def-foreign-type.
A foreign-pointer is an instance of the class ff:foreign-pointer (see also make-foreign-pointer) that a special slot (with accessor, foreign-pointer-address) that is intended to point to raw data.
A foreign adress is either a Lisp integer, a Lisp vector, or a foreign-pointer instance.
Note that foreign-types and foreign-pointers have nothing particular to do with each other. (A foreign-pointer is really a way to identify an integer as a foreign pointer -- rather than any old value -- to allow better argument and type checking.)
The second required argument to def-foreign-call is the argument list for the foreign function. The elements of that list are lists of argument names (symbols) followed by the foreign type to which is should be converted (and perhaps followed by additional values). A symbol alone is the same as the list (symbol :int).
A lisp value passed as an argument to a foreign function will be converted appropriately according to the specification in the argument list.
Thus, when a foreign type is specified as an argument to a foreign call, the value passed will be converted from lisp to C by specific rules. For example, a :int type expects a lisp integer and converts it to a machine integer. A :struct is adjusted to point to its first element, etc.
When the argument is specified :foreign-address, the system will accept as a value (1) a Lisp integer (converted to a machine-integer), (2) a Lisp vector (adjusted to point to its first element), or (3) a foreign-pointer (converted by extracting the foreign-pointer-address from the object).
The macro ff:def-foreign-call associates a foreign function with a Lisp symbol, allowing it to be called as a Lisp function would be called.
The problem is making such an association is that Lisp types and foreign types are usually different, and so as part of the definition of a foreign function, the system must be told how Lisp objects passed as arguments should be converted to foreign types and how a returned value should be converted to a Lisp type. Further information can be provided as well: should the call be a candidate for inlining? When the multiprocessing model is :os-threads, should other processes be able to modify the Lisp heap while the foreign function is running? And so on.
The definition of ff:def-foreign-call is on its own description page, found by following the link. We discuss the syntax of a call next and then make some other comments and provide examples.
DEF-FOREIGN-CALL name-and-options arglist &key kwopt ... MACRO
This macro is used to describe a function written in a foreign language (usually C). The action of this macro is to define a lisp function which when called will pass control to the foreign function, making appropriate data transformations on arguments to and the return value from the foreign function.
name-and-options -> name-symbol ;; default conversion to external name
-> (lisp-name-symbol external-name)
external-name -> [convert-function] [external-name-string] ;; default convert function is
;; ff:convert-foreign-name
arglist -> () ;; Implies default argument processing
;; (like old defforeign :arguments t spec)
-> (:void) ;; Explicitly looking for no arguments
-> (arg ...)
arg -> name
-> (name complex-type-spec)
;; If name is nil, a dummy name will be supplied.
type-spec -> foreign-type
-> (complex-type-spec)
complex-type-spec-> foreign-type [lisp-type [translate-type]]
translate-type -> ??? ;; Not yet implemented
lisp-type -> any Lisp type
;; This constrains the runtime arg to this
;; Lisp type. When trusting declarations we
;; assume the Lisp type and optimize accordingly.
;; If declarations are appropriate the compiler
;; may generate checks to validate the lisp type.
kwopt -> :RETURNING type-spec
-> :CONVENTION { :C | :STDCALL | :FORTRAN | :FASTCALL}
;; On NT, C (cdecl) and stdcall are now equivalent.
-> :ARG-CHECKING { NIL | T }
-> :CALL-DIRECT { NIL | T }
-> :METHOD-INDEX index ;; Ordinal index of C++ member
;; method; vtbl is first argument.
-> :CALLBACK { NIL | T };; Callback currently forced to T.
-> :RELEASE-HEAP { :NEVER | :ALWAYS | :WHEN-OK }
Here are some examples of ff:def-foreign-call usage:
(def-foreign-call add2 (x y))
Call a function, probably named "add2" in C, whose first arg is named "x" and is an integer in lisp and which is converted to an int for passing to C. If the integer is larger than can be held in a C int, it is truncated. As with the first arg, the second arg named "y" is an integer converted to a C int. The return value is interpreted as a C int type, and is converted to a lisp integer (which may either be a fixnum or consed as a bignum).
(def-foreign-call t_double ((x :double)
(y :double single-float)
(z :int fixnum))
:returning :double))
Call a function, probably named "t_double" in C, whose first arg is a double-float both in lisp and in C, and whose second arg is a single-float in lisp but is converted to double float for passing into C (this is the the calling convention used by some non ANSI C compilers and by others when the arguments are not prototyped), and the third argument is a fixnum lisp passed as an integer to C. The function returns and boxes a double-float value to lisp.
(def-foreign-call (t-float dash-to-underscore) ((x :double)
(y (:float :no-proto))
(z :int fixnum)
(w (* :char) string))
:returning #-(or (and sun4 (not svr4)) sun3q) :float
#+(or (and sun4 (not svr4)) sun3q) (:double single-float)
Call a function, named "t_float" in C (assuming proper conversion by dash-to-underscore), whose first arg is a double-float both in lisp and in C. Like the previous example, the second arg is a float in lisp, and is converted to double float for passing into C. The third arg named "z" is a fixnum passed as an int, and "w" is a (null-terminated) lisp string, whose first-character-address is passed to C (beware, the string may move if a gc is allowed). Depending on the architecture, the C function will return either a double (from older C compilers) or a float, each interpreted and boxed as a lisp single-float value.
(def-foreign-call c_array ((str (* (* :char)) (simple-array simple-string (*)))
(n :int fixnum))
:returning :char)
Call a function whose C name is probably c_array, whose "str" argument is an array of strings, properly converted (by copying from the lisp parts). The second arg "n" is a lisp fixnum shifted to make a C int. The C function returns a char which is made into a lisp character.
The ff:def-foreign-variable macro is used to describe a variable exported by a foreign language (usually C). The action of this macro is to define a lisp symbol-macro which when evaluated will obtain the address of the foreign variable and either retrieve or set the value of the variable based on the access-type.
DEF-FOREIGN-VARIABLE name-and-options &key kwopt ... MACRO
This macro is used to describe a variable exported by a foreign language (usually C). The action of this macro is to define a lisp symbol-macro which when evaluated will obtain the address of the foreign variable and either retrieve or set the value of the variable based on the access-type.
name-and-options -> name-symbol ;; default conversion to external name
-> (lisp-name-symbol external-name)
external-name -> [convert-function] [external-name-string]
kwopt -> :type access-type
-> :CONVENTION { :C | :FORTRAN}
Here are some examples of def-foreign-variable usage:
user(1): (ff:def-foreign-variable sigblockdebug) sigblockdebug user(2): sigblockdebug 0 user(3): (setq sigblockdebug 1) 1 user(4): (ff:def-foreign-variable (print-lso-relocation "print_lso_relocation")) print-lso-relocation user(5): print-lso-relocation 0 user(6): (setq print-lso-relocation 1) 1 user(7):
In these examples, variables from the Allegro CL internal runtime are set up to allow lisp to access the variables in a lispy way. Since these variables are not documented, it would take a C debugger to examine and verify that the values of the C variables had indeed been changed.
WARNING: Do not attempt to use this macro on the C "errno" variable, nor on any other variable that might be bound on a per-thread basis; doing so might cause (incorrect) information to be returned for the wrong thread.
Arguments to function calls can be passed in two ways, by value and by address. When an argument is passed by value, a copy of the value is placed somewhere (typically on the stack) where the function can access it. When an argument is passed by address, a pointer to its actual location is given to the function. Arguments in C are usually (but not always) passed by value, while arguments in Fortran are normally passed by address.
A function that receives an argument called by value can modify that value. There are two problems with such modifications:
We deal with each situation in turn. The solution is the same in both cases: pass the address of an array.
When an argument is passed by address in C or Fortran code and the called function changes the value of the argument, the argument will stay changed even after control returns from the called function. The actual stored value of the argument will have been permanently modified. This is expected behavior and is generally what is intended and desired.
Users therefore should be warned that in many cases (arrays being the main exception) when Lisp code calls a foreign function that modifies one of the arguments passed by address, the Lisp value of that argument will be unchanged. The reason is that Lisp represents objects differently from C or Fortran and so often cannot pass the actual address of the Lisp object to the foreign code, since the foreign code would not correctly interpret the value pointed to. Instead, Lisp makes a copy of the lisp object, changing the representation appropriately, and passes the address of the copy. Although this copied value is modified by the foreign code, Lisp ignores the copied value after the function returns, looking only at the unmodified Lisp object.
To repeat the above warning: Fortran functions do not always affect the value of a Lisp object when this is passed to a Fortran function. The following example illustrates this behavior. Say we have the Fortran file fnames.f containing the function itimes2():
function itimes2(x)
integer x
x = 2*x
itimes2 = x
return
end
This function appears to double the (C or Fortran) integer value stored in the location specified by x. We compile and load the file into Lisp, then run the function Here are the results:
USER(21): (load "fnames.so")
t
USER(22): (ff:def-foreign-call itimes2 (fixnum) :convention :fortran :returning :void)
;; send in a fixnum, but pass by address
t
USER(23): (setq x 19)
19
USER(24): (itimes2 x)
38 ;; gives 38 as expected
USER(25): x
19 ;; but x is unchanged.
The problem is that a Lisp fixnum is not the same as a Fortran (or C) integer, and thus the foreign-function interface must convert it. It copies the Lisp fixnum, converts it to a Fortran integer, and then passes the address of the converted copy to the Fortran function. The expected Fortran behavior can be achieved by passing an array instead of a fixnum.
USER(30): (ff:def-foreign-call
`itimes2 ((simple-array fixnum (1)))
:convention :fortran
:returning :void)
t
USER(31): (setq x (make-array 1
:element-type `fixnum
:initial-element 19))
#(19)
USER(32): (itimes2 x)
38 ;; gives 38 as expected
USER(33): x ;; as does x
#(38)
Again, when an argument is passed by address in C or Fortran code and the called function changes the value of the argument, the argument will stay changed even after control returns from the called function. The actual stored value of the argument will have been permanently modified.
This can cause trouble when, for example, you pass a floating point value to FORTRAN routine that modifies the value. Consider the following FORTRAN subroutine:
subroutine dtest(x)
double precision x
x = x + 1.0d0
return
end
It increases the value of its argument by 1.0d0. We compile this function, load it into Lisp, and define it as a foreign function with ff:def-foreign-call:
(ff:def-foreign-call dtest (double-float) :convention :fortran :returning :void)
Now we run it:
USER(3): (dtest 0.0d0)
nil
USER(4): 0.0d0
1.0d0
Whoa! What happened to 0.0d0? Well, here is what happened. 0.0d0 is a Lisp object of type double-float. As such, it has a type code and a pointer to its actual value, 0.0d0. When dtest is called with 0.0d0 as an argument, the location of the value is passed. FORTRAN then modifies that location. The trouble is that Lisp still thinks that location contains 0.0d0 and so when Lisp reads 0.0d0, it gets the value in the location and finds 1.0d0 instead.
In fact, Lisp reuses floating-point values whenever it can. Since there is no way within Lisp to modify a value, there should be no problem with using the same value over and over and doing so will save time and space.
It could be argued that Lisp should protect itself by making a copy of the floating-point value and passing that to FORTRAN. However, that would put a cost on many foreign calls where protection was not necessary. Instead, there is a simple workaround for users who wish to call by address code that modifies floats: specify the float as a length 1 vector and pass the vector:
(ff:def-foreign-call dtest ((simple-array double-float)) :returning :void)
USER(8): (setq x1 (make-array 1 :element-type
`double-float
:initial-element 0.0d0))
#(0.0d0)
USER(9): (dtest x1)
nil
USER(10): x1
#(1.0d0)
USER(11): 0.0d0
0.0d0
Fortran cannot distinguish between the address of the start of an array and the address of a single value, so passing the address of the double-float array x1 is correct and works as we want.
Another difficulty arising out of differing Lisp and non-Lisp representations of values is illustrated by the example itimes2() above. The argument passed to the foreign function was a fixnum, not an integer. Integers can be bignums or fixnums. C or Fortran integers may be larger than all possible Lisp fixnums and smaller than most but not all bignums. If a fixnum is passed to foreign code, it is always correctly represented, but a bignum can be represented only if it is small enough. The foreign-function interface will truncate any bignum that does not fit into the foreign integer representation without warning. Users can avoid this by not using integer as a value for arglist, the second required argument to def-foreign-call and thus not passing bignums, except when the argument value was generated by foreign code. The return value from foreign code (the value of the returning keyword argument) defaults to type :int, and since some foreign integers are too big to be fixnums, they may be bignums. But, since they came from foreign code, they will be correctly represented as foreign integers when passed back to foreign code. Only in the case where you are sure the value can be represented as a machine integer do we recommend integer as a value for arglist (more precisely, as an element in the list which is the value).
An example illustrates the use of arrays. Say there is a compiled C file myreverse.o:
int myreverse(n, x)
double *x; /* pointer to array of doubles */
int n; /* array length */
{
int i;
double d;
for (i=0; i <= n/2; i++) {
d = x[i];
x[i] = x[n-1-i];
x[n-1-i] = d;
}
return n;
}
In Lisp you might define (after loading myreverse.o) this function as follows:
USER(40): (ff:def-foreign-call
myreverse (fixnum (array double-float)))
t
USER(41): (setq x (make-array 3
:element-type `double-float
:initial-contents `(1.0d0
2.0d0
3.0d0)))
#(1.0d0 2.0d0 3.0d0)
USER(42): (myreverse (length x) x)
3
USER(43): x
#(3.0d0 2.0d0 1.0d0)
Allegro Common Lisp provides a few functions to help converting strings from Lisp to C and back again. In this section, we discuss the issues and provide some examples.
If you have an address of a C string, you can pass it to excl:native-to-string and a Lisp string with the same contents will be returned. (You can specify a string to receive the C string as a keyword argument to excl:native-to-string, as described in the full description of that function).
The function ff:foreign-strlen takes an address of a C string and returns its length.
;; This example calls a foreign function, GET-MESSAGE, thatWith the ff:def-foreign-call foreign function definer, one can specify string as one of the arguments. That will cause lisp strings to automatically be converted to C style char* arrays at function call time.
To copy a lisp string to a C style char * string outside of using ff:def-foreign-call is to use the function excl:string-to-native.
;; This example calls a foreign function, PUTMESSAGE, thatYou may want to pass strings from Lisp to C and from C to Lisp. Passing strings from Lisp to C is pretty easy. A Lisp string will be converted correctly. Passing an array of strings is more complex. Examples of both are shown in the paragraphs headed Passing strings from Lisp to C and Special case: passing an array of strings from Lisp to C.
Lisp will correctly convert Lisp strings when passing them to C and therefore passing a string from Lisp to C is quite easy. Consider the following example.
We define a C function pstring() which takes a string as an argument and prints it out.
# include <stdio.h>
pstring (s)
char *s;
{
puts(s);
fflush(stdout);
}
Note the call to fflush(). Without that, the printing may be buffered by the operating system, perhaps until Lisp exited. We compile this function and load the resulting .so/.sl/.dll file into Lisp. We then call ff:def-foreign-call as follows and then call the C function:
USER(50): (ff:def-foreign-call pstring ((string
(* :char))) :returning :void)
t
USER(51): (pstring "hello")
hello
nil
USER(52):
Passing an array of strings from Lisp to C is somewhat more complex, as the next example shows. A common usage in C is typified by the following program fragment:
#define null 0
char *z[] = {"strings1", "string2", null};
...
handle_strings(z);
...
handle_strings(argv)
char **argv;
{
while( *argv != null ){
handler_for_string(*argv);
argv = argv + 1;
}
}
Similar usage is also common with the array size included:
char *z[] = {"strings1", "string2", "string3"};
...
handle_strings(3,z);
...
handle_strings(argc, argv)
char **argv;
int argc;
{
...
}
The variable argv is an array with each element pointing to a C string in both cases. (Note, however, that in the first case a NULL pointer terminates the array.) One may like to call handle_strings() from Lisp (after doing a ff:def-foreign-call) by something like the following:
(handle_strings
(make-array 3 :initial-contents
'("string1" "string2" 0)))
or perhaps
(handle_strings 3 (make-array 3 :initial-contents
'("string1" "string2" "string3")))
depending on the definition of handle_strings() above. However, the foreign-function interface does not normally convert the individual elements of a Lisp array.
As a special case to ff:def-foreign-call, the conversion will be done if the foreign function has the appropriate argument declared to be of type
(simple-array simple-string (*))
While this is not implemented as a distinct data type in Allegro CL, the foreign-function interface will recognize this declaration and convert the array appropriately for C. This is a slow function call as the interface must allocate space to do the conversion. To get the desired behavior (e.g. for the second of the above two possibilities for handle_strings()) you should use:
(ff:def-foreign-call handle_strings (integer (simple-array simple-string (*))))
Note that if you do not declare arguments - e.g. if you use:
(ff:def-foreign-call handle_strings nil)
The array will not be converted correctly on the call to handle_strings(). Note that this is not typical; the interface normally converts arguments according to their Lisp data type whether or not they are declared.
If you do make this declaration and pass in an arbitrary Lisp array, all bets are off. Only 0 and array elements of type simple-string are guaranteed to be correctly converted.
The Lisp image catches all signals from the operating system. In particular, when an asynchronous interrupt (e.g. SIGINT on Unix) occurs, the signal handler in Lisp sets a flag and then returns. This flag is checked inside Lisp functions only when it is safe to do so. If you are executing in foreign code, any signals that are received will not be processed until some point after you return to Lisp. So if your C code gets into a infinite loop, you won`t be able to interrupt it cleanly (you will be able to interrupt -- see startup.htm). This also implies that a foreign function is not interruptible by the Lisp scheduler in implementations that use the non :os-threads model of multiprocessing, see multiprocessing.htm.
If you need to be able to catch signals in foreign code, you must establish your own signal handlers when you enter the foreign code and restore the Lisp signal handlers before you return to Lisp. Perhaps the easiest way to do this is to 'wrap` your foreign code in a function that takes care of these tasks. This wrapper function calls your real function, and it returns the value returned by the real function.
Here is an example of such a function, which catches interrupts (Signets). This example uses the signal() function for simplicity. (Some versions of Unix supply other, more advanced, functions.)
#include <setjmp.h>
jmp_buf catch;
int (*old_handler)();
int
wrapper(arg1, ..., argn)
...
{
auto int return_value;
extern int new_handler(),
real_function();
if ((return_value = setjmp(catch)) != 0)
return return_value;
old_handler = signal(sigint, new_handler);
return_value = real_function(arg1, ..., argn);
signal(sigint, old_handler);
return return_value;
}
int
new_handler()
{
signal(sigint, old_handler);
longjmp(catch, -1);
}
The wrapper function first calls setjmp() to establish a C stack-frame environment for a subsequent longjmp() to return to. (This is the C equivalent of Lisp catch and throw.) The setjmp() function returns zero when the catch is established; it returns the value of the second argument to longjmp() otherwise. If the setjmp() was the target of a longjmp() (from within the interrupt handler), we return the value returned by the longjmp() (here -1 to signal an abnormal return).
The wrapper then installs the new SIGINT handler, saving the address of the old one. Once the interrupt handler is established, the real function is called and we save the return value (here an integer). Next we restore the Lisp signal handler, then return the value returned by the real function to Lisp.
If an interrupt occurs while this C code is executing, new_handler() gains control. It restores the Lisp signal handler, and then jumps to the established catch: control returns to the point of the setjmp(), which this time returns -1. Foreign code execution is interrupted, and we cleanly return to Lisp.
Note that the Lisp callback functions lisp_value() and lisp_call_address() (described in 9.1 Accessing Lisp values from C: lisp_value() and 9.2 Calling Lisp functions from C: lisp_call_address() and lisp_call()) should never be called from a foreign signal handler. If your signal handler does call lisp_value() or lisp_call_address(), failures may occur should the Lisp need to garbage collect while in the signal handler. The reason for this failure is that the system stack may not have been set up to indicate a call from Lisp to C. Also, if the signal is delivered while the garbage collector is running, then the entire Lisp heap may be inconsistent and accesses to the Lisp heap may result in attempting to follow pointers to nonexistent data.
Input and output from foreign code may require special consideration to obtain reasonable behavior.
Because foreign output operations will be interspersed with Lisp output operations, it is necessary to flush output in foreign code before returning to Lisp if it is desirable to maintain synchronous behavior. For example, if a C function writes information to the standard output, it may not be displayed contemporaneously unless fflush() is used before returning to Lisp.
When performing input and output from Fortran, it may be necessary to set up the Fortran I/O environment before performing any operations. For 4.n BSD Unix systems, using the standard AT&T Fortran compiler or one of its derivatives, the following steps are necessary to perform I/O successfully.
Suppose you want to call the following simple subroutine from Allegro CL:
subroutine fiotest
write(6, `(`` this is some fortran output.``)`)
call flush(6)
return
end
Because the above program contains an input/output statement, certain subroutines from the Fortran I/O library must be loaded. (Note that the call to subroutine fflush() is implementation-dependent.) These subroutines initialize the I/O units by 'preconnecting` unit 5 to standard input, unit 6 to standard output, and unit 0 to standard error. If this initialization is not done, various errors can occur. For example, some versions of the Fortran library routines will execute an abort() if I/O has not been initialized, causing Lisp to dump core. Other versions merely ignore requests for output. Some versions will create disk files named fort.<n> where <n> is the Fortran unit number. The routine f_init() of the Fortran I/O library will perform the proper initialization. This initialization need only be done once for every Lisp session.
Assuming the compiled version of the above program is contained in the file fiotest.so, on a UNIX machine running, here is a transcript of how to load the program into Allegro CL:
;; After loading the Fortran subroutine and
the F77 and I77
;; libraries into the Lisp
;; we use FF:DEF-FOREIGN-CALL to create a Lisp function
;; F_INIT that points to the function _f_init() in
;; the Fortran library:
USER(61): (ff:def-foreign-call f_init nil :returning :void)
t
;; We define our Fortran test subroutine to Lisp.
USER(62): (ff:def-foreign-call fiotest nil :convention :fortran
:returning
:void)
;; We initialize the Fortran I/O system, . . .
USER(63): (f_init)
nil
;; . . . then call our Fortran subroutine.
USER(64): (fiotest)
This is some fortran output.
nil
This section describes the Allegro CL facility that permits C functions to call Lisp functions and access Lisp values. The C functions must have been loaded into Lisp, and must have been called from Lisp.
Because some Lisp objects may move in memory when a garbage collection occurs, calling out to Lisp must be used with great care on the part of the C programmer. As an example, if an array is passed to a C function which calls out to a Lisp function and a garbage collection occurs, then after the C function returns, the pointer to the array will point to nothing; the array data will have moved somewhere else. So if a C function accesses a Lisp value and calls out to Lisp, then it is recommended that the Lisp value be registered and accessed as described next.
Another alternative is to store the value in a location where they are not moved. Allegro CL supports static arrays which are guaranteed never to move once they have been allocated (they are allocated in foreign rather than Lisp space). Static arrays are discussed in gc.htm. However, static arrays are not completely general. This section covers cases where you are interested in accessing objects other than arrays or in types of arrays not supported by static arrays.
To give a particular example, let us say:
The problem only occurs if a garbage collection happens during the call to the Lisp function. What you should do is to make sure that any Lisp value you return to Lisp or work with within a C function is retrieved only after there is no possibility of calling out to a Lisp function where a garbage collection may occur. To fix the example above so it is safe, you should add another step after step 4:
4a. Retrieve the registered Lisp value again.
Other scenarios can be played out. For example, if C code changes array data using an invalid array pointer, Lisp will never see the changes, and Lisp`s data space may be corrupted by the indirection through a bad pointer.
For purposes of allowing call-backs from foreign code, Allegro CL maintains two tables of Lisp objects: one is the function table and the other is the value table. The Lisp program can register functions or values by requesting that they be stored in the respective table. The size of these tables will grow dynamically as needed (in contrast to earlier release where the function table could not be increased in size). The use of these tables is explained in the following two sections.
Before accessing a Lisp value from C, it should be registered first. when a Lisp value is registered, an index is returned as a 'handle` on the Lisp object. A C function is provided that will return a pointer to the Lisp object given its index. This is preferable to passing addresses of Lisp objects to C functions, since Lisp objects will generally move with each garbage collection. If a garbage collection is triggered from C code - by calling back from C to Lisp - the addresses of Lisp objects originally passed to the C function from Lisp may become invalid. And since one will have lost one`s only handle on these Lisp objects, their addresses, there will be no way to find their new addresses. If instead one were to pass the registration indices of these Lisp objects, one could readily find their new addresses using these indices following a call-back to Lisp.
Note that passing the addresses of Lisp objects to C functions is not recommended only in those cases where a garbage-collection may be triggered by the C code. Passing values of Lisp objects (converted to C values by virtue of declarations made with ff:def-foreign-call) is not discouraged. However, some Lisp data types are passed to C as pointers (for example, double-float data). Such data types should be registered and passed to C by their indices if the C code might cause a garbage collection.
The function ff:register-lisp-value registers Lisp values in the value table. The function ff:unregister-lisp-value clears the registration.
Once a value is registered, the C program can obtain the value from the value table with the C function:
long lisp_value(index)
int index;
where index is the index of the registered value in the value table in
Lisp. This C function will always return the current value at index even after a garbage
collection has occurred. The result value from lisp_value() will be a C pointer to a Lisp
object. Macros are provided to help C analyze the Lisp object and convert it to something
meaningful. These macros are found in the C include file lisp.h, usually
distributed in the home/misc/ directory with Allegro CL.
Note that when one passes Lisp values to foreign functions that have been declared using ff:def-foreign-call, most Lisp data types are converted to corresponding C data types automatically. When one obtains Lisp values by calling lisp_value(), the conversion must be performed explicitly by the foreign code.
The Lisp function ff:lisp-value may be useful for debugging code. It simulates the C function lisp_value(), but it may be called from within Lisp at any time.
A Lisp function that is to be called from C code must satisfy two requirements: (1) it must be registered, and (2) it must be defined using the special macro ff:defun-foreign-callable.
When a Lisp function is registered, an index is returned as a 'handle` on the Lisp function. A C function is provided that accesses the table and returns the address associated with the index. That address is a valid C function pointer.
Registering a function and going through a table to find the function address is necessary for two reasons: (1) Lisp functions (and their code vectors) will generally move with each garbage collection, and (2) Lisp functions observe different calling conventions than C functions. Conceptually, when a Lisp function is registered, a small 'wrapper` is created that can be called from C and which will set up the arguments correctly for the Lisp function. This wrapper calls the Lisp function with a single argument, a descriptor that points to the arguments stacked by C. The ff:defun-foreign-callable macro provides a convenient mechanism for associating formal Lisp arguments with the C arguments.
The function ff:register-foreign-callable registers Lisp functions in the function table. The function ff:unregister-foreign-callable clears the entry from the table.
The C program can get a pointer to the registered Lisp function by using the C function lisp_call_address(). The form is
void *lisp_call_address(int index)
where index is the index of the registered function in the function table.
A C program can call a Lisp function using the syntax (*f)(arg1, arg2, ..., argn),
where f is the integer returned by lisp_call_address(). It is important
to realize the 'address` of a Lisp function returned by lisp_call_address()
is not the same as the address of the Lisp function object associated with the Lisp
symbol. It is not possible to call a Lisp function directly from C, one must always use
the 'wrapper` provided by ff:register-foreign-callable.
For example, say we have loaded the compiled C file:
void c_calls_lisp(fun, index)
long (*fun)();
{
void (*lisp_call)(),*lisp_call_address();
(*fun)();
/* direct call to lisp function */
lisp_call = lisp_call_address(indx);
(*lisp_call)();
/* call to lisp function using index */
}
and had the following session in Lisp:
USER(70): (setq called 0)
0
USER(71): (defun-foreign-callable lisp-talks ()
(format t "This is lisp called for
the ~:r time.~%"
(setq called (1+ called)))))
lisp-talks
USER(72): (progn
(multiple-value-setq (ptr
index prev-ptr)
(register-function
`lisp-talks))
(list ptr index prev-ptr))
(1404302 0 nil)
;; ptr is 1404302, index 0 in
;; function table, previous
;; function none
USER(73): (ff:def-foreign-call c-calls-lisp (integer fixnum) :returning :void)
t
USER(74): (c-calls-lisp ptr index)
This is Lisp called for the first time.
This is Lisp called for the second time.
Note: using lisp_call_address() is recommended over passing the address from Lisp to C because that address may become invalid after a Lisp garbage collection or when a image is dumped with excl:dumplisp. lisp_call_address() is very efficient and calling it just before calling the Lisp function from C ensures that the function pointer is valid.
The C representation and the Lisp representation of data types are not necessarily the same. When a C function calls a Lisp function, the Lisp function needs to have its arguments declared so that it 'knows` what the C arguments were and how to convert them. This declaration scheme is implemented in a macro ff:defun-foreign-callable.
We give an example: say that we define the following C function, compile it and load it into Lisp:
void add(x, y, index)
int x, y, index;
{
void (*lisp_call)(),*lisp_call_address();
lisp_call = lisp_call_address(index);
(*lisp_call)(x, y);
}
Then the following lisp session could take place:
USER(80): (ff:def-foreign-call add (integer integer fixnum)
:returning :void)
t
USER(81): (defun-foreign-callable add-two-c-args
((x
:signed-long) (y :signed-long))
(setq xy (+
x y)))
;; set a global variable
;; to the sum of x and y
add-two-c-args
USER(82): (setq index
(cadr (multiple-value-list
(register-foreign-callable `add-two-c-args))))
1
USER(83): (add 4 5 index) ;; call to the foreign function
nil
USER(84): xy
;; test the value of the
;; global variable xy
9
Note that in the example above, we get exactly the same result by omitting the type declarations for the function add-two-c-args - i.e. we could have defined it as:
(defun-c-callable add-two-c-args (x y)
(setq xy (+ x y)))
since the default is to assume the arguments are signed-longs.
A foreign-callable (defined via ff:defun-foreign-callable or the deprecated ff:defun-c-callable) is meant to be called by a foreign function. The arguments are converted explicitly by the foreign-callable from foreign argument types to Lisp types, and the return value is possibly converted from lisp to an appropriate foreign type, if specified. However, there may be times when such code needs to be debugged, and the user wishes to call the foreign-callable directly from lisp for such purposes.
The function called lisp-call, which existed in some earlier releases, has been removed, and instead, the user can simply call the foreign-callable directly from Lisp. The foreign-callable now uses a dual-entry-point technique, which allows the Lisp call to be caught and the arguments pre-converted before making the "real" call to the body of the foreign-callable.
It is important to understand the pre-conversion technique used in a foreign-callable lisp call; it depends not on the declared arguments in the foreign-callable, but in the actual arguments passed to the foreign-callable from Lisp. Lisp calls to foreign callables convert all arguments in the following way:
| fixnum | arithmetic shifted to create a 30-bit integer |
| bignum | reassembled into 32-bit integer, properly sign-extending but truncating any LS Bits beyond 32. |
| single-float | unboxed to float |
| double-float | unboxed to double |
| character | converted to char (within an int) type |
| other | not converted |
A lisp call to a foreign-callable will never reconvert its return value, because it always returns a lisp value (for foreign-callables that have been registered to convert their return values, it is actually the callback mechanism that performs the conversion, and not the foreign-callable itself).
Note that these conversions are not as extensive as the general conversions done in foreign calls; this mechanism is intended as only a quick debug tool. For more extensive callback testing, define an actual foreign function with explicit argument types which calls back to Lisp.
This section contains notes on foreign functions for the UNIX ACL programmer porting to Windows. We recommend using Microsoft Visual C++ (MSVC++) 4.2 or 5.0. We have not tested with any other C compiler. The rest of the notes in this section apply only to MSVC++ 4.2 and 5.0.
The steps to using foreign functions on Windows are:
To access C++ functions from Lisp you must ensure C++ name mangling does not occur. The easiest way to do this is to use a file extension of .c instead of .cpp. If you must use the .cpp file extension, then use the extern "C" linkage specification, like this:
extern "C"
int foo (int a) {
return (a + 1);
}
Import the symbols you need from other libraries by specifying the .lib file to the linker. There are two important entry points in acl<version>.dll (<version> changes with each release of Allegro) which users of the foreign function interface might need: lisp_call_address and lisp_value. To use these entry points from your .dll, you must import the symbols using the linker using acl<version>.lib provided in the Allegro directory. For example, to compile the example in 9.2 Calling Lisp functions from C: lisp_call_address() and lisp_call() above, you would need to specify acl<version>.lib on your cl command line, like this (assuming the function c_calls_lisp is in the file foo.c):
cl -D_MT -MD -LD -Fefoo.dll foo.c
<Allegro CL directory>\acl<version>.lib
user32.lib gdi32.lib
kernel32.lib comctl32.lib comdlg32.lib
winmm.lib advapi32.lib msvcrt.lib
After evaluating (load "foo.dll") in Lisp, the rest of the session in 9.2 Calling Lisp functions from C: lisp_call_address() and lisp_call() is the same.
The general issues of cross linking is discussed in 1.7 Creating Shared Objects that refer to ACL Functionality above.
Export the symbols you want to be visible from Lisp by using a linker .def file, or by using the _declspec(dllexport) declaration:
extern "C" _declspec(dllexport)
int foo (int a) {
return (a + 1);
}
Lastly, compile and link your C code into a .dll:
We have tested ACL against Watcom's Fortran 77 Version 11, which will work if proper steps are taken. Watcom allows for several calling sequences, but only one style is compatible with the argument and return value passing that ACL uses to be compatible with Windows C++. To achieve this, the /sc option must be used to specify stack-based argument passing, and the following pragma must be used (starting in column 1):
*$pragma aux
floatfunc value [8087]
for each floatfunc in the source that returns a float value. Our experience is that these pragmas may cause warning messages on other architectures, but will otherwise work without causing errors.
Also, a file with a .lnk extension should be created, which specifies the link options; advanced Fortran users may want to specify link options on the command line, however. For our example, we will describe a file called bar.lnk:
system nt_dll initinstance terminstance import calltolisp 'call_lisp.dll' export floatfunc export funca export funcb file bar
Note that exports are necessary for each function that will be accessed from the lisp side. Also, it is possible to call-back into lisp from Fortran, though it must be done indirectly through a C function in a specified .dll file.
Once the source files are set up, the following commands can be run:
wfc386 /bd /ms /sc /fpi87 bar.f wlink @bar wlib bar +bar.dll
Compatibility
You can use ff:defforeign like you would on UNIX, by requiring the compatibility module :ffcompat, although we recommend that you try out the new ff:def-foreign-call interface as well. The direct-call interface works also, but some of the new options for native-threading are not available yet; instead, direct calls always act as if they are declared with the :release-heap :never option. Use the :call-direct argument to ff:defforeign, as well as other necessary arguments, to allow direct C calling to be compiled inline by the Lisp compiler.
Windows usually expects callbacks to be declared stdcall. You should check your Windows documentation carefully to verify the required calling convention. From the Lisp side, you will need to use a new declaration to ff:defun-c-callable:
(declare (:convention {:c,:stdcall,:method, or :fastcall,})
(:unwind value))
The (:unwind value) declaration says that throwing past this boundary is to be performed by returning value (not evaluated) to the C caller after arranging when control eventually returns to the Lisp-that-called-C-before-this-callback, the throw will be continued from that point. This effect does not require any special action on the part of the Lisp-to-C calling code, except that it had to have been built with a C link (no leaf calls).
Absence of an :unwind declaration is equivalent to having (declare (:unwind 0)).
Either :c or :stdcall can now be used interchangeably on def-foreign-call definitions. The stack will be properly updated, regardless of the style the foreign function expects to be called with. Callbacks however, must be declared with the proper convention.
C:\TMP>type foo.c
#ifdef _WIN32
#define DllExport __declspec(dllexport)
#else
#define DllExport
#endif
DllExport int test_fun(int foo)
{
return foo + 101;
}
Compile foo.c into foo.dll:
C:\TMP>cl -D_MT -MD -nologo -LD -Zi -W3 -Fefoo.dll foo.c user32.lib gdi32.lib kernel32.lib comctl32.lib comdlg32.lib winmm.lib advapi32.lib msvcrt.lib foo.c Creating library foo.lib and object foo.exp
Then, in Lisp:
user(1): (load "foo.dll") ; Foreign loading foo.dll. t user(2): (ff:def-foreign-call (test "test_fun") (a)) t user(3): (test 10) 111 user(4):
or, using the old ff:defforeign interface:
user(1): (load "foo.dll") ; Foreign loading foo.dll. t user(2): (ff:defforeign 'test :arguments '(integer) :entry-point "test_fun" :return-type :integer) t user(3): (test 10) 111 user(4):
On Solaris, you must produce .so files which are loadable into ACL. The -K pic flag is optional (only on Solaris), and creates slightly different modes of sharing when used. As an example:
% cc -c -K pic foo.c % ld -G -o foo.so foo.o
Fortran is similar:
% f77 -c bar.f % ld -G -o bar.so bar.o
It is often useful to use the -z defs option to find which references are not yet resolved. If an undefined symbol is detected that should be present in the lisp (such as lisp_call_address) then that shared-library must be included in the command line. For example, for a call to lisp_call_address() in libacl50.so:
% ld -G -o foo.so foo.o libacl50.so
The general issues of cross linking is discussed in 1.7 Creating Shared Objects that refer to ACL Functionality above.
The shared objects loadable by ACL are .sl files. You make these by using cc and ld in this way:
% cc +z -Ae +DA1.1 -c foo.c % ld -b -o foo.sl foo.o
and then load the shared library into ACL:
(load "foo.sl")
For Fortran, the commands are:
% f77 +z +DA1.1 -c bar.f % ld -b -o bar.sl bar.o
See also the discussion of cross linking in 1.7 Creating Shared Objects that refer to ACL Functionality above.
You must use the -n32 switch to the C compiler and linker to be able to produce .so files which are loadable into ACL. For example:
% cc -n32 -c -K PIC foo.c % ld -n32 -shared -all -o foo.so foo.o or for Fortran: % f77 -n32 -c bar.f % ld -n32 -shared -all -o bar.so bar.o
See also the discussion of cross linking in 1.7 Creating Shared Objects that refer to ACL Functionality above.
You must use the proper taso options to the C compiler and you should also use the make_shared script supplied in the bin directory of the Allegro CL distribution, to produce .so files which are loadable into ACL. You may wish to put <Allegro directory>/bin in your path, but make_shared does not itself call additional programs in that directory. For example:
% cc -c -G 0 -taso -xtaso -xtaso_short foo.c % bin/make_shared -o foo.so foo.o and for Fortran: % f77 -c -taso bar.f % bin/make_shared -o bar.so bar.o -lm
See also the discussion of cross linking in 1.7 Creating Shared Objects that refer to ACL Functionality above.
You must use the make_shared script supplied in the bin directory of the Allegro CL distribution to produce .so files which are loadable into ACL.
Because make_shared itself calls other things in bin/, <Allegro directory>/bin must be in your path, that is it must be in the list that is the value of the PATH environment variable.
For example:
% cc -c -D_BSD -D_NO_PROTO -D_NONSTD_TYPES -D_MBI=void foo.c % bin/make_shared -o foo.so foo.o and for Fortran: % xlf -c bar.f % bin/make_shared -o bar.so bar.o -lm
See also the discussion of cross linking in 1.7 Creating Shared Objects that refer to ACL Functionality above.
On Linux (either on machines with Intel processors or machines witrh PowerPC processors), you must produce .so files which are loadable into ACL. Compile with the -fPIC flag. As an example:
% cc -c -fPIC foo.c -o foo.o % ld -shared -o foo.so foo.o
Fortran is similar:
% f77 -c bar.f % ld -shared -o bar.so bar.o
The general issues of cross linking is discussed in 1.7 Creating Shared Objects that refer to ACL Functionality above.
On FreeBSD, you must produce .so files which are loadable into ACL. Compile with the -fPIC -DPIC flags. As an example:
% cc -c -fPIC -DPIC foo.c -o foo.o % ld -Bsharable -Bdynamic -o foo.so foo.o
Fortran is similar:
% f77 -c bar.f % ld -Bsharable -Bdynamic -o bar.so bar.o
The general issues of cross linking is discussed in 1.7 Creating Shared Objects that refer to ACL Functionality above.
Copyright (C) 1998-1999, Franz Inc., Berkeley, CA. All Rights Reserved.