[Barrelfish-users] Barrelfish on hardware waiting for serial
Shawn Furrow
sfurrow at vt.edu
Thu Jun 14 21:10:24 CEST 2012
Manuel,
I am not too familiar with the MMAP code. Can you be more specific about
which parts of the code (file name and line numbers) I should comment out?
Thanks,
Shawn
On Thu, Jun 14, 2012 at 2:54 PM, Manuel Stocker <mensi at vis.ethz.ch> wrote:
> 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
>
> _______________________________________________
> Barrelfish-users mailing list
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120614/4bb3c41a/attachment-0001.html
More information about the Barrelfish-users
mailing list