Skip to content
/ ffiex Public

extend luajit ffi module to give more affinity to C codes

Notifications You must be signed in to change notification settings

umegaya/ffiex

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Build Status

ffiex

  • extend luajit ffi module to give more affinity to C codes
  • can #include typical system C headers (no more manual C definition injection)
  • enable to use C sources without pre-build it.
  • caution : there is no official support for windows related OS.

install

  • prerequisity
  • gcc or tcc (if you want to use csrc API)
  • for instance tcc installation, run travis_install.sh at top of this repo.
  • clone this repo and run
sudo bash install.sh
moonrocks install ffiex

usage

  • just replace 1 line where you use luajit ffi module.
 local ffi = requie 'ffiex'

update logs

0.2.0

  • ffi.import(symbols):from(code) to support selective cdef from header files
  • ffiex.csrc's build backend now pluggable, limited support for tcc (linux only)
  • ffi.newstate() to create isolated parse state object which has its own include search path, macro cache, cdef dependency cache.
  • mainly for module writers who want to avoid polluting main ffiex's parsing state by cdef'ing some own header file or adding header search path of module own.
  • major refactoring

0.1.0

  • initial release

APIs

ffiex.cdef(input:string)

  • same as original ffi.cdef but it apply C preprocessor to input text. yes, not only concept but also source code is based on lcpp (https://github.com/willsteel/lcpp), but do more. lcpp have some flaw when its used for parsing practical header like under /usr/include/, lcpp.lua used in ffiex is originally from lcpp project, but re-written widely so that it able to parse most of header files under /usr/include/*.h (see test/parseheaders.lua. its tested with OSX 10.9, CentOS 6.4, Ubuntu 12.04(travis-CI)).

ffiex.path(path:string, system_path:boolean)

  • add header file search path which is used to find #include files by ffiex.cdef. ffiex initializes system header search path and pre-defined macro symbols from following commands
 echo | gcc -v -xc - # search paths
 echo | gcc -E -dM - # predefined macros
  • so you don't need to specify system header search path in gcc-enabled environment. but if gcc-less or need to add search path for your original header files, you can add other search paths like following:
 ffi.path("/usr/local/additional_system_headers/", true) -- system header
 ffi.path "./your/local/header_file_directory/" -- your local header
  • note: only the path with system_path == false passed to ffiex.csrc's compiler option (-I).

define:number|string|funciton = ffiex.defs.{TABLE_KEY}

  • get corresponding value (number/string) for macro definition or lua function that do same things as functional macro, which name is of macro {TABLE_KEY}.
  • it cannot process some C system header macro for keeping backword compatibility (like errno or struct stat.st_atime). because it will replace the ctype's symbol access... (like stat.st_atime => stat.st_atimespec.tv_sec)

ffiex.undef(macro_names:table)

  • undef specified macro from lcpp cache.
  • macro_name should be table which has numerical key and string value for keys
 -- example, undef 2 macro symbols
 ffi.undef { "MYDEF", "MYDEF2" } 

path:string = ffiex.search(path:string, filename:string, add:boolean)

  • find filename under path and return found path.
  • if filename is found && add is true, call ffiex.path to add searched path.
  • it may useful to increase portability when you need to include header which is placed to path like /usr/include/libfoo/1.2.1/foo.h and the part 1.2.1 is vary from users environment.

lib:clib,err:string = ffiex.csrc(name:string, input:string)

  • embed c source file into lua code.
  • ffi.csrc regards input as c source string and try to compile and ffi.load it, then return lib, which is clib object corresponding to compiled result (see test/ffiex.csrc.lua for example). otherwise return nil and compile error output err. if input is omitted, then name is regared as c source file path.
  • input to csrc is parsed by ffiex.lcpp, so all macro declared in input, is accesible from lua code via ffi.defs.{MACRO_NAME}. for this purpose, -D option for ffiex.copt is autometically injected to ffiex.lcpp itself.
  • only function symbol which has no static qualifier, will be exported to clib object.

ffiex.copt(opts:table)

  • put C compile option which is used by ffiex.csrc. mutiple call of ffiex.copt overwrites previous options.
 -- example, apply -O2, -Wall, 2 pre-defined macro for input of ffiex.csrc
 ffi.copt {
    extra = {"-D_MYDEF", "-D_MYDEF2=101", "-O2", "-Wall"}
 }
 -- still you can use old style option
 ffi.copt {"-D_MYDEF", "-D_MYDEF2=101", "-O2", "-Wall"}

fully opts format is like following

options = {
    -- string "gcc", "tcc" or table or table which implements build backend 
    cc = <<compiler definition>>, 
		path = {
			include = { path1, path2, ... },
			sys_include = { syspath1, syspath2, ... },
			lib = { libpath1, libpath2, ... }
		},
		lib = { libname1, libname2, ... },
		extra = { opt1, opt2, ... },
		define = { booldef1, booldef2, ... def1 = val1, def2 = val2 }
	}

ffiex.import(symbols:table):from(code:string)

  • parsing code and import symbols which has dependency with symbols.
  • symbols are given as table of strings, and code has same format which is given to ffiex.cdef, like following.
ffiex.import({"pthread_t", "pthread_create"}):from("#include <pthread.h>")
  • some symbol has multiple meaning (eg. union wait/int wait(int *) in OSX), in this case following rules are applied for deciding actual symbol name.
  • single symbol name with no keyword like struct/union/enum, ffiex first try to find function with that name, then struct/union/enum/typename
  • if you specify "func" keyword, then ffiex try to search function entry of this name
  • if you specify "struct/union/enum/typename", then ffiex try to search struct/union/enum/typename entry of that name
-- search function which name is "wait", if not found then try union/struct/enum/typename which name is "wait"
ffiex.import({"wait"}):from("#include <sys/wait.h>") 
-- search function which name is "wait"
ffiex.import({"func wait"}):from("#include <sys/wait.h>") 
-- search union which name is "wait"
ffiex.import({"union wait"}):from("#include <sys/wait.h>") 
-- note that if you specify "struct wait", also "union wait" is injected. that is, ffiex ignores difference of struct/union/enum.
ffiex.import({"struct wait"}):from("#include <sys/wait.h>") 
  • ffiex internally caches parsing result of code, so you can call ffiex.import(symbols) multiple times for same header file.

ffiex.src_of(symbol:string, recursive:boolean)

  • get declaration code of specified symbol
  • symbol is symbol name and has same rules as each element of symbols for ffiex.import
  • recursive specifies whether ffiex should resolve dependency recursively, if true, ffiex traverses dependency chain recursively and list up all dependent symbols of symbol
ffiex.cdef("#include <pthread.h>")
ffiex.src_of("pthread_t") --> returns "extern int pthread_join (pthread_t __th, void **__thread_return);"
ffiex.src_of("pthread_t", true) --[[returns "
typedef unsigned long int pthread_t;
extern int pthread_join (pthread_t __th, void **__thread_return);
"
]]

state:ffi_state = ffiex.newstate()

  • get isolated parsing state object which provides same methods of ffiex.
  • state has following methods, which equivalent to the same method of ffiex(ffi)
  • state:cdef
  • state:path
  • state:search
  • state.defs
  • state:csrc
  • state:copt
  • state:import(...):from(...)
  • state:src_of
  • state:load
  • it is useful for module writer, because header search path and macro/dependency-tree(for ffiex.import) cache are isolated among each state object created by ffiex.newstaet() and ffiex module itself.
  • so if each module requires special macro definition or header file path, it never pollutes main ffiex module's, as long as you use your own parse state object.
  • so I think if you wants to write module which depends on ffiex, you should use ffiex.newstate() instead of calling ffiex.* directly.

Add own build backend

  • now ffiex.copts(options) can accept build backend through parameter of options.cc
  • options.cc could be "gcc" or "tcc", but also you can specify your own build backend module.
  • build backend module should be implemented as following:
-- builder must have new() method to create new builder.
local builder = {}
function builder.new()
	return setmetatable({}, {__index = cc})
end
-- returned builder object has following 5 methods


-- initialize. do something for ffi_state object *state* to make this backend work.
function cc:init(state)
end

-- finalize. cleanup something which is done to *state* in cc:init.
function cc:exit(state)
end

-- build code, create share object file, and return following:
-- in success : shared object path, nil
-- in failure : nil, error string
function cc:build(code)
end

-- apply compile option to backend
-- *opts* should be preserved in this module and returnable from cc:get_option
function cc:option(opts)
    self.opts = opts
end

-- return option which preserved at cc:option()
function cc:get_option()
    return self.opts
end

return builder --> you can pass this as parameter of options.cc for ffiex.copts.
  • for more detail, please see ffiex/builder/*.lua.

Improvement

  • (partially solved with #4) able to run on gcc-less environment. I already make some preparation like ffiex.exconf.cacher to cache built so files on host side (which should have proper gcc toolchain), but has no good idea for bundling them to final executables yet (for example, into apk or ipa)

  • (solved with #5) reduce memory footprint. because current ffiex import all symbols in #include'd header file, so even unnecessary cdefs all exists on memory. one idea is specify required type or function definition like below.

License

apache v2 (http://www.apache.org/licenses/LICENSE-2.0)

about sponsored

About

extend luajit ffi module to give more affinity to C codes

Resources

Stars

Watchers

Forks

Packages

 
 
 

Languages