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 codegen Date: Thu, 13 Jun 2024 20:24:55 +0200 Message-ID: References: <87le3b43qi.fsf@gmail.com> <86r0d21tqj.fsf@gnu.org> <877cetgqiz.fsf_-_@gmail.com> <87wmmsg2e4.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="28651"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , emacs-devel@gnu.org To: Helmut Eller Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Jun 13 20:25:38 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 1sHp8i-0007Kw-Vo for ged-emacs-devel@m.gmane-mx.org; Thu, 13 Jun 2024 20:25:37 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sHp8A-00077K-N7; Thu, 13 Jun 2024 14:25:02 -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 1sHp89-000775-JN for emacs-devel@gnu.org; Thu, 13 Jun 2024 14:25:01 -0400 Original-Received: from mail-ej1-x62c.google.com ([2a00:1450:4864:20::62c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sHp87-0007pC-SC; Thu, 13 Jun 2024 14:25:01 -0400 Original-Received: by mail-ej1-x62c.google.com with SMTP id a640c23a62f3a-a6e349c0f2bso196969666b.2; Thu, 13 Jun 2024 11:24:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1718303097; x=1718907897; 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=ZPuPnTm9G0J2fA5urMq2IQQ/CiTnScdTuILnsm6MCwQ=; b=UL0Qz80XI7rHQp+psgt3d4YGICkzvKikb51VbqiH98KkxIHw3LZtHJ9ETRSwqLOh1O JkXwNSUxLQWgaEsx8j4zRPbAfQ7rwfWNfUG5XuXFRZFHySFcKcf9G9apVcS1yRDj+s3L mb2I6X/C1BtBqBn3NCBCBvuqFqEcPh5lC7H/ivLNAQz2q6qrl7Ihfs+m8ZFEbGGZb/IP 9fN4VpaV9SIBiEtM7UsuStDgmRPcZUHptZPFtNQ8+hUgwh0+2GQulTwfF+Y3Y+6Gx4Vf p65la9on9tKTMl+BTnO8uL2mRGHNWHDnpf2+OD1BuaMe5VzpjNW856F2ZaLBAP3QKdMI QcRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718303097; x=1718907897; 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=ZPuPnTm9G0J2fA5urMq2IQQ/CiTnScdTuILnsm6MCwQ=; b=AtC26fXZWacVowF/1Z9sawRVHXQWt3G3TANPrLBQGB3NlL4JRU/MxoUhbiiAD1Rmnt oYEjU0nJ7Jhs48Jvb0p9eMC3BleZIihvpzdsHHKpQ57NynChX1jv8b4VMYNU8YHx3anQ NegnrmoYyY0tAvEyshvOQaR519r+pyk0M4DNidV38/VV6gFuYK8mOfppPYI7+oljKR7l 1DDLC1P58gYB4ajzK1z5+wYPfZXU+gPhLkWDtBbparnFgAnHd1/pZAMVgpDgCJpyUDr7 SjcqVyNrmzBhnDr1ITUneEnp/RIfik/ZbKrlnPybyWU5ANCfvfqpIVtEvxaKgWyrIzJg WSUw== X-Forwarded-Encrypted: i=1; AJvYcCVb6mJ4G87yo1j+UnlOvdozxm5nA+XepNUCt/NJkhVHD3hLcPdM68Kt8G4Jk0AoSaUiSlT2gBELJh8yQeaIFfx9K2lj X-Gm-Message-State: AOJu0YwxlwmpI/ceT2Bv+5oWxhkhPpAqr/zRimWhR6UzyOwe2fzWP6jT MIxDcTW6MgjoXiMd3gojwHYLMTxRVsJspqhuPkCvL+Enh9NsddtR7p+odQ== X-Google-Smtp-Source: AGHT+IEmm37jlF3bBr0CQVp6PCoJu2NAsG2Juhu9rjs+O/CsfUZZwhuBjq1VZKsPTCy7KAd3zk4Oew== X-Received: by 2002:a17:906:4944:b0:a6e:f99d:cac6 with SMTP id a640c23a62f3a-a6f60d40e2cmr34569266b.38.1718303096867; Thu, 13 Jun 2024 11:24:56 -0700 (PDT) Original-Received: from pro2.fritz.box (p4fe3aa9f.dip0.t-ipconnect.de. [79.227.170.159]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-a6f6006887esm26796166b.20.2024.06.13.11.24.56 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 13 Jun 2024 11:24:56 -0700 (PDT) In-Reply-To: <87wmmsg2e4.fsf@gmail.com> (Helmut Eller's message of "Thu, 13 Jun 2024 19:48:19 +0200") Received-SPF: pass client-ip=2a00:1450:4864:20::62c; envelope-from=gerd.moellmann@gmail.com; helo=mail-ej1-x62c.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, T_SCC_BODY_TEXT_LINE=-0.01 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:320032 Archived-At: Helmut Eller writes: >> I think the thing I don't like is that I believe there should be only >> one description of an object's layout. Be it C (struct), or be it >> somethings else, from which C is generated. > > Sure, but that's easier said than done. Yeah :-). Too bad that GCC doesn't have something like Clang's Python API. Somehow I don't really believe in tree-sitter for this specific purpose. But what do I know... > BTW, the MPS documentation says that mps_reserve allocates a block. In > MPS, a block is not necessarily a single object. One possible > interpretation of this could be that mps_reserve can be used to allocate > a block that contains many objects. Perhaps we could use a single block > for the entire dump? E.g. implement a version of dump_mmap_contiguous > that uses mps_reserve. What's your interpretation? The same. I think I've read somewhere that anything goes in such a block as long as the object format can cope with it. OTOH, on my machine, the whole copying of the dump to MPS, mirroring and redirecting roots takes ca. 38ms ATM. Where the copying and mirroring are the two main contributors and take about the same time. Maybe there's not much to win.