From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from forward500a.mail.yandex.net (forward500a.mail.yandex.net [178.154.239.80]) by sourceware.org (Postfix) with ESMTPS id 28FB83858CDA for ; Wed, 29 Mar 2023 17:03:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 28FB83858CDA 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 AE61E5EEC8; Wed, 29 Mar 2023 20:03:47 +0300 (MSK) Received: by mail-nwsmtp-smtp-production-main-49.vla.yp-c.yandex.net (smtp/Yandex) with ESMTPSA id j3MMN54DZSw0-reLL4XAq; Wed, 29 Mar 2023 20:03:47 +0300 X-Yandex-Fwd: 1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1680109427; bh=CNqEH7TRbyzQ1luJ+0hHkach/IkEImwc0dJeUtUZVRA=; h=In-Reply-To:References:To:Subject:Message-ID:Date:From; b=PjPTY/XVjUMPmVPKCREvXorpWAV2x8+VhlkiCUlhu1s+wPMEF5DKI4cZxPHh9KCVC rtTup+wqqxwzzm2ocIxdVRjGV9lngjwKHHKQKpJta3KxZvYa5JJKdgLeTcMrSL3ZgO EkBzNJXjRI0zyhwmWuIYNCNcr2ctU53n464QQjGM= Authentication-Results: mail-nwsmtp-smtp-production-main-49.vla.yp-c.yandex.net; dkim=pass header.i=@yandex.ru Content-Type: multipart/mixed; boundary="------------CeWlp7fVFt5qyBv93clHPJql" Message-ID: <7fab954f-4a3d-0df0-8211-a9697f3966c1@yandex.ru> Date: Wed, 29 Mar 2023 22:03:34 +0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1 Subject: Re: [PATCH v9 0/13] implement dlmem() function Content-Language: en-US To: Carlos O'Donell , libc-alpha@sourceware.org References: <20230318165110.3672749-1-stsp2@yandex.ru> <481ef2c5-a59f-dea4-7f5f-2fcd229a4c25@redhat.com> From: stsp In-Reply-To: <481ef2c5-a59f-dea4-7f5f-2fcd229a4c25@redhat.com> X-Spam-Status: No, score=-2.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,SPF_HELO_NONE,SPF_PASS,TXREP 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: This is a multi-part message in MIME format. --------------CeWlp7fVFt5qyBv93clHPJql Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit 29.03.2023 18:17, Carlos O'Donell пишет: > On 3/18/23 12:50, Stas Sergeev via Libc-alpha wrote: > > A cover letter needs to explain in detail what the series does and why glibc > should include the series e.g. use cases, workloads. Attaching a cover letter for the upcoming v10. The patch-set is not yet completed so please let me know if the cover is now adequate or needs more descriptions. Also it would be good if we settle on this "elf header" stuff before v10 is released, so I am eagerly waiting your reply on whether the proof was enough or not. I can try to bring you any proof you want, but I can't be asked in a way "its possible to create an elf that can break your impl, please prove the opposite". Proving that something can't be created, usually requires infinite amount of time. So any proof you want, needs to be finite and well-defined. --------------CeWlp7fVFt5qyBv93clHPJql Content-Type: text/x-patch; charset=UTF-8; name="0000-cover-letter.patch" Content-Disposition: attachment; filename="0000-cover-letter.patch" Content-Transfer-Encoding: base64 RnJvbSA0NmU1MDk1ZWJmZTYzYmU0ZGNkODEzYzQyMzdkNmE0OTFhM2Y5NzY4IE1vbiBTZXAg MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBTdGFzIFNlcmdlZXYgPHN0c3AyQHlhbmRleC5ydT4K RGF0ZTogTW9uLCAxMyBGZWIgMjAyMyAxODoxNTozNCArMDUwMApTdWJqZWN0OiBbUEFUQ0gg djEwIDAvMTJdIGltcGxlbWVudCBkbG1lbSgpIGZ1bmN0aW9uCgpDaGFuZ2VzIGluIHYxMDoK LSBzcXVhc2hlZCBwYXRjaCAxIGFzIHN1Z2dlc3RlZCBieSBBZGhlbWVydmFsIFphbmVsbGEK LSBmaXhlZCBhIGZldyBidWdzIGluIGFuIGVsZiByZWxvY2F0aW9uIG1hY2hpbmVyeSBhZnRl ciB2YXJpb3VzIGhvdCBkaXNjdXNzaW9ucwotIGFkZGVkIGEgbmV3IHRlc3QgdHN0LWRsbWVt LWRsb2ZmIHRoYXQgZGVtby1pbXBsZW1lbnRzIGRsb3Blbl93aXRoX29mZnNldCgpCgpDaGFu Z2VzIGluIHY5OgotIHVzZSAiemVyby1jb3B5IiBtYWNoaW5lcnkgaW5zdGVhZCBvZiBtZW1j cHkoKS4gSXQgd29ya3Mgb24gbGludXggNS4xMwogIGFuZCBuZXdlciwgZmFsbGluZyBiYWNr IHRvIG1lbWNweSgpIG90aGVyd2lzZS4gU3VnZ2VzdGVkIGJ5IEZsb3JpYW4gV2VpbWVyLgot IGltcGxlbWVudCBmZGxvcGVuKCkgdXNpbmcgdGhlIGFib3ZlIGZ1bmN0aW9uYWxpdHkuIEl0 IGlzIGluIGEgbmV3IHRlc3QKICB0c3QtZGxtZW0tZmRsb3Blbi4gU3VnZ2VzdGVkIGJ5IENh cmxvcyBPJ0RvbmVsbC4KLSBhZGQgRExNRU1fRE9OVFJFUExBQ0UgZmxhZyB0aGF0IGRvZXNu J3QgcmVwbGFjZSB0aGUgYmFja2luZy1zdG9yZSBtYXBwaW5nLgogIEl0IHN3aXRjaGVzIGJh Y2sgdG8gbWVtY3B5KCkuIFRlc3QtY2FzZSBpcyBjYWxsZWQgdHN0LWRsbWVtLXNobS4KCkNo YW5nZXMgaW4gdjg6Ci0gZHJvcCBhdWRpdCBtYWNoaW5lcnkgYW5kIGluc3RlYWQgYWRkIGFu IGV4dHJhIGFyZyAob3B0aW9uYWwgcG9pbnRlcgogIHRvIGEgc3RydWN0KSB0byBkbG1lbSgp IGl0c2VsZiB0aGF0IGFsbG93cyB0byBpbnN0YWxsIGEgY3VzdG9tIHByZW1hcAogIGNhbGxi YWNrIG9yIHRvIHNwZWNpZnkgbnNpZC4gQXVkaXQgbWFjaGluZXJ5IHdhcyBtZWFudCB0byBh bGxvdwogIGNvbnRyb2xpbmcgb3ZlciB0aGUgcHJlLWV4aXN0aW5nIEFQSXMgbGlrZSBkbG9w ZW4oKSwgYnV0IGlmIHNvbWVvbmUKICBldmVyIG5lZWRzIHN1Y2ggZXh0ZW5zaW9ucyB0byBk bG9wZW4oKSwgaGUgY2FuIHRyaXZpYWxseSBpbXBsZW1lbnQKICBkbG9wZW4oKSBvbiB0b3Ag b2YgZGxtZW0oKS4KCkNoYW5nZXMgaW4gdjc6Ci0gYWRkIF9kbF9hdWRpdF9wcmVtYXAgYXVk aXQgZXh0ZW5zaW9uIGFuZCBpdHMgdXNhZ2UgZXhhbXBsZQoKQ2hhbmdlcyBpbiB2NjoKLSB1 c2UgX19zdHJkdXAoIiIpIGZvciBsX25hbWUgYXMgc3VnZ2VzdGVkIGJ5IEFuZHJlYXMgU2No d2FiCgpDaGFuZ2VzIGluIHY1OgotIGFkZGVkIF9kbF9hdWRpdF9wcmVtYXBfZGxtZW0gYXVk aXQgZXh0ZW5zaW9uIGZvciBkbG1lbQotIGFkZGVkIHRzdC1hdWRpdG1vZC1kbG1lbS5jIHRl c3QtY2FzZSB0aGF0IGZlZWRzIHNobSBmZCB0byBkbG1lbSgpCgpDaGFuZ2VzIGluIHY0Ogot IHJlLXRhcmdldCB0byBHTElCQ18yLjM4Ci0gYWRkIHRzdC1hdWRpdGRsbWVtLmMgdGVzdC1j YXNlIHRvIHRlc3QgYXVkaXRpbmcKLSBkcm9wIGxlbmd0aCBwYWdlLWFsaWduaW5nIGluIHRz dC1kbG1lbTogbW1hcCgpIGFsaWducyBsZW5ndGggb24gaXRzIG93bgotIGJ1Z2ZpeDogaW4g ZG9fbW1hcGNweSgpIGFsbG93IG1tYXBzIHBhc3QgZW5kIG9mIGJ1ZmZlcgoKQ2hhbmdlcyBp biB2MzoKLSBDaGFuZ2VkIHByb3RvdHlwZSBvZiBkbG1lbSgpIChhbmQgYWxsIHRoZSBpbnRl cm5hbCBtYWNoaW5lcnkpIHRvCiAgdXNlICJjb25zdCB1bnNpZ25lZCBjaGFyICpidWZmZXIi IGluc3RlYWQgb2YgImNvbnN0IGNoYXIgKmJ1ZmZlciIuCgpDaGFuZ2VzIGluIHYyOgotIHVz ZSA8c3VwcG9ydC90ZXN0LWRyaXZlci5jPiBpbnN0ZWFkIG9mICIuLi90ZXN0LXNrZWxldG9u LmMiCi0gcmUtdGFyZ2V0IHRvIEdMSUJDXzIuMzcKLSB1cGRhdGUgYWxsIGxpYmMuYWJpbGlz dCBmaWxlcwoKVGhpcyBwYXRjaC1zZXQgaW1wbGVtZW50cyB0aGUgZGxtZW0oKSBmdW5jdGlv biB0aGF0IGFsbG93cyB0byBsb2FkCnRoZSBzb2xpYiBmcm9tIHBhZ2UtYWxpZ25lZCBtZW1v cnkgYnVmZmVyLiBJdCBoYXMgbG90cyBvZiBvcHRpb25hbApmdW5jdGlvbmFsaXR5IGZvciB0 aGUgZmluZS1ncmFpbmVkIGNvbnRyb2wgb3ZlciB0aGUgbG9hZGluZyBwcm9jZXNzLgpUaGUg QVBJIGxvb2tzIGFzIGJlbG93OgoKLyogQ2FsbGJhY2sgZm9yIGRsbWVtLiAqLwp0eXBlZGVm IHZvaWQgKgooZGxtZW1fcHJlbWFwX3QpICh2b2lkICptYXBwcmVmLCBzaXplX3QgbWFwbGVu Z3RoLCBzaXplX3QgbWFwYWxpZ24sCgkgICAgICAgICAgdm9pZCAqY29va2llKTsKCi8qIERv IG5vdCByZXBsYWNlIG1hcHBpbmcgY3JlYXRlZCBieSBwcmVtYXAgY2FsbGJhY2suCiAgIGRs bWVtKCkgd2lsbCB0aGVuIHVzZSBtZW1jcHkoKS4gKi8KI2RlZmluZSBETE1FTV9ET05UUkVQ TEFDRSAxCgpzdHJ1Y3QgZGxtZW1fYXJncyB7CiAgLyogT3B0aW9uYWwgbmFtZSB0byBhc3Nv Y2lhdGUgd2l0aCB0aGUgbG9hZGVkIG9iamVjdC4gKi8KICBjb25zdCBjaGFyICpzb25hbWU7 CiAgLyogTmFtZXNwYWNlIHdoZXJlIHRvIGxvYWQgdGhlIG9iamVjdC4gKi8KICBMbWlkX3Qg bnNpZDsKICAvKiBkbG1lbS1zcGVjaWZpYyBmbGFncy4gKi8KICB1bnNpZ25lZCBmbGFnczsK ICAvKiBPcHRpb25hbCBwcmVtYXAgY2FsbGJhY2suICovCiAgZGxtZW1fcHJlbWFwX3QgKnBy ZW1hcDsKICAvKiBPcHRpb25hbCBhcmd1bWVudCBmb3IgcHJlbWFwIGNhbGxiYWNrLiAqLwog IHZvaWQgKmNvb2tpZTsKfTsKCi8qIExpa2UgYGRsbW9wZW4nLCBidXQgbG9hZHMgc2hhcmVk IG9iamVjdCBmcm9tIG1lbW9yeSBidWZmZXIuICAqLwpleHRlcm4gdm9pZCAqZGxtZW0gKGNv bnN0IHVuc2lnbmVkIGNoYXIgKmJ1ZmZlciwgc2l6ZV90IHNpemUsIGludCBtb2RlLAoJCSAg ICBzdHJ1Y3QgZGxtZW1fYXJncyAqZGxtX2FyZ3MpOwoKCkluIG1vc3QgY2FzZXMgZGxtX2Fy Z3Mgc2hvdWxkIGp1c3QgYmUgc2V0IHRvIE5VTEwuIEl0IHByb3ZpZGVzIHRoZQphZHZhbmNl ZCBmdW5jdGlvbmFsaXR5LCBtb3N0IG9mIHdoaWNoIGlzIG9idmlvdXMgKHNvbmFtZSwgbnNp ZCkuClRoZSBwcmVtYXAgY2FsbGJhY2sgYWxsb3dzIHRvIHNldCB0aGUgcmVsb2NhdGlvbiBh ZGRyZXNzIGZvciB0aGUgc29saWIuCk1vcmUgc28sIGlmIERMTUVNX0RPTlRSRVBMQUNFIGZs YWcgaXMgdXNlZCwgdGhlbiB0aGUgbWFwcGluZyBlc3RhYmxpc2hlZApieSB0aGUgcHJlbWFw IGNhbGxiYWNrLCB3aWxsIG5vdCBiZSByZXBsYWNlZCB3aXRoIHRoZSBmaWxlLWJhY2tlZCBt YXBwaW5nLgpJbiB0aGF0IGNhc2UgZGxtZW0oKSBoYXZlIHRvIHVzZSBtZW1jcHkoKSwgd2hp Y2ggaXMgbGlrZWx5IGV2ZW4gZmFzdGVyCnRoYW4gbW1hcHMoKSBidXQgZG9lc24ndCBlbmQg dXAgd2l0aCB0aGUgcHJvcGVyIC9wcm9jL3NlbGYvbWFwX2ZpbGVzCm9yIC9wcm9jL3NlbGYv bWFwcyBlbnRyaWVzLiBTbyBmb3IgZXhhbXBsZSBpZiB0aGUgcHJlbWFwIGNhbGxiYWNrIHVz ZXMKTUFQX1NIQVJFRCwgdGhlbiB3aXRoIHRoZSB1c2Ugb2YgdGhlIERMTUVNX0RPTlRSRVBM QUNFIGZsYWcgeW91IGNhbiBnZXQKeW91ciBzb2xpYiByZWxvY2F0ZWQgaW50byBhIHNoYXJl ZCBtZW1vcnkgYnVmZmVyLiBTdWNoIGZ1bmN0aW9uYWxpdHkKbWF5IGJlIGludGVyZXN0aW5n IGZvciB2aXJ0dWFsaXplZCBlbnZpcm9ubWVudHMgd2hlcmUgdGhlIHJlbG9jYXRpb24KYWRk cmVzcyBtYXkgaGF2ZSBhIHNwZWNpYWwgY29uc3RyYWludHMsIGxpa2UgZWcgTUFQXzMyQklU LgoKLS0gCjIuMzcuMgoK --------------CeWlp7fVFt5qyBv93clHPJql--