[Barrelfish-users] Barrelfish on hardware waiting for serial
Manuel Stocker
mensi at vis.ethz.ch
Thu Jun 14 20:54:46 CEST 2012
Hi Shawn,
Disclaimer: It has been some time since I have looked at the mmap code,
so this could be complete nonsense, but I hope others will correct me if
I'm wrong ;)
If you look at the MMAP, you can see that the first and second sections
have been page-aligned. It could be that the ACPI code tries to map the
second memory section without page-aligning it first, which could fail.
When I wrote the MMAP fixup code last year, it helped on some DELL
hardware. You could try commenting out the whole MMAP fixup part, since
your MMAP seems to look fine otherwise.
If it still doesn't work, it's probably a problem in the ACPI code and
memory mapping the ACPI regions, where others probably have more
experience than me.
cheers,
Manuel
Am 14.06.2012 19:37, schrieb Shawn Furrow:
> Well, I have added the bomp benchmarks to it and it no longer hangs up
> at the "skb.0:waiting for: serial" message. However, I am still getting
> the ram_alloc error. So I guess I am low on memory? My machine has 16GB
> of memory. You would think that would be enough but maybe since it has
> 48 cores that there is not enough memory to load everything.
>
> Here is my menu.lst:
>
> default 0
> timeout 5
>
> title Barrelfish
> ifconfig --address=10.1.1.29 --server=10.1.1.25
> root (nd)/barrelfish/
> kernel (nd)/barrelfish/x86_64/sbin/elver loglevel=4
> module (nd)/barrelfish/x86_64/sbin/cpu loglevel=4
> module (nd)/barrelfish/x86_64/sbin/init
>
> # Domains spawned by init
> module (nd)/barrelfish/x86_64/sbin/mem_serv
> module (nd)/barrelfish/x86_64/sbin/monitor
>
> # Special boot time domains spawned by monitor
> module (nd)/barrelfish/x86_64/sbin/ramfsd boot
> module (nd)/barrelfish/x86_64/sbin/skb boot
> modulenounzip (nd)/barrelfish/skb_ramfs.cpio.gz nospawn
> module (nd)/barrelfish/x86_64/sbin/kaluga boot
> module (nd)/barrelfish/x86_64/sbin/acpi boot
> module (nd)/barrelfish/x86_64/sbin/spawnd boot
> #bootapic-x86_64=1-15
> module (nd)/barrelfish/x86_64/sbin/startd boot
> module (nd)/barrelfish/x86_64/sbin/routing_setup boot
>
> # Drivers
> module (nd)/barrelfish/x86_64/sbin/pci auto
> module (nd)/barrelfish/x86_64/sbin/ahcid auto
> module (nd)/barrelfish/x86_64/sbin/rtl8029 auto
> module (nd)/barrelfish/x86_64/sbin/e1000n auto
> module (nd)/barrelfish/x86_64/sbin/NGD_mng auto
> module (nd)/barrelfish/x86_64/sbin/netd auto
>
> # General user domains
> module (nd)/barrelfish/x86_64/sbin/serial
> module (nd)/barrelfish/x86_64/sbin/fish
>
> # Benchmarks
> module (nd)/barrelfish/x86_64/sbin/bomp_benchmark_is
> module (nd)/barrelfish/x86_64/sbin/bomp_benchmark_cg
> module (nd)/barrelfish/x86_64/sbin/bomp_benchmark_ft
>
> Here is my complete boot output from the serial port:
>
> Kernel starting at address 0xffffff8008780000
> Barrelfish CPU driver starting on x86_64 apic_id 16
> kernel 0: Measured 200006784 APIC timer counts in one RTC second, 263928
> data points.
> kernel 0: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 14 TSC ticks.
> Raw MMAP from BIOS
> 0x00000000 - 0x0009e800 Type: 1 Length: 0x9e800
> 0x0009e800 - 0x000a0000 Type: 2 Length: 0x1800
> 0x000e8000 - 0x00100000 Type: 2 Length: 0x18000
> 0x00100000 - 0xd7e60000 Type: 1 Length: 0xd7d60000
> 0xd7e6e000 - 0xd7e70000 Type: 9 Length: 0x2000
> 0xd7e70000 - 0xd7e94000 Type: 3 Length: 0x24000
> 0xd7e94000 - 0xd7ec0000 Type: 4 Length: 0x2c000
> 0xd7ec0000 - 0xd7ee0000 Type: 2 Length: 0x20000
> 0xd7eed000 - 0xd7f00000 Type: 2 Length: 0x13000
> 0xd7f00000 - 0xd8000000 Type: 2 Length: 0x100000
> 0xe0000000 - 0xf0000000 Type: 2 Length: 0x10000000
> 0xffe00000 - 0x100000000 Type: 2 Length: 0x200000
> 0x100000000 - 0x428000000 Type: 1 Length: 0x328000000
> Sorted MMAP
> 0x00000000 - 0x0009e800 Type: 1 Length: 0x9e800
> 0x0009e800 - 0x000a0000 Type: 2 Length: 0x1800
> 0x000e8000 - 0x00100000 Type: 2 Length: 0x18000
> 0x00100000 - 0xd7e60000 Type: 1 Length: 0xd7d60000
> 0xd7e6e000 - 0xd7e70000 Type: 9 Length: 0x2000
> 0xd7e70000 - 0xd7e94000 Type: 3 Length: 0x24000
> 0xd7e94000 - 0xd7ec0000 Type: 4 Length: 0x2c000
> 0xd7ec0000 - 0xd7ee0000 Type: 2 Length: 0x20000
> 0xd7eed000 - 0xd7f00000 Type: 2 Length: 0x13000
> 0xd7f00000 - 0xd8000000 Type: 2 Length: 0x100000
> 0xe0000000 - 0xf0000000 Type: 2 Length: 0x10000000
> 0xffe00000 - 0x100000000 Type: 2 Length: 0x200000
> 0x100000000 - 0x428000000 Type: 1 Length: 0x328000000
> Preprocessed MMAP
> 0x00000000 - 0x0009e800 Type: 1 Length: 0x9e800
> 0x0009e800 - 0x000a0000 Type: 2 Length: 0x1800
> 0x000e8000 - 0x00100000 Type: 2 Length: 0x18000
> 0x00100000 - 0xd7e60000 Type: 1 Length: 0xd7d60000
> 0xd7e6e000 - 0xd7e70000 Type: 9 Length: 0x2000
> 0xd7e70000 - 0xd7e94000 Type: 3 Length: 0x24000
> 0xd7e94000 - 0xd7ec0000 Type: 4 Length: 0x2c000
> 0xd7ec0000 - 0xd7ee0000 Type: 2 Length: 0x20000
> 0xd7eed000 - 0xd7f00000 Type: 2 Length: 0x13000
> 0xd7f00000 - 0xd8000000 Type: 2 Length: 0x100000
> 0xe0000000 - 0xf0000000 Type: 2 Length: 0x10000000
> 0xffe00000 - 0x100000000 Type: 2 Length: 0x200000
> 0x100000000 - 0x428000000 Type: 1 Length: 0x328000000
> Pagealigned MMAP
> 0x00000000 - 0x0009e000 Type: 1 Length: 0x9e000
> 0x0009e000 - 0x000a0000 Type: 2 Length: 0x2000
> 0x000e8000 - 0x00100000 Type: 2 Length: 0x18000
> 0x00100000 - 0xd7e60000 Type: 1 Length: 0xd7d60000
> 0xd7e6e000 - 0xd7e70000 Type: 9 Length: 0x2000
> 0xd7e70000 - 0xd7e94000 Type: 3 Length: 0x24000
> 0xd7e94000 - 0xd7ec0000 Type: 4 Length: 0x2c000
> 0xd7ec0000 - 0xd7ee0000 Type: 2 Length: 0x20000
> 0xd7eed000 - 0xd7f00000 Type: 2 Length: 0x13000
> 0xd7f00000 - 0xd8000000 Type: 2 Length: 0x100000
> 0xe0000000 - 0xf0000000 Type: 2 Length: 0x10000000
> 0xffe00000 - 0x100000000 Type: 2 Length: 0x200000
> 0x100000000 - 0x428000000 Type: 1 Length: 0x328000000
> kernel 0: unhandled IRQ 7
> 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, 16221 MB (of 16237 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
> Spawning (nd)/barrelfish/x86_64/sbin/kaluga on core 0
> Spawning (nd)/barrelfish/x86_64/sbin/acpi on core 0
> Spawning (nd)/barrelfish/x86_64/sbin/spawnd on core 0
> Spawning (nd)/barrelfish/x86_64/sbin/startd on core 0
> Spawning (nd)/barrelfish/x86_64/sbin/routing_setup on core 0
> Kaluga running.
> skb.0: waiting for: skb
> skb.0: waiting for: all_spawnds_up
> kernel: 0: installing handler for IRQ 0
> Monitor 0: booting x86_64 core 1 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8018001000
> Barrelfish CPU driver starting on x86_64 apic_id 17
> Installing fixed event handler for power button
> Installing notify handler for power/sleep button
> kernel 1: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 1
> Monitor 0: booting x86_64 core 2 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8019001000
> Barrelfish CPU driver starting on x86_64 apic_id 18
> kernel 2: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 2
> Monitor 0: booting x86_64 core 3 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff801b001000
> Barrelfish CPU driver starting on x86_64 apic_id 19
> kernel 3: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 3
> Monitor 0: booting x86_64 core 4 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff801c001000
> Barrelfish CPU driver starting on x86_64 apic_id 20
> kernel 4: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 19 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 4
> Monitor 0: booting x86_64 core 5 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff801d001000
> Barrelfish CPU driver starting on x86_64 apic_id 21
> kernel 5: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 5
> Monitor 0: booting x86_64 core 6 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff801e001000
> Barrelfish CPU driver starting on x86_64 apic_id 22
> kernel 6: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 24 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 6
> Monitor 0: booting x86_64 core 7 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8024001000
> Barrelfish CPU driver starting on x86_64 apic_id 23
> kernel 7: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 7
> Monitor 0: booting x86_64 core 8 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8025001000
> Barrelfish CPU driver starting on x86_64 apic_id 24
> kernel 8: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 18 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 8
> Monitor 0: booting x86_64 core 9 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8026001000
> Barrelfish CPU driver starting on x86_64 apic_id 25
> kernel 9: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 15 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 9
> Monitor 0: booting x86_64 core 10 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8027001000
> Barrelfish CPU driver starting on x86_64 apic_id 26
> kernel 10: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 10
> Monitor 0: booting x86_64 core 11 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8028001000
> Barrelfish CPU driver starting on x86_64 apic_id 27
> kernel 11: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 11
> Monitor 0: booting x86_64 core 12 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff802a001000
> Barrelfish CPU driver starting on x86_64 apic_id 32
> kernel 12: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 12
> Monitor 0: booting x86_64 core 13 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff802b001000
> Barrelfish CPU driver starting on x86_64 apic_id 33
> kernel 13: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 13
> Monitor 0: booting x86_64 core 14 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff802c001000
> Barrelfish CPU driver starting on x86_64 apic_id 34
> kernel 14: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 18 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 14
> Monitor 0: booting x86_64 core 15 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff802d001000
> Barrelfish CPU driver starting on x86_64 apic_id 35
> kernel 15: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 15
> Monitor 0: booting x86_64 core 16 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff802e801000
> Barrelfish CPU driver starting on x86_64 apic_id 36
> kernel 16: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 19 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 16
> Monitor 0: booting x86_64 core 17 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff802f801000
> Barrelfish CPU driver starting on x86_64 apic_id 37
> kernel 17: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 21 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 17
> Monitor 0: booting x86_64 core 18 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8031001000
> Barrelfish CPU driver starting on x86_64 apic_id 38
> kernel 18: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 20 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 18
> Monitor 0: booting x86_64 core 19 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8032801000
> Barrelfish CPU driver starting on x86_64 apic_id 39
> kernel 19: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 18 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 19
> Monitor 0: booting x86_64 core 20 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8033801000
> Barrelfish CPU driver starting on x86_64 apic_id 40
> kernel 20: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 19 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 20
> Monitor 0: booting x86_64 core 21 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8034801000
> Barrelfish CPU driver starting on x86_64 apic_id 41
> kernel 21: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 20 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 21
> Monitor 0: booting x86_64 core 22 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8035801000
> Barrelfish CPU driver starting on x86_64 apic_id 42
> kernel 22: Measured 1700060 TSC counts per ms, 99 data points. Average
> jitter 20 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 22
> Monitor 0: booting x86_64 core 23 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8037801000
> Barrelfish CPU driver starting on x86_64 apic_id 43
> kernel 23: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 20 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 23
> Monitor 0: booting x86_64 core 24 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8038801000
> Barrelfish CPU driver starting on x86_64 apic_id 48
> kernel 24: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 24
> Monitor 0: booting x86_64 core 25 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff8039801000
> Barrelfish CPU driver starting on x86_64 apic_id 49
> kernel 25: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 18 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 25
> Monitor 0: booting x86_64 core 26 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff803a801000
> Barrelfish CPU driver starting on x86_64 apic_id 50
> kernel 26: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 26
> Monitor 0: booting x86_64 core 27 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff803c001000
> Barrelfish CPU driver starting on x86_64 apic_id 51
> kernel 27: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 18 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 27
> Monitor 0: booting x86_64 core 28 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff803d001000
> Barrelfish CPU driver starting on x86_64 apic_id 52
> kernel 28: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 28
> Monitor 0: booting x86_64 core 29 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff803e801000
> Barrelfish CPU driver starting on x86_64 apic_id 53
> kernel 29: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 18 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 29
> Monitor 0: booting x86_64 core 30 as '/x86_64/sbin/cpu loglevel=4'
> Kernel starting at address 0xffffff803f801000
> Barrelfish CPU driver starting on x86_64 apic_id 54
> kernel 30: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 30
> Monitor 0: booting x86_64 core 31 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8041001000
> Barrelfish CPU driver starting on x86_64 apic_id 55
> kernel 31: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 31
> Monitor 0: booting x86_64 core 32 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8042001000
> Barrelfish CPU driver starting on x86_64 apic_id 56
> kernel 32: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 18 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 32
> Monitor 0: booting x86_64 core 33 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8043801000
> Barrelfish CPU driver starting on x86_64 apic_id 57
> kernel 33: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 33
> Monitor 0: booting x86_64 core 34 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8044801000
> Barrelfish CPU driver starting on x86_64 apic_id 58
> kernel 34: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 34
> Monitor 0: booting x86_64 core 35 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8046001000
> Barrelfish CPU driver starting on x86_64 apic_id 59
> kernel 35: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 35
> Monitor 0: booting x86_64 core 36 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8047801000
> Barrelfish CPU driver starting on x86_64 apic_id 64
> kernel 36: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 15 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 36
> Monitor 0: booting x86_64 core 37 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8048801000
> Barrelfish CPU driver starting on x86_64 apic_id 65
> kernel 37: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 15 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 37
> Monitor 0: booting x86_64 core 38 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8049801000
> Barrelfish CPU driver starting on x86_64 apic_id 66
> kernel 38: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 38
> Monitor 0: booting x86_64 core 39 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff804b001000
> Barrelfish CPU driver starting on x86_64 apic_id 67
> kernel 39: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 20 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 39
> Monitor 0: booting x86_64 core 40 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8050001000
> Barrelfish CPU driver starting on x86_64 apic_id 68
> kernel 40: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 40
> Monitor 0: booting x86_64 core 41 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8051001000
> Barrelfish CPU driver starting on x86_64 apic_id 69
> kernel 41: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 18 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 41
> Monitor 0: booting x86_64 core 42 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8052001000
> Barrelfish CPU driver starting on x86_64 apic_id 70
> kernel 42: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 42
> Monitor 0: booting x86_64 core 43 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8053001000
> Barrelfish CPU driver starting on x86_64 apic_id 71
> kernel 43: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 43
> Monitor 0: booting x86_64 core 44 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8054001000
> Barrelfish CPU driver starting on x86_64 apic_id 72
> kernel 44: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 44
> Monitor 0: booting x86_64 core 45 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8055001000
> Barrelfish CPU driver starting on x86_64 apic_id 73
> kernel 45: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 45
> Monitor 0: booting x86_64 core 46 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8056001000
> Barrelfish CPU driver starting on x86_64 apic_id 74
> kernel 46: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 17 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 46
> Monitor 0: booting x86_64 core 47 as '/x86_64/sbin/cpu loglevel=4'
> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> ERROR: ram_alloc
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Kernel starting at address 0xffffff8057001000
> Barrelfish CPU driver starting on x86_64 apic_id 75
> kernel 47: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 16 TSC ticks.
> monitor: invoked as: monitor 0 chanid=0 archid=16
> Spawning spawnd on core 47
> all 48 monitors up
> monitor: synchronizing clocks
> spawnd.0: spawning /x86_64/sbin/pci on core 0
> ERROR: acpi.0 in mm_alloc_range_proxy_handler()
> ../usr/acpi/acpi_service.c:35
> ERROR: mm realloc range failed...
>
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> ERROR: pci.0 in main() ../usr/pci/pcimain.c:85
> ERROR: Setup PCIe confspace failed.
> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> Aborted
> startd.0: starting app /x86_64/sbin/serial on core 0
> spawnd.0: spawning /x86_64/sbin/serial on core 0
> startd.0: starting app /x86_64/sbin/fish on core 0
> skb.0: waiting for: pci
> spawnd.0: spawning /x86_64/sbin/fish on core 0
> startd.0: starting app /x86_64/sbin/bomp_benchmark_is on core 0
> skb.0: waiting for: serial
> spawnd.0: spawning /x86_64/sbin/bomp_benchmark_is on core 0
> startd.0: starting app /x86_64/sbin/bomp_benchmark_cg on core 0
> Usage: bomp_benchmark_is <Number of threads>
> spawnd.0: spawning /x86_64/sbin/bomp_benchmark_cg on core 0
> startd.0: starting app /x86_64/sbin/bomp_benchmark_ft on core 0
> Usage: bomp_benchmark_cg <Number of threads>
> Aborted
> spawnd.0: spawning /x86_64/sbin/bomp_benchmark_ft on core 0
> No bootscript
> Usage: bomp_benchmark_ft <Number of threads>
>
> Let me know what you think. Thanks for the help guys.
>
> Shawn
>
>
> On Thu, Jun 14, 2012 at 11:59 AM, Zellweger Gerd <zgerd at student.ethz.ch
> <mailto:zgerd at student.ethz.ch>> wrote:
>
> Hi all,
>
> Stefan is correct. Something (not the SKB) is waiting for serial to
> appear.
> @Shawn: Can you give us some more input (i.e., your menu.lst file
> and the complete boot output)?
>
> Gerd
>
> ________________________________________
> From: Stefan Kästle [stefan.kaestle at inf.ethz.ch
> <mailto:stefan.kaestle at inf.ethz.ch>]
> Sent: 14 June 2012 16:57
> To: barrelfish-users at lists.inf.ethz.ch
> <mailto:barrelfish-users at lists.inf.ethz.ch>
> Subject: Re: [Barrelfish-users] Barrelfish on hardware waiting for
> serial
>
> skb.0: waiting for: serial is probably due to the fact that the name
> server got replaced by Gerd's thesis. He was integrating the name server
> in the SKB. It just means that something in the system is waiting for
> serial.
>
> On 06/14/2012 03:02 PM, Simon Peter wrote:
> >> I can successfully boot Barrelfish over tftp on one of my machines.
> >> However, when I try to do it on a different machine, Barrelfish
> boots
> >> but at the end it displays "skb.0: waiting for: serial" and I never
> > This looks like garbled output. The SKB shouldn't depend on the
> serial
> > driver.
> >
> >> actually get the fish prompt. Looking back at the rest of the
> messages,
> >> I see that all monitors are up but I have different errors such as:
> >> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
> >> ERROR: ram_alloc
> >> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> > That's an out of memory error. You might not have enough RAM in
> the machine.
> >
> > Simon
> >
> > _______________________________________________
> > Barrelfish-users mailing list
> > Barrelfish-users at lists.inf.ethz.ch
> <mailto:Barrelfish-users at lists.inf.ethz.ch>
> > https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>
> --
> Stefan
>
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> <mailto:Barrelfish-users at lists.inf.ethz.ch>
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> <mailto:Barrelfish-users at lists.inf.ethz.ch>
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>
>
>
>
> --
> Virginia Tech
> Bradley Department of Electrical and Computer Engineering
> B.S. Electrical Engineering
> B.S. Computer Engineering
>
>
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
--
Manuel Stocker <mensi at vis.ethz.ch>
Systemadministration VIS & VSETH
VIS - Verein der Informatik Studierenden
CAB E 31, Universitätsstr.6, ETH Zentrum, 8092 Zürich
Tel: +41 (0)44 63 27212, Fax: +41 (0)44 63 21915
http://www.vis.ethz.ch
More information about the Barrelfish-users
mailing list