From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: 김경일 Newsgroups: gmane.lisp.guile.devel,gmane.spam.detected Subject: (no subject) Date: Sun, 31 Mar 2002 01:59:34 +0900 Sender: guile-devel-admin@gnu.org Message-ID: Reply-To: rambyer@netian.com NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/html; charset="ks_c_5601-1987" X-Trace: main.gmane.org 1017511148 15555 127.0.0.1 (30 Mar 2002 17:59:08 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 30 Mar 2002 17:59:08 +0000 (UTC) Original-Received: from fencepost.gnu.org ([199.232.76.164]) by main.gmane.org with esmtp (Exim 3.33 #1 (Debian)) id 16rN87-00042m-00 for ; Sat, 30 Mar 2002 18:59:07 +0100 Original-Received: from localhost ([127.0.0.1] helo=fencepost.gnu.org) by fencepost.gnu.org with esmtp (Exim 3.34 #1 (Debian)) id 16rMGn-0006rw-00; Sat, 30 Mar 2002 12:04:01 -0500 Original-Received: from [211.201.209.169] (helo=localhost) by fencepost.gnu.org with smtp (Exim 3.34 #1 (Debian)) id 16rMDT-0006M5-00 for ; Sat, 30 Mar 2002 12:00:35 -0500 Original-To: guile-devel@gnu.org Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.8 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:232 gmane.spam.detected:15108 X-Report-Unspam: http://unspam.gmane.org/gmane.lisp.guile.devel:232

바쁘신 중에 읽어 봐 주셔서 감사합니다.

용산에 위치한 컴퓨터 매장입니다.

기획판매를 해보려 합니다. 기획은 누구보다... 싸게입니다.

저는 여러분들이 많은 곳에서 알아 보시고 구입하시기를 원합니다.

정말 비교되고 싶습니다. 싸게 판다고 느끼신다면 칭찬 좀 해 주세요.

주변 분들에게 소개 좀 해 주시면 감사하게씁니다.

요즘 많이 찾으시는 인기품만 모아봤습니다.

팬티엄 4 - 1.6A기가 (478핀, 512k 캐쉬)

팬티엄 4 - 메인보드 (478핀 보드,유니텍)

팬티엄 4 - 케이스

팬티엄 4 - 파워

DDR 256메가 메모리 (삼성)

40기가 하드 드라이브 (후지쯔)

3.5인치 FDD (삼성)

52배속 시디롬 (LG)

32메가 3D VGA (G-FORCE2 MX 200)

106키 (LG)

마우스 (휠)

스피커, 써지오 제공

17인치 평면 모니터 (삼성)

가격은 98만원이랍니다.

신품+중고 사무용

튜알라틴 1.2기가 (인텔 박스 정품)

튜알라틴 지원 - 팬티엄 3 메인 보드

팬티엄 4 케이스(환한 그레이 톤의 색상)

팬티엄 3 파워(정격 250와트 파워)

128메가 메모리(삼성)

40기가 하드 드라이브(후지쯔 정품)

3.5인치 FDD

52배속 시디롬(LG)

부두 3 - 3000

106키

마우스(휠)

스피커, 써지오 제공

19인치 중고 모니터(대우)

*** 키보드와 FDD만 중고입니다.

68만원이랍니다.

*** 신용카드로 구입 가능하십니다. 할부는 18개월까지 가능하고요.

(^_^ 하두 문의가 많으셔서...)

*** 택배로 받으실 경우는 9000원(본체+모니터+기타, 부산까정...)

오토바이는 보통 12000원 이면 배달 됩니다.

샘플이 보고 싶으시면 용산으로 구경 오세요.

농협 맞은편 나진상가 17동 3층(가열 331호)에 있습니다.

이정도만 되도 복잡하죠... ^-^

연락 주세요. 자세히 찾아 오시는 방법 설명해 드릴께요.

연락처 : 017-331-3233 김경일씨를 찾으세요.

특가정보랍니다.(배달되요 ^-^)

HP 오피스젯 V40(복합 사무기, 팩스+칼라복사기+ 칼라프린터+스캐너) 34만원

LG 홈쇼핑에서 38만원에 7000여대가 팔려나간 인기 모델입니다.

일반 A4용지를 사용하여 팩스용지 비용이 부담이 없으시고

6개월에 만원이면 되는 유지비가 장점입니다.

화상 카메라(화상캠) 노트북 겸용(35만 화소) 3만원

디지탈 카메라+화상캠코더+음성 녹음(보이스 레코더기) 9만원

리필 잉크 구입하러 용산까지 오신다고요?

^-^ 그러지 마세요. 제가 보내드릴께요. 용산은 택배가 아주 잘되어 있어서

부산에도 4000원이면 큰박스도 배달 되거든요.

정보로서 이메일을 꾸준히 받기를 원하시는 분들은 메일로 신청해 주세요.

다만. 제목을 수신거부가 아니라. 정보 요청내지는 회원 가입등등 가입의사 표현을 해주세요.

메일 신청 rambyer@netian.com

글 읽어 주셔서 감사합니다.

원치 않으시는 글 이었다면 아래 수신거부라는 곳을 누르셔서 메일 보내 주세요.

수신거부

또는 rambyer@netian.com 으로 보내 주세요.

여러분의 성원으로 꾸려나가는 용산 두원 하이텍입니다.

_______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Han-Wen Newsgroups: gmane.lisp.guile.devel Subject: (no subject) Date: Sun, 4 Aug 2002 18:33:35 +0200 Sender: guile-devel-admin@gnu.org Message-ID: <15693.22367.429475.698139@blauw.xs4all.nl> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: main.gmane.org 1028478630 26830 127.0.0.1 (4 Aug 2002 16:30:30 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sun, 4 Aug 2002 16:30:30 +0000 (UTC) Cc: guile-devel@gnu.org Return-path: Original-Received: from fencepost.gnu.org ([199.232.76.164]) by main.gmane.org with esmtp (Exim 3.33 #1 (Debian)) id 17bOGy-0006yd-00 for ; Sun, 04 Aug 2002 18:30:29 +0200 Original-Received: from localhost ([127.0.0.1] helo=fencepost.gnu.org) by fencepost.gnu.org with esmtp (Exim 3.35 #1 (Debian)) id 17bOHX-00012s-00; Sun, 04 Aug 2002 12:31:03 -0400 Original-Received: from smtpzilla1.xs4all.nl ([194.109.127.137]) by fencepost.gnu.org with esmtp (Exim 3.35 #1 (Debian)) id 17bOGv-00012b-00 for ; Sun, 04 Aug 2002 12:30:25 -0400 Original-Received: from blauw.xs4all.nl (blauw.xs4all.nl [213.84.26.127]) by smtpzilla1.xs4all.nl (8.12.0/8.12.0) with ESMTP id g74GUO3D089420; Sun, 4 Aug 2002 18:30:24 +0200 (CEST) Original-To: Dirk Herrmann Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:966 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:966 Subject: status: separation of expansion/optimization/memoization/execution In-Reply-To: References: X-Mailer: VM 7.05 under Emacs 21.2.1 Reply-To: hanwen@cs.uu.nl FCC: ~/persoonlijk/Mail/sent dirk@sallust.ida.ing.tu-bs.de writes: > Hi folks, > [ eval hacking ] I'm just wondering -- Some time ago Keisuke Nishida (sp?) was working on a byte compiler for GUILE that offered major speedups in many cases. Is that still being pursued? -- Han-Wen Nienhuys | hanwen@cs.uu.nl | http://www.cs.uu.nl/~hanwen _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Rob Browning Newsgroups: gmane.lisp.guile.devel Subject: Re: (no subject) Date: Sun, 04 Aug 2002 13:38:13 -0500 Sender: guile-devel-admin@gnu.org Message-ID: <87bs8izcyy.fsf@raven.i.defaultvalue.org> References: <15693.22367.429475.698139@blauw.xs4all.nl> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1028486309 8290 127.0.0.1 (4 Aug 2002 18:38:29 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sun, 4 Aug 2002 18:38:29 +0000 (UTC) Cc: Dirk Herrmann , guile-devel@gnu.org Return-path: Original-Received: from fencepost.gnu.org ([199.232.76.164]) by main.gmane.org with esmtp (Exim 3.33 #1 (Debian)) id 17bQGp-00029b-00 for ; Sun, 04 Aug 2002 20:38:27 +0200 Original-Received: from localhost ([127.0.0.1] helo=fencepost.gnu.org) by fencepost.gnu.org with esmtp (Exim 3.35 #1 (Debian)) id 17bQHP-0002Nb-00; Sun, 04 Aug 2002 14:39:03 -0400 Original-Received: from dsl-209-87-109-2.constant.com ([209.87.109.2] helo=defaultvalue.org) by fencepost.gnu.org with esmtp (Exim 3.35 #1 (Debian)) id 17bQGf-0002Mv-00 for ; Sun, 04 Aug 2002 14:38:17 -0400 Original-Received: from raven.i.defaultvalue.org (raven.i.defaultvalue.org [192.168.1.7]) by defaultvalue.org (Postfix) with ESMTP id 1600CC4D8; Sun, 4 Aug 2002 13:38:14 -0500 (CDT) Original-Received: by raven.i.defaultvalue.org (Postfix, from userid 1000) id C46E12048; Sun, 4 Aug 2002 13:38:13 -0500 (CDT) Original-To: Han-Wen In-Reply-To: <15693.22367.429475.698139@blauw.xs4all.nl> (Han-Wen's message of "Sun, 4 Aug 2002 18:33:35 +0200") Original-Lines: 35 User-Agent: Gnus/5.090006 (Oort Gnus v0.06) Emacs/21.2 (i386-pc-linux-gnu) Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:968 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:968 Han-Wen writes: > I'm just wondering -- Some time ago Keisuke Nishida (sp?) was > working on a byte compiler for GUILE that offered major speedups in > many cases. Is that still being pursued? Not at the moment. He had to stop working on that (at least for a while), and I can't recall if he though he'd be able to get back to it. Regardless, I think the general plan was to first get the evaluation process cleaned up a bit and then step back and consider what comes next. There as been discussion of scm->c, jit, lightning-based-jit, gcc-front-end-based[1], and traditional byte compilation. Once the evaluation process better separates memoization and execution from each other and from the other steps (a la Dirk's current work). It should be a lot easier to explore the possibilities. [1] which with the addition of -foptimiize-sibling is now at least one step more likely to be feasible, though perhaps still not the right idea. I'm still not sure that gcc's intermediate language has all the features you'd really need. Interesting related link: http://gcc.gnu.org/frontends.html -- see FLIM -- a realy simple example gcc front end, and Ksi, a compiler from a very thin sexp representation of gcc's intermedate trees to machine code, and Gont a high level language that spits out forms to be processed by Ksi on the back-end. -- Rob Browning rlb @defaultvalue.org, @linuxdevel.com, and @debian.org Previously @cs.utexas.edu GPG=1C58 8B2C FB5E 3F64 EA5C 64AE 78FE E5FE F0CB A0AD _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Dirk Herrmann Newsgroups: gmane.lisp.guile.devel Subject: (no subject) Date: Sat, 9 Nov 2002 09:29:40 +0100 (CET) Sender: guile-devel-admin@gnu.org Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: main.gmane.org 1036831605 15731 80.91.224.249 (9 Nov 2002 08:46:45 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 9 Nov 2002 08:46:45 +0000 (UTC) Cc: guile-devel@gnu.org Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 18ARGN-00045J-00 for ; Sat, 09 Nov 2002 09:46:44 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 18ARGq-0007bB-00; Sat, 09 Nov 2002 03:47:12 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 18AR4P-0006NL-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 03:34:21 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 18AR3t-000690-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 03:34:20 -0500 Original-Received: from sallust.ida.ing.tu-bs.de ([134.169.132.52]) by monty-python.gnu.org with esmtp (Exim 4.10) id 18AR3s-00068k-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 03:33:48 -0500 Original-Received: from localhost (dirk@localhost) by sallust.ida.ing.tu-bs.de (8.9.3+Sun/8.9.1) with ESMTP id JAA22183; Sat, 9 Nov 2002 09:29:41 +0100 (CET) Original-To: clinton@unknownlamer.org Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:1670 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1670 Clinton Ebadi wrote: > > I don't care how memoization works. I understand there are > > optimization issues. Optimizing isn't important to me, or > > I would not use an interpretive language as my "extension > > language". If you add a disabling mechanism, then you'll > > have the best of all worlds. You can memoize/optimize to > > your heart's content, and I'll disable it for my purposes. > > If that is not practical and Guile becomes, essentially, > > an semi-compiled language with constraints on where > > defines may happen, then my goose will be cooked. > > Not to mention how Guile wouldn't be Scheme anymore. Why can't code be > memiozied and compiled incrementally? First, why wouldn't guile be scheme any more if conditional definitions are disallowed? They are disallowed by R5RS, so actually, if you understand "being scheme" as "conforming to R5RS" then currently guile is not scheme and disallowing conditional definitions will bring it one step closer to "being scheme" :-) Second, certainly can code be memoized and compiled incrementally. However, this would have to be done every time the code was read in again, since in an expression like (if (define may change every time the code is read in. That is, we would reduce our possibility to pre-compile code. Pre compiling code, however, is one of our options to speed up guile's starting time (aside from optimizing guile's module system...). Best regards, Dirk Herrmann _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: tomas@fabula.de Newsgroups: gmane.lisp.guile.devel Subject: Memoization, define and all that Date: Sat, 9 Nov 2002 10:29:29 +0100 Sender: guile-devel-admin@gnu.org Message-ID: <20021109092928.GA22591@www> References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1036834656 22965 80.91.224.249 (9 Nov 2002 09:37:36 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 9 Nov 2002 09:37:36 +0000 (UTC) Cc: guile-devel@gnu.org Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 18AS3Z-0005y0-00 for ; Sat, 09 Nov 2002 10:37:34 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 18AS2H-00077r-00; Sat, 09 Nov 2002 04:36:13 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 18ARnM-0007cf-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 04:20:48 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 18ARmm-0006nd-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 04:20:44 -0500 Original-Received: from [217.22.192.104] (helo=www.elogos.de) by monty-python.gnu.org with esmtp (Exim 4.10) id 18ARml-0006lW-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 04:20:11 -0500 Original-Received: by www.elogos.de (Postfix, from userid 5002) id 26E5314DC8; Sat, 9 Nov 2002 10:29:29 +0100 (CET) Original-To: Dirk Herrmann Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.28i Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:1672 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1672 On Sat, Nov 09, 2002 at 09:29:40AM +0100, Dirk Herrmann wrote: > > Clinton Ebadi wrote: > > > I don't care how memoization works. [...] [...] > First, why wouldn't guile be scheme any more if conditional definitions > are disallowed? They are disallowed by R5RS, so actually, if you > understand "being scheme" as "conforming to R5RS" then currently guile is > not scheme and disallowing conditional definitions will bring it one step > closer to "being scheme" :-) Hrm. As marius pointed out elsewhere, this isn't just an issue with define, but actually with any form which might get expanded before/at compile time. > Second, certainly can code be memoized and compiled incrementally. > However, this would have to be done every time the code was read in again, > since in an expression like (if (define of may change every time the code is read in. Yes, as far as we can't make sure (e.g. by static code analysis) that we have a fixed value for . As soon as is known, things look better (and if isn't known, there might be a reason to it, that is, the programmer is willing to pay for the overhead). Of course I'm not favouring a thorough code analysis (is that decidable at all?), but: if you *know* a thing to be constant -- go ahead and memoize, if you *don't know* well, take with you a reference to the lexical environment (you have to do this for macros, in some way or other, don't you?) and leave things as they are. With time you can get better by expanding the set of situations you *know* about. This is what I had in mind when I was talking something about partial evaluation. Does this sound plausible? > That is, we would reduce our possibility to pre-compile code. But only in those cases which you are about to prohibit. You can always pre-compile the ``goodies'' (e.g. those lexical spans where `define is not redefined, etc.). May be I'm overlooking something here, but I tend to view pre-compilation as a kind of constant folding. > Pre compiling code, however, is one of our options to speed up guile's > starting time (aside from optimizing guile's module system...). Yep. And I think it a bearable burden for the programmer to keep some things in mind if she intends to write well-compilable code. But as long as we have eval around (and we won't like to miss this one do we?), we'll have an instance of the compiler/interpreter around, so it doesn't hurt postponing things (other than performance, that is). So the trick might be to just postpone things ``when we don't know better'', because someone is playing nasty tricks with our basic forms (whatever they may be, I think define is just an example). Thanks for your patience in reading my half-baked mumbling. Regards -- tomas _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Clinton Ebadi Newsgroups: gmane.lisp.guile.devel Subject: Re: (no subject) Date: Sat, 9 Nov 2002 15:42:14 -0500 Sender: guile-devel-admin@gnu.org Message-ID: <200211091542.14999.clinton@unknownlamer.org> References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: main.gmane.org 1036875265 13161 80.91.224.249 (9 Nov 2002 20:54:25 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 9 Nov 2002 20:54:25 +0000 (UTC) Cc: guile-devel@gnu.org Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 18AccZ-0003Pv-00 for ; Sat, 09 Nov 2002 21:54:23 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 18Acdd-0005Qf-00; Sat, 09 Nov 2002 15:55:29 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 18AcOF-0001Kb-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 15:39:35 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 18AcOD-0001K3-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 15:39:34 -0500 Original-Received: from pop015pub.verizon.net ([206.46.170.172] helo=pop015.verizon.net) by monty-python.gnu.org with esmtp (Exim 4.10) id 18AcOD-0001Jy-00 for guile-devel@gnu.org; Sat, 09 Nov 2002 15:39:33 -0500 Original-Received: from vsynth ([151.196.176.210]) by pop015.verizon.net (InterMail vM.5.01.05.09 201-253-122-126-109-20020611) with ESMTP id <20021109203931.JRDS28019.pop015.verizon.net@vsynth>; Sat, 9 Nov 2002 14:39:31 -0600 Original-Received: from clinton by vsynth with local (Exim 3.35 #1 (Debian)) id 18AcQp-0006oa-00; Sat, 09 Nov 2002 15:42:15 -0500 Original-To: Dirk Herrmann User-Agent: KMail/1.4.2 In-Reply-To: X-Authentication-Info: Submitted using SMTP AUTH LOGIN at pop015.verizon.net from [151.196.176.210] at Sat, 9 Nov 2002 14:39:28 -0600 Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:1677 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1677 On Saturday 09 November 2002 03:29, Dirk Herrmann wrote: > > Not to mention how Guile wouldn't be Scheme anymore. Why can't code b= e > > memiozied and compiled incrementally? > > First, why wouldn't guile be scheme any more if conditional definitions > are disallowed? They are disallowed by R5RS, so actually, if you > understand "being scheme" as "conforming to R5RS" then currently guile = is > not scheme and disallowing conditional definitions will bring it one st= ep > closer to "being scheme" :-) I was referring to the part where you would have to reload your code if a= =20 binding changed and the whole (define define define-private) etc. not=20 working. --=20 http://unknownlamer.org Truth lies in loneliness When hope is long gone by _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: "Karen Ferguson" Newsgroups: gmane.lisp.guile.devel,gmane.spam.detected Subject: (no subject) Date: Sun, 03 Oct 2004 16:32:15 -0600 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: Reply-To: Karen Ferguson NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============1942758742==" X-Trace: sea.gmane.org 1096905757 27334 80.91.229.6 (4 Oct 2004 16:02:37 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 4 Oct 2004 16:02:37 +0000 (UTC) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Oct 04 18:02:26 2004 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1CEVIA-0004bs-00 for ; Mon, 04 Oct 2004 18:02:26 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1CEVOk-0007yc-Li for guile-devel@m.gmane.org; Mon, 04 Oct 2004 12:09:14 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1CEVLp-0005f5-7T for guile-devel@gnu.org; Mon, 04 Oct 2004 12:06:13 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1CEVLn-0005dj-Oz for guile-devel@gnu.org; Mon, 04 Oct 2004 12:06:12 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1CEVLj-0005ar-57; Mon, 04 Oct 2004 12:06:07 -0400 Original-Received: from [199.232.41.8] (helo=mx20.gnu.org) by monty-python.gnu.org with esmtp (TLSv1:DES-CBC3-SHA:168) (Exim 4.34) id 1CEVEE-0004TN-Jt; Mon, 04 Oct 2004 11:58:22 -0400 Original-Received: from [62.43.115.15] (helo=62-43-115-15.user.ono.com) by mx20.gnu.org with smtp (Exim 4.34) id 1CEUrh-0008TW-TF; Mon, 04 Oct 2004 11:35:06 -0400 Language: English Disposition-Notification-Options: No Prevent-NonDelivery-Report: No Original-To: grover@gnu.org, gtw@gnu.org, guido@gnu.org, guile-cvs@gnu.org, guile-devel@gnu.org, guile-sources@gnu.org, guile-sources-request@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org X-Spam-Report: 25.9 points; * 0.7 DATE_IN_PAST_12_24 Date: is 12 to 24 hours before Received: date * 0.8 MORTGAGE_PITCH BODY: Looks like mortgage pitch * 5.4 BAYES_99 BODY: Bayesian spam probability is 99 to 100% * [score: 1.0000] * 2.0 RCVD_IN_DSBL RBL: Received via a relay in list.dsbl.org * [] * 5.0 RCVD_IN_BL_SPAMCOP_NET RBL: Received via a relay in bl.spamcop.net * [Blocked - see ] * 4.0 URIBL_SBL Contains a URL listed in the SBL blocklist * [URIs: moneyintelligent.info] * 4.0 URIBL_BE_SURBL Contains a URL listed in the BE SURBL blocklist * [URIs: moneyintelligent.info] * 4.0 URIBL_SC_SURBL Contains a URL listed in the SC SURBL blocklist * [URIs: moneyintelligent.info] Xref: main.gmane.org gmane.lisp.guile.devel:4204 gmane.spam.detected:348356 X-Report-Unspam: http://unspam.gmane.org/gmane.lisp.guile.devel:4204 --===============1942758742== Content-Type: multipart/alternative; boundary="--531086960670410202" ----531086960670410202 Content-Type: text/plain; charset="iso-5748-8" Content-Transfer-Encoding: quoted-printable Hi again, Here is Karen Ferguson. I wite you because we are accepting your mortgage = application. Our office confirms you can get a $220.000 lo=C0n for a $352.00 per month = payment. Approval process will take 1 minute, so please fill out the form on our we= bsite: http://methodic.moneyintelligent.info/j8/o0o.php?jq1=3D101 Thank you. Best Regards Karen Ferguson First Account Manager ----531086960670410202-- --===============1942758742== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel --===============1942758742==-- From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: "Tanisha Villalobos" Newsgroups: gmane.lisp.guile.devel,gmane.spam.detected Subject: (no subject) Date: Thu, 14 Oct 2004 15:23:38 -0400 (EDT) Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; X-Trace: sea.gmane.org 1098623209 17353 80.91.229.6 (24 Oct 2004 13:06:49 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sun, 24 Oct 2004 13:06:49 +0000 (UTC) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Oct 24 15:06:38 2004 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1CLi4z-0007Li-00 for ; Sun, 24 Oct 2004 15:06:37 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1CLiCa-0002nv-Nw for guile-devel@m.gmane.org; Sun, 24 Oct 2004 09:14:28 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1CLiBp-0002b7-FW for guile-devel@gnu.org; Sun, 24 Oct 2004 09:13:41 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1CLiBm-0002Zr-HC for guile-devel@gnu.org; Sun, 24 Oct 2004 09:13:39 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1CLiBc-0002Sh-GL; Sun, 24 Oct 2004 09:13:28 -0400 Original-Received: from [80.183.98.103] (helo=host103-98.pool80183.interbusiness.it) by monty-python.gnu.org with smtp (Exim 4.34) id 1CLi2f-0008Od-Tw; Sun, 24 Oct 2004 09:04:15 -0400 Original-Received: from 80.98.249.32 (HELO h-64-105-67-188.sttnwaho.dynamic.covad.net) (181.145.222.81) by mta152.mail.re2.yahoo.com with SMTP; Thu, 14 Oct 2004 12:24:21 -0700 Original-Received: from sTdynamic.covad.net (112.184.87.236) by 0.i93mta348.mail.scd.yahoo.com with SMTP; Thu, 14 Oct 2004 12:24:21 -0700 Original-Received: by 14.48.132.8 with HTTP; Thu, 14 Oct 2004 15:23:38 -0400 (EDT) X-MID: Original-Message-Id: Original-To: leslie@gnu.org, letters@gnu.org, libc-alpha@gnu.org, guido@gnu.org, guile-cvs@gnu.org, guile-devel@gnu.org, guile-sources@gnu.org, guile-sources-request@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org X-Spam-Report: 18.4 points; * 1.0 RCVD_BY_IP Received by mail server with no name * 0.0 FORGED_RCVD_HELO Received: contains a forged HELO * 5.4 BAYES_99 BODY: Bayesian spam probability is 99 to 100% * [score: 1.0000] * 4.0 URIBL_SBL Contains a URL listed in the SBL blocklist * [URIs: refi-talk.com] * 4.0 URIBL_BE_SURBL Contains a URL listed in the BE SURBL blocklist * [URIs: refi-talk.com] * 4.0 URIBL_SC_SURBL Contains a URL listed in the SC SURBL blocklist * [URIs: refi-talk.com] Xref: main.gmane.org gmane.lisp.guile.devel:4292 gmane.spam.detected:365229 X-Report-Unspam: http://unspam.gmane.org/gmane.lisp.guile.devel:4292 Hi again, Here is Tanisha Villalobos. I write to you because we are accepting your m= ortgage application. Our office confirms you can get a $220.000 lo=C0n for a $252.00 per month = payment. Approval process will take 1 minute, so please fill out the form on our we= bsite: http://lockian-growth.refi-talk.com Thank you. Best Regards Tanisha Villalobos First Account Manager _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: (no subject) Date: Wed, 30 Sep 2009 21:59:49 +0100 Message-ID: <87tyykw3lm.fsf@ossau.uklinux.net> References: <0489FB6F-567B-4967-9703-1A3D89462A37@raeburn.org> <79F7A852-10ED-46DF-9D41-ED545493E8FE@raeburn.org> <87pr9dpgfw.fsf@gnu.org> <871vlr6l2p.fsf@ossau.uklinux.net> <87k4zi6h3q.fsf@gnu.org> <87eipqn12l.fsf@ossau.uklinux.net> <87eipqzmdr.fsf_-_@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1261399823 27911 80.91.229.12 (21 Dec 2009 12:50:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 21 Dec 2009 12:50:23 +0000 (UTC) Cc: guile-devel@gnu.org To: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=), Ken Raeburn Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Dec 21 13:50:13 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1NMhh0-0008W2-IY for guile-devel@m.gmane.org; Mon, 21 Dec 2009 13:48:54 +0100 Original-Received: from localhost ([127.0.0.1]:44115 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NMhh0-00059t-68 for guile-devel@m.gmane.org; Mon, 21 Dec 2009 07:48:54 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Mt6Iy-0003We-Gq for guile-devel@gnu.org; Wed, 30 Sep 2009 17:01:44 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Mt6It-0003Tt-Me for guile-devel@gnu.org; Wed, 30 Sep 2009 17:01:44 -0400 Original-Received: from [199.232.76.173] (port=50894 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Mt6It-0003TW-BG for guile-devel@gnu.org; Wed, 30 Sep 2009 17:01:39 -0400 Original-Received: from mail3.uklinux.net ([80.84.72.33]:45986) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1Mt6Io-0007BG-CD; Wed, 30 Sep 2009 17:01:34 -0400 Original-Received: from arudy (host86-145-159-48.range86-145.btcentralplus.com [86.145.159.48]) by mail3.uklinux.net (Postfix) with ESMTP id 864EE1F69DD; Wed, 30 Sep 2009 22:00:56 +0100 (BST) Original-Received: from arudy (arudy [127.0.0.1]) by arudy (Postfix) with ESMTP id 0452238021; Wed, 30 Sep 2009 21:59:49 +0100 (BST) In-Reply-To: <87eipqzmdr.fsf_-_@gnu.org> ("Ludovic =?iso-8859-1?Q?Court=E8?= =?iso-8859-1?Q?s=22's?= message of "Tue, 29 Sep 2009 01:21:20 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.4-2.6 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:9778 Archived-At: ludo@gnu.org (Ludovic Court=E8s) writes: > I should have mentioned this one: > http://thread.gmane.org/gmane.comp.programming.garbage-collection.boehmgc= /3185 . > > This is normally somewhat fixed in current BDW-GC CVS, but Guile itself > may have troubles of its own dealing with cancellation. Thanks. I thought already about cancellation, but I couldn't see anything in the test program that would do that. Do you know of anything in that program, or in BDW-GC, that does a pthread_cancel? > The critical section issue should be orthogonal, though. Yes. > Here it is: Thanks, and thanks to Ken also. I've cherry-picked the following branch_release-1-8 fixes. commit 499c43b03225abb8d3af9087b7630d523b74e13a Author: Neil Jerram Date: Thu Mar 5 20:03:33 2009 +0000 Avoid throw from critical section, given invalid sigaction call (This is for a different critical section problem, but which still occurs (prior to this commit) in master.) commit 3009b5d557e1ebfd828fd0de9b1da5abb2f6ec9a Author: Neil Jerram Date: Tue Mar 10 23:55:31 2009 +0000 Fix spurious `throw from within critical section' errors (This is the commit that I hope will fix the errors that you're seeing.) Can you see how the test runs now? Also, can I check my thinking on one other fix, and how it interacts with BDW-GC? commit 2bfcaf2605f8366d8c708c148bde5313b88497e0 Author: Neil Jerram Date: Wed Mar 4 23:45:11 2009 +0000 Lock ordering: don't allocate when in critical section (scm_sigaction_f= or_thread) With BDW-GC I believe that allocation in a critical section is no longer a problem, specifically because - the stop-the-world mechanism uses signals and sigsuspend - whereas Guile GC used mutexes - and hence there are no concerns about lock ordering - it doesn't matter if there are threads waiting for the critical section when a GC happens, because the signal mechanism will still interrupt them. Is that right? Thanks! Neil From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: (no subject) Date: Thu, 01 Oct 2009 22:05:16 +0100 Message-ID: <871vlm3jw3.fsf@ossau.uklinux.net> References: <0489FB6F-567B-4967-9703-1A3D89462A37@raeburn.org> <79F7A852-10ED-46DF-9D41-ED545493E8FE@raeburn.org> <87pr9dpgfw.fsf@gnu.org> <871vlr6l2p.fsf@ossau.uklinux.net> <87k4zi6h3q.fsf@gnu.org> <87eipqn12l.fsf@ossau.uklinux.net> <87eipqzmdr.fsf_-_@gnu.org> <87tyykw3lm.fsf@ossau.uklinux.net> <87ocorni7v.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1261399825 27919 80.91.229.12 (21 Dec 2009 12:50:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 21 Dec 2009 12:50:25 +0000 (UTC) Cc: Ken Raeburn , guile-devel@gnu.org To: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Dec 21 13:50:18 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1NMhhK-0000HW-JM for guile-devel@m.gmane.org; Mon, 21 Dec 2009 13:49:14 +0100 Original-Received: from localhost ([127.0.0.1]:44276 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NMhhK-0005Ps-F0 for guile-devel@m.gmane.org; Mon, 21 Dec 2009 07:49:14 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1MtSr1-0005KZ-Oy for guile-devel@gnu.org; Thu, 01 Oct 2009 17:06:23 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1MtSqw-0005J9-0C for guile-devel@gnu.org; Thu, 01 Oct 2009 17:06:22 -0400 Original-Received: from [199.232.76.173] (port=40100 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MtSqv-0005Iy-NG for guile-devel@gnu.org; Thu, 01 Oct 2009 17:06:17 -0400 Original-Received: from mail3.uklinux.net ([80.84.72.33]:41168) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1MtSqt-00085e-B4; Thu, 01 Oct 2009 17:06:15 -0400 Original-Received: from arudy (host86-145-159-48.range86-145.btcentralplus.com [86.145.159.48]) by mail3.uklinux.net (Postfix) with ESMTP id BD6E11F667A; Thu, 1 Oct 2009 22:05:36 +0100 (BST) Original-Received: from arudy (arudy [127.0.0.1]) by arudy (Postfix) with ESMTP id F068038023; Thu, 1 Oct 2009 22:05:16 +0100 (BST) In-Reply-To: <87ocorni7v.fsf@gnu.org> ("Ludovic =?iso-8859-1?Q?Court=E8s?= =?iso-8859-1?Q?=22's?= message of "Thu, 01 Oct 2009 19:21:08 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.4-2.6 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:9779 Archived-At: ludo@gnu.org (Ludovic Court=C3=A8s) writes: >>> This is normally somewhat fixed in current BDW-GC CVS, but Guile itself >>> may have troubles of its own dealing with cancellation. >> >> Thanks. I thought already about cancellation, but I couldn't see >> anything in the test program that would do that. Do you know of >> anything in that program, or in BDW-GC, that does a pthread_cancel? > > Hmm no, sorry for the confusion. The srfi-18 test this was taken from > did use cancellation, though. OK, thanks for clarifying that. I guess there must be something other than cancellation lurking. > Good that you noticed it was missing from =E2=80=98master=E2=80=99. (BTW= =E2=80=98signals.test=E2=80=99 > should be changed to GPLv3+ and have a =E2=80=98define-module=E2=80=99 cl= ause.) Thanks, done. >> commit 3009b5d557e1ebfd828fd0de9b1da5abb2f6ec9a >> Author: Neil Jerram >> Date: Tue Mar 10 23:55:31 2009 +0000 >> >> Fix spurious `throw from within critical section' errors >> >> (This is the commit that I hope will fix the errors that you're seeing.) >> >> Can you see how the test runs now? > > The abort=C2=A0() is apparently never reached with this patch. > > It took me some time to understand this: > > - if (scm_i_critical_section_level) > + if (thread->critical_section_level) > { > fprintf (stderr, "continuation invoked from within critical sectio= n.\n"); > abort (); > > Critical sections concern all the threads in guile mode. Thus I would > think that the question =E2=80=9Care the threads in a critical section?= =E2=80=9D cannot > be answered by looking at a per-thread =E2=80=98critical_section_level=E2= =80=99. That's not the question here. The question is "is _this_ thread in a critical section?" There's no reason (AFAIK) why thread A shouldn't throw while thread B is in a critical section. Note that access to the critical section is controlled by a mutex, not by (scm_i_)critical_section_level. (scm_i_)critical_section_level only exists to catch genuine "throw from critical section" errors. > However, it really seems that the intent was really to forbid =E2=80=98th= row=E2=80=99s > when the *current thread* is holding the critical section mutex, so the > patch is correct but I find the name =E2=80=98critical_section_level=E2= =80=99 is > slightly misleading. The tricky detail here is that scm_i_critical_section_mutex is initialized as a recursive mutex, so the implication is that it's possible for a thread to enter the critical section multiple times. Hence we need some kind of "level", instead of just a boolean "in_critical_section". > What do you think? I have no objection to a more intuitive name, if you can suggest one. >> Is that right? > > Yes. Thanks. > BTW, rest assured: thanks to libgc we won=E2=80=99t get any Helgrind repo= rt! > :-) I assume you mean because most of the helgrind reports involved the heap_mutex, which no longer exists. Presumably we could still (in theory) get helgrind reports for other mutexes? Regards, Neil From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: (no subject) Date: Thu, 01 Oct 2009 21:44:17 +0100 Message-ID: <878wfu3kv2.fsf@ossau.uklinux.net> References: <0489FB6F-567B-4967-9703-1A3D89462A37@raeburn.org> <79F7A852-10ED-46DF-9D41-ED545493E8FE@raeburn.org> <87pr9dpgfw.fsf@gnu.org> <871vlr6l2p.fsf@ossau.uklinux.net> <87k4zi6h3q.fsf@gnu.org> <87eipqn12l.fsf@ossau.uklinux.net> <87eipqzmdr.fsf_-_@gnu.org> <87tyykw3lm.fsf@ossau.uklinux.net> <76AFE6C2-DA52-448C-87C3-2D634D8DF4CD@raeburn.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1261399830 27938 80.91.229.12 (21 Dec 2009 12:50:30 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 21 Dec 2009 12:50:30 +0000 (UTC) Cc: Ludovic =?iso-8859-1?Q?Court=E8s?= , guile-devel@gnu.org To: Ken Raeburn Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Dec 21 13:50:23 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1NMhh5-00007t-Og for guile-devel@m.gmane.org; Mon, 21 Dec 2009 13:49:00 +0100 Original-Received: from localhost ([127.0.0.1]:44145 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NMhh5-0005E3-Kr for guile-devel@m.gmane.org; Mon, 21 Dec 2009 07:48:59 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1MtSWA-0006zq-D3 for guile-devel@gnu.org; Thu, 01 Oct 2009 16:44:50 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1MtSW5-0006v9-Fd for guile-devel@gnu.org; Thu, 01 Oct 2009 16:44:49 -0400 Original-Received: from [199.232.76.173] (port=33776 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MtSW5-0006v0-7v for guile-devel@gnu.org; Thu, 01 Oct 2009 16:44:45 -0400 Original-Received: from mail3.uklinux.net ([80.84.72.33]:40125) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1MtSW1-00050M-Nj; Thu, 01 Oct 2009 16:44:41 -0400 Original-Received: from arudy (host86-145-159-48.range86-145.btcentralplus.com [86.145.159.48]) by mail3.uklinux.net (Postfix) with ESMTP id 9B5191F6719; Thu, 1 Oct 2009 21:44:38 +0100 (BST) Original-Received: from arudy (arudy [127.0.0.1]) by arudy (Postfix) with ESMTP id 2C46738023; Thu, 1 Oct 2009 21:44:18 +0100 (BST) In-Reply-To: <76AFE6C2-DA52-448C-87C3-2D634D8DF4CD@raeburn.org> (Ken Raeburn's message of "Thu, 1 Oct 2009 15:45:00 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.4-2.6 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:9780 Archived-At: Ken Raeburn writes: > On Sep 30, 2009, at 16:59, Neil Jerram wrote: >> I've cherry-picked the following branch_release-1-8 fixes. > > With these fixes, indeed, I can't reproduce the problem any more; I > left the test program running for over an hour, whereas before it > would trigger the problem almost immediately. > Thanks! Great news; thanks for trying and confirming that. Neil From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: (no subject) Date: Tue, 03 Nov 2009 20:57:20 +0000 Message-ID: <87ljin8gy7.fsf@ossau.uklinux.net> References: <8763ay88d6.fsf@gnu.org> <87vdi6sc5m.fsf@gnu.org> <87hbtciouk.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=gb2312 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1261399917 28255 80.91.229.12 (21 Dec 2009 12:51:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 21 Dec 2009 12:51:57 +0000 (UTC) Cc: guile-devel@gnu.org To: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Dec 21 13:51:50 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1NMhjp-0001yi-SL for guile-devel@m.gmane.org; Mon, 21 Dec 2009 13:51:50 +0100 Original-Received: from localhost ([127.0.0.1]:40789 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NMhjq-0006sS-1d for guile-devel@m.gmane.org; Mon, 21 Dec 2009 07:51:50 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1N5QSG-0006oC-32 for guile-devel@gnu.org; Tue, 03 Nov 2009 15:58:16 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1N5QSB-0006ly-A6 for guile-devel@gnu.org; Tue, 03 Nov 2009 15:58:15 -0500 Original-Received: from [199.232.76.173] (port=41099 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1N5QSB-0006ln-4s for guile-devel@gnu.org; Tue, 03 Nov 2009 15:58:11 -0500 Original-Received: from mail3.uklinux.net ([80.84.72.33]:53854) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1N5QS6-0004q5-Aj; Tue, 03 Nov 2009 15:58:06 -0500 Original-Received: from arudy (host86-147-112-196.range86-147.btcentralplus.com [86.147.112.196]) by mail3.uklinux.net (Postfix) with ESMTP id 4CC921F694F; Tue, 3 Nov 2009 20:57:27 +0000 (GMT) Original-Received: from arudy (arudy [127.0.0.1]) by arudy (Postfix) with ESMTP id 880CB38024; Tue, 3 Nov 2009 20:57:21 +0000 (GMT) In-Reply-To: <87hbtciouk.fsf@gnu.org> ("Ludovic =?iso-8859-1?Q?Court=E8s?= =?iso-8859-1?Q?=22's?= message of "Mon, 02 Nov 2009 22:44:19 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.4-2.6 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:9781 Archived-At: ludo@gnu.org (Ludovic Court=A8=A8s) writes: > should be OK. However, I=A1=AFm slightly concerned about MSVC=A1=AFs > __declspec: does it work if it sees: > > __declspec(dllexport) extern SCM foo (SCM); > extern SCM foo (SCM); I don't know for sure, but I know I've seen "function redeclared with different linkage" warnings in the past, and this could well be one of the situations that generates such warnings. But what about using SCM_API instead of extern? Wouldn't that always generate the right code? (At least for building guile itself.) > If it works, that probably means this point is moot. > > 2. The automatically added =A1=AEextern=A1=AF declaration makes > =A1=AE-Wmissing-prototypes=A1=AF useless, which is annoying. I guess it depends if the primitives in question are designed to be used only from Scheme, or also from other C files. If they're only for Scheme, it's a nice feature that SCM_DEFINE does everything needed and the developer doesn't need a matching prototype. If they're for other C files, the missing prototype warning could be helpful. Then again, the developer will get some kind of warning anyway when trying to use the function from another file. So I think the balance is in favour of SCM_DEFINE including the prototype. Neil From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: (no subject) Date: Sun, 08 Nov 2009 22:21:54 +0000 Message-ID: <87my2wy7wd.fsf@ossau.uklinux.net> References: <8763ay88d6.fsf@gnu.org> <87vdi6sc5m.fsf@gnu.org> <87hbtciouk.fsf@gnu.org> <87ljin8gy7.fsf@ossau.uklinux.net> <87zl707gfq.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=gb2312 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1261399937 28335 80.91.229.12 (21 Dec 2009 12:52:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 21 Dec 2009 12:52:17 +0000 (UTC) Cc: guile-devel@gnu.org To: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Dec 21 13:52:10 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1NMhk3-00025p-N6 for guile-devel@m.gmane.org; Mon, 21 Dec 2009 13:52:04 +0100 Original-Received: from localhost ([127.0.0.1]:40888 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NMhk3-00070D-Mq for guile-devel@m.gmane.org; Mon, 21 Dec 2009 07:52:03 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1N7G9A-0002qj-Pb for guile-devel@gnu.org; Sun, 08 Nov 2009 17:22:08 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1N7G95-0002od-N4 for guile-devel@gnu.org; Sun, 08 Nov 2009 17:22:07 -0500 Original-Received: from [199.232.76.173] (port=42884 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1N7G95-0002oV-E2 for guile-devel@gnu.org; Sun, 08 Nov 2009 17:22:03 -0500 Original-Received: from mail3.uklinux.net ([80.84.72.33]:53263) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1N7G93-00081O-1U; Sun, 08 Nov 2009 17:22:01 -0500 Original-Received: from arudy (host86-145-153-90.range86-145.btcentralplus.com [86.145.153.90]) by mail3.uklinux.net (Postfix) with ESMTP id 3C8441F6778; Sun, 8 Nov 2009 22:22:00 +0000 (GMT) Original-Received: from arudy (arudy [127.0.0.1]) by arudy (Postfix) with ESMTP id C2AE838023; Sun, 8 Nov 2009 22:21:54 +0000 (GMT) In-Reply-To: <87zl707gfq.fsf@gnu.org> ("Ludovic =?iso-8859-1?Q?Court=E8s?= =?iso-8859-1?Q?=22's?= message of "Thu, 05 Nov 2009 23:30:33 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.4-2.6 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:9782 Archived-At: ludo@gnu.org (Ludovic Court=A8=A8s) writes: > Hi Neil, > > Neil Jerram writes: > >> But what about using SCM_API instead of extern? Wouldn't that always >> generate the right code? (At least for building guile itself.) > > You=A1=AFre right. It=A1=AFll work for building Guile itself, but most p= robably > fail when building external libraries, because it will have > SCM_API=3D=3Ddllimport whereas the symbols of the lib being built want > dllexport. > > I have no idea how to fix this since third party libraries typically > have their own =A1=AESCM_API=A1=AF-like macro for that purpose. > > Well, we could just disable =A1=AESCM_SUPPORT_STATIC_ALLOCATION=A1=AF alt= ogether > for =A1=B0Woe32=A1=B1 builds. > > What do you think? We're talking here about macros that are always used in .c files, aren't we? (As opposed to headers that an application using the library would include.) So on Woe32, we actually always want dllexport. i.e. if the header has SCM_API SCM scm_frobate (SCM arg); and the SCM_DEFINE in .c expands to something that includes __declspec(dllexport) SCM scm_frobate (SCM arg); that should be good, because SCM_API will be __declspec(dllexport) when building the library. In the Scheme-only case, that does mean exporting something that doesn't need exporting - but either we can just live with that, or later add your suggestion of SCM_DEFINE_LOCAL. Regards, Neil