From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Dynamic modules: MODULE_HANDLE_SIGNALS etc. Date: Thu, 24 Dec 2015 18:10:47 +0200 Message-ID: <83fuyromig.fsf@gnu.org> References: <83mvu1x6t3.fsf@gnu.org> <83io4nuc68.fsf@gnu.org> <83r3iht93x.fsf@gnu.org> <838u4psznr.fsf@gnu.org> <56772054.8010401@cs.ucla.edu> <83zix4scgf.fsf@gnu.org> <5677DBC9.6030307@cs.ucla.edu> <83io3rst2r.fsf@gnu.org> <567841A6.4090408@cs.ucla.edu> <567844B9.2050308@dancol.org> <5678CD07.8080209@cs.ucla.edu> <5678D3AF.7030101@dancol.org> <5678D620.6070000@cs.ucla.edu> <83mvt2qxm1.fsf@gnu.org> <56797CD9.8010706@cs.ucla.edu> <8337uuqsux.fsf@gnu.org> <5679DC83.70405@cs.ucla.edu> <83oadhp2mj.fsf@gnu.org> <567AD556.6020202@cs.ucla.edu> <567AD766.3060608@dancol.org> <567B5DAB.2000900@cs.ucla.edu> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1450973439 11627 80.91.229.3 (24 Dec 2015 16:10:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 24 Dec 2015 16:10:39 +0000 (UTC) Cc: dancol@dancol.org, Emacs-devel@gnu.org To: Paul Eggert Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Dec 24 17:10:24 2015 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aC8T7-0005HF-Kd for ged-emacs-devel@m.gmane.org; Thu, 24 Dec 2015 17:10:21 +0100 Original-Received: from localhost ([::1]:60717 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aC8T1-0008Ii-PP for ged-emacs-devel@m.gmane.org; Thu, 24 Dec 2015 11:10:15 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:53768) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aC8Sy-0008IQ-4g for Emacs-devel@gnu.org; Thu, 24 Dec 2015 11:10:12 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aC8Su-0005zb-To for Emacs-devel@gnu.org; Thu, 24 Dec 2015 11:10:12 -0500 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:53439) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aC8Su-0005zX-Qo; Thu, 24 Dec 2015 11:10:08 -0500 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:3050 helo=HOME-C4E4A596F7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1aC8Ss-0004Zg-Vk; Thu, 24 Dec 2015 11:10:07 -0500 In-reply-to: <567B5DAB.2000900@cs.ucla.edu> (message from Paul Eggert on Wed, 23 Dec 2015 18:51:23 -0800) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 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.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:196761 Archived-At: > From: Paul Eggert > Date: Wed, 23 Dec 2015 18:51:23 -0800 > Cc: Emacs Development > > > Please stop repeating the false idea that > > longjmp from arbitrary points in the program to toplevel is harmless. > > Neither Eli nor I have said it's harmless. Merely that it works well enough in > practice. Let's not make perfection the enemy of functionality. Right. > > the current mechanism does not achieve its goal. It's > > utterly unsafe even without module code added to the mix. > > It's safe enough in practice. You're right that in *theory* it's utterly unsafe, > but Emacs is a practical program not a theoretical exercise. > > Really, the idea that we'll let Emacs crash on stack overflow (merely because > modules are being used) is a non-starter. We need a better solution. 100% agreement.