From nobody Thu Oct 30 22:39:43 2025 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass(p=quarantine dis=none) header.from=proton.me ARC-Seal: i=1; a=rsa-sha256; t=1753846498; cv=none; d=zohomail.com; s=zohoarc; b=QWSrsottiq+RTbWvweyqRLdex16VEYFF+U3THdECJAFyarP2npcV8BF/y3Uw0eWvxVKTxhypAcD3Ua2r7QZoWmCpgqfk+i4K7v6rFd0mgqMBOcvXgx/7lNen+M/wunDfcU177+2YP2/2mzPKYtAbhIhSr3zvvbv7Mm8/MK8HRLc= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1753846498; h=Content-Type:Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=eFcCdi4VQJ6uLDXcUDx0W8BYekwPXxolpGbj+YcNLMI=; b=dU1ARIobDy+VSWZZy8OHJROAjoe4D8YvvB8gcMeKutDpeNtWaASEapQTYirHXqlLurQiwKsZmmO2zXC7GzsThGBMu4VRg5BDRTFaSxrIkwjho3N3qYaK7u5ema54dT31jX2Gi+1IIY9ksz7G2ku/0dClG9g+vhcSmv2SFr53vOg= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass header.from= (p=quarantine dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1753846498111929.1733206364669; Tue, 29 Jul 2025 20:34:58 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.1063332.1429093 (Exim 4.92) (envelope-from ) id 1ugxaU-0003iw-Ri; Wed, 30 Jul 2025 03:34:42 +0000 Received: by outflank-mailman (output) from mailman id 1063332.1429093; Wed, 30 Jul 2025 03:34:42 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1ugxaU-0003ip-Os; Wed, 30 Jul 2025 03:34:42 +0000 Received: by outflank-mailman (input) for mailman id 1063332; Wed, 30 Jul 2025 03:34:42 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1ugxaU-0003i8-5D for xen-devel@lists.xenproject.org; Wed, 30 Jul 2025 03:34:42 +0000 Received: from mail-10631.protonmail.ch (mail-10631.protonmail.ch [79.135.106.31]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 1fbc657d-6cf6-11f0-b895-0df219b8e170; Wed, 30 Jul 2025 05:34:40 +0200 (CEST) X-Outflank-Mailman: Message body and most headers restored to incoming version X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: 1fbc657d-6cf6-11f0-b895-0df219b8e170 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=proton.me; s=protonmail; t=1753846478; x=1754105678; bh=eFcCdi4VQJ6uLDXcUDx0W8BYekwPXxolpGbj+YcNLMI=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=a2qn7Uif/5hi0z/hQeNg7ipJX3D3WIeH/F+muujDA7a9poIDQOBbHyQ4uTCOYMIW+ D81ea1wcQOUlz1TBdxA4+y5VvwDWnd+RFGIVQ+nOxB7txSDEKOKJz/iAf6/3htbsmI SOk2jfaAayppN76iRoQfeZwqNj53lYrxLvNu33K+GtNWkDwAppr7CEUoVrODu7w+pw B3XUciS+VxXZDQwY2Fp+5luRyAs/1Rnfl45s9gWLipqB3jd1ObKsxyanyQL96Tet8t 2EI8IFKHdw/Aw2yZ0KRMOwjcPkRCuJevM/NpCLHK2VEifDJcCkMhsXyOeMYD4Xa9rt L0svRVBBbeUlQ== Date: Wed, 30 Jul 2025 03:34:33 +0000 To: xen-devel@lists.xenproject.org From: dmkhn@proton.me Cc: alejandro.garciavallejo@amd.com, andrew.cooper3@citrix.com, anthony.perard@vates.tech, jbeulich@suse.com, julien@xen.org, michal.orzel@amd.com, roger.pau@citrix.com, sstabellini@kernel.org, dmukhin@ford.com Subject: [PATCH v12 2/3] tools/tests: introduce unit tests for domain ID allocator Message-ID: <20250730033414.1614441-3-dmukhin@ford.com> In-Reply-To: <20250730033414.1614441-1-dmukhin@ford.com> References: <20250730033414.1614441-1-dmukhin@ford.com> Feedback-ID: 123220910:user:proton X-Pm-Message-ID: e80cab9eabea58675da2878e51b52734838cc843 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @proton.me) X-ZM-MESSAGEID: 1753846502622116600 Content-Type: text/plain; charset="utf-8" From: Denis Mukhin =20 Introduce some basic infrastructure for doing domain ID allocation unit tes= ts, and add a few tests that ensure correctness of the domain ID allocator. Signed-off-by: Denis Mukhin --- Changes since v11: - simplified test, dropped dom0less variant --- tools/tests/Makefile | 2 +- tools/tests/domid/.gitignore | 2 + tools/tests/domid/Makefile | 51 ++++++++++ tools/tests/domid/include/xen/domain.h | 135 +++++++++++++++++++++++++ tools/tests/domid/test-domid.c | 78 ++++++++++++++ 5 files changed, 267 insertions(+), 1 deletion(-) create mode 100644 tools/tests/domid/.gitignore create mode 100644 tools/tests/domid/Makefile create mode 100644 tools/tests/domid/include/xen/domain.h create mode 100644 tools/tests/domid/test-domid.c diff --git a/tools/tests/Makefile b/tools/tests/Makefile index 36928676a666..ff1666425436 100644 --- a/tools/tests/Makefile +++ b/tools/tests/Makefile @@ -1,7 +1,7 @@ XEN_ROOT =3D $(CURDIR)/../.. include $(XEN_ROOT)/tools/Rules.mk =20 -SUBDIRS-y :=3D +SUBDIRS-y :=3D domid SUBDIRS-y +=3D resource SUBDIRS-$(CONFIG_X86) +=3D cpu-policy SUBDIRS-$(CONFIG_X86) +=3D tsx diff --git a/tools/tests/domid/.gitignore b/tools/tests/domid/.gitignore new file mode 100644 index 000000000000..91ac43232518 --- /dev/null +++ b/tools/tests/domid/.gitignore @@ -0,0 +1,2 @@ +*.o +test-domid-* diff --git a/tools/tests/domid/Makefile b/tools/tests/domid/Makefile new file mode 100644 index 000000000000..9a817bb70c36 --- /dev/null +++ b/tools/tests/domid/Makefile @@ -0,0 +1,51 @@ +# SPDX-License-Identifier: GPL-2.0-only +# +# Unit tests for domain ID allocator. +# +# Copyright 2025 Ford Motor Company + +XEN_ROOT=3D$(CURDIR)/../../.. +include $(XEN_ROOT)/tools/Rules.mk + +TESTS :=3D test-domid + +vpath domid.c $(XEN_ROOT)/xen/common/ + +.PHONY: all +all: $(TESTS) + +.PHONY: run +run: $(TESTS) + $(foreach t,$(TESTS),./$(t);) + +.PHONY: clean +clean: + $(RM) -- *.o $(TESTS) $(DEPS_RM) + +.PHONY: distclean +distclean: clean + $(RM) -- *~ + +.PHONY: install +install: all + $(INSTALL_DIR) $(DESTDIR)$(LIBEXEC)/tests + $(INSTALL_PROG) test-domid $(DESTDIR)$(LIBEXEC)/tests + +.PHONY: uninstall +uninstall: + $(RM) -- $(DESTDIR)$(LIBEXEC)/tests/test-domid + +CFLAGS +=3D -D__XEN_TOOLS__ +CFLAGS +=3D $(APPEND_CFLAGS) +CFLAGS +=3D $(CFLAGS_xeninclude) +CFLAGS +=3D -I./include/ + +LDFLAGS +=3D $(APPEND_LDFLAGS) + +%.o: %.c + $(CC) $(CFLAGS) -c $^ -o $@ $(LDFLAGS) + +test-domid: domid.o test-domid.o + $(CC) $^ -o $@ $(LDFLAGS) + +-include $(DEPS_INCLUDE) diff --git a/tools/tests/domid/include/xen/domain.h b/tools/tests/domid/inc= lude/xen/domain.h new file mode 100644 index 000000000000..396c3bab9d26 --- /dev/null +++ b/tools/tests/domid/include/xen/domain.h @@ -0,0 +1,135 @@ +/* SPDX-License-Identifier: GPL-2.0-only */ +/* + * Unit test harness for domain ID allocator. + * + * Copyright 2025 Ford Motor Company + */ + +#ifndef _TEST_HARNESS_ +#define _TEST_HARNESS_ + +#include +#include +#include +#include +#include +#include +#include +#include + +#include + +#define BUG_ON(x) assert(!(x)) +#define ASSERT(x) assert(x) + +#define __xen_mk_uint(x) x ## U +#define xen_mk_uint(x) __xen_mk_uint(x) + +#define DOMID_FIRST_RESERVED xen_mk_uint(10) +#define DOMID_INVALID xen_mk_uint(11) + +#define DEFINE_SPINLOCK(x) unsigned long *(x) +#define spin_lock(x) ((*(x))++) +#define spin_unlock(x) ((*(x))--) + +#define BITS_PER_LONG sizeof(unsigned long) +#define BITS_PER_WORD (8U * BITS_PER_LONG) +#define BITS_TO_LONGS(bits) \ + (((bits) + BITS_PER_LONG - 1) / BITS_PER_LONG) +#define DECLARE_BITMAP(name, bits) \ + unsigned long name[BITS_TO_LONGS(bits)] + +static inline int __test_and_set_bit(unsigned int nr, unsigned long *addr) +{ + unsigned long mask =3D 1UL << (nr % BITS_PER_WORD); + unsigned long *p =3D addr + (nr / BITS_PER_WORD); + int old =3D (*p & mask) !=3D 0; + + *p |=3D mask; + + return old; +} + +static inline int __test_and_clear_bit(unsigned int nr, unsigned long *add= r) +{ + unsigned long mask =3D 1UL << (nr % BITS_PER_WORD); + unsigned long *p =3D addr + (nr / BITS_PER_WORD); + int old =3D (*p & mask) !=3D 0; + + *p &=3D ~mask; + + return old; +} + +static inline void __set_bit(unsigned int nr, volatile unsigned long *addr) +{ + unsigned long mask =3D 1UL << (nr % BITS_PER_WORD); + unsigned long *p =3D (unsigned long *)addr + (nr / BITS_PER_WORD); + + *p |=3D mask; +} + +static inline void __clear_bit(unsigned int nr, volatile unsigned long *ad= dr) +{ + unsigned long mask =3D 1UL << (nr % BITS_PER_WORD); + unsigned long *p =3D (unsigned long *)addr + (nr / BITS_PER_WORD); + + *p &=3D ~mask; +} + +static inline unsigned long find_next_zero_bit(const unsigned long *addr, + unsigned long size, + unsigned long offset) +{ + unsigned long idx =3D offset / BITS_PER_WORD; + unsigned long bit =3D offset % BITS_PER_WORD; + + if (offset >=3D size) + return size; + + while (offset < size) + { + unsigned long val =3D addr[idx] | (~0UL >> (BITS_PER_WORD - bit)); + + if (~val) + { + unsigned long pos =3D __builtin_ffsl(~val); + + if (pos > 0) + { + unsigned long rc =3D idx * BITS_PER_WORD + (pos - 1); + + if (rc < size) + return rc; + } + } + + offset =3D (idx + 1) * BITS_PER_WORD; + idx++; + bit =3D 0; + } + + return size; +} + +#define printk printf + +#define cf_check + +typedef bool spinlock_t; +typedef uint16_t domid_t; + +/* See include/xen/domain.h */ +extern domid_t domid_alloc(domid_t domid); +extern void domid_free(domid_t domid); + +#endif /* _TEST_HARNESS_ */ + +/* + * Local variables: + * mode: C + * c-file-style: "BSD" + * c-basic-offset: 4 + * indent-tabs-mode: nil + * End: + */ diff --git a/tools/tests/domid/test-domid.c b/tools/tests/domid/test-domid.c new file mode 100644 index 000000000000..ed041bb56d89 --- /dev/null +++ b/tools/tests/domid/test-domid.c @@ -0,0 +1,78 @@ +/* SPDX-License-Identifier: GPL-2.0-only */ +/* + * Unit tests for domain ID allocator. + * + * Copyright 2025 Ford Motor Company + */ + +/* Local test include replicating hypervisor includes. */ +#include + +int main(int argc, char **argv) +{ + domid_t expected, allocated; + + printk("%s DOMID_FIRST_RESERVED=3D%u DOMID_INVALID=3D%u\n", + argv[0], DOMID_FIRST_RESERVED, DOMID_INVALID); + + /* Test ID#0 cannot be allocated twice. */ + allocated =3D domid_alloc(0); + printk("TEST 1: expected %u allocated %u\n", 0, allocated); + ASSERT(allocated =3D=3D 0); + allocated =3D domid_alloc(0); + printk("TEST 1: expected %u allocated %u\n", DOMID_INVALID, allocated); + ASSERT(allocated =3D=3D DOMID_INVALID); + + /* Ensure ID is not allocated. */ + domid_free(0); + + /* + * Test that that two consecutive calls of domid_alloc(DOMID_INVALID) + * will never return the same ID. + * NB: ID#0 is reserved and shall not be allocated by + * domid_alloc(DOMID_INVALID). + */ + for ( expected =3D 0; expected < DOMID_FIRST_RESERVED - 1; expected++ ) + { + allocated =3D domid_alloc(DOMID_INVALID); + printk("TEST 2: expected %u allocated %u\n", expected + 1, allocat= ed); + ASSERT(allocated =3D=3D expected + 1); + } + for ( expected =3D 0; expected < DOMID_FIRST_RESERVED; expected++ ) + { + allocated =3D domid_alloc(DOMID_INVALID); + printk("TEST 2: expected %u allocated %u\n", DOMID_INVALID, alloca= ted); + ASSERT(allocated =3D=3D DOMID_INVALID); + } + + /* Re-allocate first ID from [1..DOMID_FIRST_RESERVED - 1]. */ + expected =3D 1; + domid_free(1); + allocated =3D domid_alloc(DOMID_INVALID); + printk("TEST 3: expected %u allocated %u\n", expected, allocated); + ASSERT(allocated =3D=3D expected); + + /* Re-allocate last ID from [1..DOMID_FIRST_RESERVED - 1]. */ + expected =3D DOMID_FIRST_RESERVED - 1; + domid_free(DOMID_FIRST_RESERVED - 1); + allocated =3D domid_alloc(DOMID_INVALID); + printk("TEST 4: expected %u allocated %u\n", expected, allocated); + ASSERT(allocated =3D=3D expected); + + /* Allocate an invalid ID. */ + expected =3D DOMID_INVALID; + allocated =3D domid_alloc(DOMID_FIRST_RESERVED); + printk("TEST 5: expected %u allocated %u\n", expected, allocated); + ASSERT(allocated =3D=3D expected); + + return 0; +} + +/* + * Local variables: + * mode: C + * c-file-style: "BSD" + * c-basic-offset: 4 + * indent-tabs-mode: nil + * End: + */ --=20 2.34.1