From nobody Wed Oct 04 13:31:15 2023 X-Original-To: freebsd-hackers@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4S0wZH2pMPz4vwbr for ; Wed, 4 Oct 2023 13:31:19 +0000 (UTC) (envelope-from troy.denton@mail.utoronto.ca) Received: from CAN01-YT3-obe.outbound.protection.outlook.com (mail-yt3can01on2139.outbound.protection.outlook.com [40.107.115.139]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mail.protection.outlook.com", Issuer "DigiCert Cloud Services CA-1" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4S0wZG4S9bz3W83; Wed, 4 Oct 2023 13:31:18 +0000 (UTC) (envelope-from troy.denton@mail.utoronto.ca) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=mail.utoronto.ca header.s=selector1 header.b=lWP6O3tJ; spf=pass (mx1.freebsd.org: domain of troy.denton@mail.utoronto.ca designates 40.107.115.139 as permitted sender) smtp.mailfrom=troy.denton@mail.utoronto.ca; dmarc=pass (policy=none) header.from=utoronto.ca; arc=pass ("microsoft.com:s=arcselector9901:i=1") ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=TAj7BvNKtHiOPx+BYN/vaEGtWekTjqFveuPaOLjZEQUNsh9sQPTK/W7IKOy9ffzYNn+GDCTspB1ccpyVO4XSQ8BHQsOM3pgpZ6373Zj6UUKXGvIfJvUomVABPfgjOhk5I15RDJivVKrHFo4hXspvvYpTovwXcyNOt6TBx7fK4ZCRwPevZihm2cBZlqAmlMytxcgKe+OfRIKcQ/kJwvS8SOVuwv5GINaXcSkqr4hcVOr5yvwOfbaW9oab19F+5OxXFG2ixbjwQjkytWmQOgs60xKGjje2oJXbMOlDIqKIf2B9bM2B0H9ZzA1J6ghx/E9x7DXUcK8dOAaY2s8wCzh6Zg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=hpYRonJ4/r2v4h++BDo5cW2WxiOAHgFIzyOhHcyNsVk=; b=DeUfTyiFhugGU9QPrFBuq4nTHKjYA0iTE9GzGr/bGMVruygg2IgxC7JJ+s9YbAJpaf6l/KJgHrSd1fXi8iwqRxtn/hEwLAEPZSvCb4nvoapZVQdxF9TJjeS7yiFCD36a4Bdz/UylUfhXohWdhAh+lIoqW9a3MjKJ1fcsn9XcmBow6cZEliJ8VewCZi0Kx4h9MA6CdLilFvrla0Iero/DQXMeg2ZP7LprGcJLhEDFdFp7BGiFv2lPWZA8wU41mCO9Kewl96vbQTC20Rq9Fs6HVMF1vTq+Iv0gppWwwYZUcgTmPzIwvsEZ9Mz+f2/1s9vvWus/T8kBizzl3Ccg9nXFlg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=mail.utoronto.ca; dmarc=pass action=none header.from=mail.utoronto.ca; dkim=pass header.d=mail.utoronto.ca; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mail.utoronto.ca; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=hpYRonJ4/r2v4h++BDo5cW2WxiOAHgFIzyOhHcyNsVk=; b=lWP6O3tJCS2lYmg+rj6iwh0de3IOGJlda+LSX9mEMy/uFAxSeaxfjOLKPbx48I4LFgiutWMsIxNixpDNnvmXIoAcRGIcAoMtYs1QT07kGvHW+2sSduYmSy0gv2RV3BgH2w3VHghSAOAvQ2VQXVKotk/4H7V0IipfwyGuFoD2CCU= Received: from YQXPR01MB4168.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c01:10::16) by YQBPR0101MB8606.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c01:55::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6838.34; Wed, 4 Oct 2023 13:31:15 +0000 Received: from YQXPR01MB4168.CANPRD01.PROD.OUTLOOK.COM ([fe80::2e78:bb9e:7d47:362e]) by YQXPR01MB4168.CANPRD01.PROD.OUTLOOK.COM ([fe80::2e78:bb9e:7d47:362e%6]) with mapi id 15.20.6838.033; Wed, 4 Oct 2023 13:31:15 +0000 From: Troy Denton To: "freebsd-hackers@freebsd.org" CC: "schweikh@FreeBSD.org" Subject: Project Ideas/POSIX Compliance Testing - Grad school project Thread-Topic: Project Ideas/POSIX Compliance Testing - Grad school project Thread-Index: AQHZ9sOobqdJ9yC7jkSX9KR9QrgETg== Date: Wed, 4 Oct 2023 13:31:15 +0000 Message-ID: Accept-Language: en-CA, en-US Content-Language: en-CA X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: YQXPR01MB4168:EE_|YQBPR0101MB8606:EE_ x-ms-office365-filtering-correlation-id: 486ad8bf-766f-423b-ccc9-08dbc4de2f4e x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 1DrEeHqdsrMOXs9Rtn72S6nKYYX+0zzW2wMS4EGZ7kbgFueSELibhP3dMKRwspaXAmWBRHhv92dWGE6jVdtqF0GSXcudZdtS/kCxvZ9equUAjFenW/SqLoT6hBm6+YUVyMrHKhXBHF7f039BDa75dqTRRbTjtsK3e6C0IDS5I1G+lpnURyPt4eLXDteKxjur+gTuGKQK+iYZKbmSlIdt+T7TuZOhCUOnemwK9dDrV46LFNN3Bz5VsN8aQBveoKqwpT7PMo3jnUnUPzhkjr/nLmbCQETJbUOEDqS+gUYaqkt1e0b3T4I0IK4indzjU6xqjUfGOGNXbcW7uwU3tyQlVLopTT1zTjpXNmXB5iYhuJPwfAvnastJNcVBmNtTwt2p6Xt+T/o/X2lYkNmET2EPhynfklMqjxDL9o2ZNXbiZOHXKD1lS5rfjEcXaIZReX5kwfoXGIrW3OqdUBT/+PHyX/3LSkVoFx8JX2n2dAYVfuW8QyH/W8r7/PgyJITj2+3iWfAOIjC/anYHq/2nNketTnixVwDzlNrFTpZ5FRzuqz3Df/iE3qjafMCJdh+yGwTuBQJyAunXV4gfg2OfaqGIxA2PWVQKWLmpjvsTcl9b/+Y= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:YQXPR01MB4168.CANPRD01.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(136003)(396003)(39860400002)(366004)(376002)(346002)(230922051799003)(186009)(1800799009)(451199024)(64100799003)(6506007)(71200400001)(7696005)(478600001)(966005)(9686003)(26005)(91956017)(2906002)(41300700001)(4744005)(66946007)(76116006)(786003)(6916009)(44832011)(64756008)(5660300002)(66556008)(450100002)(52536014)(8676002)(316002)(8936002)(4326008)(33656002)(66476007)(66446008)(86362001)(38070700005)(38100700002)(122000001)(166002)(66899024)(55016003)(19627405001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?HE2T5BS0UrokjIfB9OYwIpzsf2r4izM404pq8Fwhna1R6PMtEftODSadCQ?= =?iso-8859-1?Q?jaddvUgg6f0soAcpZUEbmxFMX85nBA4b5L+9kfWJLJKC/r8Yk7cVQOMd6u?= =?iso-8859-1?Q?c/g6+txpm4WIM7Zx2WV/kpBnIC4pqsxLCM0ANvTIsqpfYkbHr5PzO/Poo4?= =?iso-8859-1?Q?MAfZ8tWGKtuu52smFEXDLmOyDkcGiWrrIbEbgwyDjbrnuh9V/JK/hB5ITH?= =?iso-8859-1?Q?3wBV29D31zn+jGioIbDJIZZroVwxRAiD7tVFrFm//lnNBbsZ6bGNp5nhX7?= =?iso-8859-1?Q?RAD85mdG+i9ofotsmxfMTy/aS0TTtK2DWKfalhg+/ncqsi4c+YxjEPBXyL?= =?iso-8859-1?Q?wtQ6CCGn1ZR9ZLGX6HgspiEcx9GfJha2U6Ak+Uhm04rXidjoM4uhsH5H0M?= =?iso-8859-1?Q?LY4g9MxWG0iUYysqS2ocsJ9j1Qog8ojS5bNGn0Ish4rW/jhdHFFDcW1cfY?= =?iso-8859-1?Q?+74ydNI7ArwzF30VIp4zYS3+Jep3hkHlJ1ZKy485izu0et6PgB00Q+UxAt?= =?iso-8859-1?Q?A1sQzS6rcgvdU2HDpRC7lZf+Rbq83c1Dl5I+nTfwnxqISZw2KSGrss5Ydv?= =?iso-8859-1?Q?cxeeX7tS7dc3xp6vVoQYEKakPO/VLS0gngVwtxnadZU1Vg5pR2Dw4LIlPk?= =?iso-8859-1?Q?LztjqnI3+4uAeQ1vrbRtgBESXkZxINzR6GaCX8UGh/NYg/90z/ujmCI2y3?= =?iso-8859-1?Q?X7TAo+2HFp59R2SU/bd99ypOCf9zB1GnwHZm7tkCP885QYENTIBIc3HvyO?= =?iso-8859-1?Q?2IlC165/Cn85vzFGOaoUN9h7gVxIrg1G/G/3wbZtIryv9JHZ76Gw8a238y?= =?iso-8859-1?Q?VIv9Ee/oIgjTukG/xpXhGgbSx9u4zeX/8FS+nmr+YAVJNn38SjD9L0293s?= =?iso-8859-1?Q?6FSHlIySkyX+cBS01dbWRIeGAjkdVHf789a2V8+5RlsrXR3Dx3/HcZynEp?= =?iso-8859-1?Q?SoXpE7fLruxxdTkS1g5e22WYXfHRDBTS7Y92jSqKzONB95PwKRPZU/uihm?= =?iso-8859-1?Q?ldoTvqrlbjPQVceHVHY3Q/pFBfqz94g4Hg4VlZ/gehgTtFxqbEohLpNVdn?= =?iso-8859-1?Q?fx2PXG00oHmLZbGouWq2NUfqs6RaO046Eyk4s6XUmsjUtu1RUdZPuyKgGI?= =?iso-8859-1?Q?Qf7lZQ6NpJty6uGnrFFwcdI3PxgwN9dwxSZoEaxi4LV1n2sxz5+/XtxktT?= =?iso-8859-1?Q?DkrY2/aTw5z1jF2anaaYwLEQN5XTsZouN4WZErCXoAkQ5OQCoPVTxsazhe?= =?iso-8859-1?Q?2XFPnKtWbS0hw4VcrTZbaIgAMum1oCcYpadKfRsN6j/2USiJycq9HAZrAn?= =?iso-8859-1?Q?va9pZisuAKtwIjpYNBnl0noi2/qTN+dqUq2YehjPPBlvd4jnd3bmB98t9/?= =?iso-8859-1?Q?Eo8r+EIbv2xRrgMZ173wcPz9APvVoWOvWWk3v4kTIl87CNk4TtJhFuEE/e?= =?iso-8859-1?Q?S4giI1l5ACyvj99R29H2QMzb3eaJpGz4l8x9iPDPA03t5CP9hfNgT6NaMR?= =?iso-8859-1?Q?NkMpCsds6bpLFPGFet7EYHapC4mOaoCs8+n9z2yzJ/5gCmAi8M5H/6K7/T?= =?iso-8859-1?Q?f8FEqYM7BDKrY188h3LnmxpDHqnHiHNfBMJleV/rU6Hiw7+sD4jEodxz1X?= =?iso-8859-1?Q?HU+Z3slTgwZO5+ssrsCJTDKHl7WSHaew6N?= Content-Type: multipart/alternative; boundary="_000_YQXPR01MB41685289EB353E39D8023839D3CBAYQXPR01MB4168CANP_" List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 X-OriginatorOrg: mail.utoronto.ca X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: YQXPR01MB4168.CANPRD01.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 486ad8bf-766f-423b-ccc9-08dbc4de2f4e X-MS-Exchange-CrossTenant-originalarrivaltime: 04 Oct 2023 13:31:15.8522 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 78aac226-2f03-4b4d-9037-b46d56c55210 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: +w2h4eFMh/PeYY5X4NG3hPbMbA5WzZObhakU41fd0i9CvaRhCuDr4ag8w5dt/096YovVhzE+njknvGGXrY7l+Cm/VAGwQW9027rfaFLYAd0= X-MS-Exchange-Transport-CrossTenantHeadersStamped: YQBPR0101MB8606 X-Spamd-Bar: ----- X-Spamd-Result: default: False [-6.00 / 15.00]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; DWL_DNSWL_LOW(-1.00)[utoronto.ca:dkim]; NEURAL_HAM_LONG(-1.00)[-1.000]; ARC_ALLOW(-1.00)[microsoft.com:s=arcselector9901:i=1]; NEURAL_HAM_SHORT(-1.00)[-0.999]; DMARC_POLICY_ALLOW(-0.50)[utoronto.ca,none]; R_DKIM_ALLOW(-0.20)[mail.utoronto.ca:s=selector1]; R_SPF_ALLOW(-0.20)[+ip4:40.107.0.0/16]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; FROM_EQ_ENVFROM(0.00)[]; ASN(0.00)[asn:8075, ipnet:40.104.0.0/14, country:US]; MIME_TRACE(0.00)[0:+,1:+,2:~]; RCVD_TLS_LAST(0.00)[]; MLMMJ_DEST(0.00)[freebsd-hackers@freebsd.org]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FROM_HAS_DN(0.00)[]; RWL_MAILSPIKE_POSSIBLE(0.00)[40.107.115.139:from]; TO_DN_EQ_ADDR_ALL(0.00)[]; DKIM_TRACE(0.00)[mail.utoronto.ca:+]; RCVD_IN_DNSWL_NONE(0.00)[40.107.115.139:from]; RCVD_COUNT_TWO(0.00)[2]; RCPT_COUNT_TWO(0.00)[2] X-Rspamd-Queue-Id: 4S0wZG4S9bz3W83 --_000_YQXPR01MB41685289EB353E39D8023839D3CBAYQXPR01MB4168CANP_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hello list, I need a term project for a grad school OS course, and the "POSIX Complianc= e Testing" project listed at https://wiki.freebsd.org/IdeasPage resonated w= ith my professor and I. We both like the practical flavour of the idea; th= ere is no need for a hypothesis or any academic fluff (beyond my own submit= ted report). I'm sending this email to see if anyone is already working on this, and als= o to open this to any feedback/guidance others may have. Ideally, the main outcome is a PR into https://github.com/freebsd/freebsd-c= i which implements a compliance tes= t/report that can be run automatically. I am open to suggestions if there = is a more useful outcome. My goals are to simply "do something useful" for= the FreeBSD project before the end of the term, and pass my course :) -Troy Denton --_000_YQXPR01MB41685289EB353E39D8023839D3CBAYQXPR01MB4168CANP_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hello list,

I need a term project for a grad school OS course, and the "POSIX Comp= liance Testing" project listed at https://wiki.freebsd.org/IdeasPage&n= bsp;resonated with my professor and I.  We both like the practical flavour of the idea; there is no need for a hypothesis or any ac= ademic fluff (beyond my own submitted report).

I'm sending this email to see if anyone is already working on this, and als= o to open this to any feedback/guidance others may have.

Ideally, the main outcome is a PR into https://github.com/freebsd/freebsd-ci which implements a comp= liance test/report that can be run automatically.  I am open to sugges= tions if there is a more useful outcome.  My goals are to simply "= ;do something useful" for the FreeBSD project before the end of the term, and pass my course :)


-Troy Denton
--_000_YQXPR01MB41685289EB353E39D8023839D3CBAYQXPR01MB4168CANP_--