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 21:55:31 +0200 Message-ID: References: <87cyqfjk6n.fsf@gmail.com> <86sezb2oj2.fsf@gnu.org> <874jbrjg04.fsf@gmail.com> <86o79z2h7y.fsf@gnu.org> <87wmomiz0x.fsf@gmail.com> <86bk5y3gf4.fsf@gnu.org> <87jzkmivel.fsf@gmail.com> <867cgm3exf.fsf@gnu.org> <874jbqin7o.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="35932"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , emacs-devel@gnu.org To: Helmut Eller Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Apr 24 21:56:19 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 1rzij4-00098E-I8 for ged-emacs-devel@m.gmane-mx.org; Wed, 24 Apr 2024 21:56:18 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rziiQ-0007ES-0I; Wed, 24 Apr 2024 15:55:38 -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 1rziiO-0007Dk-9n for emacs-devel@gnu.org; Wed, 24 Apr 2024 15:55:36 -0400 Original-Received: from mail-ej1-x62d.google.com ([2a00:1450:4864:20::62d]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rziiM-00058z-Os; Wed, 24 Apr 2024 15:55:36 -0400 Original-Received: by mail-ej1-x62d.google.com with SMTP id a640c23a62f3a-a55b78510bbso31494266b.0; Wed, 24 Apr 2024 12:55:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1713988532; x=1714593332; 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=dwfc0bfR4Wqnhybv8i9N3LJPcrZuBe0uSrGKwNTgkkA=; b=VSRAFp1LICqDxQRjWvyLGCqtmQ5RaoEoapflIrKnYafVPvzJSxZGlNQTTDnLp4/B2R oh536UuO4X+6M+qj6DIvf+YvlmRop8NWsu39SqlqjxdZTNO40IONO0E8lJ0a4wk+DoiT tGDY0+XqgDk3dmAVo0U2tTyJOaFDJIXujMAE71QdSv1hkLzZwRsNWuuasMfhxXLm6UsJ mnZcY401r+/MNOkWao+XC4nQpMPBVZSDV7o1woCnGbbqFsczof8ZiT4zoDvAnJUmWSHC bKIfY0KtOcvq6Lac8I3VRU5p/7oT4eeUUO6tIRQrdr+tFnKB43N3gtqKCu47LGr7NiS1 0huA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713988532; x=1714593332; 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=dwfc0bfR4Wqnhybv8i9N3LJPcrZuBe0uSrGKwNTgkkA=; b=rIdT42pufZu+yjQUhNeXXM1vA8tIehovJ7XbqZkGHqCquSOR9RY2HTnK5f2Ka3iV/B lAT+Qc+dOjADNYV0WA2paggGxg1zHm2BBt4N+Efa3VXywbwsCXyz368s8V9sZwxRcDLx IwzHKM/XcCCcaPjWf2Xiw64yRrnz2IwND4vjwcr7HNUVnyOKXQa1oyLL3SkT7KngbOsq a85Q6PVHnB0hSm9JDZiiBvaRtX0eBuA5gA+O18wpxrXURv6k78vVdl5XJmn7nXz7NVYI fa6SA8CrIbmqFchyJtUIaga4LeObL6SqikeRYVOCbYcBLRW4cb0E+2BK44/wP653rdtX hV9g== X-Forwarded-Encrypted: i=1; AJvYcCVVumvhbshYK9J5uL+SQ3ZA+jrkAIw7Tgou7/jX5ApBg485yP2RYhDeVledP4OobGnb4aUCQhSEFDvGBl3CCIw1BMBx X-Gm-Message-State: AOJu0Yzf8zM/9AEI57w6t9iVQWQ0C0BTJPo4HnszMUY5WfHi2OqIfUTE PBnl03MaBenZgZnsZtRZbTlY9ambBd7L5hoxByeF4TCZLNMxgpAIDKj+XgNy X-Google-Smtp-Source: AGHT+IGn8ODOgzk51I1lE+EcLQtFFLu4k0Vx8t/4Zj7RBFSRZIfyJFTlcAhWsK31QE67Shs7nQkUrQ== X-Received: by 2002:a17:906:a415:b0:a58:a108:31ec with SMTP id l21-20020a170906a41500b00a58a10831ecmr1236047ejz.6.1713988532436; Wed, 24 Apr 2024 12:55:32 -0700 (PDT) Original-Received: from pro2.fritz.box (p4fe3abb0.dip0.t-ipconnect.de. [79.227.171.176]) by smtp.gmail.com with ESMTPSA id bk5-20020a170907360500b00a58a67afd2fsm288469ejc.53.2024.04.24.12.55.31 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 24 Apr 2024 12:55:32 -0700 (PDT) In-Reply-To: <874jbqin7o.fsf@gmail.com> (Helmut Eller's message of "Wed, 24 Apr 2024 21:18:19 +0200") Received-SPF: pass client-ip=2a00:1450:4864:20::62d; envelope-from=gerd.moellmann@gmail.com; helo=mail-ej1-x62d.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:318047 Archived-At: Helmut Eller writes: > On Wed, Apr 24 2024, Eli Zaretskii wrote: > >>> Yes, but only the programmers know which markers they no longer need. >> >> Sorry, I don't follow: how does the old GC detect dead markers? > > I don't know the details. You'd have to read the code. It's wizard > level. Not really. In the mark phase, process everything except what's weak. When that is done, we know what's referenced non-weak, and can process the weak pqrts. Everything that is marked now is referenced strongly. Plus some minor details with interdependencies between objects containing weak references. >> Why cannot a function we write do the same? > > Because we would probably have to scan the heap for all potentially live > objects. Yup. The complete mark-phase of the old GC. That's would be very expensive.