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