[Barrelfish-users] bug report about use -O0 compile skb
Wangjintang
wangjintang at huawei.com
Mon Dec 3 13:45:22 CET 2012
Hi,
Use qemu in x86_64, if use -O0 to compile skb then will have error. And use -O2 to compile will be ok.
Env: gcc version 4.4.5 (Debian 4.4.5-8)
Linux amd64 2.6.32-5-amd64 #1 SMP Sun Sep 23 10:07:46 UTC 2012 x86_64 GNU/Linux
Information:
Kernel starting at address 0xffffff8004b30000
Barrelfish CPU driver starting on x86_64 apic_id 0
kernel 0: Measured 999998582 APIC timer counts in one RTC second, 1873802 data points.
kernel 0: Measured 2399894 TSC counts per ms, 99 data points. Average jitter 1290 TSC ticks.
spawn_module
Raw MMAP from BIOS
0x00000000 - 0x0009f400 Type: 1 Length: 0x9f400
0x0009f400 - 0x000a0000 Type: 2 Length: 0xc00
0x000f0000 - 0x00100000 Type: 2 Length: 0x10000
0x00100000 - 0x3fffd000 Type: 1 Length: 0x3fefd000
0x3fffd000 - 0x40000000 Type: 2 Length: 0x3000
0xfffc0000 - 0x100000000 Type: 2 Length: 0x40000
Sorted MMAP
0x00000000 - 0x0009f400 Type: 1 Length: 0x9f400
0x0009f400 - 0x000a0000 Type: 2 Length: 0xc00
0x000f0000 - 0x00100000 Type: 2 Length: 0x10000
0x00100000 - 0x3fffd000 Type: 1 Length: 0x3fefd000
0x3fffd000 - 0x40000000 Type: 2 Length: 0x3000
0xfffc0000 - 0x100000000 Type: 2 Length: 0x40000
Preprocessed MMAP
0x00000000 - 0x0009f400 Type: 1 Length: 0x9f400
0x0009f400 - 0x000a0000 Type: 2 Length: 0xc00
0x000f0000 - 0x00100000 Type: 2 Length: 0x10000
0x00100000 - 0x3fffd000 Type: 1 Length: 0x3fefd000
0x3fffd000 - 0x40000000 Type: 2 Length: 0x3000
0xfffc0000 - 0x100000000 Type: 2 Length: 0x40000
Pagealigned MMAP
0x00000000 - 0x0009f000 Type: 1 Length: 0x9f000
0x0009f000 - 0x000a0000 Type: 2 Length: 0x1000
0x000f0000 - 0x00100000 Type: 2 Length: 0x10000
0x00100000 - 0x3fffd000 Type: 1 Length: 0x3fefd000
0x3fffd000 - 0x40000000 Type: 2 Length: 0x3000
0xfffc0000 - 0x100000000 Type: 2 Length: 0x40000
init: invoked as: init 2097152
Spawning memory server (x86_64/sbin/mem_serv)...
Spawning monitor (x86_64/sbin/monitor)...
monitor: invoked as: x86_64/sbin/monitor 327680
RAM allocator initialised, 922 MB (of 938 MB) available
Spawning ramfsd on core 0
ramfsd.0: pre-populating from boot image...
ramfsd.0: unpacking Gzipped CPIO /skb_ramfs.cpio.gz
ramfsd.0: ready
Spawning skb on core 0
skb_service: before ec init
kernel 0: user trap #13 in 'skb': IP 29312c656c75646f, error 0
Can't deliver exception to thread: handler not set
skb: unhandled trap (IRQ 13, error code 0x0) at IP 29312c656c75646f
skb.0: 29312c656c75646f rip
skb.0: 78e578 rsp
skb.0: 78e5c0 rbp
skb.0: 790e50 rax
skb.0: 7a1070 rbx
skb.0: 400 rcx
skb.0: 807d9830 rdx
skb.0: 790e50 rdi
skb.0: 7a1070 rsi
skb.0: 78e5f8 r8
skb.0: 29312c656c75646f r9
skb.0: 483ad8 r10
skb.0: 206 r11
skb.0: 807d982c r12
skb.0: 807d9c2c r13
skb.0: 754380 r14
skb.0: 8181b110 r15
skb.0: 206 eflags
skb.0: 17 fs
skb.0: 0 gs
skb.0: Dumping stack (0x78e578)...
skb.0: Dumping memory in range 0x7922552 to 0x7923576:
skb.0: 0x78e378: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e380: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e388: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e390: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e398: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3a0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3a8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3b0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3b8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3c0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3c8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3d0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3d8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3e0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3e8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3f0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e3f8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e400: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e408: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e410: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e418: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e420: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e428: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e430: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e438: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e440: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e448: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e450: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e458: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e460: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e468: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e470: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e478: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e480: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e488: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e490: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e498: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4a0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4a8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4b0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4b8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4c0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4c8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4d0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4d8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4e0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4e8: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e4f0: 80 9c b0 81 00 00 00 00 81b09c80
skb.0: 0x78e4f8: 0c e6 78 00 00 00 00 00 78e60c
skb.0: 0x78e500: 01 00 00 00 b0 04 00 00 4b000000001
skb.0: 0x78e508: 20 84 7c 80 00 00 00 00 807c8420
skb.0: 0x78e510: d0 c4 7d 81 00 00 00 00 817dc4d0
skb.0: 0x78e518: 00 00 00 00 01 00 00 00 100000000
skb.0: 0x78e520: 00 00 00 00 64 68 01 00 1686400000000
skb.0: 0x78e528: 9d 97 7c 80 00 00 00 00 807c979d
skb.0: 0x78e530: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e538: 48 84 7c 80 00 00 00 00 807c8448
skb.0: 0x78e540: 30 51 7d 80 00 00 00 00 807d5130
skb.0: 0x78e548: a0 5a 7d 80 00 00 00 00 807d5aa0
skb.0: 0x78e550: 0a 00 00 00 29 00 00 00 290000000a
skb.0: 0x78e558: 2b 9c 7d 80 00 00 00 00 807d9c2b
skb.0: 0x78e560: 0b 00 00 00 00 00 00 00 b
skb.0: 0x78e568: 3d d0 43 00 00 00 00 00 43d03d
skb.0: 0x78e570: 10 00 00 00 00 00 00 00 10
skb.0: 0x78e578: 07 e8 55 00 00 00 00 00 55e807
skb.0: 0x78e580: f8 e5 78 00 00 00 00 00 78e5f8
skb.0: 0x78e588: 00 04 00 00 00 00 00 00 400
skb.0: 0x78e590: 30 98 7d 80 00 00 00 00 807d9830
skb.0: 0x78e598: 70 10 7a 00 00 00 00 00 7a1070
skb.0: 0x78e5a0: 70 10 7a 00 00 00 00 00 7a1070
skb.0: 0x78e5a8: 70 0f 79 00 00 00 00 00 790f70
skb.0: 0x78e5b0: 00 00 00 00 00 00 00 00 0
skb.0: 0x78e5b8: 30 98 7d 80 00 00 00 00 807d9830
skb.0: 0x78e5c0: 20 e6 78 00 00 00 00 00 78e620
skb.0: 0x78e5c8: f4 f9 56 00 00 00 00 00 56f9f4
skb.0: 0x78e5d0: 90 6d 7e 81 00 00 00 00 817e6d90
skb.0: 0x78e5d8: 00 04 00 00 00 00 00 00 400
Regards,
jintang
More information about the Barrelfish-users
mailing list