From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Po Lu Newsgroups: gmane.emacs.devel Subject: Re: Shrinking the C core Date: Mon, 28 Aug 2023 23:14:39 +0800 Message-ID: References: <87ledwx7sh.fsf@yahoo.com> <877cpfybhf.fsf@yahoo.com> <873503y66i.fsf@yahoo.com> <87h6oj4mle.fsf@localhost> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="19282"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Ihor Radchenko , emacs-devel@gnu.org To: Arthur Miller Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Aug 28 17:15:39 2023 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 1qadxq-0004l9-JT for ged-emacs-devel@m.gmane-mx.org; Mon, 28 Aug 2023 17:15:38 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qadxN-0007M8-8c; Mon, 28 Aug 2023 11:15:09 -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 1qadxG-0007KG-C9 for emacs-devel@gnu.org; Mon, 28 Aug 2023 11:15:04 -0400 Original-Received: from sonic308-9.consmr.mail.ne1.yahoo.com ([66.163.187.32]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qadxC-0005oo-3u for emacs-devel@gnu.org; Mon, 28 Aug 2023 11:15:00 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1693235694; bh=GujhAAQDxU07O56ukaWvpYunrBfR5ZfT1APA8XUwkb0=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From:Subject:Reply-To; b=eN9TqprAmXfaj+wOop9FiH3DCCl5Mif94hpSLcTYaw1D5r68GDybF9IIiZAwOUIKNoLZyzHSwGy0at4MzQF0g1/MLray/2KtgDTgIKA2WRXQunnOdjfFbD8B24RnfWMMEVHOpR4wo7Ae4wPCxanfDhWs0yl5adCDpt4jMav00bzZTJahMy943NrowJ0tTRydHx7YZI8fdGk9ledaXZK7MtnQii3ID/QCH8MqvzKD+OTl6lbq+VWNpsrhAy6Ey4Gt/3Rgl0cHrlpibxHmcxMWK+BR+lmIniJYgSDRAHoSCwN6PhJt6hK/tjbNsrgJD3meqch3Ft5SXU18Ytv3+Pfewg== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1693235694; bh=0Q/g7MmQUUlHTApas4WhyGuYyyH4qrTh90G8O5Jf9x+=; h=X-Sonic-MF:From:To:Subject:Date:From:Subject; b=EBfWHrjU/RJUZhhsx/vZ1Lp9OoVhjFV9kh/gK+FpC8nITAm1tbIAEQ0fi9McceTxCmsgt+1hHGJu6OUiNFwIcqp4j2qhZAKGOpnHKfBlvx9EYNpi9/s1iTKInlm3BlU9MGjeZVVllFW1pjSebMVxk10hhZ02mwfDIoy9IsfrAoT0TPQrR1NDInnLWRbJRS+xrucpUxVYV8WXZfGVU6iFA+k07JswpeIaCgKidRfyECz9UtwPovpOkM4wpkEM6imDTM5z/3LekQ5QA1uEBfa1Chjh/4iKwjDXa7wKCrYUaECamuVcw4f6W6vQBJbeFNr+IwfW0ne5eZVlVZIk2H7HAQ== X-YMail-OSG: xgI27LkVM1k7nYMmvBpEnNbNgTAKtVsBfmR5Gf.DPni_k0JjIyImt8hhQAm2J3y VSrURumjAmJxXAwYQHXP3WP5Zs.tF8kSd7mbZeJsVogP5tUb5il5_o42sLGhrAVUXmFZmXWhwnvr cFagqn6LYWJoyoDiivUb0Xd1ThaWIvf5DoPiou9I0x22f2jdWYD.lgX46wQWzSqiD5izmHCSNRYQ WSl1fTRJ9R70TKGcJdcvvho72vz9OBbQPEuBFyJYkhzxEBcoF_rFnmh8Wu_iPnHnqhKMX00bMUoL 8pHR8aLtGcrFak88JxT0gi39RA84ijrvGYck9Yc454D6zNNXrGi7SYU_gaqzbBIA2of.cnOndd8. IHCLoCVG1qZ6PVZ.DqywTjKnL5nevdFBBpMlPWwlBWB4RkxZs8orATf1ppzDIosDLgkgkUmDYbnC lu8wWlgBGCElvoVzd_IayKmC0LBBLCfyee9MKKvgGr2mjoY0kX_h5fHIjVBkHH85hjbi.gVgbkfw py5.zH2TvpfsEe2jJyk1ruLR4zRy_pAvI4heAP4N9rYDuruB00bnjTZSiDQUrUZfpro3EOcQ93Tc pD9Lt05.Y4F_MO1Eo1Iljn8bCJpYhNmvTavhdoVrMKJSOaY4D12XbH2EnIvizrqc70uIG5fVAHyt AY6vtZI82uqEzVB9Ae7UdJrtmLfvuK82TGyLu3HRIFpsIXD8MRca8UV.Qvn87UAwOnU5rFSAAbT5 N90KhTjswMyyUnf6aKF44fbosxWbo086F3N0B5Gva0SfY3fNDj02.xlxSbXCWpl0eQnvZAHosTHM SekdlDVa2ib33jqIHCQbD8Ea1q07PaE665aDe2Hxv_ X-Sonic-MF: X-Sonic-ID: 88b81e95-f92f-43f5-b13c-884d55309630 Original-Received: from sonic.gate.mail.ne1.yahoo.com by sonic308.consmr.mail.ne1.yahoo.com with HTTP; Mon, 28 Aug 2023 15:14:54 +0000 Original-Received: by hermes--production-sg3-69654d8bd-gltbk (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID e9e9616b653cc61799d5acd34237458b; Mon, 28 Aug 2023 15:14:50 +0000 (UTC) In-Reply-To: (Arthur Miller's message of "Mon, 28 Aug 2023 16:30:24 +0200") X-Mailer: WebService/1.1.21763 mail.backend.jedi.jws.acl:role.jedi.acl.token.atz.jws.hermes.yahoo Received-SPF: pass client-ip=66.163.187.32; envelope-from=luangruo@yahoo.com; helo=sonic308-9.consmr.mail.ne1.yahoo.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, RCVD_IN_MSPIKE_H2=-0.001, 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:309438 Archived-At: Arthur Miller writes: > However, my thesis was not that it is impossible to do in Emacs, but > that there is a lisp machine that already has figured out that work. As is already customary from you, this conflates the job of running the Lisp interpreter within different lwps with the task of making it safe to do so, should code running in that interpreter attempt to leverage Emacs primitives. True, the first problem has already been solved by eminent Lisp implementations. But we have almost solved it as well. And if two threads modify a buffer simultaneously, leaving PT and PT_BYTE out of accord, Emacs will crash regardless of whose threads it's using.