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: MPS GC and its implications Date: Sat, 04 May 2024 12:07:11 +0200 Message-ID: <87v83tc2ls.fsf@gmail.com> References: <877cgfwe5g.fsf_-_@gmail.com> <871q6mptkj.fsf@gmail.com> <86wmodofvw.fsf@gnu.org> <87frv1hclv.fsf@gmail.com> <86plu3i1nr.fsf@gnu.org> <87ikzvnnao.fsf@gmail.com> <86h6ffi00a.fsf@gnu.org> <878r0rnkpu.fsf@gmail.com> <86a5l7hvfw.fsf@gnu.org> <87ttjfm21e.fsf@gmail.com> <867cgaj3do.fsf@gnu.org> <8634qyiu0q.fsf@gnu.org> <87ttje6waw.fsf@gmail.com> <86r0eiggyj.fsf@gnu.org> <871q6hdifs.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="33073"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , gerd.moellmann@gmail.com, acorallo@gnu.org, emacs-devel@gnu.org To: Mattias =?utf-8?Q?Engdeg=C3=A5rd?= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat May 04 12:07:59 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 1s3CJC-0008PT-VO for ged-emacs-devel@m.gmane-mx.org; Sat, 04 May 2024 12:07:58 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s3CIZ-0001Hl-65; Sat, 04 May 2024 06:07:19 -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 1s3CIX-0001HT-4I for emacs-devel@gnu.org; Sat, 04 May 2024 06:07:17 -0400 Original-Received: from mail-ej1-x62b.google.com ([2a00:1450:4864:20::62b]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1s3CIV-0007bJ-Gv; Sat, 04 May 2024 06:07:16 -0400 Original-Received: by mail-ej1-x62b.google.com with SMTP id a640c23a62f3a-a59a8f0d941so58957266b.2; Sat, 04 May 2024 03:07:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1714817233; x=1715422033; 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=ydZ0fcPu5gxGsPOXXqi1Q3aLAGOerQz55LQC96jjDuU=; b=FcXP7r41I9sz8g51RLF6RR9Lpg3UfajF3ZcFxZqzXO73fnXTdWsiJYj0o2VXQNZj/d LKBlNwHKL/+y7uN/zfOjbj+LGEJb0ywH/2ZpvAh8IhulHajIq6m0RQ6893SX4q+5Q1RK 4GPozewOUKXHFIBImvLQH41t+lz8i+wfoTdV+nimMgPZAaYUDPmEpGgzbRxmIHILGGi7 lic9QneCP9dPPJTNvaorddnLr7u0wcOXtqnfAtjlUaq9ZQx6J4KXpWr5+ZZT92fl0gOd VLG8UwdNy4KhtMjmmPjjNRPUOni0EqapN1SQDri29P2wduOJNPnyZmb1ljnPObishNvD WsKg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714817233; x=1715422033; 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=ydZ0fcPu5gxGsPOXXqi1Q3aLAGOerQz55LQC96jjDuU=; b=LBR8+aRTpnviZX9LKx8v4fbgqhx0JMezNMFq7iKFXJACQTTSEHpAnxdpyraMnN16Ls iAGx+QWtf3xaW8xBNZ0RSP/w5DeWMXI1scgmzYhjhSStAe2qKR827wQq9rGyRwbq2PS6 KQTzd87lz+2yqcVEzT7rr3uvdvGt1n+tyrmhJ8AF9FyNcH0lgDs0mewW6PYv82C8UXc7 vw6Ki7H+UenS6uKCQ/64NqMqjfCO4z8xat3GFRdUansBtnDP85f6F+Sn6O5WveWcNbau /J6hDYOUKrB/0xibX7Fpqq59lhd9l1WN5oEpfkZfW9Ju8Ogrw4ZWknoU2edAeJZmod2c SU+w== X-Forwarded-Encrypted: i=1; AJvYcCVhoi9dzJNy3EQnUHWAsGBvZYk9R4AJ3hbjA6CIAeYMDBQ0V7sLEL9BwZb82Nhy0aU1wqzJxcdwU7cTcPXzYr0HeyWpOnwbZEDJK5IAG1p99XPrnNUK X-Gm-Message-State: AOJu0YxS9G5u8QaUToR84qb3KyYygz1QJSIu7uEzHGtFFJUEIIqoUpmu 2JqvWwarQInCkE8HA6fWk8OczggNphxEzihMnqSa+uAk3KF5/NvawDqyUQ== X-Google-Smtp-Source: AGHT+IEBtGBazxDPnRVpVNtmJuzjpDJhKugpKObDdNXzxHqmuMHzuqXzYWZJwF2VLmyAUfq0CxTMCg== X-Received: by 2002:a17:907:9875:b0:a58:a37d:7192 with SMTP id ko21-20020a170907987500b00a58a37d7192mr3056533ejc.76.1714817233068; Sat, 04 May 2024 03:07:13 -0700 (PDT) Original-Received: from caladan (dial-184253.pool.broadband44.net. [212.46.184.253]) by smtp.gmail.com with ESMTPSA id f10-20020a170906084a00b00a59a2ec20e4sm876579ejd.175.2024.05.04.03.07.12 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 04 May 2024 03:07:12 -0700 (PDT) In-Reply-To: ("Mattias =?utf-8?Q?Engdeg=C3=A5rd=22's?= message of "Sat, 4 May 2024 11:56:29 +0200") Received-SPF: pass client-ip=2a00:1450:4864:20::62b; envelope-from=eller.helmut@gmail.com; helo=mail-ej1-x62b.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:318739 Archived-At: >> I agree. But we have to give MPS something to work with. Also, with >> some effort we could regain some of the lost context; especially if we >> are willing to modify MPS itself. > > Would it be possible to arrange for another signal to be raised > immediately if the MPS discriminator rejects the SEGV as not being > part of its barrier? Probably not if we restrict ourselves to POSIX APIs as MPS does. If we can use our own API, then it shouldn't be hard. The MPS people are obviously aware of the issue, as can be seen in the comments in sigHandle: https://github.com/Ravenbrook/mps/blob/master/code/protsgix.c