GNU bug report logs - #26858
Cygwin port of Guile 2.2

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Package: guile; Reported by: Andy Wingo <wingo@HIDDEN>; dated Tue, 9 May 2017 19:09:02 UTC; Maintainer for guile is bug-guile@HIDDEN.

Message received at 26858 <at> debbugs.gnu.org:


Received: (at 26858) by debbugs.gnu.org; 15 May 2017 20:06:42 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon May 15 16:06:42 2017
Received: from localhost ([127.0.0.1]:46969 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1dAMGP-0007Kk-O5
	for submit <at> debbugs.gnu.org; Mon, 15 May 2017 16:06:41 -0400
Received: from pb-sasl1.pobox.com ([64.147.108.66]:50174
 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <wingo@HIDDEN>) id 1dAMGO-0007Kc-23
 for 26858 <at> debbugs.gnu.org; Mon, 15 May 2017 16:06:40 -0400
Received: from sasl.smtp.pobox.com (unknown [127.0.0.1])
 by pb-sasl1.pobox.com (Postfix) with ESMTP id 36C8978584;
 Mon, 15 May 2017 16:06:37 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc
 :subject:references:date:in-reply-to:message-id:mime-version
 :content-type:content-transfer-encoding; s=sasl; bh=x7sst05TIF9A
 L2+PopTZToKAO+U=; b=cqZPrKg/fHzsg0Ho2Xne5KeA5+KnuvUcpwJHD+95Lv20
 5FGRJibUfaQl/bubPM94yEbD/4hUBhEMVHc2J6TFnXfnxG4UO63id0GrSsEHJqAc
 0s4ctH9B9XQ+gKu/HGm/hFjpKnIXL3baGqWil5XQBNKVzyEEzCOBM5pOy7/W8Ko=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc
 :subject:references:date:in-reply-to:message-id:mime-version
 :content-type:content-transfer-encoding; q=dns; s=sasl; b=LvK+MX
 KYzBnSmHkReBDF/dfI31z2hFii2D3vj3mSJCAng7SJAqyP6FjGAIXduYZAV9Zp9P
 +BuyR21gpV9LKHldx1KgpX/gU1PzVMZtZeXWQJ6VnS4AR3IJDGLB7aSzjDXoqlV2
 VvsY0o6jehkttV2BF+PV8puaFssUOaGEJzOXA=
Received: from pb-sasl1.nyi.icgroup.com (unknown [127.0.0.1])
 by pb-sasl1.pobox.com (Postfix) with ESMTP id 2EFBA78582;
 Mon, 15 May 2017 16:06:37 -0400 (EDT)
Received: from clucks (unknown [88.160.190.192])
 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by pb-sasl1.pobox.com (Postfix) with ESMTPSA id BFAD278581;
 Mon, 15 May 2017 16:06:35 -0400 (EDT)
From: Andy Wingo <wingo@HIDDEN>
To: Derek Upham <sand@HIDDEN>
Subject: Re: Cygwin port of Guile 2.2
References: <874ly49l54.fsf@HIDDEN>
 <87lgr38jzd.fsf@HIDDEN> <87pogft8c2.fsf@HIDDEN>
 <878tmz7945.fsf@HIDDEN> <87ziffcbwg.fsf@HIDDEN>
 <87ziew4836.fsf@HIDDEN> <8760hjt5k0.fsf@HIDDEN>
 <87r306d3vx.fsf@HIDDEN> <87lgqes375.fsf@HIDDEN>
 <87efw681hv.fsf@HIDDEN> <87shkdrgpz.fsf@HIDDEN>
 <878tm26u4t.fsf@HIDDEN>
Date: Mon, 15 May 2017 22:06:27 +0200
In-Reply-To: <878tm26u4t.fsf@HIDDEN> (Derek Upham's
 message of "Fri, 12 May 2017 07:13:06 -0700")
Message-ID: <87ziedopfg.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Pobox-Relay-ID: FFD099BA-39A9-11E7-9EFC-9BB2D5707B88-02397024!pb-sasl1.pobox.com
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 26858
Cc: 26858 <at> debbugs.gnu.org, guile-devel@HIDDEN
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 0.0 (/)

Greets,

On Fri 12 May 2017 16:13, Derek Upham <sand@HIDDEN> writes:

> Andy Wingo <wingo@HIDDEN> writes:
>
>> scm_join_thread isn't actually implemented in terms of
>> scm_i_pthread_join any more.  Probably that's what's going wrong here --
>> and probably that should be fixed to ensure that we actually join the
>> thread.  (Otherwise it would be a memory leak too AFAIU.)  Bcc'ing
>> bug-guile to create a bug for that.
>
> I noticed that scm_join_thread was calling back into Scheme-land.  Are th=
ese statements all correct?
>
> - We are using call-with-new-thread underneath the hood.

Underneath the hood of what? :)

> - call-with-new-thread is documented to return a Scheme object from a
> thunk/handler.  Any underlying pthreads should be implementation
> details.

