Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 5 Aug 2023 14:40:41 -0700
From:      Mark Millard <marklmi@yahoo.com>
To:        meloun.michal@gmail.com
Cc:        freebsd-arm@freebsd.org
Subject:   Re: A native armv7 panic during kyua runs: sys/netinet6/exthdr:exthdr -> Fatal kernel mode data abort: 'Alignment Fault' on read
Message-ID:  <6F3ED262-F0EA-4FCA-AEF1-CD785E44E068@yahoo.com>
In-Reply-To: <8CDB7543-E21C-47BC-AB18-52D24ED855ED@yahoo.com>
References:  <BF9831C7-0E23-45F0-BF41-B72F2111F70B.ref@yahoo.com> <BF9831C7-0E23-45F0-BF41-B72F2111F70B@yahoo.com> <CANCZdfo=WMOWDwmd=gJ%2BF%2B_4gMwuFzM_61duTRzQxZmAqsA2fw@mail.gmail.com> <B4906F3E-A8AE-421A-8DE6-1A145796FCB0@yahoo.com> <466233a6-f904-f2f4-ac9e-7476965e97c2@gmail.com> <8CDB7543-E21C-47BC-AB18-52D24ED855ED@yahoo.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Aug 5, 2023, at 14:04, Mark Millard <marklmi@yahoo.com> wrote:

> On Aug 5, 2023, at 11:27, Michal Meloun <meloun.michal@gmail.com> =
wrote:
>=20
>> Hi Mark,
>> can you please try a this patch?
>> =
https://github.com/strejda/tegra/commit/bd4390c5f6a8b66b2fc83966d4fadb945a=
19dc23
>=20
> I'll take a stab at testing it.
>=20
> But I'll note that description of the patch is somewhat odd:
>=20
> QUOTE
> Pack IP structures directly used for access packet data.
> All structures used to access data in byte buffers shall be marked
> as packed. Otherwise, this is undefined behavior - formally on
> every platform.
> END QUOTE
>=20
> __packed (and whatever it might be a macro for) is not part of
> any vintage of the C standard, not even as explicitly
> implementation defined nor as explicitly undefined. (C23's
> "attribute specifier sequence" notation use would give an
> implementation defined status as an understand, but not via
> explicit identification of the concept of packed in the standard.)
> As far as the language is concerned, there is no guarantee that
> a code generator will ensure to break things up into aligned
> accesses with assembly of the overall value if the members are
> not aligned in the first place, __packed or not. Nor does the
> language guarantee pack of padding in the layout for __packed.
>=20
> Past that, it is toolchain specific if __packed would avoid
> unaligned accesses for simple member access notation bytes
> yet also avoid having pad bytes. We will see for this context.
> (My history suggests a lack of overall uniformity in the
> interpretations given to declaring struct's as packed --or
> analogous wording for other languages that are not explicit
> about it.)
>=20
>> I'm sorry, but I don't have the time or energy to fully test it... I =
only hope the actual patch is much easier than the one listed in =
PR271759.
>=20

[Older history deleted.]

No notable change in behavior, I'm afraid . . .

sys/netinet6/exthdr:exthdr  -> =20
Fatal kernel mode data abort: 'Alignment Fault' on read
trapframe: 0xc51fbaa0
FSR=3D00000001, FAR=3Ddaed4476, spsr=3D60000013
r0 =3Ddaf787c0, r1 =3Dc51fbb34, r2 =3D00000000, r3 =3D00000000
r4 =3D00000000, r5 =3D00000000, r6 =3Ddaed4476, r7 =3Ddaed4466
r8 =3Dc0965c3c, r9 =3D00000000, r10=3Ddb0e4400, r11=3Dc51fbb60
r12=3D00000000, ssp=3Dc51fbb30, slr=3Dc0b524c0, pc =3Dc04e8e78

panic: Fatal abort
cpuid =3D 1
time =3D 1691270886
KDB: stack backtrace:
db_trace_self() at db_trace_self
         pc =3D 0xc0661824  lr =3D 0xc007db80 =
(db_trace_self_wrapper+0x30)
         sp =3D 0xc51fb858  fp =3D 0xc51fb970
