[Barrelfish-users] Barrelfish on hardware waiting for serial
Baumann Andrew
andrewb at inf.ethz.ch
Fri Jun 15 21:12:15 CEST 2012
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<mailto: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<mailto: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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120615/5ecd3a3a/attachment-0001.html
More information about the Barrelfish-users
mailing list