From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Gerd_M=C3=B6llmann?= Newsgroups: gmane.emacs.devel Subject: Re: Collecting markers with MPS Date: Wed, 24 Apr 2024 15:51:03 +0200 Message-ID: References: <87cyqfjk6n.fsf@gmail.com> <86sezb2oj2.fsf@gnu.org> <874jbrjg04.fsf@gmail.com> <86o79z2h7y.fsf@gnu.org> <86jzkm3mzv.fsf@gnu.org> 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="2475"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: eller.helmut@gmail.com, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Apr 24 15:51:50 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 1rzd2M-0000Sq-Et for ged-emacs-devel@m.gmane-mx.org; Wed, 24 Apr 2024 15:51:50 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rzd1q-0005M9-MD; Wed, 24 Apr 2024 09:51:18 -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 1rzd1g-0005K8-Nu for emacs-devel@gnu.org; Wed, 24 Apr 2024 09:51:09 -0400 Original-Received: from mail-ed1-x52f.google.com ([2a00:1450:4864:20::52f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rzd1f-000348-1a; Wed, 24 Apr 2024 09:51:08 -0400 Original-Received: by mail-ed1-x52f.google.com with SMTP id 4fb4d7f45d1cf-571e3f40e31so4204796a12.2; Wed, 24 Apr 2024 06:51:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1713966665; x=1714571465; darn=gnu.org; h=content-transfer-encoding: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=KJL2fAzE1m7WHCzukNCqU4JNOaL1/+W/qqBy7e3HZOk=; b=j1gCyXI1qh5HM2DpBLDx2hEJriuy/tPJkN/wy0HJXxLu4pTbG2oWCvnIfFFMaUfwl6 Ds0EqC+m2lhyltulK+aPtpYgtLpqe7OcjiAXEdmcbJNrAH6m4s5ukQd7vl4trKb/mmSP RvJpvlmrt3gyMtVuknNkde44sWNGaRMKzoUpURPbJ4IpvgH+OhQ/PX0SRP/aAA9a/GoO naLXiloTG4JA3VAlgLLcq3VCZdUXi+r61PSCGCXzTSlbecyz7psUQO2+Xv9oLI1909vV 3wAEkP0pZC9k2plTM9JyIeDxuItDj+tHzBO1PrNxmmq5PIv1z38MELADWGFfWvwM+tut 1H3w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713966665; x=1714571465; h=content-transfer-encoding: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=KJL2fAzE1m7WHCzukNCqU4JNOaL1/+W/qqBy7e3HZOk=; b=Gmf+rBkxkb7c2/1F3Z98cIf7eTWPylg5tgonK0EzX6sdD41w4SAgIZREnArixY6X+h wVMi9r0EjfhJ9aWXGyPPHqDJkHHp2VXmLuOeX6sKGVD4Xu01d86IdEcPvnZnULMavqPb 6nZNE/phKHXUqRt8E0sYxhTXbvcF4vlmB/pAlJgFbPuKOfcxhXJDPl9gdz20s4M0eF1E 5yRAQUZAnymATnD16C0iELrkzOLzCO7kxCPqnm/fIthDv5H/+/3X5CJ6ZMrDyZFzJnNc uYOmzHbC29xV0705TEQJLd55oS4BJOlDeGimARthUVjqYtpKsMO6BsW7NCf2TeErWUza LILA== X-Forwarded-Encrypted: i=1; AJvYcCWtHmu3TSGJ+5NGLAJOqi87DE48jFxAZztCgSR82SAyv3VRnbGtPyCiMga7y3qu4d6ZYecxGQI+VhkUv2HrEleooQKW X-Gm-Message-State: AOJu0Yx5aab65cOgf8bVC7V8K278fYKxAu5LO4P5cTCnaYVsQ1NwtZFw XZd0Ah5p6r3K8MNo/pBAz9c6zLeAfryQTu7f/kBkrLdiiaFleHjJc9PXF0FE X-Google-Smtp-Source: AGHT+IF+Nk0sitoTWhr2nMnkmZDxZlJ9LX0I+lJQQwVXcjfL/SF6JXgP9MX2IELWQS01J9sGyBDDRQ== X-Received: by 2002:a50:ab4a:0:b0:568:9d96:b2d1 with SMTP id t10-20020a50ab4a000000b005689d96b2d1mr1781234edc.32.1713966664762; Wed, 24 Apr 2024 06:51:04 -0700 (PDT) Original-Received: from pro2.fritz.box (p4fe3abb0.dip0.t-ipconnect.de. [79.227.171.176]) by smtp.gmail.com with ESMTPSA id k25-20020a056402049900b005700ef75274sm7900752edv.33.2024.04.24.06.51.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 24 Apr 2024 06:51:04 -0700 (PDT) In-Reply-To: <86jzkm3mzv.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 24 Apr 2024 16:32:04 +0300") Received-SPF: pass client-ip=2a00:1450:4864:20::52f; envelope-from=gerd.moellmann@gmail.com; helo=mail-ed1-x52f.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:318030 Archived-At: Eli Zaretskii writes: >> From: Gerd M=C3=B6llmann >> Cc: Helmut Eller , emacs-devel@gnu.org >> Date: Wed, 24 Apr 2024 12:58:23 +0200 >>=20 >> Gerd M=C3=B6llmann writes: >>=20 >> > Eli Zaretskii writes: >> > >> >> Can't the new GC tell us which markers are unreferenced? >> > >> > I'm afraid no. At least I haven't seen it mentioned in the docs. > > Does this mean MPS doesn't allow a user-defined function to be called > when some object is found unreferenced? I'd assume such callbacks are > available, since some objects need custom code to dispose of. I think you mean finalization, which is supported, and implemented in igc. (MPS puts a finalization message on a message queue, which the client processes when it wants. It can then call xfree malloc'd memory, ,unload compilation units etc.) >> Err, and the marker would be references from the list anyway... > > Maybe I don't understand the problem we are talking about. Is this > about unchain_dead_markers, which is called from sweep_buffers? If > so, how are non-dead markers currently identified during the mark > phase? I'll better leave that Helmut to answer, he probably knows that better than me, at the moment. Finalization of markers would not happen, because the list it is in keeps it alive.