Date: Tue, 19 Jul 2005 00:50:27 -0500
From: "David L. Rager" <ragerdl@cs.utexas.edu>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.8) Gecko/20050610
X-Accept-Language: en-us, en
To: acl2-mtg@lists.cc.utexas.edu
Subject: ACL2 Mtg: Parallelization in a Functional Language (ACL2)
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Reply-To: acl2-mtg@lists.cc.utexas.edu
Sender: owner-acl2-mtg@lists.cc.utexas.edu
X-Listprocessor-Version: 8.2.10/020311/17:52 -- ListProc(tm) by CREN
X-SpamAssassin-Status: No, hits=-2.6 required=5.0
X-UTCS-Spam-Status: No, hits=-132 required=180

Hello All,

This coming Wednesday I'll give an update on what parallelization 
currently means for ACL2.  The meeting will be in ACES 6.442 at 4 pm.

Included in this talk will be a discussion of:
 -- the constructs provided to the user to invoke multiple 
cores/processors (plet, etc.)
 -- tests demonstrating efficiency or lack thereof of these constructs, 
including tests from Jared's sets library and Gabriel/McCarthy's paper 
of 1984

Some random things we'll touch on include:
 -- stobjs
 -- interrupting parallelization
 -- impact of shared memory versus distributed memory
 -- LISPs' current thread support

Assuming I don't fix it between now and then, we'll also brainstorm 
about a problem I hit once again this morning: the problem of 
granularity.  It should be an interesting discussion.

Hope to see you there,
David