db_trace_self_wrapper() at db_trace_self_wrapper+0x30
         pc =3D 0xc007db80  lr =3D 0xc031a834 (vpanic+0x140)
         sp =3D 0xc51fb978  fp =3D 0xc51fb998
         r4 =3D 0x00000100  r5 =3D 0x00000000
         r6 =3D 0xc07c5a9a  r7 =3D 0xc0b36e58
vpanic() at vpanic+0x140
         pc =3D 0xc031a834  lr =3D 0xc031a6f4 (vpanic)
         sp =3D 0xc51fb9a0  fp =3D 0xc51fb9a4
         r4 =3D 0xc51fbaa0  r5 =3D 0x00000013
         r6 =3D 0xdaed4476  r7 =3D 0x00000001
         r8 =3D 0x00000001  r9 =3D 0xdaf787c0
        r10 =3D 0xdaed4476
vpanic() at vpanic
         pc =3D 0xc031a6f4  lr =3D 0xc0686ddc (abort_align)
         sp =3D 0xc51fb9ac  fp =3D 0xc51fb9d8
         r4 =3D 0x00000001  r5 =3D 0x00000001
         r6 =3D 0xdaf787c0  r7 =3D 0xdaed4476
         r8 =3D 0xc51fb9a4  r9 =3D 0xc031a6f4
        r10 =3D 0xc51fb9ac
abort_align() at abort_align
         pc =3D 0xc0686ddc  lr =3D 0xc0686e50 (abort_align+0x74)
         sp =3D 0xc51fb9e0  fp =3D 0xc51fb9f8
         r4 =3D 0x00000013 r10 =3D 0xdaed4476
abort_align() at abort_align+0x74
         pc =3D 0xc0686e50  lr =3D 0xc0686aa8 (abort_handler+0x45c)
         sp =3D 0xc51fba00  fp =3D 0xc51fba98
         r4 =3D 0x00000000 r10 =3D 0xdaed4476
abort_handler() at abort_handler+0x45c
         pc =3D 0xc0686aa8  lr =3D 0xc06640d8 (exception_exit)
         sp =3D 0xc51fbaa0  fp =3D 0xc51fbb60
         r4 =3D 0x00000000  r5 =3D 0x00000000
         r6 =3D 0xdaed4476  r7 =3D 0xdaed4466
         r8 =3D 0xc0965c3c  r9 =3D 0x00000000
        r10 =3D 0xdb0e4400
exception_exit() at exception_exit
         pc =3D 0xc06640d8  lr =3D 0xc0b524c0 (__pcpu+0x200)
         sp =3D 0xc51fbb30  fp =3D 0xc51fbb60
         r0 =3D 0xdaf787c0  r1 =3D 0xc51fbb34
         r2 =3D 0x00000000  r3 =3D 0x00000000
         r4 =3D 0x00000000  r5 =3D 0x00000000
         r6 =3D 0xdaed4476  r7 =3D 0xdaed4466
         r8 =3D 0xc0965c3c  r9 =3D 0x00000000
        r10 =3D 0xdb0e4400 r12 =3D 0x00000000
in6ifa_ifwithaddr() at in6ifa_ifwithaddr+0x30
         pc =3D 0xc04e8e78  lr =3D 0xc04fb338 (ip6_input+0xd38)
         sp =3D 0xc51fbb68  fp =3D 0xc51fbc28
         r4 =3D 0xdaed4476  r5 =3D 0xdaed445e
         r6 =3D 0x00000000  r7 =3D 0xdaed4466
ip6_input() at ip6_input+0xd38
         pc =3D 0xc04fb338  lr =3D 0xc046d66c (netisr_dispatch_src+0xf8)
         sp =3D 0xc51fbc30  fp =3D 0xc51fbc58
         r4 =3D 0xdaed4400  r5 =3D 0x00000006
         r6 =3D 0x00000001  r7 =3D 0xc0b4dd50
         r8 =3D 0xdaf9d900  r9 =3D 0xdaed4400
        r10 =3D 0x00000086
netisr_dispatch_src() at netisr_dispatch_src+0xf8
         pc =3D 0xc046d66c  lr =3D 0xc04641b0 (ether_demux+0x18c)
         sp =3D 0xc51fbc60  fp =3D 0xc51fbc78
         r4 =3D 0x00000006  r5 =3D 0x00001201
         r6 =3D 0xdb0e4400  r7 =3D 0x000000ff
         r8 =3D 0xdaf9d900  r9 =3D 0xdaed4400
        r10 =3D 0x00000086
