From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Helmut Eller Newsgroups: gmane.emacs.devel Subject: Re: Merging scratch/no-purespace to remove unexec and purespace Date: Wed, 18 Dec 2024 08:11:35 +0100 Message-ID: <87ed2579eg.fsf@gmail.com> References: <87zfku6ra9.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="24951"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Stefan Monnier , emacs-devel@gnu.org, Pip Cet To: Stefan Kangas Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Dec 18 08:12:36 2024 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1tNoEW-0006JA-Ih for ged-emacs-devel@m.gmane-mx.org; Wed, 18 Dec 2024 08:12:36 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tNoDg-0005VG-4f; Wed, 18 Dec 2024 02:11:44 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tNoDe-0005V5-AU for emacs-devel@gnu.org; Wed, 18 Dec 2024 02:11:42 -0500 Original-Received: from mail-ej1-x62f.google.com ([2a00:1450:4864:20::62f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tNoDb-00049M-9E for emacs-devel@gnu.org; Wed, 18 Dec 2024 02:11:42 -0500 Original-Received: by mail-ej1-x62f.google.com with SMTP id a640c23a62f3a-aa66e4d1d5aso986492766b.2 for ; Tue, 17 Dec 2024 23:11:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1734505896; x=1735110696; darn=gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=Iq/wMZCYVX/ZcPqvTsACUoNJA843Nx7hao+jnZzjLtc=; b=WZa8RPZ7wNO08Kl08nYeSmbRncniC2pG55O+ht3rpRK020bJNzwWdn5VJ4PDh/ixEs pnkjfZRLDTM/BxJmPaNve8qtalaclwbCmqsie4OrwlOtsDm1oof6wwo369tIc0pgAhPB x0nXLcbHpNhrKZ/V7ay2aEL5v+UloT8chpjzzpw1HIUwK4kOLx9j0KcpjQfpE3iEAv7Q u779YEChpKRUCg8sjqH/lM9cRCK7+Ezych5JDTv5fpNhMslpytjQd8oMv9/U2M2eaOXv sQixXMnHpOzq/jDEjJQAe/cFaD9GBUoO9+01UItall/mWFZbxCQmwb8Rc+o2ImMYQ71R phuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1734505896; x=1735110696; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=Iq/wMZCYVX/ZcPqvTsACUoNJA843Nx7hao+jnZzjLtc=; b=M4adBG92LWlqpc9KfttG6B5c7DkPAd8IXctDz7Xr2b847hlDetQPKggix8YWkGqRub 6wmbkkPTlWjnrM308VFZw+06o6hcXM/ZJ2UGIQjoCwOxH2ZhS/Qp7gC3r9zDf7eRMx9o SN1+jLRpTtd0KKL7RwG8kx6YLTsxUvKNm/2zGemi4WzxFXWuq7SDXTGTFR148Gfo+HaG h+6dzWOrTSBMR1wvRzMqxeZyj2kwXyCKtJ6Kvyyl5cTwEF40Q6yyXOcDm2RvZFEwsxjw ClGWcn6XKnEU8DqZVm3Sn7Y9aieZR5dlzgOjEjjLPRgk7WQtLlOOkRWrhp3/IN3TJW1s 7J9Q== X-Forwarded-Encrypted: i=1; AJvYcCVrjV+H4dRb3PzOwBg2+dx3dQtVl48GtG6TOcnLo1w1rui7FtsUpCg6e/cGckdpGXzK3cMqGCGuSwXnAA==@gnu.org X-Gm-Message-State: AOJu0YxhxnEox2n3UfvKRXMU0i/+kg7LA6bR2H9XXS5Hgj8D3yUuUZLz 2qnujjS0kdbXt2/zEgEBTtMSB9IQLAp1muKNfVjQGwKQp4nL+q/B X-Gm-Gg: ASbGnctoUQHP3EhBcmmGXDZ+GYwTRqzdjxNLAH/EuW7YXGjnBQVw5wgk35TN80u1mnP 6aBecbBj9G1+BFL7jms/CsoJvms5okO1xazkJl/GJvwe9V+3RvU5oRjtbW49YoA+svsYlpdYRIh 6eR84qJiKU4GG1zLN6zwzh32K9Hc+M1smKuYOnm57aGufc5KP/+7D4Wf8pJwOme/jyYmJKgLp0P e45SsEjWofoJuShPR0U88R7vmRqSNFnzl26Apq1FnBqYLPOHBSAbHQ= X-Google-Smtp-Source: AGHT+IEZk8IE+NPOyuPen1vz8MfBF7uaY2VNhChvFsxhVKL4Eo8SLIOovAXPnGzBtcNSjxEzWxAJdg== X-Received: by 2002:a17:907:7743:b0:aa6:74a9:ce6e with SMTP id a640c23a62f3a-aabf476e527mr128128566b.16.1734505896327; Tue, 17 Dec 2024 23:11:36 -0800 (PST) Original-Received: from caladan ([31.177.115.143]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-aabcc677867sm259935266b.47.2024.12.17.23.11.35 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 17 Dec 2024 23:11:35 -0800 (PST) In-Reply-To: (Stefan Kangas's message of "Tue, 17 Dec 2024 18:15:49 -0800") Received-SPF: pass client-ip=2a00:1450:4864:20::62f; envelope-from=eller.helmut@gmail.com; helo=mail-ej1-x62f.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:326631 Archived-At: On Tue, Dec 17 2024, Stefan Kangas wrote: > Stefan Monnier writes: [...] >> That's because the pdump already fails to take advantage of the >> purespace (i.e. the GC traces through the purespace like the rest of >> the heap). > > I'll note that the best solution to that is to have a generational GC > instead. Simple, right? A generational GC is definitely simpler. Whether it's the "best" solution is not so clear: A copying GC, like MPS, still needs to trace and copy pure objects whenever the oldest generation is in the condemned set. Moving pure objects to a non-moving pool might be better. > It's not entirely unrelated though: among other things, one reason why > merging this would be good is that it would reportedly simplify the work > on the igc branch. And indeed any GC-related work now or in future. Objects in purespace are immutable and immortal. That's potentially useful information for the GC. Removing purespace also removes that information. Of course, if the pdumper already throws away this information, then purespace just adds useless complexity. Helmut