Date: Sat, 20 Jun 2026 23:50:50 +0330 From: Faraz Vahedi <kfv@kfv.io> To: Konstantin Belousov <kib@freebsd.org> Cc: Warner Losh <imp@freebsd.org>, alc@freebsd.org, src-committers@freebsd.org, dev-commits-src-all@freebsd.org, dev-commits-src-main@freebsd.org Subject: Re: git: 9d87c1aac4a8 - main - libc: Add missing kill_dependency macro Message-ID: <F34A8CEE-E3C5-4942-9543-698693B8FE7A@kfv.io> In-Reply-To: <ajakKWNfv2dwegqj@kib.kiev.ua> References: <6a35ddd4.24ba1.2ad9343d@gitrepo.freebsd.org> <ajZxmJoxyjjx0TSO@kib.kiev.ua> <9A21692F-0B53-4303-85A8-57784BFAF8DE@kfv.io> <33E8BFC4-EA46-41A7-B54F-1AADD3C19D9E@kfv.io> <ajakKWNfv2dwegqj@kib.kiev.ua>
index | next in thread | previous in thread | raw e-mail
[-- Attachment #1 --] Hey, I see. I dug further into related proposals and the reasons why no compiler today has implemented true data dependency tracking and that they all basically map and promote consume to acquire. The kill_dependency is also basically a no-op, and both compilers optimise them identically. I did a few tests on my AArch64 box and that's how I'm convinced, so I believe keeping the current form could be ideal as it fully conforms to the standard and we're assured that at least any conforming compiler would support it just fine and there's no extension or non-standard tweak in it. On the other hand, although adding a separate branch with the GCC style is possible, I don't think that'd add any value but visual complications. Either way, whether dependency tracking changes drastically or this very approach becomes obsolete, keeping our header as-is seems safe for now. Again, I should admit that despite my enthusiasm for compilers and long-time personal studies of that field, I am by no means an expert and can be wrong, or at least miss some corner cases I'm not aware of, so please educate me if so. Yours, Faraz [-- Attachment #2 --] -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEnunneCmADnpNx8ZMLdpU9MVz/74FAmo29iIACgkQLdpU9MVz /77ITQ//bwuyEXtUgm6NEt+6EH1RYbq+74ojfwKrasPBtZWpN28gKdVAvw5hgFsN BgRBlWOT+HjgkCS9gOmSpOH4Y398zrK5UyJ5RWFYOBsIuYk/LCJb8fviVVVeOKtV 0ZltFiohciVpslulIL4qCwJNhfdGmM5+/Wu90qyiypxgJrxoGmF/2WbKUecmHq+K b8GGm517HRHOn9lTIjZKw15519XE1c8xW/xJhPSWL7eOZTJKkBDO2O1zpFgcH4I9 EdXImyfIWVIVThRsP23KVLEN1iguxhYHwgoZHHIg/8m2ofqJAcpdeskGqKJYgS42 W/1yrPhuPOnHGOw4h9SSHthRNqWoEc1d/DHVpKgx3fkPmZVzQGKsJ8MI3jRNqpiu TCOe3V9XW1FSK7A18iQycNtv5zxePeUVHmMfgWkc4kqDsxtpn73LV7aVo3ZZrDWx BjS+dqWvlB0j1p9m1RYrgRQjQtzhJxIGDdjNUlVsaJ4EZEoCqWzPPiW/Xd4M2Ua/ 6RS74wC9T3tjqsA73wga2H80huDz0hsEo4e/mtGjXoHD7GrgnoHPBiQGHfbTzidV MKRdGOYhyqz82eOSnw6CitynK+tR3FKNexYospU4gdJy/R/6lmcKI3BfeUCt6+TI eg45Hd3ud2yX/QNO23fmi8oYeXVClvcUXtQubmyU2DAl87EXRbk= =SvuQ -----END PGP SIGNATURE-----home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?F34A8CEE-E3C5-4942-9543-698693B8FE7A>