[Barrelfish-users] Barrelfish on hardware waiting for serial
Shawn Furrow
sfurrow at vt.edu
Fri Jun 15 20:26:45 CEST 2012
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<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/f27a0a11/attachment-0001.html
More information about the Barrelfish-users
mailing list