- ecl-devel - mailman3.common-lisp.net

ECL & IPhone Port
by Evrim Ulu 07 Nov '15

07 Nov '15

Dear List, I've been one of the Android port and I am glad to see that Daniel is working in order to merge the port into the master branch soon. I know that he's building other nice perks for Android devs. In the meantime, I would like to proceed into building a sound IPhone port. In this regard, I am looking for capital to fund the development. Please contact me if you like to see support for IPhone platform on the master branch. Best, evrim.

1 0

GC and Threading
by Bix 06 Nov '15

06 Nov '15

Hi, just two quick question: 1. Is it possible to disable the threading model and have multiple thread to eval the code or have one ECL per thread? 2. Can the garbage collector be disabled at all and have the memory managed in a reference counting fashion? I like to embed the ECL in my multithread application but I've got very restrictive constrain about thread and memory: * I can not spawn new thread but I've got concurrent thread to execute ecl call. * A component that bring GC would probably not be accepted and I'm wondering if there is an alternative to that in ECL, or at least have more control how/when GC will be run. Can you point me out where to look in the source code to understand those aspect of ECL? Thanks in advance. f.

5 7

ASDF 3.1.6 is released
by Robert Goldman 18 Oct '15

18 Oct '15

We would like to announce the release of ASDF 3.1.6, the latest bug fix release for ASDF. As usual many thanks are due to Faré for many bug fixes, clean ups, explanations, etc. Thanks are also owed to Dave Cooper, for testing on the Windows platform, enabling the maintainers to test on Windows, and identifying uncaught bugs. Thanks to Anton Vodonosov for testing the release candidate against Quicklisp on cl-test-grid. Finally, thanks to all who found bugs, provided patches, and used prerelease candidates. We urge implementations that are currently bundling previous versions of ASDF to adopt 3.1.6. 3.1.6 does not introduce any API incompatibilities that we know of, and contains significant bug fixes on multiple platforms and implementations. See the Changelog (below) for a list of the major bug fixes. Details on minor bugfixes can be found at launchpad.net/asdf We had hoped that 3.1.5 would be the last 3.1.x bug fix release, paving the way for us to move to developing ASDF 3.2, which we expect will add new features. Maybe this time! Here is the changelog entry for 3.1.6: Bug fix and portability release: * Fix backtrace on SBCL. * Fix RUN-PROGRAM of string (shell command) on Windows SBCL (ticket #1501373). * Fix a number of issues with bundle operations (especially on non-C-compiler-based implementations). * Fix component-finding in package-inferred-system. * Fix race condition between multiple concurrent lisp processes doing ASDF builds (ticket #1483948). * Fix misplaced fasl cache on Windows. * Miscellaneous bug fixes. * Documentation improvements. -- Robert P. Goldman <rpgoldman(a)sift.net> Sat, 17 Oct 2015 15:01:34 -0500

1 0

Fwd: Re: [monolith builds]
by Daniel Kochmański 04 Oct '15

04 Oct '15

Current ML is ecl-devel(a)common-lisp.net, I'm forwarding this mail there. Daniel Kochmański writes: > Faré writes: > >> [Adding ECL-list to this conversation, that I believe should be >> publicly archived] > > Good idea. >> >> On Fri, Oct 2, 2015 at 7:24 AM, Daniel Kochmański <daniel(a)turtleware.eu> wrote: >>> Hey, >>> >>> when fixing problem with randomized names etc I have taken a closer look >>> at the build process. You asked earlier how ECL manages to do monolithic >>> builds. >>> >>> Each module is initialized with a special function which registers the >>> whole module and creates lisp objects. Before calling this function ECL >>> isn't aware of the existance of it neither it has environment. >>> >>> Module may be composed on other modules. Builder, when constructing >>> initialization function for "top module" gathers all submodules (object >>> files or libraries) and parses the binary file to find special tag which >>> contains name of functions which initialize submodules. Top module in >>> it's initialization functions calls (beside the other things) all >>> submodule initialization functions. Then it concatanates all of them in >>> .a, .fasl, .so, ... files >>> >>> Top-module >>> Sub-module-1 >>> Sub-module-2 >>> … >>> >>> So it is guaranteed, that if this top-module will be embedded in the >>> other one it's special tag will be found first and the correct >>> initialization function will be called (which will initialize the futher >>> submodules). >>> >>> This description might be not 100% accurate but I believe it is how >>> things work there. Reverse engineering might be misleading :-) >>> >>> I've fixed bundles once again and ASDF passes tests. It's your call if >>> you want to enable it by default. >>> >>> Best regards, >>> Daniel >>> >>> -- >>> Daniel Kochmański | Poznań, Poland >>> ;; aka jackdaniel >>> >>> "Be the change that you wish to see in the world." - Mahatma Gandhi >> >> Thanks for these explanations. >> >> Questions: >> >> 1- what is a "tag" in this context? > > Tag is a string embedded in the C code with deterministic prefix > followed by a name of the object function. For instance assuming > initialization function has name lib_init_xyz, then it will look > something like: > > void lib_init_xyz (cl_object block) { > ... > Cblock->cblock.data_text = (const cl_object *)"@EcLtAg_lib:lib_init_xyz@"; > ... > } > > When emiting code for top module we scan the binary object files for > appropriate tag (in this example @EcLAg_lib) to find the inititalization > function name which we embed in a source code as a normall call: > > void lib_init_top_module (cl_object block) { > ... > Cblock->cblock.data_text = (const cl_object *)"@EcLtAg_lib:lib_init_top_module@"; > ... > lib_init_xyz(block); > ... > } > > Note that now function names are randomized and this is mere a > psudocode. For further details consult src/cmp/cmpmain.lsp. > >> >> 2- once again, why not use the linker support for initialization? >> If behavior has to depend on whether ECL was initialized yet, >> the initialization could consider in calling ecl_register_init_function, >> which depending on whether ECL was booted, would either call the function >> and/or add it to a hook. >> See once again attached files on how to use linker support for >> initialization. > > Fact that we might bundle many objects in one archive doesn't mean that > they don't have dependencies on one another. *I think* that we have to > strictly control initialization order. It's possible that I'm wrong here > though. > > Also do we want to *always* initialize *everything* what is linked? We > may have compiled-in support for number of lisp libraries in one module > just for conveniance and require them on demand depending on the > application using our code. > > I'm guessing here since it's a design decision made by someone > else. Your proposition is surely worth investigating - it is like it is > because it was that way when I approached the codebase. >> >> 3- How does MKCL do it? > > MKCL creates these initialization functions but when it loads files it > "slurps" some vector with objects - it doesn't call initialization > functions. Don't know if function creation is > rendundant/obsolete/inconsistent/correct - you have to ask MKCL > maintainer for details. It looks to me that it works for files built > with MKCL but breaks linking from the outer code with the libraries > created by it (and by breakage I mean that compilation goes fine but > such modules doesn't work). Once again I'm not 100% about that. MKCL > code diverged a lot with this regards. > > Regards, > Daniel > >> >> —♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org >> Suppose 2/3 Congress were incinerated, what would we lose to offset our gain >> of their salaries and the salaries of their parasites? — H. L. Mencken -- Daniel Kochmański | Poznań, Poland ;; aka jackdaniel "Be the change that you wish to see in the world." - Mahatma Gandhi

2 3

More detailed embedding example
by Morgan Howe 28 Sep '15

28 Sep '15

Hey guys, I'm playing around with embedding ECL into a C program. I've followed the blog post which was very useful, but as far as calling lisp functions, didn't really get beyond the cl_safe_eval type operations. I'd like to be able to get a handle to a specific lisp function, and call that function passing some arguments. What I've tried is basically this series of steps (omitting boot, shutdown, etc for brevity): * cl_safe_eval some code doing (load "foo.lisp") // From the blog example, works fine * ecl_make_symbol("BAR", "CL-USER") // Quite sure this is where I'm going wrong * cl_funcall the symbol from step 2, which gives me this a few times before dropping to debugger: Condition of type: SIMPLE-ERROR 0 is an illegal frs index. No restarts available. I'm sure step 2 is where I'm going wrong and the symbol I try to retrieve is not valid, thus the issue in step 3. Sorry if this is too basic a question, but could someone give me a working example of doing something like this? Thanks, Morgan

2 2

cross compiling howto for mips-openwrt-linux
by Attila Lendvai 24 Sep '15

24 Sep '15

hi! with the invaluable help of jackdaniel on #ecl, i've managed to cross compile ecl for mips-openwrt-linux. unfortunately i cannot edit the wiki at, so i'll write it up here. (if anyone reads it an can give me rights, my user is attila.lendvai) FTR, https://gitlab.com/embeddable-common-lisp/ecl/wikis/home the bird's eye view: - first you need to compile ecl on the host, but making sure that some important variables are the same as on the target (e.g. 32/64 bit; long long support; what else?). - then make clean, and configure the source tree for the target - ./configure will fail when run for the first time. you'll then need to edit 'build/cross_config' to set some variables regarding the target that cannot be detected automatically from the host. - then build it once again using a cross-compiling gcc - if you are not planning to have a gcc on the target, then configure the target with --with-bytecmp=builtin --with-cmp=no compile for the host: - you may need 32 bit support: sudo apt-get install gcc-multilib - CFLAGS=-m32 LDFLAGS=-m32 ABI=32 ./configure --prefix=/opt/ecl-host --enable-longdouble=no - make -j2 - make install compile for the target: make clean export STAGING_DIR=/home/alendvai/workspace/OpenWrt-SDK-ar71xx-generic_gcc-4.8-linaro_uClibc-0.9.33.2.Linux-x86_64/staging_dir export TOOLCHAIN=${STAGING_DIR}/toolchain-mips_34kc_gcc-4.8-linaro_uClibc-0.9.33.2/ export TARGETROOT=${STAGING_DIR}/target-mips_34kc_uClibc-0.9.33.2/ PATH=/opt/ecl-host/bin/:${TOOLCHAIN}/bin:${PATH} \ CFLAGS="-I${TOOLCHAIN}/include -I${TARGETROOT}/usr/include" \ LDFLAGS="--sysroot=${TARGETROOT}" ./configure \ --prefix=/opt/ecl-mips --disable-longdouble \ --with-libffi-prefix=${TARGETROOT} \ --host=mips-openwrt-linux --with-system-gmp optionally add: --with-bytecmp=builtin --with-cmp=no edit 'build/cross_config' and restart the above once again. (in this specific case i had to ECL_BIGENDIAN=yes) PATH=/opt/ecl-host/bin/:${TOOLCHAIN}/bin:${PATH} make -j2 copy /opt/ecl-mips to your openwrt and don't forget to: opkg install libgmp opkg install libffi i will try to put together an openwrt package, too. -- • attila lendvai • PGP: 963F 5D5F 45C7 DFCD 0A39 -- “People get used to anything. The less you think about your oppression, the more your tolerance for it grows. After a while, people just think oppression is the normal state of things. But to become free, you have to be acutely aware of being a slave.” — Assata Shakur (1947–), 'Assata: An Autobiography'

1 0

[C99][Question]
by Daniel Kochmański 22 Sep '15

22 Sep '15

Dear all, I've got a question - does anyone really depend on a non-C99 compliant compiler? MSVC supports C99 from 2013 [1], GCC has complete support from 4.5 [2] (with various bits earlier), TCC also has everything except complex numbers [3] (what is on their TODO) and Clang has complete support [4]. I'm asking this question because we're considering making C99-supporting compiler as a dependency for ECL C backend. This will relieve us from writing backward-compatible workarounds for the older standard and will simplify the code. That also means, that various improvements will be possible and code will be easier to maintain. Best regards, Daniel [1] http://blogs.msdn.com/b/vcblog/archive/2013/07/19/c99-library-support-in-vi… [2] https://gcc.gnu.org/c99status.html [3] http://repo.or.cz/w/tinycc.git/blob/HEAD:/TODO [4] http://clang.llvm.org/docs/UsersManual.html#id43 -- Daniel Kochmański | Poznań, Poland ;; aka jackdaniel "Be the change that you wish to see in the world." - Mahatma Gandhi

3 2

Safely calling lisp lambda function from C?
by bruce li 08 Sep '15

08 Sep '15

Hi, I'm writing a wrapper for a game engine that involves a few callbacks. I wrap the callback in a C function so that I can pass in lambdas as callbacks. Here is how the code looks like: cl_object callback_wrapper(cl_object lambda, cl_object ...) { cl_funcall(2, lambda, some_params); } It works OK if the passed in lambda function is syntactically correct. But it fails disastrously if the function contains errors, either syntactically or logically and it crashes the program. I wonder if it's possible to call the lambda function in a safer manner and when anything is wrong, it just drops to the top-level? A second question is... can I traverse lisp lists in C? I would like to collect everything into a C++ vector and pass that on to the engine's API. Thanks, Bruce

2 1

email list subject line
by Daniel Herring 05 Sep '15

05 Sep '15

Hi all, The old mailing list had a "[Ecls-list]" prefix in the subject line. This was helpful for visually scanning a mailbox and could also be used for filter rules. The new list has no such prefix. Could someone add it? I don't care the exact format -- [Ecls-list], [ECL], whatever. I would just appreciate the addition. Thanks, Daniel

3 2

[floats][infinity][C99]
by Daniel Kochmański 04 Sep '15

04 Sep '15

Hello, I'm little in doubt. Problem is related to ieee-floating-point extensions, which provide infinities and nan. Everything works fine until we generate C code, which simply breaks, because it isn't taken into account. There are two possible solutions: - for these cases use constant expressions, which trigger an error on some compilers, that is (0.0 / 0.0) for nan, (1.0 / 0.0) for infinity - use defined by C99 macros: INFINITY and NAN, which will work on any compiler supporting C99. Using the latter is clean and elegant, but raises requirements of ECL for C backend. Regarding compilers, C99 is considered complete since GCC 4.5 (and partly complete in previous versions), while MSVC implemented them with VS2013 (however ECL runs with bytecmp, so if no additional package using infinities is added during buildtime, there should be no problem with using previous versions). I'm writing to ML to ask your opionions - should we use these macros? Best regards, Daniel -- Daniel Kochmański | Poznań, Poland ;; aka jackdaniel "Be the change that you wish to see in the world." - Mahatma Gandhi

2 6