#33848 - Store references in SBCL-compiled code are "invisible"

Package	Source(s)		Maintainer(s)
guix		PTS Buildd Popcon

Message #118 received at 33848@debbugs.gnu.org (full text, mbox, reply):

Received: (at 33848) by debbugs.gnu.org; 1 Apr 2021 09:53:05 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 01 05:53:05 2021
Received: from localhost ([127.0.0.1]:56369 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1lRu0f-0002H0-As
	for submit@debbugs.gnu.org; Thu, 01 Apr 2021 05:53:05 -0400
Received: from mout02.posteo.de ([185.67.36.66]:60271)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <glv@posteo.net>) id 1lRu0d-0002GV-II
 for 33848@debbugs.gnu.org; Thu, 01 Apr 2021 05:53:04 -0400
Received: from submission (posteo.de [89.146.220.130]) 
 by mout02.posteo.de (Postfix) with ESMTPS id 47B3F240101
 for <33848@debbugs.gnu.org>; Thu,  1 Apr 2021 11:52:57 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017;
 t=1617270777; bh=RRXLf7jBYSTvtg9eM9+DsQDQz15Hw4vkQJGVzUWzAPI=;
 h=From:To:Cc:Subject:Date:From;
 b=OD67JY/307+iocvpzXG4GDAQtYqeE8o3GQMpirwX25V0+girw9V1PEnOOP1eS8wQI
 HF3AZwFc1/itjOymL35xkHDWOgCF1QaTe9wUiLHaQpnINkNacdoLYGL1hW15IMDZ8F
 Gwg8K0Rj1WOwiZpixrV8L77O4Iz82KAuvjLWU/zU4f0U9jomPyMFrI6tNmi95wg1Ou
 OJ0UKOEDvKQDJmYVD12HIlRwxsaPfk1FVT0znGVjAypAYqWxPuF27soi32NuMi2VAz
 87E/oHzv7Azc1m5VTQlG4hfR6lHkgm5KP2F713fGcolRhW9xoVBfm/2IzE0u3OGme/
 WDvekdL0z0y7A==
Received: from customer (localhost [127.0.0.1])
 by submission (posteo.de) with ESMTPSA id 4F9z531H5lz9rxS;
 Thu,  1 Apr 2021 11:52:54 +0200 (CEST)
References: <87r2e8jpfx.fsf@gnu.org> <87sgynezha.fsf@gnu.org>
 <87tvj2yesd.fsf@netris.org> <877efwe04u.fsf@gnu.org>
 <8736qji7c1.fsf@ambrevar.xyz> <87tvizvzgk.fsf@netris.org>
 <87o9979gfn.fsf@gnu.org> <87tvizgghs.fsf@ambrevar.xyz>
 <87k1juaomo.fsf@gnu.org> <87muoqhk62.fsf@ambrevar.xyz>
 <87zhsq8wkj.fsf@gnu.org> <87d0pmhbgn.fsf@ambrevar.xyz>
 <87r2e28tkv.fsf@gnu.org> <874laygkiy.fsf@ambrevar.xyz>
 <87lfa5eymf.fsf@ambrevar.xyz> <87tuoscsk9.fsf@gnu.org>
 <87im57b8u7.fsf@ambrevar.xyz> <87czvebky2.fsf@netris.org>
 <87eefu30a4.fsf@gnu.org> <87im56l6es.fsf@yamatai>
 <87wntm8j18.fsf@ambrevar.xyz>
User-agent: mu4e 1.4.15; emacs 27.2
From: Guillaume Le Vaillant <glv@posteo.net>
To: Pierre Neidhardt <mail@ambrevar.xyz>
Subject: Re: bug#33848: Store references in SBCL-compiled code are "invisible"
In-reply-to: <87wntm8j18.fsf@ambrevar.xyz>
Date: Thu, 01 Apr 2021 11:52:50 +0200
Message-ID: <87a6qil4b1.fsf@yamatai>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha512; protocol="application/pgp-signature"
X-Spam-Score: -0.3 (/)
X-Debbugs-Envelope-To: 33848
Cc: Mark H Weaver <mhw@netris.org>,
 Ludovic Courtès <ludo@gnu.org>, 33848@debbugs.gnu.org
X-BeenThere: debbugs-submit@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@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -1.3 (-)

[Message part 1 (text/plain, inline)]

Pierre Neidhardt <mail@ambrevar.xyz> skribis:

> Hi Guillaume!
>
>> A store reference to a C library in a standalone Lisp binary can come
>> either from the current package or from some dependencies
>> (cl+ssl, cl-cffi-gtk, etc.). So we would need to scan the source
>> code of all the Lisp dependencies recursively to get the full list of
>> store refrences.
>
> I don't think there is need to scan recursively: if package A depends on
> B which depends on C, then A can lists the dependency on B in a file,
> and B can do the same for C.  This way the relationship between A and C
> is properly stored.
>
> Am I missing something?

Oh, you say this file would be created for every Lisp package. I thought
it would only be for the standalone binary case, because the "regular"
asdf-build-system/sbcl used for Lisp libraries ships the sources and its
make-asdf-configuration phase creates links to the required Lisp
dependencies in '/gnu/store/...', so there should not be missing
references.


>> And as Mark wrote below, with the current grafting code, this list of
>> store references will not solve grafting for paths that are in UTF-32 or
>> both in ASCII and UTF-32 in the binary file.
>
> Indeed, and that's the core of the issue here I believe, since grafting
> is what breaks Nyxt in practice.
>
> Cheers!

I just wondered: does the grafting code take '.fasl' files into
consideration?
If yes, I guess a Lisp library could also end up in a strange
half-grafted state if the grafting code modifies ASCII references and
not UTF-32 ones...

[signature.asc (application/pgp-signature, inline)]

Display info messages

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sat Apr 12 09:23:55 2025; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

#33848 Store references in SBCL-compiled code are "invisible"