[Gcl-devel] Re: gazonk file clashes

[Camm Maguire]

Greetings!  Don't know if I replied to this before, but just in case:

cvs -d:pserver:address@hidden:/sources/gcl co -r Version_2_6_8pre -d 
gcl-2.6.8pre gcl

Please let me know if problems persist.

Take care,

Matt Kaufmann <address@hidden> writes:

> Hi --
>
> Ah -- nope, I was using 2.6.7 from awhile ago.
>
> This is a minor problem for me, so I might not update GCL right now.
> But I tried to follow instructions I had from the past, and failed, as
> shown below.  How can I get the latest 2.6.8pre?
>
> lhug-8:~/temp/gcl> cvs -d:ext:address@hidden:/cvsroot/gcl co -r 
> Version_2_6_8pre -d gcl-2.6.8pre gcl
> savannah.gnu.org: Protocol not available
> cvs [checkout aborted]: end of file from server (consult above messages if 
> any)
> lhug-8:~/temp/gcl> cvs -d:ext:address@hidden:/cvsroot/gcl co -r Version_2_6_8 
> -d gcl-2.6.8 gcl
> savannah.gnu.org: Protocol not available
> cvs [checkout aborted]: end of file from server (consult above messages if 
> any)
> lhug-8:~/temp/gcl> cvs -d:ext:address@hidden:/cvsroot/gcl co -r Version_2_6_7 
> -d gcl-2.6.7 gcl
> savannah.gnu.org: Protocol not available
> cvs [checkout aborted]: end of file from server (consult above messages if 
> any)
> lhug-8:~/temp/gcl> 
>
> Thanks --
> -- Matt
>    Sender: address@hidden
>    cc: address@hidden
>    Reply-to: address@hidden
>    From: Camm Maguire <address@hidden>
>    Date: 05 Sep 2008 13:13:37 -0400
>    X-SpamAssassin-Status: No, hits=-2.4 required=5.0
>    X-UTCS-Spam-Status: No, hits=-267 required=165
>
>    Greetings!
>
>    Are you using the latest 2.6.8pre?  If so, the gazonk names should be
>    as follows:
>
>    (import 'si::*tmp-dir* 'compiler)
>    (defun gazonk-name ()
>      (dotimes (i 1000)
>       (let ((tem (merge-pathnames 
>                 (format nil "~agazonk_~d_~d.lsp" (if (boundp '*tmp-dir*) 
> *tmp-dir* "") (abs (si::getpid)) i))))
>        (unless (probe-file tem)
>       (return-from gazonk-name (pathname tem)))))
>     (error "1000 gazonk names used already!"))
>
>    i.e. /tmp/gazonk_14807_0, etc.
>
>    I'm hoping make -j starts gcl images with new pid's, which should
>    remove the conflict.  If not, one could (si::mkdir ..) and set
>    compiler::*tmp-dir*. 
>
>    2.7.0 has the following nifty mechanism:
>
>    (defmacro with-temp-file ((s pn) (tmp ext) &rest body) 
>      `(let* ((,s (temp-stream ,tmp ,ext)) 
>            (,pn (stream-object1 ,s))) 
>       (unwind-protect (progn ,@body) (progn (close ,s) (delete-file
>      ,s)))))
>
>    where temp-stream uses the underlying UNIX unique filehandle
>    mechanism.  Perhaps gazonk should use this.
>
>    Please let me know if problems persist.
>
>    Matt Kaufmann <address@hidden> writes:
>
>    > Hi, Camm --
>    > 
>    > Short version of this email: Maybe the gazonk* mechanism could be
>    > improved by some sort of locking, to allow parallelism.  In the
>    > meantime, is there a user-level sort of lock I could use?
>    > 
>    > Longer version:
>    > 
>    > I wonder if you have any thoughts on how I might get around the
>    > following problem.
>    > 
>    > Imagine that there are several Lisp files being loaded in the same
>    > directory at the same time, by a parallel make.  Imagine that they
>    > have forms (compile ...).  If two such forms are evaluated at
>    > different but overlapping times, then one will generate gazonk0* files
>    > while the other will generate gazonk1* files, which is fine.  But I
>    > seem to have found cases when gazonk0* files are generated for two
>    > different forms, I suppose because compilation starts at just about
>    > the same time.
>    > 
>    > I've seen this in (approximately) ACL2 Version 3.4:
>    > cd books/parallel/, and type "make -j 8" say on a multicore machine
>    > after building ACL2 on GCL 2.6.7.  If you try this a few times and
>    > don't see it happening, I can send you a tarball of the exact files I
>    > have.
>    > 
>    > (Aside: The ACL2 .lisp files in question don't have (compile ...)
>    > forms in them.  Instead, they have (set-compile-fns t) near the top,
>    > which causes the ACL2 read-eval-print loop to compile every Lisp
>    > definition.)
>    > 
>    > Thanks --
>    > -- Matt
>    > 
>    > 
>    > 
>
>    -- 
>    Camm Maguire                                               address@hidden
>    ==========================================================================
>    "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
>
>
>
>

-- 
Camm Maguire                                        address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah