From nobody Mon Feb 20 23:21:15 2023 X-Original-To: freebsd-arm@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 4PLJMf0YJ7z3scFM for ; Mon, 20 Feb 2023 23:21:34 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic304-25.consmr.mail.gq1.yahoo.com (sonic304-25.consmr.mail.gq1.yahoo.com [98.137.68.206]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4PLJMd259Cz3xkd for ; Mon, 20 Feb 2023 23:21:33 +0000 (UTC) (envelope-from marklmi@yahoo.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=yahoo.com header.s=s2048 header.b=Pk6+WiHl; spf=pass (mx1.freebsd.org: domain of marklmi@yahoo.com designates 98.137.68.206 as permitted sender) smtp.mailfrom=marklmi@yahoo.com; dmarc=pass (policy=reject) header.from=yahoo.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1676935290; bh=4IsbFcB9DkY0rEVstti2KKtRz9Qjqy4cVhzPDAj6DuY=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject:Reply-To; b=Pk6+WiHlGPZfeqXMLUwmS2CcltHAJcSn6znI+FX/gVO6g4kWN3o8aj97x2/o5D9PzLKnOwfhtHXLtx/vQUPnyGI9/INbrHyGVM4+qcaxFK7ulTujNbwVRYuIUU+Gi94eTs++rqGcFXyCaXucWtxFgNfO1jXTpqImsLONHz251pRlOdFUwDLf8W7PKU98o/SydFCRSmaeW3u2cvxz1OLjKv0ome5aGFIEjiVI44dF/9Q+svsbga/3BmnU/RUwdwSNPxcjaXU6/g9ofw+okYlLSwDS3vwkQukvsbKaBNx7G9pCvAuVdHsLh4pCoAWz9AO8yOhLCFLSydXO37pgqbvf/Q== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1676935290; bh=cZSN+3zx2L8VqCYqQ4a1uMg34v5BUX5z13TZJZOu6u+=; h=X-Sonic-MF:Subject:From:Date:To:From:Subject; b=cuXSknebNsQENO7yKqARnC5BAWvWjQncEivYy+r3QXQAKjLaMv2GBuoEcFXoiAhsCQevzMZ7gzw+eNCnwWbfzKbV4SVJbEcVc7L5T7tNDocmOGAbAnb3swaFTvwpdxWJNGEIX+/0mArMs44LMRYUYt1cgCZbBVWZVIv/wP9nW4/vXeS9ilgafi/eeNjtk9JcBKBrOQOUx/KP2mfxP+X7TAn/6uPEVZQ34TJAO0x8gAQWcoxx7Ol4JOO+TfYEEzG8TI+Uv+FBrPtm7IKc3BUtcPOgL9j+lK+eTYMugxE8HFmofBr7m0u889yBNdSvaCpeX7l6/EsrOEbeCvmvbQrckA== X-YMail-OSG: GeWix9kVM1l95oj1oLRK78HZTCnWIECme0vY3CCEvT_fBznZ1PS6aoC33l9Z1vt k2lv6w5q.wPOnmVWvPLpkfpBrkX4a1p7lWxCfbfI1wl5pvY6Db.BcDA75TROy6eIyjPQGjKeQ6we kZfKHNlIGWFmTreyN6B67NPNGqZUV7y_w1xDhTYoe9cLhSOXLlsF_9f4mSOZ.HhTcimBL4iKDuP3 udgnVo4Isu5E1hGpGR3w.eaJU2dQ1xRehX8M5sH1CHTt8p5lJ01BXpXgozS1WX5wnkBHgpeMRfMK xLTEcH4js2eEZ8mQ46umxTdItFh0J83HVOPHygr_A_gW6DW.fhV362NpntH_nkux1WT6fmZv6INU UotaNZOtefUoxLL8lHFO75FD2wlZOvgmqfSYHdXOYaP3g4zTtqcQtGLrRgpWSqJJrRM.j8dcNdRG qwD0Zs0NOb272lnTW1bqU2zQ22bwnKfDepwLs6vXLOwFI6.glwXaTLfNv96PT3IHzzcAGsKMuKaq ARbJTxvUY1nhKaYQbkydF1Jjdgzw_TnfncW5zLYc72eMZS2_2JQI16VYf3Xpvjh2Oak3J0zI3O7F 5qqq7HFLVptdBOqcS.em0g9uiCk9UR_UZk.mDw8vORRfQAcoU2Pw9EYkuU8KhxqecZXH2EHR0ae. 0PYcXjiF5A66DmovRP822.okaHbYsfuWhtKD_UFu.bfDsyeWO8mKeFs20yITyEZVfk.tVsaYDXlS gT4ieTLSpFpjnTLGix0xOnAPcdvetsXl39kjZkFiuzGo2VN_SoN5ruKWWGNfG8R2zVup56r0VXjd 2r_FRg7KcMuJG.W44zTiYssQLuy4uVEvRvZRjK8KeA3EIQGpV0a5G6FNb5d96G4mNtgg7lUz7hzS R83insc4JYbvmKew9Pumc5hx9RmizkN0bAk1sNhJ_sKCLB.FqwRu28AXcsKjLNg5cGod0GtjpX1f ik5TIZSYNtwbL5FosqIad3UyjScjBhd9eECJwfE6UXSn21vqJOaOA2Nn3EQVnnYNmd6jf970bzjv 7ydKS5wTtXgFPL1D5EOSRZ3VzrAJEAAF99IpZopYFG6.R5TUGW3PmZXUcY7.LF2Rh20eDExxwpPl Z4ETXgHoYzyaEAVGba0QpMUTmR7q6AtoRRSMtFpvfsalozB6VcmhidpU5R0XKNRpk.Sx1OTRSpj9 CcqIsyXK1TDSjuceXa_4cWNnXdW8qZF9sYrzuiQBki69fBrx0ZDhtjso3E9tvAfb0RBOLX2AUIBt hMIGV701YykSdR3mkl2QiUsj4uA3Z_g927T.Q3_PXNnAqKIByCSyd1ulATtx1NlhJrj9TloktdUS x9RYLyeBgmLiw58HYgBHNnhOietQcH7LteovePhvab5Zi41LyojxWUZ7OcFENfNDPmswXSJ.fjeX 85LeAvekLWoKs.Enrq6CuDu6RiK0wipVUu.m_wPAKUeP8kPoj_Wh2oYvVEr3WmdutA3eoKUqG84J d86s8AJ.QRIUFgtFaMfqB_A5l844NS38SAzNvlFGc1ouj.6NNAYu4XR5qcWQXRbIhyziIhktZD1f lUajQIlRIB0XbKAdDscm_gTMZhvL65eb34grV7bNXmjgIt5qzl7hvT74RLp8H9mCneeQLRbIbEUX JXBTp8SZ_iLBf2obbY3umf4Q6glB.8cT1HiqPoarOpcuE1yO_7x_TZmh_Xft8fYbCjuy.ZdUM9Z9 F0FnknjSIpBUYNSDg8Sqmbx6gF42.Hy6tKLW4s8hq0QeUXMb5doaqf7nbGnyxGt2a1gezJsD0.vp pXR00gd3dn0rZYSqqU9MXmMK7gUrKOggngZoI35KrRi3rf.c.KanfcIJFzQhgNEFz6VdXHEeJNkP Ztx0ulTBXpcRotfK28Fxj2NEKE2B8L5kIVqrcN2du7XdFUkyYMlIZH1_xc0UWvw5Xarz89sYro.6 Upi3gW7VD5xJAqI3C7IJmSA8LoQcFO.5A74ipBxFOf7onaRpujDylpoeQT6F56XDMSYzg8j6Rr_g mwcWZthx8uX2M_l1Sk1jD2EHI1n_.2P3hDtm3mDfH19IY7QmEhOiL9FtDgVlSQrmYubwY3A6sFGm 2qDo._wemIXaM5TWqMM1ZgZcXYTVTvbrnK9CzLbZsBMd1zmhbsWlSFkZZiQJS9CcRKfWISVMGogF _ngzgCcUhMs6O21dtEXW1OfeM72RuTLhG6EhwKnBvq6sn_vPKvkZ_wQKQ.pgxhD.9r3.QmxK6jSd hirlMm2Xbo2yrcyOAqYKxiUlEvs80J72APsNneeGTl6yRHLwDyQDF_QPBfXclwAdaetyS3X0Xqh0 u8A-- X-Sonic-MF: Received: from sonic.gate.mail.ne1.yahoo.com by sonic304.consmr.mail.gq1.yahoo.com with HTTP; Mon, 20 Feb 2023 23:21:30 +0000 Received: by hermes--production-gq1-655ddccc9-l45xf (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 25d2183bf91763f4c566eaf083f3af30; Mon, 20 Feb 2023 23:21:26 +0000 (UTC) Content-Type: text/plain; charset=us-ascii List-Id: Porting FreeBSD to ARM processors List-Archive: https://lists.freebsd.org/archives/freebsd-arm List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-arm@freebsd.org Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3731.400.51.1.1\)) Subject: Re: Armv7 panic on -current, rpi2 buildworld From: Mark Millard In-Reply-To: <71350653-9B4B-4570-A2E4-06CF25A66923@yahoo.com> Date: Mon, 20 Feb 2023 15:21:15 -0800 Cc: =?utf-8?Q?Kornel_Dul=C4=99ba?= , bob prohaska , "freebsd-arm@freebsd.org" Content-Transfer-Encoding: quoted-printable Message-Id: <61F904C8-5F01-4E55-B93F-84A569539F43@yahoo.com> References: <20230215025741.GA32086@www.zefox.net> <71350653-9B4B-4570-A2E4-06CF25A66923@yahoo.com> To: Andrew Turner X-Mailer: Apple Mail (2.3731.400.51.1.1) X-Spamd-Result: default: False [-3.50 / 15.00]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_SHORT(-1.00)[-0.997]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; MV_CASE(0.50)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; MIME_GOOD(-0.10)[text/plain]; TO_DN_EQ_ADDR_SOME(0.00)[]; ARC_NA(0.00)[]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; TO_MATCH_ENVRCPT_SOME(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com:dkim]; RCVD_IN_DNSWL_NONE(0.00)[98.137.68.206:from]; MID_RHS_MATCH_FROM(0.00)[]; ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US]; MLMMJ_DEST(0.00)[freebsd-arm@freebsd.org]; FREEMAIL_FROM(0.00)[yahoo.com]; TO_DN_SOME(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCVD_TLS_LAST(0.00)[]; RCVD_COUNT_THREE(0.00)[3]; FROM_EQ_ENVFROM(0.00)[]; DKIM_TRACE(0.00)[yahoo.com:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; MIME_TRACE(0.00)[0:+]; RWL_MAILSPIKE_POSSIBLE(0.00)[98.137.68.206:from] X-Rspamd-Queue-Id: 4PLJMd259Cz3xkd X-Spamd-Bar: --- X-ThisMailContainsUnwantedMimeParts: N On Feb 20, 2023, at 09:08, Mark Millard wrote: > On Feb 20, 2023, at 04:32, Andrew Turner wrote: >=20 >> Can you try with 24abb6b82102eec577eff9bd8dd7726e8cab89f4? There were = conditional branch instructions that may mean the function to save the = VFP state was not being run. >>=20 >> Andrew >=20 > I had eventually produced 3 programs showing different failed > results, 2 KASSERT panics and one example of floating point > data from the wrong thread eventually showing up (but no > KASSERT for the test sequence). >=20 > I've tested the later one via an armv7 kernel that > has: >=20 > c0681a2c : > c0681a2c: e92d4000 stmdb sp!, {lr} > c0681a30: e24dd004 sub sp, sp, #4 > c0681a34: e2803000 add r3, r0, #0 > c0681a38: e883fff0 stm r3, {r4, r5, r6, r7, r8, r9, r10, r11, = r12, sp, lr, pc} > c0681a3c: e1a01000 mov r1, r0 > c0681a40: e3a00000 mov r0, #0 > c0681a44: eb000b10 bl 0xc068468c @ imm =3D = #11328 > c0681a48: e28dd004 add sp, sp, #4 > c0681a4c: e8bd8000 ldm sp!, {pc} >=20 > and it still fails: >=20 > # g++12 -std=3Dc++20 -pedantic -g -O3 -pthread = -Wl,-rpath=3D/usr/local/lib/gcc12 dbl_and_ull_multithread.cpp > # ./a.out > Thread 1: 23618687.000000 !=3D 4503599659991211 > ^C >=20 > The left hand side for Thread 1 should have had the huge value > too. Thread 0 has the smaller floating point/unsigned long long > values (that should be mathematically equal in the thread at > the point that they are tested). The two threads are independent > of each other but are doing the same type of loop --over > different numeric ranges. >=20 > So it looks like "necessary but not suffient" for that > test. (I'll leave the code change in place, as I doubt that > it is wrong.) >=20 > Given Kornel D.'s already existing notes, I did not expect > either KASSERT failure to be fixed by just this "fixed to be bl" > change. >=20 > (This test was done as part of my already started multi-system > environment upgrade sequence from 1400079 based to 1400081 based > after a tmpfs fix. So I patched the kernel source that I'd > already synchronized the source tree to [somewhat older from > yesterday].) >=20 > . . . >=20 With the savectx blne -> bl change, D38696.diff, and D38698.diff all = applied, all the activities with all 3 of my small example programs for the armv7 = floating point related problems look to be working just fine: no KASSERT's ( = simple_dbl.c and dbl_and_ull_via_async.cpp activities) and no odd values showing up = in a thread ( dbl_and_ull_multithread.cpp runs for minutes at a time). =3D=3D=3D Mark Millard marklmi at yahoo.com