From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from forward500a.mail.yandex.net (forward500a.mail.yandex.net [IPv6:2a02:6b8:c0e:500:1:45:d181:d500]) by sourceware.org (Postfix) with ESMTPS id 18D773858D32 for ; Mon, 8 May 2023 16:00:47 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 18D773858D32 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=yandex.ru Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=yandex.ru Received: from mail-nwsmtp-smtp-production-main-49.vla.yp-c.yandex.net (mail-nwsmtp-smtp-production-main-49.vla.yp-c.yandex.net [IPv6:2a02:6b8:c18:3487:0:640:5432:0]) by forward500a.mail.yandex.net (Yandex) with ESMTP id B8BDA5E611; Mon, 8 May 2023 19:00:42 +0300 (MSK) Received: by mail-nwsmtp-smtp-production-main-49.vla.yp-c.yandex.net (smtp/Yandex) with ESMTPSA id f0WDL18DeiE0-ThNMQHKb; Mon, 08 May 2023 19:00:42 +0300 X-Yandex-Fwd: 1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1683561642; bh=bYJpGpMFmaGp1ydgqqPg+GvAaHwUrQ6pGJFaIwDto90=; h=In-Reply-To:Cc:Date:References:To:From:Subject:Message-ID; b=b/Vjyle7loBiL6nH2GlD1k3gA9FJENV35aCzD1x/mkGJZbwhvWR+eaHxPUboGxIi6 XpphNk8QAXNnUs5igWnCIa/JrSNzanOhiPOKbzJNYfN5jrYEaN0reUVnbBq3a98Oai 5hMifoMtzpuuN5knOvASjaNvGbE00f2LD2yhKwBE= Authentication-Results: mail-nwsmtp-smtp-production-main-49.vla.yp-c.yandex.net; dkim=pass header.i=@yandex.ru Message-ID: <43acce21-4748-f272-f079-5f259dee07ee@yandex.ru> Date: Mon, 8 May 2023 21:00:40 +0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.10.1 Subject: Re: proof for dlmem() (Re: [PATCH v9 0/13] implement dlmem() function) Content-Language: en-US From: stsp To: Zack Weinberg Cc: GNU libc development , Adhemerval Zanella , Carlos O'Donell References: <298b04a6-3055-b89b-59c1-4cfbe955848e@yandex.ru> <81749d04-8cdb-de0b-b88e-24347ed535ba@yandex.ru> <729710b5-6dae-d5f2-99ee-6923be5e627d@yandex.ru> <20230412182043.GI3298@brightrain.aerifal.cx> <08d9ca95-112c-d85e-8e82-7a595ef4d051@yandex.ru> <78b5b5dc-5657-4bf8-24c6-6c00afb1cc40@yandex.ru> <83ee7b42-7a50-e8d1-e9ca-58ec2a12a995@linaro.org> <59862084-0fe3-7642-d3b3-01bb87eef7db@yandex.ru> <52d0b5e8-2c81-66e6-60dc-771d01b26fd6@linaro.org> <3f636504-818d-6520-6cf3-484503a8703c@yandex.ru> <598d5c35-86dd-4731-8099-4165bff514db@app.fastmail.com> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-3.5 required=5.0 tests=BAYES_00,BODY_8BITS,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,NICE_REPLY_A,RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: 02.05.2023 10:48, stsp пишет: > > Hi Zack, > > 02.05.2023 04:11, Zack Weinberg пишет: >> This discussion seems to have died down in the past two weeks but I'm >> going to make one last attempt to bridge the divide. I would hate to >> see everyone walk away from this with a bad taste in their mouth. Note >> cc: list aggressively pruned. > > The discussion have died down because I > went implementing the RTLD_NORELOCATE > proposal - a replacement to the dlmem()'s > one. Currently its almost completed and I > will draft its spec at the bottom of this e-mail. > And it finally is available for your review: https://sourceware.org/pipermail/libc-alpha/2023-May/147899.html