From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrea Corallo Newsgroups: gmane.emacs.devel Subject: Re: MPS: native comp Date: Fri, 03 May 2024 09:35:34 -0400 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="27768"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , emacs-devel@gnu.org, Helmut Eller To: Gerd =?utf-8?Q?M=C3=B6llmann?= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri May 03 15:36:12 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 1s2t5A-0006zN-HC for ged-emacs-devel@m.gmane-mx.org; Fri, 03 May 2024 15:36:12 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s2t4q-0008C5-Dh; Fri, 03 May 2024 09:35:52 -0400 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 1s2t4e-0008Am-V5 for emacs-devel@gnu.org; Fri, 03 May 2024 09:35:42 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1s2t4e-0005nD-6n; Fri, 03 May 2024 09:35:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=IYCV2DvwA2Fl9+e2HRupsLQ27b07A+liYpAC7dWrpi0=; b=Ia6tyu/rfm8Fc6YOE89I oZWe4QMU0q8yVMEc2iOn74d2RLHwLVK/NEGHOORKod68pUwIMFCXaamA+OWl4B54Rbj4JGvI/F8Um cHxd4AOFb69/y2D61LpfPiwqFpm/44IWJAAMJnkS7OFKD3sOiqlWkhYxT/rXE8B5zH8qh/iwvLBc1 BM9Z+mE5JtfBzCnFQtP+ajvohuSsvmFVst6pMF6BeqYI5nZlYlz6cD/1IYFycFU5peJdC3oT+Rwxq JzSbaJQY8fuNnK744L+/vdHn0aeVhk1EFkiDsLjqdVNmCKXjDqlCBEISbUWCSd5t8NclrXJSiRKWZ mUjKjJRDfMBJJQ==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1s2t4Y-0006v1-U6; Fri, 03 May 2024 09:35:37 -0400 In-Reply-To: ("Gerd =?utf-8?Q?M=C3=B6llman?= =?utf-8?Q?n=22's?= message of "Fri, 03 May 2024 07:35:27 +0200") 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:318680 Archived-At: Gerd M=C3=B6llmann writes: > Andrea Corallo writes: > >> Yes but this way seems that there's no way to tell the GC that something >> exists other than making it reachable from the heap. There's really no >> better way to tell MPS at runtime that a certain obj was allocated and >> needs to be tracked? > > I'm sorry, I don't understand. Could you perhaps rephrase? I suspect ATM don't have a better way to express that. You said: > The problem is not liveness, it's the existence of untraced references > there. So my question is, there's really no way to express to MPS the 'existence' of an object without impacting his 'liveness'? This case is supported by alloc.c as the change in discussion demonstrates. Thanks Andrea