ether_demux() at ether_demux+0x18c
         pc =3D 0xc04641b0  lr =3D 0xc0465880 (ether_nh_input+0x490)
         sp =3D 0xc51fbc80  fp =3D 0xc51fbce0
         r4 =3D 0xdb0e4400  r5 =3D 0xdaed4400
         r6 =3D 0xdaed4450 r10 =3D 0x00000086
ether_nh_input() at ether_nh_input+0x490
         pc =3D 0xc0465880  lr =3D 0xc046d66c (netisr_dispatch_src+0xf8)
         sp =3D 0xc51fbce8  fp =3D 0xc51fbd10
         r4 =3D 0xdaed4400  r5 =3D 0x00000005
         r6 =3D 0x00000003  r7 =3D 0xc0b4dd30
         r8 =3D 0xdaf9d900  r9 =3D 0xdaed4400
        r10 =3D 0xc098f58f
netisr_dispatch_src() at netisr_dispatch_src+0xf8
         pc =3D 0xc046d66c  lr =3D 0xc04645c4 (ether_input+0x50)
         sp =3D 0xc51fbd18  fp =3D 0xc51fbd48
         r4 =3D 0xdaed4400  r5 =3D 0x00000000
         r6 =3D 0x00008803  r7 =3D 0x00000000
         r8 =3D 0xdaf9d900  r9 =3D 0xdaed4400
        r10 =3D 0xc098f58f
ether_input() at ether_input+0x50
         pc =3D 0xc04645c4  lr =3D 0xdffb3f08 ($a.10+0x108)
         sp =3D 0xc51fbd50  fp =3D 0xc51fbd78
         r4 =3D 0xdb0e4400  r5 =3D 0xdaff4000
         r6 =3D 0xdaff4010  r7 =3D 0x00000000
         r8 =3D 0x00000000 r10 =3D 0xc098f58f
$a.10() at $a.10+0x108
         pc =3D 0xdffb3f08  lr =3D 0xc038cb2c =
(taskqueue_run_locked+0x1c4)
         sp =3D 0xc51fbd80  fp =3D 0xc51fbdd8
         r4 =3D 0xdaff2100  r5 =3D 0xdaff402c
         r6 =3D 0xdaff2150  r7 =3D 0x00000001
         r8 =3D 0x00000000  r9 =3D 0xc51fbd90
        r10 =3D 0x00000001
taskqueue_run_locked() at taskqueue_run_locked+0x1c4
         pc =3D 0xc038cb2c  lr =3D 0xc038e4e4 =
(taskqueue_thread_loop+0x1b0)
         sp =3D 0xc51fbde0  fp =3D 0xc51fbe10
         r4 =3D 0xdaff2100  r5 =3D 0xdaff2140
         r6 =3D 0xc07b18c4  r7 =3D 0x00000000
         r8 =3D 0xc098f58f  r9 =3D 0x00000100
        r10 =3D 0xc0b268a0
taskqueue_thread_loop() at taskqueue_thread_loop+0x1b0
         pc =3D 0xc038e4e4  lr =3D 0xc02cdf0c (fork_exit+0xc0)
         sp =3D 0xc51fbe18  fp =3D 0xc51fbe38
         r4 =3D 0xdaf787c0  r5 =3D 0xc0b264e0
         r6 =3D 0xc038e334  r7 =3D 0xdffc4f54
         r8 =3D 0xc51fbe40  r9 =3D 0xc098f591
fork_exit() at fork_exit+0xc0
         pc =3D 0xc02cdf0c  lr =3D 0xc066406c (swi_exit)
         sp =3D 0xc51fbe40  fp =3D 0x00000000
         r4 =3D 0xc038e334  r5 =3D 0xdffc4f54
         r6 =3D 0xc0b48d84  r7 =3D 0xd73bd3e0
         r8 =3D 0x00000001 r10 =3D 0xc0b268a0
swi_exit() at swi_exit
         pc =3D 0xc066406c  lr =3D 0xc066406c (swi_exit)
         sp =3D 0xc51fbe40  fp =3D 0x00000000
KDB: enter: panic
[ thread pid 0 tid 100226 ]


I've just restored the sources involved but still have
the .diff I that got via github.




=3D=3D=3D
Mark Millard
marklmi at yahoo.com




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6F3ED262-F0EA-4FCA-AEF1-CD785E44E068>