! Copyright (C) 2004, 2010 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
-USING: accessors assocs kernel math namespaces sequences system
-kernel.private byte-arrays byte-vectors arrays init
-continuations.private ;
+USING: accessors assocs byte-arrays byte-vectors continuations
+continuations.private kernel kernel.private math namespaces
+sequences ;
+USE: init ! required but does not reference words
IN: alien
+BUILTIN: alien { underlying c-ptr read-only initial: f } expired ;
+BUILTIN: dll { path byte-array read-only initial: B{ } } ;
+
+PRIMITIVE: <callback> ( word return-rewind -- alien )
+PRIMITIVE: <displaced-alien> ( displacement c-ptr -- alien )
+PRIMITIVE: alien-address ( c-ptr -- addr )
+PRIMITIVE: free-callback ( alien -- )
+
+<PRIVATE
+PRIMITIVE: current-callback ( -- n )
+PRIVATE>
+
PREDICATE: pinned-alien < alien underlying>> not ;
UNION: pinned-c-ptr pinned-alien POSTPONE: f ;
2dup [ expired? ] either? [
[ expired? ] both?
] [
- [ alien-address ] bi@ =
+ [ alien-address ] same?
] if
] [
2drop f
: callee-cleanup? ( abi -- ? )
{ stdcall fastcall thiscall } member? ;
-ERROR: alien-callback-error ;
+ERROR: callsite-not-compiled word ;
-: alien-callback ( return parameters abi quot -- alien )
- alien-callback-error ;
+: alien-assembly ( args... return parameters abi quot -- return... )
+ \ alien-assembly callsite-not-compiled ;
-ERROR: alien-indirect-error ;
+: alien-callback ( return parameters abi quot -- alien )
+ \ alien-callback callsite-not-compiled ;
: alien-indirect ( args... funcptr return parameters abi -- return... )
- alien-indirect-error ;
+ \ alien-indirect callsite-not-compiled ;
-ERROR: alien-invoke-error library symbol ;
-
-: alien-invoke ( args... return library function parameters -- return... )
- 2over alien-invoke-error ;
-
-ERROR: alien-assembly-error code ;
-
-: alien-assembly ( args... return parameters abi quot -- return... )
- dup alien-assembly-error ;
+: alien-invoke ( args... return library function parameters varargs? -- return... )
+ \ alien-invoke callsite-not-compiled ;
<PRIVATE
! cleared on startup.
SYMBOL: callbacks
-[ H{ } clone callbacks set-global ] "alien" add-startup-hook
+STARTUP-HOOK: [ H{ } clone callbacks set-global ]
! Used by compiler.codegen to wrap callback bodies
: do-callback ( callback-quot wait-quot: ( callback -- ) -- )
- init-namespaces
+ t CONTEXT-OBJ-IN-CALLBACK-P set-context-object
+ init-namestack
init-catchstack
current-callback
[ 2drop call ] [ swap call( callback -- ) drop ] 3bi ; inline
TUPLE: expiry-check object alien ;
: recompute-value? ( check -- ? )
- dup [ alien>> expired? ] [ drop t ] if ;
+ [ alien>> expired? ] [ t ] if* ;
+
+: delete-values ( value assoc -- )
+ [ rot drop = ] with assoc-reject! drop ;
PRIVATE>
+: unregister-and-free-callback ( alien -- )
+ [ callbacks get delete-values ] [ free-callback ] bi ;
+
+: with-callback ( alien quot -- )
+ over [ unregister-and-free-callback ] curry finally ; inline
+
: initialize-alien ( symbol quot -- )
swap dup get-global dup recompute-value?
[ drop [ call dup 31337 <alien> expiry-check boa ] dip set-global ]