From nobody Wed Jun 28 17:05:30 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 4Qrnyw36tqz4kxqv for ; Wed, 28 Jun 2023 17:05:44 +0000 (UTC) (envelope-from markm@FreeBSD.org) Received: from smtp.freebsd.org (smtp.freebsd.org [96.47.72.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "smtp.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Qrnyw2hBwz3hFD; Wed, 28 Jun 2023 17:05:44 +0000 (UTC) (envelope-from markm@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1687971944; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=IY8tiaJ0fdEMMwSV+vTS+tsM1/awOn0qKvlmN4y03rg=; b=VmSTY/EVlhdAlMkN6GNROM/9ScKh81JeITb59zCbVjulkt0PpXVUiDKKyNXS2Md1bTS5sC ZeO+THGUfXzy8fnQOBGp6wvC5SaxlG7YwPIDNrdLSNoDY8GEIpJ4RLQu+8adaE5IyPDs3C xxyS4AmP7U/xl4uxv3RCOChQa0OtN4ov6Nleupmdqw1QufcI4WBsZ2zDOVqEgfXstVGEhg DhWziR6rYECMB8fCUVyBdGOBJk5sdNS7teLe6++pfaFdeljke92h3Dp1CIlcfvJJTl6ckS bs3R3eQX2njcGIWYbmJAIiYTED/hJfDio7Ntx1YSuZTNojIfeZW3F7Ur7XxF3Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1687971944; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=IY8tiaJ0fdEMMwSV+vTS+tsM1/awOn0qKvlmN4y03rg=; b=i10XNYNRKTXI0QyFbcI6Z4gVBf2qyufWcHskl4rERJOGsrE97ZANNNwZoU9MJfdCPMIRR+ zSoBZEntXmQWndR3HIgBnVvaD3UKW3MYZ4iw1lcjBl0lQ6oFFDdGHUsX6DJtj2b+/uvleB 43zllMhoBVQvxslrwDXbXaMBfDzJf7Jrc36M54HnDP6x4fTi4GZ6gK96harO8MNk7N+WCs iHHVnGlrx19aLd5Hd18A+LEidytfFN5Dl9j3TMVX2nSdVjVWjFgZ5h4gguC9XUVjAOM0Db XKy7Rc/vtjRaAjXt9GbbklfaV1Ox8QijN3/Vmk580L1vcv3s2dhwkLha8NM5bA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1687971944; a=rsa-sha256; cv=none; b=t9Zu4VjsZxzaxh0EKXMvh+yjhRDY54v0VxYLlBbXejwQaqooGCriVbV4TMNZ9TYyM0SU9d TCJwYfqRA2wgibRKBCaKO64SxEDPaD0Y92S6XUkNCtvOH2tL5eEQ4H51sEHwsVtD3yMDPU Zn51LCqgPYP+/9vYeDGiTMRboIyRL+oXfJlExDigFpyJikAY1r6zaaVVS8AP7avt0S2abE jE6W3DsrEpFzaULeCU5XRLw4Uum0tTVkYLNeIM6EeGvzjs/v5DQLzgQJjjze83v8muZ8ju tEicGZLLHVthUl9GsID7rIFo52ctghBqrstksPQzq1TgHIK+KeuL9dOMw22Q2g== Received: from smtpclient.apple (82-132-230-185.dab.02.net [82.132.230.185]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) (Authenticated sender: markm) by smtp.freebsd.org (Postfix) with ESMTPSA id 4Qrnyv4KJWzfLt; Wed, 28 Jun 2023 17:05:43 +0000 (UTC) (envelope-from markm@FreeBSD.org) Content-Type: multipart/signed; boundary="Apple-Mail=_28B6CF83-CB7C-4BDB-88FD-CC5A0F077231"; protocol="application/pgp-signature"; micalg=pgp-sha512 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 (Mac OS X Mail 16.0 \(3731.600.7\)) Subject: Re: Should close() release locks atomically? From: Mark Murray In-Reply-To: Date: Wed, 28 Jun 2023 18:05:30 +0100 Cc: FreeBSD Hackers Message-Id: <00DFC50C-346B-4345-A08E-999D7110B89B@FreeBSD.org> References: <0B120328-BA3A-49B8-9537-A3E40EA840CA@FreeBSD.org> To: Alan Somers X-Mailer: Apple Mail (2.3731.600.7) X-ThisMailContainsUnwantedMimeParts: N --Apple-Mail=_28B6CF83-CB7C-4BDB-88FD-CC5A0F077231 Content-Type: multipart/alternative; boundary="Apple-Mail=_5FD481CB-6786-4799-8373-52EF133A659F" --Apple-Mail=_5FD481CB-6786-4799-8373-52EF133A659F Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 > On 28 Jun 2023, at 17:53, Alan Somers wrote: >=20 > On Wed, Jun 28, 2023 at 9:40=E2=80=AFAM Mark Murray > wrote: >> Hi - have you tried using e.g. CReduce to get a testcase? I've used >> CReduce a bit @work for compiler development and its pretty good. >>=20 > No I haven't. I could try. But, > * Does creduce work on Rust, too? > * My failure is frequent but not 100% reliable. Will that prevent me = from using creduce successfully? I believe it does work on Rust, and other languages too. The "not 100% reliable" issue will be problematic, but if you are = prepared to run for some time in order to force the failure, and if you are then = prepared to let CReduce chew on this for some time, you could be in luck! M -- Mark R V Murray --Apple-Mail=_5FD481CB-6786-4799-8373-52EF133A659F Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
On 28 Jun 2023, = at 17:53, Alan Somers <asomers@freebsd.org> wrote:

On Wed, Jun = 28, 2023 at 9:40=E2=80=AFAM Mark Murray <markm@freebsd.org> = wrote:
Hi - have you tried using = e.g. CReduce to get a testcase? I've used
CReduce a bit @work = for compiler development and its pretty = good.

No I haven't.  I = could try.  But,
* Does creduce work on Rust, = too?
* My failure is frequent but not 100% reliable.  = Will that prevent me from using creduce successfully? =

I believe it does work on Rust, and = other languages too.

The "not 100% reliable" = issue will be problematic, but if you are prepared
to run for = some time in order to force the failure, and if you are then = prepared
to let CReduce chew on this for some time, you could = be in = luck!

M
-- 
Mark = R V Murray

= --Apple-Mail=_5FD481CB-6786-4799-8373-52EF133A659F-- --Apple-Mail=_28B6CF83-CB7C-4BDB-88FD-CC5A0F077231 Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=signature.asc Content-Type: application/pgp-signature; name=signature.asc Content-Description: Message signed with OpenPGP -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.2 Comment: GPGTools - http://gpgtools.org iQEzBAEBCgAdFiEEyzPHvybPbOpU9MCxQlsJDh9CUqAFAmScaFoACgkQQlsJDh9C UqDyyQgAsOUUG2li2MeHE9mDvxvcyfO402jPVx0LLwVigpoEXxBnV39mO/gaj/IY 4o+AtB4M/MvN+ikLGoucIBNiJ5WPrvtIfn8Qw6urAUPuJwU9PcmMK50cn8T5sonf qGRRkK3OizAdarQjXV6+GAsxPz4EmeK/lT0CEkO8AvIntfzuuGa3rvs2YmMqN0ir kfnOtBMzW1nfV1jMIiLj7mb5FZ7Pl/DPFV4ME/JPY38KyXiBCnnAI6ZbYnAtdO9k AWgfPJXvA2UrwQaAVg7TMcP8IpPglqmoN3e9s+cBMwthIECjfksRremFdMXFbGs1 BAw/jYqjD/HuggwPLCO8ZeJJyeWKqg== =DjWv -----END PGP SIGNATURE----- --Apple-Mail=_28B6CF83-CB7C-4BDB-88FD-CC5A0F077231--