[prev in list] [next in list] [prev in thread] [next in thread] 

List:       sbcl-devel
Subject:    [Sbcl-devel]  Static conses
From:       "David L. Rager" <ragerdl () cs ! utexas ! edu>
Date:       2017-05-31 5:05:56
Message-ID: CANaSpxTuS81_NTyD2HRBC_3fyP5v8O-scRJf=kUqwLS+_vXsqg () mail ! gmail ! com
[Download RAW message or body]

Greetings SBCL,

The ACL2 community has taken another interest in SBCL recently.  It's
crazy how much it's improved over the years, well done!  Here are some
performance benchmarks, in case you're curious:

For SBCL v1.3.11:
http://www.cs.utexas.edu/users/moore/acl2/v7-3/HTML/new.html#performance

For SBCL v1.3.15 (seems slower than 1.3.11 for some reasons):
http://www.cs.utexas.edu/users/moore/acl2/v7-4/HTML/new.html#performance


But alas, I email about something else.  We're wondering if there's
any way to get static conses in SBCL, similar to what's offered in
CCL, GCL, and perhaps Lispworks.  Is there a way to fake them using
the static space that was more often used with genygc?  Is there
someone willing to add static conses, perhaps for a fee?

Best,
David

PS -- Thanks again for your help with adding certain multi-threading
primitives to SBCL around 2009 -- that really helped with my thesis
work and making parallelized ACL2 available on the SBCL platform.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel
[prev in list] [next in list] [prev in thread] [next in thread]