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: MPS experiment successful Date: Wed, 17 Apr 2024 20:34:47 +0200 Message-ID: References: <86le5cgmp3.fsf@gnu.org> <86bk68gfab.fsf@gnu.org> <867cgvho79.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12495"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Apr 17 20:35:25 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 1rxA7x-00033J-DN for ged-emacs-devel@m.gmane-mx.org; Wed, 17 Apr 2024 20:35:25 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rxA7T-0004fr-5y; Wed, 17 Apr 2024 14:34:55 -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 1rxA7R-0004aa-Bc for emacs-devel@gnu.org; Wed, 17 Apr 2024 14:34:53 -0400 Original-Received: from mail-wr1-x42f.google.com ([2a00:1450:4864:20::42f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rxA7P-0004uy-HX; Wed, 17 Apr 2024 14:34:53 -0400 Original-Received: by mail-wr1-x42f.google.com with SMTP id ffacd0b85a97d-343c2f5b50fso452f8f.2; Wed, 17 Apr 2024 11:34:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1713378889; x=1713983689; darn=gnu.org; h=content-transfer-encoding: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=LhCJuFjxnKjo7Ro2fe7/JGCnXusPY1jAjEOKosQYsF4=; b=TN96J11qnk5VGLg1MVkINhKErflQHK7A00HYga/xpOsG2/N0N+QGT81Mlo7nqKjNob XHkXhQIidmEh1rPyTuJ8vAsEfaa/7/vE1vUNYWDxa4UzzEF75tyxqluJlwMIZdZpH6UD XA2rZo5pjmOEdcJmUY26y1UzN7A23kouFmDDXcwp0LbXAwAOFEvzpsPuwW6pbe2pfjyN DB1GehE3nu0QEzt3RRFssucvpVoXV+XrzSHOfDpvTGeMbn+rZwO624DqOZzeFRsEgTRy JDtEH3NQfaUPH4RLqzxhqiJIswV8UiL1RxJamKacGJ/VCyCuVdA01hmbLDvAg5wR2tcS XgBg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713378889; x=1713983689; h=content-transfer-encoding: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=LhCJuFjxnKjo7Ro2fe7/JGCnXusPY1jAjEOKosQYsF4=; b=iQM62K61An8hnlmeV/J3YNuLLNAjDGtR7gTTF6POTPZ3RPhhiHbW9gaaCYVfMnCNeT W0IMuHcp67XqMwU5Qm8mchglBS5Y3aNIJK2CdtczdhDM4yj6lg/RAXgz5JcfDIfiVSFF /gGIW0JxNB8/FLu/vczC6qB5U4RwMrgGiyVqUeLfzgUEkOSu0hMvhqqqEnjiw2mXZlQG uBsE+FPYYFJSEpEPM0rUWeLl1p3T2n/M1SHDko57/cp9cjBEpQWnTrqV4L1IK42zJ+wH BFhJV8PcwsBaeyoyhNsd+dR6TD6A/cw8FkfJMFUapZn+P9hH0wQrLcjDQrLUqQHW0kUr X9EA== X-Gm-Message-State: AOJu0Yzdbmmzqke0HeuqjgZq6+s1/1I8TgdDClxe0RjFD1q+Vq/dGE7r tAnncbl7kuF9A65v77g1QbJ8h+Wu5kvr+h+HGIHS/zTNGkK3VYs4gyjop4K6 X-Google-Smtp-Source: AGHT+IFb9IxbFqwcC80WbWOVuI4Hh8f5je9qPtW++4LxcdEqNYs6P8O/al5dI69LETRkyiCc16vm+w== X-Received: by 2002:adf:e98c:0:b0:345:c169:8808 with SMTP id h12-20020adfe98c000000b00345c1698808mr118155wrm.4.1713378889018; Wed, 17 Apr 2024 11:34:49 -0700 (PDT) Original-Received: from Pro.fritz.box (pd9e3638b.dip0.t-ipconnect.de. [217.227.99.139]) by smtp.gmail.com with ESMTPSA id df10-20020a5d5b8a000000b003437799a373sm18001863wrb.83.2024.04.17.11.34.48 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 17 Apr 2024 11:34:48 -0700 (PDT) In-Reply-To: <867cgvho79.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 17 Apr 2024 20:51:54 +0300") Received-SPF: pass client-ip=2a00:1450:4864:20::42f; envelope-from=gerd.moellmann@gmail.com; helo=mail-wr1-x42f.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:317781 Archived-At: Eli Zaretskii writes: >> From: Gerd M=C3=B6llmann >> Cc: emacs-devel@gnu.org >> Date: Wed, 17 Apr 2024 18:29:53 +0200 >>=20 >> As far as Emacs is is concerned, I don't have a clear picture what all >> is currently supported in which combinations. For example, wasn't there >> something that made Lisp_Object twice as large as a word? Not sure, but >> I think that would make things more difficult. > > You mean --with-wide-int? Yes, I think that's it. With 64 bit words, this makes Lisp_Object 128 bits, right? If that's the case, MPS won't work because if demands that references are of word/pointer size, AFAIU. OTOH, hm, pointers will still be of word size, so maybe one could come up with something clever. Don't know what ATM, though, especially when you say you are using !USE_LSB_TAG. Maybe one could make use of the GC header somehow, if all objects have one. Or maybe one doesn't need the tag bits at all... Except that symbols are a special case again. Whatever... I think the least one can say is that this will not be easy. >> I'm also currently supporting USE_LSB_TAG only. Could maybe be >> supported, but unless someone tries... > > That and the previous item is a huge turn-off for me personally, FWIW, > because I use exactly these two features. If you want !USE_LSB_TAG, someone (tm) could implement that :-). But it's not there now, because I didn't want to get lost in the lisp.h macro jungle while still learning MPS. Keep it simple, and so on...