[Barrelfish-users] Barrelfish on hardware waiting for serial
Shawn Furrow
sfurrow at vt.edu
Fri Jun 15 22:44:19 CEST 2012
Andrew,
I didn't realize you were supposed to pass the benchmark parameters in the
menu.lst file. When I got the fish prompt on a different computer I just
went to the sbin directory and ran the benchmarks from there.
Anyway, I am not concerned about devices I just want to run the benchmarks.
However, I would still like to be able to get to the fish prompt as well.
When I pass 48 to one of the benchmarks, Barrelfish successfully runs it
but before the benchmark finishes I get a bunch of errors as such:
...
Spanning domain to core 44
Spanning domain to core 45
Spanning domain to core 46
Spanning domain to core 47
NAS Parallel Benchmarks 2.3 OpenMP C version - IS Benchmark
Size: 8388608 (class A)
Iterations: 10
iteration
ERROR: bomp_benchmark_.19 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Failure: ( libbarrelfish) Failure in vspace_mmu_aware_map() function
[LIB_ERR_VSPACE_MMU_AWARE_MAP]
Failure: ( libbarrelfish) Out of space in vspace_mmu_aware_map() function
[LIB_ERR_VSPACE_MMU_AWARE_NO_SPACE]
assertion "newthread != NULL" failed: file "../lib/barrelfish/domain.c",
line 172, function: create_thread_request
Aborted
ERROR: bomp_benchmark_.7 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.16 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.25 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.14 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.11 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.24 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.10 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.12 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.13 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.17 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.23 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.22 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.18 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.43 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.35 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.45 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.42 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
ERROR: bomp_benchmark_.46 in slab_alloc() ../lib/barrelfish/slab.c:98
ERROR: slab refill_func failed
Aborted
Do you know why the benchmarks are getting this errors? All I did was put
"48" at the end of the benchmark's module line in "menu.lst".
Also, if there is any way I can get Barrelfish to finish booting and show
the fish prompt that would be nice too.
Thanks a bunch!
Shawn
On Fri, Jun 15, 2012 at 3:12 PM, Baumann Andrew <andrewb at inf.ethz.ch> wrote:
> Hi Shawn,****
>
> ** **
>
> Just from a quick look at your trace below, it seems that there are a
> couple of different things going wrong here.****
>
> ** **
>
> One is the ram_alloc failure during startup of cores > 30, but this
> appears to be handled (or ignored), since you do get “all 48 monitors up”
> in the end. Clearly we could do better here (for example, that printout
> should really just be a warning if it’s needed at all), but I think you
> should ignore those errors for the moment. 16GB of RAM should be _*plenty*_
> to boot 48 cores.****
>
> ** **
>
> A second problem occurs when acpi tries to get the caps to the
> memory-mapped PCIe configuration space, and fails. This is going to prevent
> most device drivers from working, and is probably related to the MMAP stuff
> Manuel was talking about – our memory management mechanisms place
> additional constraints on how memory (including physical memory) is
> managed, and sometimes they fail in this way. If devices are really
> important to you, we could dig into this further … an intermediate
> workaround may be to find a way to disable the memory-mapped config space
> accesses and just use the old IO ports.****
>
> ** **
>
> However, those things aside, the system does boot and bomp benchmarks
> you’re trying to run look like they would work if only you passed them the
> appropriate parameters.****
>
> ** **
>
> Cheers,****
>
> Andrew****
>
> ** **
>
> *From:* Shawn Furrow [mailto:sfurrow at vt.edu]
> *Sent:* Friday, 15 June, 2012 11:27
> *To:* Manuel Stocker
> *Cc:* barrelfish-users at lists.inf.ethz.ch
>
> *Subject:* Re: [Barrelfish-users] Barrelfish on hardware waiting for
> serial****
>
> ** **
>
> Hi all,****
>
> ** **
>
> So I did a little digging around in the code and found the ram_alloc()
> function. I decided to print the ram_alloc() function parameters to the
> screen like so:****
>
> ** **
>
> errval_t ram_alloc(struct capref *ret, uint8_t size_bits)****
>
> {****
>
> struct ram_alloc_state *ram_alloc_state = get_ram_alloc_state();****
>
> assert(ram_alloc_state->ram_alloc_func != NULL);****
>
> errval_t err = ram_alloc_state->****
>
> ram_alloc_func(ret, size_bits, ram_alloc_state->default_minbase,**
> **
>
> ram_alloc_state->default_maxlimit);****
>
> if(err_is_fail(err)) {****
>
> DEBUG_ERR(err, "ram_alloc");****
>
> printf("ram_alloc_func: %p %d %d %d\n", <----------this
> printf here****
>
> ret,****
>
> (int) size_bits,****
>
> (int) ram_alloc_state->default_minbase,****
>
> (int) ram_alloc_state->default_maxlimit);****
>
> printf("callstack: %p %p %p %p\n",****
>
> __builtin_return_address(0),****
>
> __builtin_return_address(1),****
>
> __builtin_return_address(2),****
>
> __builtin_return_address(3));****
>
> ** **
>
> ** **
>
> }****
>
> return err;****
>
> }****
>
> ** **
>
> Here is the output:****
>
> ** **
>
> 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]****
>
> ram_alloc_func: 0x67d9e0 23 0 1073741824 <------------------------------------------output
> is here****
>
> callstack: 0x43bdc4 0x40a944 0x4082e7 0x48bb2a****
>
> 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 17 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]****
>
> ram_alloc_func: 0x67d9e0 23 0 1073741824 <------------------------------------------output
> is here****
>
> callstack: 0x43bdc4 0x40a944 0x4082e7 0x48bb2a****
>
> Kernel starting at address 0xffffff8045001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 58****
>
> kernel 34: 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 34****
>
> Monitor 0: booting x86_64 core 35 as '/x86_64/sbin/cpu loglevel=4'****
>
> ** **
>
> The last number is the variable called default_maxlimit. I assume this is
> the maximum amount of memory that Barrelfish can allocate to cores. This
> looks like the maximum amount of memory to allocate is 1GB. I am not an
> expert, but would I be able to simply increase this max limit so that
> Barrelfish will finish allocating memory to the rest of the cores?****
>
> ** **
>
> Thanks,****
>
> Shawn****
>
> ** **
>
> On Fri, Jun 15, 2012 at 11:54 AM, Shawn Furrow <sfurrow at vt.edu> wrote:****
>
> Manuel (and all fish users),****
>
> ** **
>
> I tried your suggestion and I am still getting the ram_alloc() errors
> after core 30. Here is my output:****
>
> ** **
>
> Kernel starting at address 0xffffff800877e000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 16****
>
> kernel 0: Measured 200006946 APIC timer counts in one RTC second, 263977
> data points.****
>
> kernel 0: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 12 TSC ticks.****
>
> 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 19 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 15 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 17 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 19 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 17 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 16 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 16 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 17 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 16 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 16 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 18 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 17 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 23 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 18 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 16 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 20 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 18 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 0xffffff8036001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 42****
>
> kernel 22: Measured 1700060 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 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 21 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 16 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 15 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 16 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 19 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 20 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 19 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 15 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 19 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 16 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 74 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 0xffffff8045001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 58****
>
> kernel 34: 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 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 18 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 0xffffff8047001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 64****
>
> kernel 36: 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 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 0xffffff804c001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 65****
>
> kernel 37: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 36 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 0xffffff804d001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 66****
>
> kernel 38: 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 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 0xffffff804e001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 67****
>
> kernel 39: 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 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 0xffffff804f001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 68****
>
> kernel 40: 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 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 0xffffff8050001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 69****
>
> kernel 41: 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 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 0xffffff8051001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 70****
>
> kernel 42: 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 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 0xffffff8052001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 71****
>
> kernel 43: 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 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 0xffffff8053001000****
>
> 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 0xffffff8054001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 73****
>
> kernel 45: Measured 1700059 TSC counts per ms, 99 data points. Average
> jitter 14 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 0xffffff8055001000****
>
> 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 0xffffff8056001000****
>
> Barrelfish CPU driver starting on x86_64 apic_id 75****
>
> kernel 47: 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 47****
>
> all 48 monitors up****
>
> monitor: synchronizing clocks****
>
> spawnd.0: spawning /x86_64/sbin/pci on core 0****
>
> 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****
>
> 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: pci****
>
> skb.0: waiting for: serial****
>
> 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****
>
> 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 if you (or anyone else) have any more suggestions as to how I
> can fix this or if you think I just need more memory.****
>
> ** **
>
> Thanks,****
>
> Shawn****
>
> ** **
>
> On Thu, Jun 14, 2012 at 3:28 PM, Manuel Stocker <mensi at vis.ethz.ch> wrote:
> ****
>
> This commit basically:
> http://hg.barrelfish.org/rev/b64752e59d0d
>
> Am 14.06.2012 21:10, schrieb Shawn Furrow:****
>
> ** **
>
> 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****
>
>
>
> ****
>
> ** **
>
> -- ****
>
> Virginia Tech
> Bradley Department of Electrical and Computer Engineering
> B.S. Electrical Engineering****
>
> B.S. Computer Engineering****
>
> ** **
>
>
>
> ****
>
> ** **
>
> -- ****
>
> Virginia Tech
> Bradley Department of Electrical and Computer Engineering
> B.S. Electrical Engineering****
>
> B.S. Computer Engineering****
>
> ** **
>
--
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/20120615/e86a0cfc/attachment-0001.html
More information about the Barrelfish-users
mailing list