Correct.  In practice call-with-new-thread will create a pthread but I
can imagine circumstances in which it might (in the future) spawn an
auxiliary pthread for some reason, and I wouldn't want to rule that out.

> - The spawned thread sends the Scheme object to the condition variable
> as soon as the user thunk exits.  Any number of operations can happen
> afterwards; the thread is still running in Scheme-land at this point,
> in call-with-new-thread=E2=80=99s wrapping thunk.
> - join-thread waits on the condition variable only.

These are implementation details.  They are correct but probably the
implementation should change to do the scm_i_pthread_join and we should
guarantee that after the join, the thread is really dead.  This is bug
26858.

> So at the end of join-thread we need to add a call to
> scm_i_pthread_join (which we implement in threads.c) to ensure that
> the pthread is completely gone before that join-thread returns.  Is
> that accurate?

Well... yes, but we have to ensure that we call scm_i_pthread_join at
most once.  I think calling pthread_join twice on a thread is
undefined.  So there are some gnarlies here.  Need to fix this.

> Unfortunately, I think the GC threads are going to end up being
> immovable objects in the path to full process-form support.

You can disable marker threads with the GC_MARKERS environment variable,
and the finalization thread should come and go as needed.  Probably this
is not a blocker from your POV.  Signal handling is probably the most
serious issue; perhaps we can avoid the thread somehow, since we handle
signals asynchronously anyway..

Andy
Information forwarded to bug-guile@HIDDEN:
bug#26858; Package guile. Full text available.

Message received at 26858 <at> debbugs.gnu.org:


Received: (at 26858) by debbugs.gnu.org; 9 May 2017 19:26:56 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 09 15:26:56 2017
Received: from localhost ([127.0.0.1]:34515 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1d8Ame-0003eJ-4v
	for submit <at> debbugs.gnu.org; Tue, 09 May 2017 15:26:56 -0400
Received: from eggs.gnu.org ([208.118.235.92]:59917)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <rgm@HIDDEN>) id 1d8Amd-0003e6-3w
 for 26858 <at> debbugs.gnu.org; Tue, 09 May 2017 15:26:55 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <rgm@HIDDEN>) id 1d8AmX-0005kL-DG
 for 26858 <at> debbugs.gnu.org; Tue, 09 May 2017 15:26:50 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD
 autolearn=disabled version=3.3.2
Received: from fencepost.gnu.org ([2001:4830:134:3::e]:45414)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <rgm@HIDDEN>)
 id 1d8AmU-0005gs-67; Tue, 09 May 2017 15:26:46 -0400
Received: from rgm by fencepost.gnu.org with local (Exim 4.82)
 (envelope-from <rgm@HIDDEN>)
 id 1d8AmT-0003oA-RB; Tue, 09 May 2017 15:26:45 -0400
From: Glenn Morris <rgm@HIDDEN>
To: Andy Wingo <wingo@HIDDEN>
Subject: Re: bug#26858: Cygwin port of Guile 2.2
References: <874ly49l54.fsf@HIDDEN>
 <87lgr38jzd.fsf@HIDDEN> <87pogft8c2.fsf@HIDDEN>
 <878tmz7945.fsf@HIDDEN> <87ziffcbwg.fsf@HIDDEN>
 <87ziew4836.fsf@HIDDEN> <8760hjt5k0.fsf@HIDDEN>
 <87r306d3vx.fsf@HIDDEN> <87lgqes375.fsf@HIDDEN>
 <87efw681hv.fsf@HIDDEN> <87shkdrgpz.fsf@HIDDEN>
X-Spook: Brute forcing Execution Vickie Weaver Power outage SBI
X-Ran: mC>"MUnJ|6`>18%DvE*]QbNR^f2dkmAK>jZy@n?f)/$xLX'2?+;D{J\J1*2M[EBuQQ7zpC
X-Hue: black
X-Attribution: GM
Date: Tue, 09 May 2017 15:26:45 -0400
In-Reply-To: <87shkdrgpz.fsf@HIDDEN> (Andy Wingo's message of "Tue, 09 May
 2017 21:08:08 +0200")
Message-ID: <rtbmr1ltl6.fsf@HIDDEN>
User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)
MIME-Version: 1.0
Content-Type: text/plain
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-Spam-Score: -5.0 (-----)
X-Debbugs-Envelope-To: 26858
Cc: 26858 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -5.0 (-----)


(Reported reassigned to guile)

Andy Wingo wrote:

> Bcc'ing bug-guile to create a bug for that.

