From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Arthur Miller Newsgroups: gmane.emacs.devel Subject: Re: Shrinking the C core Date: Tue, 29 Aug 2023 04:36:24 +0200 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="28325"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Ihor Radchenko , emacs-devel@gnu.org To: Po Lu Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Aug 29 13:07:37 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 1qawZN-00079f-66 for ged-emacs-devel@m.gmane-mx.org; Tue, 29 Aug 2023 13:07:37 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qawXQ-0007ws-0L; Tue, 29 Aug 2023 07:05:36 -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 1qaoat-0007yQ-IN for emacs-devel@gnu.org; Mon, 28 Aug 2023 22:36:39 -0400 Original-Received: from mail-vi1eur04olkn2072.outbound.protection.outlook.com ([40.92.75.72] helo=EUR04-VI1-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qaoai-0004eV-On for emacs-devel@gnu.org; Mon, 28 Aug 2023 22:36:31 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Nwd+F3cKOtq5CZGH2BOAsR6JX19yfoiYzFSnLur1+nvq2PWvLDlJv2WqtzicX9BQ+fpEkave1NjE0ncv6JToCgd6jCOXKCMwGBpEEIENDg24c8Udj9lw+UnoEh7cXSCmN8POIQlVnVgtEhsHMQ9vxEK/lOa/e6kGYCG2HZOhSCfQ/ARRT3XP6ytdGjUBQEkepU2fAs3gyI8RFOQ5ETeqMFZABbmglhueuaUsxxgiHpFAkKA81b1c/ilIZKDb9U4SDMeRX/F5oIpKkTyCfi5uyhiC18YDHaFe4cJFB4W0btByZv2CCubp3wukOzh31kZuMGuuiV0SkWRB169AHZbwlA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=xv0hvmwEkvcuPLL+sS16zwE/ULtZ6ZSM53MNi4cU4xQ=; b=LengTQo19DYEHOMQIoNAi1te3gp9ylVUlykdzKU4kav7zAUD8tKH8CarAR415EuvL4f/g9m72rInRCf6JcJwP7TzIpUeac/6jWP7heBBVDcZ6Y8kwOej4bBRRMEifLWuWWWRcv8Sq+5heZ6C4Yd02uxez3rsqHypbB6B+qyhMCHbodsQgAUG2zKyoqcu9DdPYnMILNR21sKGPLJs7mf1dnWy8+vMQxHt/S0l4/7nxcdvsqqvr48MO3wwnBdWZT6KIcie27L8i9KOVwBA5NtpZDllQu8M52OTK55gwl07IG5HJ4N51b7wQ/nl2cMFPfxLfCf2VrTKBp6M5X9TpaxctQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=live.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=xv0hvmwEkvcuPLL+sS16zwE/ULtZ6ZSM53MNi4cU4xQ=; b=fce2eFxAmIxGrUBqTyBRnHqxUgQgH9lORUjmDa+Wr2OQzd0PeJPh9KEZnF+aNKGp/q0rEO8VliaIkpo9knewdVO67usSn6groXzBdl2eIeaA862XQ6qxrYikIHGLK85yjDfC6HdWcBcje8qj0T5OfE4AJUYhaxIe3QwHwQcoSCMrt1QEU0j/Toqty/38+aj8O0XaMgutl21uQzVCGC0Sgl64/cayp2QpPkPbmmZQB3PwLMOccHoRZwnOOlgZAvt8hN+Xp8Vk0ibvQoec2Nu/VCbJuppjRFKjxbETJKv6LOiwY2/rjbWP3i3ihJZIjntYYo6Jwn6waNIYWuLRN15Zfg== Original-Received: from AM9PR09MB4977.eurprd09.prod.outlook.com (2603:10a6:20b:304::20) by DB9PR09MB6081.eurprd09.prod.outlook.com (2603:10a6:10:3d7::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6699.34; Tue, 29 Aug 2023 02:36:26 +0000 Original-Received: from AM9PR09MB4977.eurprd09.prod.outlook.com ([fe80::df56:b1b1:64b1:6122]) by AM9PR09MB4977.eurprd09.prod.outlook.com ([fe80::df56:b1b1:64b1:6122%7]) with mapi id 15.20.6699.035; Tue, 29 Aug 2023 02:36:26 +0000 In-Reply-To: (Po Lu's message of "Mon, 28 Aug 2023 23:14:39 +0800") X-TMN: [arKHvrENZ9jv2rk6sGT3uQT7anQgf+lN] X-ClientProxiedBy: OS6P279CA0162.NORP279.PROD.OUTLOOK.COM (2603:10a6:e10:39::6) To AM9PR09MB4977.eurprd09.prod.outlook.com (2603:10a6:20b:304::20) X-Microsoft-Original-Message-ID: <82zg2a1snr.fsf@live.com> X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: AM9PR09MB4977:EE_|DB9PR09MB6081:EE_ X-MS-Office365-Filtering-Correlation-Id: 0957e5ef-a455-4da5-4e42-08dba838bdd7 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: SywQcbeiq4dNaf962qp9CNbuWZstDHNrTwKm/UYRgTje+IJbhSy2hefw0fJP0n3hqXGR568BdWGo7ZLT4gpMYZykGoj4tAACrE2pjO95w0zyEZIQCqAT3K1rxJOpJFcvRU3SE2ZRVf71308zoiXZCK20SS5l5PGw5U8blFpsDOuozlPYLr7wagk+LT79wg4sHBS4gXVgs3JMjSviL/Pj3JTexgqvKWNXgqXM3UTEOVPcbSzgYF32H/2imnXX75la5CAJFso3mDIzyFAZduNy7/GsQ151WVAOD3I4sgFGmwq27TuyvGypFJtKNNhHcJnkhIxTWqPIO6CbHuRa0A57Lgfzgu8H4ypwu8FBc/1XW2uq4NkLgYQSe3lOJDqBwYEEJrnGgicdtL3IHjrfhHEiy6XWURTAPDneg3oJdVzIp4JK9UTO83R39NQo+tRZ5yGfmdwF/phTM8/HEZBprP7XbCr4CWyHls6Oc7SYZb7fJUgRnRszCMz63246CdfzGZK4W5XmZmTkIW7gcGaKqsVfOvWgfOymRdJBNqGMjLDngclH8IPbxWryJ1gvu5BnrAXn X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?fKCoSAuRMIU1WkKRCbtRM+4Ux3GKyLEu1ByGsd1kHa3ue2PsAmvJcAFDN5hp?= =?us-ascii?Q?yqSy1uDxdXYeN9kGSWK+9azT0jVS21G4m+ogNZ9xhtZDNlX8HxeDKuS100xE?= =?us-ascii?Q?MhJNpcI+mHaHGupXajCpcM3LKoq0CcP4GHsPlJAxRmFNfS6+IP0uSAuGV4me?= =?us-ascii?Q?x/RCJR62HJu0ny1fzBUx1V0XEsgf35/ZLRnjmcPGEOpj6GPy06NOPAoJEZV8?= =?us-ascii?Q?08dV6VNDuv/5TgkmQO51RzwkPBv/g6siohmVBf0vTsS89mNEAI5CBD6dQBu8?= =?us-ascii?Q?JRVo1No92YRzfmczqLlMOSCU9pUCsIN+y3c0s66zjShO9SVBUduqy8lqeZU0?= =?us-ascii?Q?UtDRQCfsMuaR8GdYlcIMmslTpywCB58LAdNvbgRf8AjqgB6xMHv1xbbCY81i?= =?us-ascii?Q?/0Gu6bpLtKZWtSn3uWPXjGkwT0wKsU0sNG9ICP1YmTtwOJLMImr+CmurqbBm?= =?us-ascii?Q?3dOev5k3a6cIx3ma5GI59WedbMrO+JJJfvjTUywmSdjx4VqXBE+mSMXPpJeU?= =?us-ascii?Q?KDOZqs4/4ZUjmRHaz04rE3fySHb+mqjX1viUnd1Zk/PQWjmnSwjEdJBHW/ph?= =?us-ascii?Q?7zQzZ3nEMW9/cb668zivbJj1LAi+CeTZUDoC7eihXV5WwF9WW8hr+CVDkfmo?= =?us-ascii?Q?vb X-OriginatorOrg: sct-15-20-4755-11-msonline-outlook-64da6.templateTenant X-MS-Exchange-CrossTenant-Network-Message-Id: 0957e5ef-a455-4da5-4e42-08dba838bdd7 X-MS-Exchange-CrossTenant-AuthSource: AM9PR09MB4977.eurprd09.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 29 Aug 2023 02:36:26.4183 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR09MB6081 Received-SPF: pass client-ip=40.92.75.72; envelope-from=arthur.miller@live.com; helo=EUR04-VI1-obe.outbound.protection.outlook.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_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Tue, 29 Aug 2023 07:05:27 -0400 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:309489 Archived-At: Po Lu writes: > 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 I'll take that one as english skill; and I really mean it in this case, since the discussion further suggest that. > 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. I am not sure what you are trying to tell here. > True, the first problem has already been solved by eminent Lisp > implementations. But we have almost solved it as well. And if two Well, I am very glad if you did. Honestly. > 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. Is it possible to let one thread at a time modify the buffer (lock the buffer) and use some notification system to tell other threads they should update their view of buffer state when they resume, or perhaps some "main thread" can update the buffer state a thread sees before it is resumed?