From patchwork Sun Aug 22 12:45:45 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "H.J. Lu" X-Patchwork-Id: 44733 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id A0DCF3848027 for ; Sun, 22 Aug 2021 12:46:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A0DCF3848027 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1629636372; bh=yqHy8m+L6QjfjQ+GPhHJ002hRjVcSSjQqIeAGVySurw=; h=To:Subject:Date:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:Cc:From; b=BC50HyzQkhR9kiHQLVDoyycTMHN1r7gCHe9jnGog9j1RQMOGbsetCy3LQrjk2lpDK U5I2IzOZ5elszGlLV8l4cUTzXAtq3Wvk+z01/Fe67cDz+aelZpvctdyRqNgMCNGKPS A2EVZwnog1FLSQkmbaqyALIqtQ1SK6PKGJpyl5P0= X-Original-To: libc-alpha@sourceware.org Delivered-To: libc-alpha@sourceware.org Received: from mail-pg1-x533.google.com (mail-pg1-x533.google.com [IPv6:2607:f8b0:4864:20::533]) by sourceware.org (Postfix) with ESMTPS id A16123858C60 for ; Sun, 22 Aug 2021 12:45:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org A16123858C60 Received: by mail-pg1-x533.google.com with SMTP id o2so13999656pgr.9 for ; Sun, 22 Aug 2021 05:45:49 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=yqHy8m+L6QjfjQ+GPhHJ002hRjVcSSjQqIeAGVySurw=; b=d0eADpO7TYNJS6Gm8wBCgnhYs6ec3zixViNogVj72Kx5dQFsABkcrg4XdW8x8xnEy8 9pnGPrt4YDiKeTGcjpNZ45weTcJQ0kjmBAnquk8fOAz/BDInIJ8e4ED2Hc3OajD2+eS4 jUMgPhal5dulRG+IpcFUeHw85xhHb7GBfE8lpEULE3Ly/gCOsQ9jEwW7DL+Z/rQE7bil iJz8dnQ6/RjI456+W/AMXcJvrdEnXV44y4Coq0gRvyHlFUeQbiZAgiTDumbnFYs2j5V3 vDEWKPR/PKNhLi7LSwfGsnc8vPPJcrZTQyPa5H1rotrWhTdei5iEuhxUCfhD94zMyErk akGg== X-Gm-Message-State: AOAM532tab1uDJjqGgFM7DANBIfgzjsa8gaXnKJz9s0PHzVKfgczqgIg +FxI4BcpripfWYw8i9rVNk4= X-Google-Smtp-Source: ABdhPJzQL5Ffbcy8hm/yzUeA1zBv5cZFcykxFLM4SQP6bo7i5IZ+1uGocN84988o8zJNCcDdcHB2Bw== X-Received: by 2002:a63:2442:: with SMTP id k63mr27103943pgk.54.1629636348587; Sun, 22 Aug 2021 05:45:48 -0700 (PDT) Received: from gnu-cfl-2.localdomain ([172.58.38.240]) by smtp.gmail.com with ESMTPSA id z131sm13085093pfc.159.2021.08.22.05.45.48 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 22 Aug 2021 05:45:48 -0700 (PDT) Received: from gnu-cfl-2.. (localhost [IPv6:::1]) by gnu-cfl-2.localdomain (Postfix) with ESMTP id 09F1BC02D1; Sun, 22 Aug 2021 05:45:47 -0700 (PDT) To: libc-alpha@sourceware.org Subject: [PATCH v6 0/1] RFC: Add Date: Sun, 22 Aug 2021 05:45:45 -0700 Message-Id: <20210822124546.154232-1-hjl.tools@gmail.com> X-Mailer: git-send-email 2.31.1 MIME-Version: 1.0 X-Spam-Status: No, score=-3027.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: libc-alpha@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libc-alpha mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: "H.J. Lu via Libc-alpha" From: "H.J. Lu" Reply-To: "H.J. Lu" Cc: Florian Weimer , Szabolcs Nagy , Joseph Myers , "Kirill A . Shutemov" Errors-To: libc-alpha-bounces+patchwork=sourceware.org@sourceware.org Sender: "Libc-alpha" Changes in v6: 1. Update and simplify the API by only exporting: /* Set the mask for address bits used in address translation. Return 0 on success. Return -1 on error. */ extern int set_translated_address_mask (uintptr_t __mask); /* Non-zero if constant address BITS is a valid tagged address bits. */ #define TRANSLATED_ADDRESS_VALID_BITS(BITS) /* A mask for constant address BITS used in address translation. */ #define TRANSLATED_ADDRESS_MASK(BITS) 2. Properly use _Static_assert for C and static_assert for C++. Changes in v5: Add restrictions: 1. All bits between 0 and N - 1, where N is the number of tagged address bits, are used in address translation. 2. All pointers participating in a pointer arithmetic operation should have the same tag if they point to the same memory object so that pointer equality operation can be performed on tagged pointers. Changes in v4: 1. Document that the zero return value from get_tagged_address_bits indicates that tag bits are not the highest bits in address. 2. Document that the zero value of TAGGED_ADDRESS_MASK indicates the invalid address mask. 3. Add to provide TAGGED_ADDRESS_MASK. 4. Add C++ support to TAGGED_ADDRESS_MASK. Changes in v3: 1. set_tagged_address_mask can be only called once before main. 2. Add more tests. --- By default, the number of the address bits used in address translation is the number of address bits. But it can be changed by ARM Top-byte Ignore (TBI) or Intel Linear Address Masking (LAM). provides an API for tagged address manipulation. H.J. Lu (1): : An API for tagged address NEWS | 2 +- bits/tagged-address-mask.h | 47 ++++++++++++++++ bits/tagged-address-valid-bits.h | 28 ++++++++++ csu/libc-start.c | 3 + elf/dl-support.c | 5 ++ include/sys/tagged-address.h | 18 ++++++ manual/Makefile | 3 +- manual/ctype.texi | 2 +- manual/memory.texi | 2 +- manual/tagged-address.texi | 48 ++++++++++++++++ misc/Makefile | 40 ++++++++++++-- misc/Versions | 10 ++++ misc/set-translated-address-mask.c | 41 ++++++++++++++ misc/sys/tagged-address.h | 33 +++++++++++ misc/tagged-address.c | 50 +++++++++++++++++ misc/tst-tagged-address-1-static.c | 1 + misc/tst-tagged-address-1.c | 55 +++++++++++++++++++ misc/tst-tagged-address-2-static.c | 1 + misc/tst-tagged-address-2.c | 45 +++++++++++++++ misc/tst-tagged-address-3-static.c | 1 + misc/tst-tagged-address-3.c | 48 ++++++++++++++++ misc/tst-tagged-address-4-static.c | 1 + misc/tst-tagged-address-4.c | 36 ++++++++++++ misc/tst-tagged-address-5.c | 25 +++++++++ misc/tst-tagged-address-6.c | 34 ++++++++++++ misc/tst-tagged-address-7.c | 41 ++++++++++++++ misc/tst-tagged-address-mod-5.c | 47 ++++++++++++++++ misc/tst-tagged-address-mod-6.c | 34 ++++++++++++ misc/tst-tagged-address-mod-7.c | 35 ++++++++++++ sysdeps/generic/inline-tagged-address.h | 43 +++++++++++++++ sysdeps/generic/ldsodefs.h | 4 ++ sysdeps/unix/sysv/linux/i386/libc.abilist | 1 + .../unix/sysv/linux/x86_64/64/libc.abilist | 1 + .../unix/sysv/linux/x86_64/x32/libc.abilist | 1 + 34 files changed, 777 insertions(+), 9 deletions(-) create mode 100644 bits/tagged-address-mask.h create mode 100644 bits/tagged-address-valid-bits.h create mode 100644 include/sys/tagged-address.h create mode 100644 manual/tagged-address.texi create mode 100644 misc/set-translated-address-mask.c create mode 100644 misc/sys/tagged-address.h create mode 100644 misc/tagged-address.c create mode 100644 misc/tst-tagged-address-1-static.c create mode 100644 misc/tst-tagged-address-1.c create mode 100644 misc/tst-tagged-address-2-static.c create mode 100644 misc/tst-tagged-address-2.c create mode 100644 misc/tst-tagged-address-3-static.c create mode 100644 misc/tst-tagged-address-3.c create mode 100644 misc/tst-tagged-address-4-static.c create mode 100644 misc/tst-tagged-address-4.c create mode 100644 misc/tst-tagged-address-5.c create mode 100644 misc/tst-tagged-address-6.c create mode 100644 misc/tst-tagged-address-7.c create mode 100644 misc/tst-tagged-address-mod-5.c create mode 100644 misc/tst-tagged-address-mod-6.c create mode 100644 misc/tst-tagged-address-mod-7.c create mode 100644 sysdeps/generic/inline-tagged-address.h