FYI: if you use bcc, the system has no idea which package to associate
your bug report with. So you must specify "Package: guile" in the first
line of the body.
Information forwarded to bug-guile@HIDDEN:
bug#26858; Package guile. Full text available.
bug reassigned from package 'debbugs.gnu.org' to 'guile'. Request was from Glenn Morris <rgm@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 9 May 2017 19:08:41 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 09 15:08:41 2017
Received: from localhost ([127.0.0.1]:34473 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1d8AUz-0003C2-48
	for submit <at> debbugs.gnu.org; Tue, 09 May 2017 15:08:41 -0400
Received: from eggs.gnu.org ([208.118.235.92]:54438)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <wingo@HIDDEN>) id 1d8AUy-0003Bo-2j
 for submit <at> debbugs.gnu.org; Tue, 09 May 2017 15:08:40 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <wingo@HIDDEN>) id 1d8AUs-0002jA-4k
 for submit <at> debbugs.gnu.org; Tue, 09 May 2017 15:08:35 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_DKIM_INVALID
 autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:37217)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <wingo@HIDDEN>) id 1d8AUs-0002iw-1W
 for submit <at> debbugs.gnu.org; Tue, 09 May 2017 15:08:34 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:45402)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <wingo@HIDDEN>) id 1d8AUr-00048L-2j
 for bug-guile@HIDDEN; Tue, 09 May 2017 15:08:33 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <wingo@HIDDEN>) id 1d8AUn-0002hL-RG
 for bug-guile@HIDDEN; Tue, 09 May 2017 15:08:33 -0400
Received: from pb-sasl2.pobox.com ([64.147.108.67]:64729
 helo=sasl.smtp.pobox.com)
 by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <wingo@HIDDEN>)
 id 1d8AUn-0002fx-NX; Tue, 09 May 2017 15:08:29 -0400
Received: from sasl.smtp.pobox.com (unknown [127.0.0.1])
 by pb-sasl2.pobox.com (Postfix) with ESMTP id 1DB3264908;
 Tue,  9 May 2017 15:08:26 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc
 :subject:references:date:in-reply-to:message-id:mime-version
 :content-type; s=sasl; bh=sNSizCHGNEw4aVAEQn3ZaiP8oac=; b=Wq/wg2
 h86Ek8gq95lp6bEHKKBDRpXTXqriL5FjapJJ7oK/dH9n53WXrd2a+d7PgKtskzUQ
 YYZPkHzMq7ScSinzXCBE1qFmeMp7EdXSGQ1u5H2s9VAhMfkb/4YJEaEurEcUr0vA
 0OunmuhtcSokXhzMMxu+IgxCGpgBEVxfcIWGY=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc
 :subject:references:date:in-reply-to:message-id:mime-version
 :content-type; q=dns; s=sasl; b=A6JEN0xiqbxomJ1YM9YX+IPpRyKrwUts
 X97YLPXfgD3PPsV+f+2RYu8OV5qyS327s1xzrXsvzKXboX2uWn0ePa5J7F1RhdO8
 FtXGsOsxJbnm4JiuqLMSYQ5Ror3499lqS6QulSgOlZ+89kUr/AH+KM0tcxvwNBTq
 YFZYphydWos=
Received: from pb-sasl2.nyi.icgroup.com (unknown [127.0.0.1])
 by pb-sasl2.pobox.com (Postfix) with ESMTP id 1737964907;
 Tue,  9 May 2017 15:08:26 -0400 (EDT)
Received: from clucks (unknown [88.160.190.192])
 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by pb-sasl2.pobox.com (Postfix) with ESMTPSA id 420B064906;
 Tue,  9 May 2017 15:08:24 -0400 (EDT)
From: Andy Wingo <wingo@HIDDEN>
To: Derek Upham <sand@HIDDEN>
Subject: Re: Cygwin port of Guile 2.2
References: <874ly49l54.fsf@HIDDEN>
 <87lgr38jzd.fsf@HIDDEN> <87pogft8c2.fsf@HIDDEN>
 <878tmz7945.fsf@HIDDEN> <87ziffcbwg.fsf@HIDDEN>
 <87ziew4836.fsf@HIDDEN> <8760hjt5k0.fsf@HIDDEN>
 <87r306d3vx.fsf@HIDDEN> <87lgqes375.fsf@HIDDEN>
 <87efw681hv.fsf@HIDDEN>
Date: Tue, 09 May 2017 21:08:08 +0200
In-Reply-To: <87efw681hv.fsf@HIDDEN> (Derek Upham's
 message of "Wed, 03 May 2017 07:21:32 -0700")
Message-ID: <87shkdrgpz.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Pobox-Relay-ID: E0AC2234-34EA-11E7-B311-384B894C8D7C-02397024!pb-sasl2.pobox.com
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
 [fuzzy]
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -4.4 (----)
X-Debbugs-Envelope-To: submit
Cc: guile-devel@HIDDEN, Mike Gran <spk121@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -4.4 (----)

On Wed 03 May 2017 16:21, Derek Upham <sand@HIDDEN> writes:

>   scm_join_thread start

scm_join_thread isn't actually implemented in terms of
scm_i_pthread_join any more.  Probably that's what's going wrong here --
and probably that should be fixed to ensure that we actually join the
thread.  (Otherwise it would be a memory leak too AFAIU.)  Bcc'ing
bug-guile to create a bug for that.

Andy
Acknowledgement sent to Andy Wingo <wingo@HIDDEN>:
New bug report received and forwarded. Copy sent to help-debbugs@HIDDEN. Full text available.
Report forwarded to help-debbugs@HIDDEN:
bug#26858; Package debbugs.gnu.org. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.