Re: [racket-dev] blocked on a mzrt-sema that gets collected: okay?
On Oct 4, 2011, at 1:48 PM, Matthew Flatt wrote: > At Tue, 4 Oct 2011 13:34:17 -0700, John Clements wrote: >> I conjecture that if a place is blocked on a mzrt_sema semaphore and if that >> semaphore is then collected using a call to mzrt_sema_destroy(), then the >> waiting thread will simply wait forever. Is that correct? > > Not necessarily; it may crash. You're not allowed to destroy a > semaphore that is in use. Okay, thanks. John smime.p7s Description: S/MIME cryptographic signature _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] blocked on a mzrt-sema that gets collected: okay?
At Tue, 4 Oct 2011 13:34:17 -0700, John Clements wrote: > I conjecture that if a place is blocked on a mzrt_sema semaphore and if that > semaphore is then collected using a call to mzrt_sema_destroy(), then the > waiting thread will simply wait forever. Is that correct? Not necessarily; it may crash. You're not allowed to destroy a semaphore that is in use. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
[racket-dev] blocked on a mzrt-sema that gets collected: okay?
I conjecture that if a place is blocked on a mzrt_sema semaphore and if that semaphore is then collected using a call to mzrt_sema_destroy(), then the waiting thread will simply wait forever. Is that correct? John smime.p7s Description: S/MIME cryptographic signature _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Creating executables still broken
I think I found the problem. Can you try the latest version? At Tue, 04 Oct 2011 09:42:53 +0200, Marijn wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > On 10/03/11 17:07, Matthew Flatt wrote: > > At Mon, 03 Oct 2011 16:10:15 +0200, Marijn wrote: > >> creating executables is still broken and seems now to cause lots > >> of memory allocation causing my system to start thrashing... > > > > I've fixed the problem that caused `raco exe' to not terminate. > > Thanks, indeed the old failure mode is restored. > > > I doubt that the older problem you've seen is fixed, since I > > haven't been able to replicate it. Assuming that the old problem is > > still there, can you tell me (perhaps again) the platform you're > > running on and the arguments that you supplied to `configure'? > > Sure, > > platform: x86_64-pc-linux-gnu > > ./configure --prefix=/usr --build=x86_64-pc-linux-gnu > - --host=x86_64-pc-linux-gnu --mandir=/usr/share/man > - --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc > - --localstatedir=/var/lib --libdir=/usr/lib64 --enable-gracket > - --enable-plot --disable-docs --enable-shared --enable-jit > - --enable-foreign --disable-places --disable-futures > - --disable-backtrace --disable-pthread --disable-perl --with-x > > Thanks for looking into this, > > Marijn > -BEGIN PGP SIGNATURE- > Version: GnuPG v2.0.18 (GNU/Linux) > Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ > > iEYEARECAAYFAk6KuPwACgkQp/VmCx0OL2xpXACeO3tRaKDQ4a30e/Bki38LS4JY > 6XIAn1d8K8V5fgdf4uzu20vorMOieCbx > =EUU5 > -END PGP SIGNATURE- _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Creating executables still broken
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 10/03/11 17:07, Matthew Flatt wrote: > At Mon, 03 Oct 2011 16:10:15 +0200, Marijn wrote: >> creating executables is still broken and seems now to cause lots >> of memory allocation causing my system to start thrashing... > > I've fixed the problem that caused `raco exe' to not terminate. Thanks, indeed the old failure mode is restored. > I doubt that the older problem you've seen is fixed, since I > haven't been able to replicate it. Assuming that the old problem is > still there, can you tell me (perhaps again) the platform you're > running on and the arguments that you supplied to `configure'? Sure, platform: x86_64-pc-linux-gnu ./configure --prefix=/usr --build=x86_64-pc-linux-gnu - --host=x86_64-pc-linux-gnu --mandir=/usr/share/man - --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc - --localstatedir=/var/lib --libdir=/usr/lib64 --enable-gracket - --enable-plot --disable-docs --enable-shared --enable-jit - --enable-foreign --disable-places --disable-futures - --disable-backtrace --disable-pthread --disable-perl --with-x Thanks for looking into this, Marijn -BEGIN PGP SIGNATURE- Version: GnuPG v2.0.18 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk6KuPwACgkQp/VmCx0OL2xpXACeO3tRaKDQ4a30e/Bki38LS4JY 6XIAn1d8K8V5fgdf4uzu20vorMOieCbx =EUU5 -END PGP SIGNATURE- _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev