<div dir="ltr"><div><div><div>Hi Simon,<br><br></div>first of all, thank you very much! I am now successfully running FT and CG! The first patch solved the allocation problem, I am successfully running up to 48 cores. However I tried for 64 cores and I get the following error (for FT):<br><br></div> Size                : 256x256x128<br> Iterations          :           6<br>ERROR: bomp_benchmark_.24 in slab_alloc() ../lib/barrelfish/slab.c:100<br>ERROR: slab refill_func failed<br>Failure: (  libbarrelfish) Failure in vspace_mmu_aware_map() function [LIB_ERR_VSPACE_MMU_AWARE_MAP]<br>Failure: (  libbarrelfish) Out of space in vspace_mmu_aware_map() function [LIB_ERR_VSPACE_MMU_AWARE_NO_SPACE]<br>assertion &quot;newthread != NULL&quot; failed: file &quot;../lib/barrelfish/domain.c&quot;, line 174, function: create_thread_request<br>Aborted<br>ERROR: bomp_benchmark_.60 in slab_alloc() ../lib/barrelfish/slab.c:100<br>ERROR: slab refill_func failed<br>Aborted<br>ERROR: bomp_benchmark_.63 in slab_alloc() ../lib/barrelfish/slab.c:100<br>ERROR: slab refill_func failed<br>Aborted<br>ERROR: bomp_benchmark_.62 in slab_alloc() ../lib/barrelfish/slab.c:100<br>ERROR: slab refill_func failed<br>Aborted<br><br></div>However CG does not work, I am getting the following error:<br><div><br>&gt; bomp_benchmark_cg 1<br>cap_copy failed for src_slot = 21, dest_slot = 33<br>ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>ERROR: spawn<br>Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]<br>Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>Failure: (         kernel) Destination capability slots occupied [SYS_ERR_SLOT_IN_USE]<br>bomp_benchmark_cg: error spawning: Failure while loading<br>ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>ERROR: Spawning Error<br><br>Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]<br>Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>Failure: (         kernel) Destination capability slots occupied [SYS_ERR_SLOT_IN_USE]<br><br><div>please advice,<br>thanks for you great help,<br></div><div>Antonio<br></div><div><br></div>PS I am subscribed to the Barrelfish list!!<br><div class="gmail_extra"><br><br><br><div class="gmail_quote">On Mon, Nov 10, 2014 at 10:00 AM, Simon Gerber <span dir="ltr">&lt;<a href="mailto:simon.gerber@inf.ethz.ch" target="_blank">simon.gerber@inf.ethz.ch</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Antonio,<br>
<br>
[@list: sorry for the spam, I&#39;m not sure if Antonio is subscribed and mistakenly replied only to the list...]<span><br>
<br>
I&#39;ve investigated a bit and have produced two patches that make the FT benchmark work.<br>
<br>
patch 1 fixes some confusion when creating different cnodes and increases the size of the page cnode by a factor of two. This fixes your immediate problem of not being able to run the FT benchmark. Additionally, changing the page cnode size should now be as easy as modifying PAGE_CNODE_BITS in include/barrelfish_kpi/init.h.<br>
<br>
patch 2 fixes the FT benchmark itself which was not working because the default stack size on Barrelfish (64kB) is too small for the fft implementation which creates rather large arrays on the stack. This patch is not necessary if you&#39;re using a release older than release2014-08-29.<br>
<br>
Best,<br>
-- Simon<br>
<br>
On 08.11.2014 18:43, Antonio Barbalace wrote:<br>
</span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div>
All,<br>
<br>
Clearly I need a way to make larger memory allocations. Please advise.<br>
<br>
thank you very much,<br>
Antonio<br>
<br>
------------------------------<u></u>------------------------------<u></u>---- LOG:<br>
<br>
 &gt; bomp_benchmark_ft 1<br>
spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a .alloc:<br>
0x492f80 .free: 0x492d80 .nslot: 128 .space: 128<br>
spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x17692c8 ret-&gt;head<br>
-&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
spawnd.0: spawn_arch_load: ROOTCN_SLOT_SEGCN: 4 DEFAULT_CNODE_SLOTS: 32<br>
spawnd.0: elf_allocate: size: 888832 sz: 4096<br>
spawnd.0: single_slot_alloc_init_raw: ret: 0x8013c80018 ret-&gt;a .alloc:<br>
0x492f80 .free: 0x492d80 .nslot: 1024 .space: 1024<br>
spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x8013c800a8 ret-&gt;head<br>
-&gt;slot: 0 -&gt;space: 1024 -&gt;next: 0x0<br>
spawnd.0: elf_allocate: size: 439181312 sz: 8192<br>
spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f80 .free: 0x492d80<br>
.nslot: 128 .space: 0<br>
spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0 -&gt;next: 0x0<br>
ERROR: spawnd.0 in elf_allocate()<br>
../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:166<br>
ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]<br>
Failure: (  libbarrelfish) Failure in get_mapping()<br>
[LIB_ERR_PMAP_GET_PTABLE]<br>
Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
[LIB_ERR_PMAP_ALLOC_VNODE]<br>
Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]<br>
Failure: (  libbarrelfish) Slot allocator is out of space<br>
[LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
ERROR: spawn<br>
Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
Failure: (         libelf) Nested failure in allocator function<br>
[ELF_ERR_ALLOCATE]<br>
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
[LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]<br>
Failure: (  libbarrelfish) Failure in get_mapping()<br>
[LIB_ERR_PMAP_GET_PTABLE]<br>
bomp_benchmark_ft: error spawning: Failure while loading<br>
ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
ERROR: Spawning Error<br>
<br>
Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
Failure: (         libelf) Nested failure in allocator function<br>
[ELF_ERR_ALLOCATE]<br>
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
[LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]<br>
Failure: (  libbarrelfish) Failure in get_mapping()<br>
[LIB_ERR_PMAP_GET_PTABLE]<br>
<br>
------------------------------<u></u>------------------------------<u></u>---- READELF:<br>
<br>
barrelfish/build/x86_64/sbin$ readelf -l bomp_benchmark_ft<br>
<br>
Elf file type is EXEC (Executable file)<br>
Entry point 0x400455<br>
There are 5 program headers, starting at offset 64<br>
<br>
Program Headers:<br>
   Type           Offset             VirtAddr           PhysAddr<br>
                  FileSiz            MemSiz              Flags  Align<br>
   LOAD           0x0000000000000000 0x0000000000400000 0x0000000000400000<br>
                  0x00000000000d8e60 0x00000000000d8e60  R E    1000<br>
   LOAD           0x00000000000d90d0 0x00000000004d90d0 0x00000000004d90d0<br>
                  0x0000000000011c5c 0x000000001a2d55f8  RW     1000<br>
   GNU_EH_FRAME   0x00000000000b718c 0x00000000004b718c 0x00000000004b718c<br>
                  0x0000000000003c54 0x0000000000003c54  R      4<br>
   GNU_STACK      0x0000000000000000 0x0000000000000000 0x0000000000000000<br>
                  0x0000000000000000 0x0000000000000000  RWE    10<br>
   GNU_RELRO      0x00000000000d90d0 0x00000000004d90d0 0x00000000004d90d0<br>
                  0x0000000000000f30 0x0000000000000f30  R      1<br>
<br>
  Section to Segment mapping:<br>
   Segment Sections...<br>
    00     .text .rodata .eh_frame_hdr .eh_frame<br></div></div>
    01     .ctors .<a href="http://data.rel.ro" target="_blank">data.rel.ro</a> &lt;<a href="http://data.rel.ro" target="_blank">http://data.rel.ro</a>&gt; .got .got.plt .data<br>
.bss<br>
    02     .eh_frame_hdr<br>
    03<br>
    04     .ctors .<a href="http://data.rel.ro" target="_blank">data.rel.ro</a> &lt;<a href="http://data.rel.ro" target="_blank">http://data.rel.ro</a>&gt; .got<span><br>
<br>
------------------------------<u></u>------------------------------<u></u>---- EOF<br>
<br>
<br>
On Fri, Nov 7, 2014 at 9:11 AM, Antonio Barbalace &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><br></span><div><div>
&lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:<br>
<br>
    Dear Reto,<br>
<br>
    hope the following will help. As a note, I tried to increase the<br>
    sizes but I was not successful in doing that, any suggestion?<br>
<br>
    many thanks,<br>
    Antonio<br>
<br>
    ------------------------------<u></u>------------------------------<u></u>---- CODE:<br>
<br>
    @ lib/spawndomain/arch/x86/<u></u>spawn_arch.c:spawn_arch_load( .. )<br>
<br>
         // XXX: this code assumes that elf_load never needs more than<br>
    32 slots for<br>
         // text frame capabilities.<br>
         err = cnode_create_raw(cnode_cap, &amp;si-&gt;segcn,<br>
    DEFAULT_CNODE_SLOTS, NULL);<br>
    debug_printf(&quot;%s: ROOTCN_SLOT_SEGCN: %ld DEFAULT_CNODE_SLOTS: %ld\n&quot;,<br>
                     __FUNCTION__, (unsigned long)ROOTCN_SLOT_SEGCN,<br>
    (unsigned long)DEFAULT_CNODE_SLOTS);<br>
         if (err_is_fail(err)) {<br>
<br>
    ------------------------------<u></u>------------------------------<u></u>---- LOG:<br>
<br>
     &gt; bomp_benchmark_ft 1<br>
    spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a .alloc:<br>
    0x492f40 .free: 0x492d40 .nslot: 128 .space: 128<br>
    spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x17692c8 ret-&gt;head<br>
    -&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
    spawnd.0: spawn_arch_load: ROOTCN_SLOT_SEGCN: 4 DEFAULT_CNODE_SLOTS: 32<br>
    spawnd.0: single_slot_alloc_init_raw: ret: 0x8013c80018 ret-&gt;a<br>
    .alloc: 0x492f40 .free: 0x492d40 .nslot: 1024 .space: 1024<br>
    spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x8013c800a8<br>
    ret-&gt;head -&gt;slot: 0 -&gt;space: 1024 -&gt;next: 0x0<br>
    spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f40 .free:<br>
    0x492d40 .nslot: 128 .space: 0<br>
<br>
    spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0 -&gt;next: 0x0<br>
    ERROR: spawnd.0 in elf_allocate()<br>
    ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
    ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
    Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
    [LIB_ERR_PMAP_ALLOC_VNODE]<br>
    Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]<br>
    Failure: (  libbarrelfish) Slot allocator is out of space<br>
    [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
    ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
    ERROR: spawn<br>
    Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
    Failure: (         libelf) Nested failure in allocator function<br>
    [ELF_ERR_ALLOCATE]<br>
    Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
    [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
    bomp_benchmark_ft: error spawning: Failure while loading<br>
    ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
    ERROR: Spawning Error<br>
<br>
    Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
    Failure: (         libelf) Nested failure in allocator function<br>
    [ELF_ERR_ALLOCATE]<br>
    Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
    [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
     &gt; bomp_benchmark_ft 2<br>
    spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a .alloc:<br>
    0x492f40 .free: 0x492d40 .nslot: 128 .space: 128<br>
    spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x68f468 ret-&gt;head<br>
    -&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
    spawnd.0: spawn_arch_load: ROOTCN_SLOT_SEGCN: 4 DEFAULT_CNODE_SLOTS: 32<br>
    spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f40 .free:<br>
    0x492d40 .nslot: 128 .space: 0<br>
<br>
    spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0 -&gt;next: 0x0<br>
    ERROR: spawnd.0 in elf_allocate()<br>
    ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
    ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
    Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
    [LIB_ERR_PMAP_ALLOC_VNODE]<br>
    Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]<br>
    Failure: (  libbarrelfish) Slot allocator is out of space<br>
    [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
    ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
    ERROR: spawn<br>
    Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
    Failure: (         libelf) Nested failure in allocator function<br>
    [ELF_ERR_ALLOCATE]<br>
    Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
    [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
    bomp_benchmark_ft: error spawning: Failure while loading<br>
    ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
    ERROR: Spawning Error<br>
<br>
    Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
    Failure: (         libelf) Nested failure in allocator function<br>
    [ELF_ERR_ALLOCATE]<br>
    Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
    [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
<br>
<br>
    On Fri, Nov 7, 2014 at 4:20 AM, Achermann Reto<br>
    &lt;<a href="mailto:retoachermann@student.ethz.ch" target="_blank">retoachermann@student.ethz.ch</a><br></div></div><span>
    &lt;mailto:<a href="mailto:retoachermann@student.ethz.ch" target="_blank">retoachermann@student.<u></u>ethz.ch</a>&gt;&gt; wrote:<br>
<br>
        Hi Antonio,____<br>
<br>
        __ __<br>
<br></span><span>
        Just another thought. I am not sure if the problem at hand is<br>
        related to a hard limit on the maximum number of slots in the<br></span><span>
        SEGCN:____<br>
<br>
        __ __<br>
<br>
        /* lib/spawndomain/arch/x86/<u></u>spawn_arch.c */____<br>
<br></span><span>
        261     // XXX: this code assumes that elf_load never needs more<br></span><span>
        than 32 slots for____<br>
<br>
        262     // text frame capabilities.____<br>
<br>
        __ __<br>
<br></span><span>
        The mapping is done with the caps in the SEGCN of the ELF. Can<br></span><span>
        you verify how many slots you use when loading the ELF?____<br>
<br>
        __ __<br>
<br>
        -- Reto____<br>
<br>
        __ __<br>
<br>
        *From:*Antonio Barbalace [mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><br>
        &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;]<br></span>
        *Sent:* Friday, November 7, 2014 3:24 AM<br>
        *To:* Kornilios Kourtis; Antonio Barbalace; Zellweger Gerd;<br>
        <a href="mailto:barrelfish-users@lists.inf.ethz.ch" target="_blank">barrelfish-users@lists.inf.<u></u>ethz.ch</a><span><br>
        &lt;mailto:<a href="mailto:barrelfish-users@lists.inf.ethz.ch" target="_blank">barrelfish-users@<u></u>lists.inf.ethz.ch</a>&gt;<br>
        *Subject:* Re: [Barrelfish-users] barrelfish help!____<br>
<br>
        __ __<br>
<br></span>
        I added some more printfs ... if it can help solve the problem.____<div><div><br>
<br>
<br>
        &gt; bomp_benchmark_ft 1<br>
        spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a<br>
        .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 128<br>
        spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x76c8f8<br>
        ret-&gt;head -&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
        spawnd.0: single_slot_alloc_init_raw: ret: 0x8013c80018 ret-&gt;a<br>
        .alloc: 0x492f10 .free: 0x492d10 .nslot: 1024 .space: 1024<br>
        spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x8013c800a8<br>
        ret-&gt;head -&gt;slot: 0 -&gt;space: 1024 -&gt;next: 0x0<br>
        spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f10 .free:<br>
        0x492d10 .nslot: 128 .space: 0<br>
        spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0<br>
        -&gt;next: 0x0<br>
        ERROR: spawnd.0 in elf_allocate()<br>
        ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
        ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
        [LIB_ERR_PMAP_ALLOC_VNODE]<br>
        Failure: (  libbarrelfish) Failure in slot_alloc()<br>
        [LIB_ERR_SLOT_ALLOC]<br>
        Failure: (  libbarrelfish) Slot allocator is out of space<br>
        [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
        ERROR: spawnd.0 in spawn_with_caps_handler()<br>
        ../usr/spawnd/service.c:352<br>
        ERROR: spawn<br>
        Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
        Failure: (         libelf) Nested failure in allocator function<br>
        [ELF_ERR_ALLOCATE]<br>
        Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
        [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        bomp_benchmark_ft: error spawning: Failure while loading<br>
        ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
        ERROR: Spawning Error<br>
<br>
        Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
        Failure: (         libelf) Nested failure in allocator function<br>
        [ELF_ERR_ALLOCATE]<br>
        Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
        [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        &gt; bomp_benchmark_ft 2<br>
        spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a<br>
        .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 128<br>
        spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x76a148<br>
        ret-&gt;head -&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
        spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f10 .free:<br>
        0x492d10 .nslot: 128 .space: 0<br>
        spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0<br>
        -&gt;next: 0x0<br>
        ERROR: spawnd.0 in elf_allocate()<br>
        ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
        ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
        [LIB_ERR_PMAP_ALLOC_VNODE]<br>
        Failure: (  libbarrelfish) Failure in slot_alloc()<br>
        [LIB_ERR_SLOT_ALLOC]<br>
        Failure: (  libbarrelfish) Slot allocator is out of space<br>
        [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
        ERROR: spawnd.0 in spawn_with_caps_handler()<br>
        ../usr/spawnd/service.c:352<br>
        ERROR: spawn<br>
        Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
        Failure: (         libelf) Nested failure in allocator function<br>
        [ELF_ERR_ALLOCATE]<br>
        Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
        [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        bomp_benchmark_ft: error spawning: Failure while loading<br>
        ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
        ERROR: Spawning Error<br>
<br>
        Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
        Failure: (         libelf) Nested failure in allocator function<br>
        [ELF_ERR_ALLOCATE]<br>
        Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
        [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
<br></div></div><span>
        Antonio____<br>
<br>
        __ __<br>
<br>
        __ __<br>
<br></span><span>
        On Thu, Nov 6, 2014 at 1:17 PM, Antonio Barbalace<br></span><span>
        &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:____<br>
<br>
            Kornilios,____<br>
<br></span><span>
            I think the CAP error was due to the fact that before<br>
            launching the application successfully I mistyped it (after<br>
            you launch an application that is not existent is giving the<br>
            CAP error problem). I added few printfs in the single slot<br>
            allocator code (salloc) and this is the error report right now.<br>
<br>
            &gt; bomp_benchmark_ft 1<br>
            spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f10<br>
            .free: 0x492d10 .nslot: 128 .space: 0<br>
            spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0<br></span>
            -&gt;next: 0x0____<div><div><br>
<br>
<br>
            ERROR: spawnd.0 in elf_allocate()<br>
            ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
            ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
            Failure: (  libbarrelfish) Failure in pmap_map()<br>
            [LIB_ERR_PMAP_MAP]<br>
            Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
            [LIB_ERR_PMAP_DO_MAP]<br>
            Failure: (  libbarrelfish) Failure in get_mapping()<br>
            [LIB_ERR_PMAP_GET_PTABLE]<br>
            Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
            [LIB_ERR_PMAP_ALLOC_VNODE]<br>
            Failure: (  libbarrelfish) Failure in slot_alloc()<br>
            [LIB_ERR_SLOT_ALLOC]<br>
            Failure: (  libbarrelfish) Slot allocator is out of space<br>
            [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
            ERROR: spawnd.0 in spawn_with_caps_handler()<br>
            ../usr/spawnd/service.c:352<br>
            ERROR: spawn<br>
            Failure: (          spawn) Failure while loading<br>
            [SPAWN_ERR_LOAD]<br>
            Failure: (         libelf) Nested failure in allocator<br>
            function [ELF_ERR_ALLOCATE]<br>
            Failure: (  libbarrelfish) Failure in<br>
            memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
            Failure: (  libbarrelfish) Failure in pmap_map()<br>
            [LIB_ERR_PMAP_MAP]<br>
            Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
            [LIB_ERR_PMAP_DO_MAP]<br>
            Failure: (  libbarrelfish) Failure in get_mapping()<br>
            [LIB_ERR_PMAP_GET_PTABLE]<br>
            bomp_benchmark_ft: error spawning: Failure while loading<br>
            ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
            ERROR: Spawning Error<br>
<br>
            Failure: (          spawn) Failure while loading<br>
            [SPAWN_ERR_LOAD]<br>
            Failure: (         libelf) Nested failure in allocator<br>
            function [ELF_ERR_ALLOCATE]<br>
            Failure: (  libbarrelfish) Failure in<br>
            memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
            Failure: (  libbarrelfish) Failure in pmap_map()<br>
            [LIB_ERR_PMAP_MAP]<br>
            Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
            [LIB_ERR_PMAP_DO_MAP]<br>
            Failure: (  libbarrelfish) Failure in get_mapping()<br></div></div>
            [LIB_ERR_PMAP_GET_PTABLE]____<span><br>
<br>
            the error comes from<br>
            lib/barrelfish/slot_alloc/<u></u>single_slot_alloc.c because<br></span><span>
            sca-&gt;a.space is ZERO.____<br>
<br>
            please advice!____<br>
<br>
            thanks,<br>
            Antonio____<br>
<br>
            __ __<br>
<br></span><span>
            On Wed, Nov 5, 2014 at 11:53 AM, Antonio Barbalace<br></span>
            &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:____<div><div><br>
<br>
                Let me also include this:<br>
<br>
                bomp_benhchmark_ft 2<br>
                ERROR: spawnd.0 in elf_allocate()<br>
                ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
                ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
                Failure: (  libbarrelfish) Failure in pmap_map()<br>
                [LIB_ERR_PMAP_MAP]<br>
                Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
                [LIB_ERR_PMAP_DO_MAP]<br>
                Failure: (  libbarrelfish) Failure in get_mapping()<br>
                [LIB_ERR_PMAP_GET_PTABLE]<br>
                Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
                [LIB_ERR_PMAP_ALLOC_VNODE]<br>
                Failure: (  libbarrelfish) Failure in slot_alloc()<br>
                [LIB_ERR_SLOT_ALLOC]<br>
                Failure: (  libbarrelfish) Slot allocator is out of<br>
                space [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
                ERROR: spawnd.0 in spawn_with_caps_handler()<br>
                ../usr/spawnd/service.c:352<br>
                ERROR: spawn<br>
                Failure: (          spawn) Failure while loading<br>
                [SPAWN_ERR_LOAD]<br>
                Failure: (         libelf) Nested failure in allocator<br>
                function [ELF_ERR_ALLOCATE]<br>
                Failure: (  libbarrelfish) Failure in<br>
                memobj_pagefault_handler()<br>
                [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
                Failure: (  libbarrelfish) Failure in pmap_map()<br>
                [LIB_ERR_PMAP_MAP]<br>
                Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
                [LIB_ERR_PMAP_DO_MAP]<br>
                Failure: (  libbarrelfish) Failure in get_mapping()<br>
                [LIB_ERR_PMAP_GET_PTABLE]<br>
                bomp_benchmark_ft: error spawning: Failure while loading<br>
                ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                ERROR: Spawning Error<br>
<br>
                Failure: (          spawn) Failure while loading<br>
                [SPAWN_ERR_LOAD]<br>
                Failure: (         libelf) Nested failure in allocator<br>
                function [ELF_ERR_ALLOCATE]<br>
                Failure: (  libbarrelfish) Failure in<br>
                memobj_pagefault_handler()<br>
                [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
                Failure: (  libbarrelfish) Failure in pmap_map()<br>
                [LIB_ERR_PMAP_MAP]<br>
                Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
                [LIB_ERR_PMAP_DO_MAP]<br>
                Failure: (  libbarrelfish) Failure in get_mapping()<br></div></div>
                [LIB_ERR_PMAP_GET_PTABLE]____<br>
<br>
                &gt;&gt;&gt; Slot allocator is out of space____<br>
<br>
                ab____<br>
<br>
                __ __<span><br>
<br>
                On Wed, Nov 5, 2014 at 11:47 AM, Antonio Barbalace<br></span>
                &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:____<br>
<br>
                    Attached the log and the output of print_cspace.____<span><br>
<br>
                    thanks again for your support,<br></span>
                    Antonio____<br>
<br>
                    __ __<span><br>
<br>
                    On Tue, Nov 4, 2014 at 7:51 AM, Kornilios Kourtis<br>
                    &lt;<a href="mailto:kornilios.kourtis@inf.ethz.ch" target="_blank">kornilios.kourtis@inf.ethz.ch</a><br></span>
                    &lt;mailto:<a href="mailto:kornilios.kourtis@inf.ethz.ch" target="_blank">kornilios.kourtis@inf.<u></u>ethz.ch</a>&gt;&gt; wrote:____<div><div><br>
<br>
                        On Mon, Nov 03, 2014 at 12:56:46PM -0500,<br>
                        Antonio Barbalace wrote:<br>
                        &gt; Dear all,<br>
                        &gt;<br>
                        &gt; I am now trying to run the bomp experiments.<br>
                        &gt;<br>
                        &gt; Just to make some context, I am using a tftp server. bomp_benchmark_ft is<br>
                        &gt; loaded by the menu.lst/grub (maybe is not the right way to do it). I am<br>
                        &gt; attaching menu.lst.<br>
                        &gt;<br>
                        &gt; This is what happen when I am loading bomp_benchmark_ft (also without<br>
                        &gt; arguments, the same errors are reported during boot):<br>
                        &gt;<br>
                        &gt; &gt; bomp_benchmark_ft<br>
                        &gt; cap_copy failed for src_slot = 0, dest_slot = 5<br>
                        &gt; ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
                        &gt; ERROR: spawn<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
<br>
                        Grepping for SYS_ERR_DEPTH_EXCEEDED results in:<br>
                        kernel/capabilities.c-618-    // If lookup<br>
                        exceeded expected depth then table is malformed<br>
                        kernel/capabilities.c-619-    if (bits_resolved<br>
                         &gt; vbits) {<br>
                        kernel/capabilities.c-620-<br>
                        debug(SUBSYS_CAPS, &quot;caps_lookup_slot: Lookup<br>
                        exceeded valid bits\n&quot;<br>
                        kernel/capabilities.c-621-              &quot;Cnode<br>
                        bits = %u, guard size = %u, valid bits = %u\n&quot;,<br>
                        kernel/capabilities.c-622-<br>
                        cnode_cap-&gt;u.cnode.bits,<br>
                        cnode_cap-&gt;u.cnode.guard_size,<br>
                        kernel/capabilities.c-623-              vbits);<br>
                        kernel/capabilities.c:624:        return<br>
                        SYS_ERR_DEPTH_EXCEEDED;<br>
                        kernel/capabilities.c-625-    }<br>
<br>
                        I&#39;m wondering whether this has something to do<br>
                        with the patch that you<br>
                        applied... I&#39;m guessing that using BIOS<br>
                        allocation did not help.<br>
<br>
                        It might be worth enabling the debug for the<br>
                        caps system. Can you please<br>
                        replace the corresponding line in menu.lst with:<br>
<br>
                          module  /x86_64/sbin/cpu loglevel=5 logmask=0x40<br>
<br>
                        And send us the debug messages?<br>
<br>
                        cheers,<br></div></div>
                        Kornilios.____<div><div><br>
<br>
<br>
<br>
<br>
                        &gt; bomp_benchmark_ft: error spawning: Failure while loading<br>
                        &gt; ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                        &gt; ERROR: Spawning Error<br>
                        &gt;<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; &gt; bomp_benchmark_ft 0<br>
                        &gt; cap_copy failed for src_slot = 0, dest_slot = 5<br>
                        &gt; ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
                        &gt; ERROR: spawn<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; bomp_benchmark_ft: error spawning: Failure while loading<br>
                        &gt; ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                        &gt; ERROR: Spawning Error<br>
                        &gt;<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; &gt; bomp_benchmark_ft 1<br>
                        &gt; cap_copy failed for src_slot = 0, dest_slot = 5<br>
                        &gt; ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
                        &gt; ERROR: spawn<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; bomp_benchmark_ft: error spawning: Failure while loading<br>
                        &gt; ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                        &gt; ERROR: Spawning Error<br>
                        &gt;<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; &gt; bomp_benchmark_ft 4<br>
                        &gt; cap_copy failed for src_slot = 0, dest_slot = 5<br>
                        &gt; ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
                        &gt; ERROR: spawn<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; bomp_benchmark_ft: error spawning: Failure while loading<br>
                        &gt; ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                        &gt; ERROR: Spawning Error<br>
                        &gt;<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt;<br>
                        &gt; many thanks,<br>
                        &gt; Antonio<br>
                        &gt;<br>
                        &gt;<br></div></div><span>
                        &gt; On Mon, Nov 3, 2014 at 9:58 AM, Antonio Barbalace &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:<br>
                        &gt;<br>
                        &gt;     Kornilios, Stefan, Gerd,<br>
                        &gt;<br>
                        &gt;     thank you very much! I am now able to interact with the terminal via the<br>
                        &gt;     serial line. The patch was necessary, note that maxchild is 2 while busnum<br>
                        &gt;     is 4.<br>
                        &gt;<br>
                        &gt;     I am attaching the boot logs as a reference.<br>
                        &gt;<br>
                        &gt;     appreciate your support,<br>
                        &gt;     Antonio<br>
                        &gt;<br>
                        &gt;     On Fri, Oct 31, 2014 at 10:45 AM, Gerd Zellweger &lt;<br>
                        &gt;<a href="mailto:gerd.zellweger@inf.ethz.ch" target="_blank">gerd.zellweger@inf.ethz.ch</a><br></span><div><div>
                        &lt;mailto:<a href="mailto:gerd.zellweger@inf.ethz.ch" target="_blank">gerd.zellweger@inf.<u></u>ethz.ch</a>&gt;&gt; wrote:<br>
                        &gt;<br>
                        &gt;         Hi,<br>
                        &gt;<br>
                        &gt;         Just in case: If changing the bridge program as suggested by Stefan is<br>
                        &gt;         not helping, you can also try this small patch that essentially<br>
                        &gt;         disables the assertion.<br>
                        &gt;         AFAIK that bound check there, which is reported by ACPI seems to be (at<br>
                        &gt;         least on our machines) not really a strict limit and can be ignored.<br>
                        &gt;<br>
                        &gt;         Gerd<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;         On 2014-10-31 14:01, Stefan Kaestle wrote:<br>
                        &gt;<br>
                        &gt;             Hi Antonio,<br>
                        &gt;<br>
                        &gt;              This could be due to a bug in the PCI bus allocation code.<br>
                        &gt;              It is worth trying the BIOS given PCI allocation plan instead. For<br>
                        &gt;             that, try using the following arguments to PCI in menu.lst<br>
                        &gt;<br>
                        &gt;              modulenounzip /harness/sbrinz2_harness/x86_<u></u>64/sbin/pci auto<br>
                        &gt;             SKB_BRIDGE_PROGRAM=BRIDGE_BIOS<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;              Also, can you please enable PCI debug output and send the log? For<br>
                        &gt;             that, uncomment the following in line  17 of usr/pci/pci_debug.h<br>
                        &gt;             and<br>
                        &gt;             recompile:<br>
                        &gt;<br>
                        &gt;              #define PCI_SERVICE_DEBUG 1<br>
                        &gt;<br>
                        &gt;              Cheers,<br>
                        &gt;               Stefan<br>
                        &gt;<br>
                        &gt;             On 10/31/2014 11:36 AM, Kornilios Kourtis wrote:<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;                 Hi Antonio,<br>
                        &gt;<br>
                        &gt;                 [CCing the list and Gerd]<br>
                        &gt;<br>
                        &gt;                 On Thu, Oct 30, 2014 at 11:29:16AM -0400, Antonio Barbalace<br>
                        &gt;                 wrote:<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;                     Hi Kornilios,<br>
                        &gt;<br>
                        &gt;                     I re-started my adventure with Barrelfish this morning with<br>
                        &gt;                     the<br>
                        &gt;                     last mercurial<br>
                        &gt;                     release. I am using tftpboot PXE boot (modified grub etc.).<br>
                        &gt;                     I kept<br>
                        &gt;                     myself from<br>
                        &gt;                     modify the code at the moment. But I have to confess that I<br>
                        &gt;                     added<br>
                        &gt;                     a PCI_DEBUG()<br>
                        &gt;                     before this error and nothing was printed even changing the<br>
                        &gt;                     loglevel= . Let me<br>
                        &gt;                     know if you prefer me to send this error on the forum.<br>
                        &gt;<br>
                        &gt;                     monitor: synchronizing clocks<br>
                        &gt;                     Kaluga: pci_root_bridge<br>
                        &gt;                     spawnd.0: spawning /x86_64/sbin/pci on core 0<br>
                        &gt;                     Kaluga: pci_devices<br>
                        &gt;                     pci: Unknown commandline option &quot;auto&quot; -- skipping.<br>
                        &gt;                     startd.0: starting app /x86_64/sbin/serial on core 0<br>
                        &gt;                     spawnd.0: spawning /x86_64/sbin/serial on core 0<br>
                        &gt;                     startd.0: starting app /x86_64/sbin/angler on core 0<br>
                        &gt;                     spawnd.0: spawning /x86_64/sbin/angler on core 0<br>
                        &gt;                     No bootscript<br>
                        &gt;                     skb.0: waiting for: pci<br>
                        &gt;                     skb.0: waiting for: serial0.terminal<br>
                        &gt;                     assertion &quot;*busnum &lt;= maxchild&quot; failed: file &quot;../usr/pci/<br>
                        &gt;                     pci.c&quot;,<br>
                        &gt;                     line 598,<br>
                        &gt;                     function: assign_bus_numbers<br>
                        &gt;                     Aborted<br>
                        &gt;                     Spawnd up.<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;                 Sounds like a problem Gerd has been dealing with. If that&#39;s the<br>
                        &gt;                 case, we<br>
                        &gt;                 might have a quick-fix for it. Gerd?<br>
                        &gt;<br>
                        &gt;                 cheers,<br>
                        &gt;                 Kornilios.<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;             --<br>
                        &gt;             Stefan<br>
                        &gt;<a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/<u></u>skaestle/</a> [1]<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;             Links:<br>
                        &gt;             ------<br>
                        &gt;             [1]<a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/<u></u>skaestle/</a><br>
                        &gt;<br>
                        &gt;             ______________________________<u></u>_________________<br>
                        &gt;             Barrelfish-users mailing list<br>
                        &gt;<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br></div></div>
                        &lt;mailto:<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@<u></u>lists.inf.ethz.ch</a>&gt;<span><br>
                        &gt;<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
                        &gt;<br>
                        &gt;<br>
                        &gt;         ______________________________<u></u>_________________<br>
                        &gt;         Barrelfish-users mailing list<br>
                        &gt;<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br></span>
                        &lt;mailto:<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@<u></u>lists.inf.ethz.ch</a>&gt;<span><br>
                        &gt;<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;     --<br>
                        &gt;     Dr. Eng. Antonio Barbalace, PhD<br>
                        &gt;     Systems Software Research Group (SSRG)<br>
                        &gt;     Bradley Department of Electrical and Computer Engineering<br>
                        &gt;     Virginia Tech<br>
                        &gt;     453 Durham Hall (0111)<br>
                        &gt;     Blacksburg, VA 24061<br></span><span>
                        &gt;     phone:<a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<br></span>
                        &gt;     <a href="mailto:email%3Aantoniob@vt.edu" target="_blank">email:antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;<span><br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt; --<br>
                        &gt; Dr. Eng. Antonio Barbalace, PhD<br>
                        &gt; Systems Software Research Group (SSRG)<br>
                        &gt; Bradley Department of Electrical and Computer Engineering<br>
                        &gt; Virginia Tech<br>
                        &gt; 453 Durham Hall (0111)<br>
                        &gt; Blacksburg, VA 24061<br></span><span>
                        &gt; phone:<a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<br></span>
                        &gt; <a href="mailto:email%3Aantoniob@vt.edu" target="_blank">email:antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;<span><br>
<br>
<br>
<br>
                        &gt; ______________________________<u></u>_________________<br>
                        &gt; Barrelfish-users mailing list<br>
                        &gt;<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br></span><span>
                        &lt;mailto:<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@<u></u>lists.inf.ethz.ch</a>&gt;<br>
                        &gt;<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
<br>
<br>
                        --____<br>
<br>
                        Kornilios Kourtis____<br>
<br>
<br>
<br>
<br>
                    -- ____<br>
<br></span><span>
                    Dr. Eng. Antonio Barbalace, PhD<br>
                    Systems Software Research Group (SSRG)<br>
                    Bradley Department of Electrical and Computer<br>
                    Engineering<br>
                    Virginia Tech<br>
                    453 Durham Hall (0111)<br>
                    Blacksburg, VA 24061<br>
                    phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a><br></span><span>
                    &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<br>
                    email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;____<br>
<br>
<br>
<br>
<br>
                -- ____<br>
<br></span><span>
                Dr. Eng. Antonio Barbalace, PhD<br>
                Systems Software Research Group (SSRG)<br>
                Bradley Department of Electrical and Computer Engineering<br>
                Virginia Tech<br>
                453 Durham Hall (0111)<br>
                Blacksburg, VA 24061<br></span>
                phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<span><br>
                email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;____<br>
<br>
<br>
<br>
<br>
            -- ____<br>
<br></span><span>
            Dr. Eng. Antonio Barbalace, PhD<br>
            Systems Software Research Group (SSRG)<br>
            Bradley Department of Electrical and Computer Engineering<br>
            Virginia Tech<br>
            453 Durham Hall (0111)<br>
            Blacksburg, VA 24061<br></span>
            phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<span><br>
            email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;____<br>
<br>
<br>
<br>
<br>
        -- ____<br>
<br></span><span>
        Dr. Eng. Antonio Barbalace, PhD<br>
        Systems Software Research Group (SSRG)<br>
        Bradley Department of Electrical and Computer Engineering<br>
        Virginia Tech<br>
        453 Durham Hall (0111)<br>
        Blacksburg, VA 24061<br></span>
        phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<span><br>
        email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;____<br>
<br>
<br>
<br>
<br></span><span>
    --<br>
    Dr. Eng. Antonio Barbalace, PhD<br>
    Systems Software Research Group (SSRG)<br>
    Bradley Department of Electrical and Computer Engineering<br>
    Virginia Tech<br>
    453 Durham Hall (0111)<br>
    Blacksburg, VA 24061<br></span>
    phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<br>
    email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;<span><br>
<br>
<br>
<br>
<br>
--<br>
Dr. Eng. Antonio Barbalace, PhD<br>
Systems Software Research Group (SSRG)<br>
Bradley Department of Electrical and Computer Engineering<br>
Virginia Tech<br>
453 Durham Hall (0111)<br>
Blacksburg, VA 24061<br>
phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a><br></span>
email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;<span><br>
<br>
<br>
______________________________<u></u>_________________<br>
Barrelfish-users mailing list<br>
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
<br>
</span></blockquote>
</blockquote></div><br><br clear="all"><br>-- <br><div>Dr. Eng. Antonio Barbalace, PhD<br>Systems Software Research Group (SSRG)<br>Bradley Department of Electrical and Computer Engineering<br>Virginia Tech<br>453 Durham Hall (0111)<br>Blacksburg, VA 24061<br>phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a><br>email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a></div>
</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 10, 2014 at 10:00 AM, Simon Gerber <span dir="ltr">&lt;<a href="mailto:simon.gerber@inf.ethz.ch" target="_blank">simon.gerber@inf.ethz.ch</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Antonio,<br>
<br>
[@list: sorry for the spam, I&#39;m not sure if Antonio is subscribed and mistakenly replied only to the list...]<span class=""><br>
<br>
I&#39;ve investigated a bit and have produced two patches that make the FT benchmark work.<br>
<br>
patch 1 fixes some confusion when creating different cnodes and increases the size of the page cnode by a factor of two. This fixes your immediate problem of not being able to run the FT benchmark. Additionally, changing the page cnode size should now be as easy as modifying PAGE_CNODE_BITS in include/barrelfish_kpi/init.h.<br>
<br>
patch 2 fixes the FT benchmark itself which was not working because the default stack size on Barrelfish (64kB) is too small for the fft implementation which creates rather large arrays on the stack. This patch is not necessary if you&#39;re using a release older than release2014-08-29.<br>
<br>
Best,<br>
-- Simon<br>
<br>
On 08.11.2014 18:43, Antonio Barbalace wrote:<br>
</span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
All,<br>
<br>
Clearly I need a way to make larger memory allocations. Please advise.<br>
<br>
thank you very much,<br>
Antonio<br>
<br>
------------------------------<u></u>------------------------------<u></u>---- LOG:<br>
<br>
 &gt; bomp_benchmark_ft 1<br>
spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a .alloc:<br>
0x492f80 .free: 0x492d80 .nslot: 128 .space: 128<br>
spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x17692c8 ret-&gt;head<br>
-&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
spawnd.0: spawn_arch_load: ROOTCN_SLOT_SEGCN: 4 DEFAULT_CNODE_SLOTS: 32<br>
spawnd.0: elf_allocate: size: 888832 sz: 4096<br>
spawnd.0: single_slot_alloc_init_raw: ret: 0x8013c80018 ret-&gt;a .alloc:<br>
0x492f80 .free: 0x492d80 .nslot: 1024 .space: 1024<br>
spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x8013c800a8 ret-&gt;head<br>
-&gt;slot: 0 -&gt;space: 1024 -&gt;next: 0x0<br>
spawnd.0: elf_allocate: size: 439181312 sz: 8192<br>
spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f80 .free: 0x492d80<br>
.nslot: 128 .space: 0<br>
spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0 -&gt;next: 0x0<br>
ERROR: spawnd.0 in elf_allocate()<br>
../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:166<br>
ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]<br>
Failure: (  libbarrelfish) Failure in get_mapping()<br>
[LIB_ERR_PMAP_GET_PTABLE]<br>
Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
[LIB_ERR_PMAP_ALLOC_VNODE]<br>
Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]<br>
Failure: (  libbarrelfish) Slot allocator is out of space<br>
[LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
ERROR: spawn<br>
Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
Failure: (         libelf) Nested failure in allocator function<br>
[ELF_ERR_ALLOCATE]<br>
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
[LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]<br>
Failure: (  libbarrelfish) Failure in get_mapping()<br>
[LIB_ERR_PMAP_GET_PTABLE]<br>
bomp_benchmark_ft: error spawning: Failure while loading<br>
ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
ERROR: Spawning Error<br>
<br>
Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
Failure: (         libelf) Nested failure in allocator function<br>
[ELF_ERR_ALLOCATE]<br>
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
[LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]<br>
Failure: (  libbarrelfish) Failure in get_mapping()<br>
[LIB_ERR_PMAP_GET_PTABLE]<br>
<br>
------------------------------<u></u>------------------------------<u></u>---- READELF:<br>
<br>
barrelfish/build/x86_64/sbin$ readelf -l bomp_benchmark_ft<br>
<br>
Elf file type is EXEC (Executable file)<br>
Entry point 0x400455<br>
There are 5 program headers, starting at offset 64<br>
<br>
Program Headers:<br>
   Type           Offset             VirtAddr           PhysAddr<br>
                  FileSiz            MemSiz              Flags  Align<br>
   LOAD           0x0000000000000000 0x0000000000400000 0x0000000000400000<br>
                  0x00000000000d8e60 0x00000000000d8e60  R E    1000<br>
   LOAD           0x00000000000d90d0 0x00000000004d90d0 0x00000000004d90d0<br>
                  0x0000000000011c5c 0x000000001a2d55f8  RW     1000<br>
   GNU_EH_FRAME   0x00000000000b718c 0x00000000004b718c 0x00000000004b718c<br>
                  0x0000000000003c54 0x0000000000003c54  R      4<br>
   GNU_STACK      0x0000000000000000 0x0000000000000000 0x0000000000000000<br>
                  0x0000000000000000 0x0000000000000000  RWE    10<br>
   GNU_RELRO      0x00000000000d90d0 0x00000000004d90d0 0x00000000004d90d0<br>
                  0x0000000000000f30 0x0000000000000f30  R      1<br>
<br>
  Section to Segment mapping:<br>
   Segment Sections...<br>
    00     .text .rodata .eh_frame_hdr .eh_frame<br></div></div>
    01     .ctors .<a href="http://data.rel.ro" target="_blank">data.rel.ro</a> &lt;<a href="http://data.rel.ro" target="_blank">http://data.rel.ro</a>&gt; .got .got.plt .data<br>
.bss<br>
    02     .eh_frame_hdr<br>
    03<br>
    04     .ctors .<a href="http://data.rel.ro" target="_blank">data.rel.ro</a> &lt;<a href="http://data.rel.ro" target="_blank">http://data.rel.ro</a>&gt; .got<span class=""><br>
<br>
------------------------------<u></u>------------------------------<u></u>---- EOF<br>
<br>
<br>
On Fri, Nov 7, 2014 at 9:11 AM, Antonio Barbalace &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><br></span><div><div class="h5">
&lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:<br>
<br>
    Dear Reto,<br>
<br>
    hope the following will help. As a note, I tried to increase the<br>
    sizes but I was not successful in doing that, any suggestion?<br>
<br>
    many thanks,<br>
    Antonio<br>
<br>
    ------------------------------<u></u>------------------------------<u></u>---- CODE:<br>
<br>
    @ lib/spawndomain/arch/x86/<u></u>spawn_arch.c:spawn_arch_load( .. )<br>
<br>
         // XXX: this code assumes that elf_load never needs more than<br>
    32 slots for<br>
         // text frame capabilities.<br>
         err = cnode_create_raw(cnode_cap, &amp;si-&gt;segcn,<br>
    DEFAULT_CNODE_SLOTS, NULL);<br>
    debug_printf(&quot;%s: ROOTCN_SLOT_SEGCN: %ld DEFAULT_CNODE_SLOTS: %ld\n&quot;,<br>
                     __FUNCTION__, (unsigned long)ROOTCN_SLOT_SEGCN,<br>
    (unsigned long)DEFAULT_CNODE_SLOTS);<br>
         if (err_is_fail(err)) {<br>
<br>
    ------------------------------<u></u>------------------------------<u></u>---- LOG:<br>
<br>
     &gt; bomp_benchmark_ft 1<br>
    spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a .alloc:<br>
    0x492f40 .free: 0x492d40 .nslot: 128 .space: 128<br>
    spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x17692c8 ret-&gt;head<br>
    -&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
    spawnd.0: spawn_arch_load: ROOTCN_SLOT_SEGCN: 4 DEFAULT_CNODE_SLOTS: 32<br>
    spawnd.0: single_slot_alloc_init_raw: ret: 0x8013c80018 ret-&gt;a<br>
    .alloc: 0x492f40 .free: 0x492d40 .nslot: 1024 .space: 1024<br>
    spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x8013c800a8<br>
    ret-&gt;head -&gt;slot: 0 -&gt;space: 1024 -&gt;next: 0x0<br>
    spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f40 .free:<br>
    0x492d40 .nslot: 128 .space: 0<br>
<br>
    spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0 -&gt;next: 0x0<br>
    ERROR: spawnd.0 in elf_allocate()<br>
    ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
    ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
    Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
    [LIB_ERR_PMAP_ALLOC_VNODE]<br>
    Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]<br>
    Failure: (  libbarrelfish) Slot allocator is out of space<br>
    [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
    ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
    ERROR: spawn<br>
    Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
    Failure: (         libelf) Nested failure in allocator function<br>
    [ELF_ERR_ALLOCATE]<br>
    Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
    [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
    bomp_benchmark_ft: error spawning: Failure while loading<br>
    ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
    ERROR: Spawning Error<br>
<br>
    Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
    Failure: (         libelf) Nested failure in allocator function<br>
    [ELF_ERR_ALLOCATE]<br>
    Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
    [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
     &gt; bomp_benchmark_ft 2<br>
    spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a .alloc:<br>
    0x492f40 .free: 0x492d40 .nslot: 128 .space: 128<br>
    spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x68f468 ret-&gt;head<br>
    -&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
    spawnd.0: spawn_arch_load: ROOTCN_SLOT_SEGCN: 4 DEFAULT_CNODE_SLOTS: 32<br>
    spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f40 .free:<br>
    0x492d40 .nslot: 128 .space: 0<br>
<br>
    spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0 -&gt;next: 0x0<br>
    ERROR: spawnd.0 in elf_allocate()<br>
    ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
    ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
    Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
    [LIB_ERR_PMAP_ALLOC_VNODE]<br>
    Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]<br>
    Failure: (  libbarrelfish) Slot allocator is out of space<br>
    [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
    ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
    ERROR: spawn<br>
    Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
    Failure: (         libelf) Nested failure in allocator function<br>
    [ELF_ERR_ALLOCATE]<br>
    Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
    [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
    bomp_benchmark_ft: error spawning: Failure while loading<br>
    ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
    ERROR: Spawning Error<br>
<br>
    Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
    Failure: (         libelf) Nested failure in allocator function<br>
    [ELF_ERR_ALLOCATE]<br>
    Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
    [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
    Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
    Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
    [LIB_ERR_PMAP_DO_MAP]<br>
    Failure: (  libbarrelfish) Failure in get_mapping()<br>
    [LIB_ERR_PMAP_GET_PTABLE]<br>
<br>
<br>
    On Fri, Nov 7, 2014 at 4:20 AM, Achermann Reto<br>
    &lt;<a href="mailto:retoachermann@student.ethz.ch" target="_blank">retoachermann@student.ethz.ch</a><br></div></div><span class="">
    &lt;mailto:<a href="mailto:retoachermann@student.ethz.ch" target="_blank">retoachermann@student.<u></u>ethz.ch</a>&gt;&gt; wrote:<br>
<br>
        Hi Antonio,____<br>
<br>
        __ __<br>
<br></span><span class="">
        Just another thought. I am not sure if the problem at hand is<br>
        related to a hard limit on the maximum number of slots in the<br></span><span class="">
        SEGCN:____<br>
<br>
        __ __<br>
<br>
        /* lib/spawndomain/arch/x86/<u></u>spawn_arch.c */____<br>
<br></span><span class="">
        261     // XXX: this code assumes that elf_load never needs more<br></span><span class="">
        than 32 slots for____<br>
<br>
        262     // text frame capabilities.____<br>
<br>
        __ __<br>
<br></span><span class="">
        The mapping is done with the caps in the SEGCN of the ELF. Can<br></span><span class="">
        you verify how many slots you use when loading the ELF?____<br>
<br>
        __ __<br>
<br>
        -- Reto____<br>
<br>
        __ __<br>
<br>
        *From:*Antonio Barbalace [mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><br>
        &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;]<br></span>
        *Sent:* Friday, November 7, 2014 3:24 AM<br>
        *To:* Kornilios Kourtis; Antonio Barbalace; Zellweger Gerd;<br>
        <a href="mailto:barrelfish-users@lists.inf.ethz.ch" target="_blank">barrelfish-users@lists.inf.<u></u>ethz.ch</a><span class=""><br>
        &lt;mailto:<a href="mailto:barrelfish-users@lists.inf.ethz.ch" target="_blank">barrelfish-users@<u></u>lists.inf.ethz.ch</a>&gt;<br>
        *Subject:* Re: [Barrelfish-users] barrelfish help!____<br>
<br>
        __ __<br>
<br></span>
        I added some more printfs ... if it can help solve the problem.____<div><div class="h5"><br>
<br>
<br>
        &gt; bomp_benchmark_ft 1<br>
        spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a<br>
        .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 128<br>
        spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x76c8f8<br>
        ret-&gt;head -&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
        spawnd.0: single_slot_alloc_init_raw: ret: 0x8013c80018 ret-&gt;a<br>
        .alloc: 0x492f10 .free: 0x492d10 .nslot: 1024 .space: 1024<br>
        spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x8013c800a8<br>
        ret-&gt;head -&gt;slot: 0 -&gt;space: 1024 -&gt;next: 0x0<br>
        spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f10 .free:<br>
        0x492d10 .nslot: 128 .space: 0<br>
        spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0<br>
        -&gt;next: 0x0<br>
        ERROR: spawnd.0 in elf_allocate()<br>
        ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
        ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
        [LIB_ERR_PMAP_ALLOC_VNODE]<br>
        Failure: (  libbarrelfish) Failure in slot_alloc()<br>
        [LIB_ERR_SLOT_ALLOC]<br>
        Failure: (  libbarrelfish) Slot allocator is out of space<br>
        [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
        ERROR: spawnd.0 in spawn_with_caps_handler()<br>
        ../usr/spawnd/service.c:352<br>
        ERROR: spawn<br>
        Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
        Failure: (         libelf) Nested failure in allocator function<br>
        [ELF_ERR_ALLOCATE]<br>
        Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
        [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        bomp_benchmark_ft: error spawning: Failure while loading<br>
        ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
        ERROR: Spawning Error<br>
<br>
        Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
        Failure: (         libelf) Nested failure in allocator function<br>
        [ELF_ERR_ALLOCATE]<br>
        Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
        [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        &gt; bomp_benchmark_ft 2<br>
        spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret-&gt;a<br>
        .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 128<br>
        spawnd.0: single_slot_alloc_init_raw: ret-&gt;head: 0x76a148<br>
        ret-&gt;head -&gt;slot: 0 -&gt;space: 128 -&gt;next: 0x0<br>
        spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f10 .free:<br>
        0x492d10 .nslot: 128 .space: 0<br>
        spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0<br>
        -&gt;next: 0x0<br>
        ERROR: spawnd.0 in elf_allocate()<br>
        ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
        ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
        [LIB_ERR_PMAP_ALLOC_VNODE]<br>
        Failure: (  libbarrelfish) Failure in slot_alloc()<br>
        [LIB_ERR_SLOT_ALLOC]<br>
        Failure: (  libbarrelfish) Slot allocator is out of space<br>
        [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
        ERROR: spawnd.0 in spawn_with_caps_handler()<br>
        ../usr/spawnd/service.c:352<br>
        ERROR: spawn<br>
        Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
        Failure: (         libelf) Nested failure in allocator function<br>
        [ELF_ERR_ALLOCATE]<br>
        Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
        [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
        bomp_benchmark_ft: error spawning: Failure while loading<br>
        ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
        ERROR: Spawning Error<br>
<br>
        Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
        Failure: (         libelf) Nested failure in allocator function<br>
        [ELF_ERR_ALLOCATE]<br>
        Failure: (  libbarrelfish) Failure in memobj_pagefault_handler()<br>
        [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
        Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]<br>
        Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
        [LIB_ERR_PMAP_DO_MAP]<br>
        Failure: (  libbarrelfish) Failure in get_mapping()<br>
        [LIB_ERR_PMAP_GET_PTABLE]<br>
<br></div></div><span class="">
        Antonio____<br>
<br>
        __ __<br>
<br>
        __ __<br>
<br></span><span class="">
        On Thu, Nov 6, 2014 at 1:17 PM, Antonio Barbalace<br></span><span class="">
        &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:____<br>
<br>
            Kornilios,____<br>
<br></span><span class="">
            I think the CAP error was due to the fact that before<br>
            launching the application successfully I mistyped it (after<br>
            you launch an application that is not existent is giving the<br>
            CAP error problem). I added few printfs in the single slot<br>
            allocator code (salloc) and this is the error report right now.<br>
<br>
            &gt; bomp_benchmark_ft 1<br>
            spawnd.0: salloc: sca: 0x6a1528 sca-&gt;a .alloc: 0x492f10<br>
            .free: 0x492d10 .nslot: 128 .space: 0<br>
            spawnd.0: salloc:        sca-&gt;head: 0x0 -&gt;slot: 0 -&gt;space: 0<br></span>
            -&gt;next: 0x0____<div><div class="h5"><br>
<br>
<br>
            ERROR: spawnd.0 in elf_allocate()<br>
            ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
            ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
            Failure: (  libbarrelfish) Failure in pmap_map()<br>
            [LIB_ERR_PMAP_MAP]<br>
            Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
            [LIB_ERR_PMAP_DO_MAP]<br>
            Failure: (  libbarrelfish) Failure in get_mapping()<br>
            [LIB_ERR_PMAP_GET_PTABLE]<br>
            Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
            [LIB_ERR_PMAP_ALLOC_VNODE]<br>
            Failure: (  libbarrelfish) Failure in slot_alloc()<br>
            [LIB_ERR_SLOT_ALLOC]<br>
            Failure: (  libbarrelfish) Slot allocator is out of space<br>
            [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
            ERROR: spawnd.0 in spawn_with_caps_handler()<br>
            ../usr/spawnd/service.c:352<br>
            ERROR: spawn<br>
            Failure: (          spawn) Failure while loading<br>
            [SPAWN_ERR_LOAD]<br>
            Failure: (         libelf) Nested failure in allocator<br>
            function [ELF_ERR_ALLOCATE]<br>
            Failure: (  libbarrelfish) Failure in<br>
            memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
            Failure: (  libbarrelfish) Failure in pmap_map()<br>
            [LIB_ERR_PMAP_MAP]<br>
            Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
            [LIB_ERR_PMAP_DO_MAP]<br>
            Failure: (  libbarrelfish) Failure in get_mapping()<br>
            [LIB_ERR_PMAP_GET_PTABLE]<br>
            bomp_benchmark_ft: error spawning: Failure while loading<br>
            ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
            ERROR: Spawning Error<br>
<br>
            Failure: (          spawn) Failure while loading<br>
            [SPAWN_ERR_LOAD]<br>
            Failure: (         libelf) Nested failure in allocator<br>
            function [ELF_ERR_ALLOCATE]<br>
            Failure: (  libbarrelfish) Failure in<br>
            memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
            Failure: (  libbarrelfish) Failure in pmap_map()<br>
            [LIB_ERR_PMAP_MAP]<br>
            Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
            [LIB_ERR_PMAP_DO_MAP]<br>
            Failure: (  libbarrelfish) Failure in get_mapping()<br></div></div>
            [LIB_ERR_PMAP_GET_PTABLE]____<span class=""><br>
<br>
            the error comes from<br>
            lib/barrelfish/slot_alloc/<u></u>single_slot_alloc.c because<br></span><span class="">
            sca-&gt;a.space is ZERO.____<br>
<br>
            please advice!____<br>
<br>
            thanks,<br>
            Antonio____<br>
<br>
            __ __<br>
<br></span><span class="">
            On Wed, Nov 5, 2014 at 11:53 AM, Antonio Barbalace<br></span>
            &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:____<div><div class="h5"><br>
<br>
                Let me also include this:<br>
<br>
                bomp_benhchmark_ft 2<br>
                ERROR: spawnd.0 in elf_allocate()<br>
                ../lib/spawndomain/arch/x86/<u></u>spawn_arch.c:165<br>
                ERROR: lib_err_memobj_pagefault_<u></u>handler<br>
                Failure: (  libbarrelfish) Failure in pmap_map()<br>
                [LIB_ERR_PMAP_MAP]<br>
                Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
                [LIB_ERR_PMAP_DO_MAP]<br>
                Failure: (  libbarrelfish) Failure in get_mapping()<br>
                [LIB_ERR_PMAP_GET_PTABLE]<br>
                Failure: (  libbarrelfish) Failure in alloc_vnode()<br>
                [LIB_ERR_PMAP_ALLOC_VNODE]<br>
                Failure: (  libbarrelfish) Failure in slot_alloc()<br>
                [LIB_ERR_SLOT_ALLOC]<br>
                Failure: (  libbarrelfish) Slot allocator is out of<br>
                space [LIB_ERR_SLOT_ALLOC_NO_SPACE]<br>
                ERROR: spawnd.0 in spawn_with_caps_handler()<br>
                ../usr/spawnd/service.c:352<br>
                ERROR: spawn<br>
                Failure: (          spawn) Failure while loading<br>
                [SPAWN_ERR_LOAD]<br>
                Failure: (         libelf) Nested failure in allocator<br>
                function [ELF_ERR_ALLOCATE]<br>
                Failure: (  libbarrelfish) Failure in<br>
                memobj_pagefault_handler()<br>
                [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
                Failure: (  libbarrelfish) Failure in pmap_map()<br>
                [LIB_ERR_PMAP_MAP]<br>
                Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
                [LIB_ERR_PMAP_DO_MAP]<br>
                Failure: (  libbarrelfish) Failure in get_mapping()<br>
                [LIB_ERR_PMAP_GET_PTABLE]<br>
                bomp_benchmark_ft: error spawning: Failure while loading<br>
                ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                ERROR: Spawning Error<br>
<br>
                Failure: (          spawn) Failure while loading<br>
                [SPAWN_ERR_LOAD]<br>
                Failure: (         libelf) Nested failure in allocator<br>
                function [ELF_ERR_ALLOCATE]<br>
                Failure: (  libbarrelfish) Failure in<br>
                memobj_pagefault_handler()<br>
                [LIB_ERR_MEMOBJ_PAGEFAULT_<u></u>HANDLER]<br>
                Failure: (  libbarrelfish) Failure in pmap_map()<br>
                [LIB_ERR_PMAP_MAP]<br>
                Failure: (  libbarrelfish) Failure in pmap_do_map()<br>
                [LIB_ERR_PMAP_DO_MAP]<br>
                Failure: (  libbarrelfish) Failure in get_mapping()<br></div></div>
                [LIB_ERR_PMAP_GET_PTABLE]____<br>
<br>
                &gt;&gt;&gt; Slot allocator is out of space____<br>
<br>
                ab____<br>
<br>
                __ __<span class=""><br>
<br>
                On Wed, Nov 5, 2014 at 11:47 AM, Antonio Barbalace<br></span>
                &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:____<br>
<br>
                    Attached the log and the output of print_cspace.____<span class=""><br>
<br>
                    thanks again for your support,<br></span>
                    Antonio____<br>
<br>
                    __ __<span class=""><br>
<br>
                    On Tue, Nov 4, 2014 at 7:51 AM, Kornilios Kourtis<br>
                    &lt;<a href="mailto:kornilios.kourtis@inf.ethz.ch" target="_blank">kornilios.kourtis@inf.ethz.ch</a><br></span>
                    &lt;mailto:<a href="mailto:kornilios.kourtis@inf.ethz.ch" target="_blank">kornilios.kourtis@inf.<u></u>ethz.ch</a>&gt;&gt; wrote:____<div><div class="h5"><br>
<br>
                        On Mon, Nov 03, 2014 at 12:56:46PM -0500,<br>
                        Antonio Barbalace wrote:<br>
                        &gt; Dear all,<br>
                        &gt;<br>
                        &gt; I am now trying to run the bomp experiments.<br>
                        &gt;<br>
                        &gt; Just to make some context, I am using a tftp server. bomp_benchmark_ft is<br>
                        &gt; loaded by the menu.lst/grub (maybe is not the right way to do it). I am<br>
                        &gt; attaching menu.lst.<br>
                        &gt;<br>
                        &gt; This is what happen when I am loading bomp_benchmark_ft (also without<br>
                        &gt; arguments, the same errors are reported during boot):<br>
                        &gt;<br>
                        &gt; &gt; bomp_benchmark_ft<br>
                        &gt; cap_copy failed for src_slot = 0, dest_slot = 5<br>
                        &gt; ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
                        &gt; ERROR: spawn<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
<br>
                        Grepping for SYS_ERR_DEPTH_EXCEEDED results in:<br>
                        kernel/capabilities.c-618-    // If lookup<br>
                        exceeded expected depth then table is malformed<br>
                        kernel/capabilities.c-619-    if (bits_resolved<br>
                         &gt; vbits) {<br>
                        kernel/capabilities.c-620-<br>
                        debug(SUBSYS_CAPS, &quot;caps_lookup_slot: Lookup<br>
                        exceeded valid bits\n&quot;<br>
                        kernel/capabilities.c-621-              &quot;Cnode<br>
                        bits = %u, guard size = %u, valid bits = %u\n&quot;,<br>
                        kernel/capabilities.c-622-<br>
                        cnode_cap-&gt;u.cnode.bits,<br>
                        cnode_cap-&gt;u.cnode.guard_size,<br>
                        kernel/capabilities.c-623-              vbits);<br>
                        kernel/capabilities.c:624:        return<br>
                        SYS_ERR_DEPTH_EXCEEDED;<br>
                        kernel/capabilities.c-625-    }<br>
<br>
                        I&#39;m wondering whether this has something to do<br>
                        with the patch that you<br>
                        applied... I&#39;m guessing that using BIOS<br>
                        allocation did not help.<br>
<br>
                        It might be worth enabling the debug for the<br>
                        caps system. Can you please<br>
                        replace the corresponding line in menu.lst with:<br>
<br>
                          module  /x86_64/sbin/cpu loglevel=5 logmask=0x40<br>
<br>
                        And send us the debug messages?<br>
<br>
                        cheers,<br></div></div>
                        Kornilios.____<div><div class="h5"><br>
<br>
<br>
<br>
<br>
                        &gt; bomp_benchmark_ft: error spawning: Failure while loading<br>
                        &gt; ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                        &gt; ERROR: Spawning Error<br>
                        &gt;<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; &gt; bomp_benchmark_ft 0<br>
                        &gt; cap_copy failed for src_slot = 0, dest_slot = 5<br>
                        &gt; ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
                        &gt; ERROR: spawn<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; bomp_benchmark_ft: error spawning: Failure while loading<br>
                        &gt; ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                        &gt; ERROR: Spawning Error<br>
                        &gt;<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; &gt; bomp_benchmark_ft 1<br>
                        &gt; cap_copy failed for src_slot = 0, dest_slot = 5<br>
                        &gt; ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
                        &gt; ERROR: spawn<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; bomp_benchmark_ft: error spawning: Failure while loading<br>
                        &gt; ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                        &gt; ERROR: Spawning Error<br>
                        &gt;<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; &gt; bomp_benchmark_ft 4<br>
                        &gt; cap_copy failed for src_slot = 0, dest_slot = 5<br>
                        &gt; ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352<br>
                        &gt; ERROR: spawn<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt; bomp_benchmark_ft: error spawning: Failure while loading<br>
                        &gt; ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102<br>
                        &gt; ERROR: Spawning Error<br>
                        &gt;<br>
                        &gt; Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]<br>
                        &gt; Failure: (         libelf) Nested failure in allocator function<br>
                        &gt; [ELF_ERR_ALLOCATE]<br>
                        &gt; Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]<br>
                        &gt; Failure: (         kernel) Error looking up source capability<br>
                        &gt; [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
                        &gt; Failure: (         kernel) Exceeded depth limit of CSpace<br>
                        &gt; [SYS_ERR_DEPTH_EXCEEDED]<br>
                        &gt;<br>
                        &gt; many thanks,<br>
                        &gt; Antonio<br>
                        &gt;<br>
                        &gt;<br></div></div><span class="">
                        &gt; On Mon, Nov 3, 2014 at 9:58 AM, Antonio Barbalace &lt;<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;&gt; wrote:<br>
                        &gt;<br>
                        &gt;     Kornilios, Stefan, Gerd,<br>
                        &gt;<br>
                        &gt;     thank you very much! I am now able to interact with the terminal via the<br>
                        &gt;     serial line. The patch was necessary, note that maxchild is 2 while busnum<br>
                        &gt;     is 4.<br>
                        &gt;<br>
                        &gt;     I am attaching the boot logs as a reference.<br>
                        &gt;<br>
                        &gt;     appreciate your support,<br>
                        &gt;     Antonio<br>
                        &gt;<br>
                        &gt;     On Fri, Oct 31, 2014 at 10:45 AM, Gerd Zellweger &lt;<br>
                        &gt;<a href="mailto:gerd.zellweger@inf.ethz.ch" target="_blank">gerd.zellweger@inf.ethz.ch</a><br></span><div><div class="h5">
                        &lt;mailto:<a href="mailto:gerd.zellweger@inf.ethz.ch" target="_blank">gerd.zellweger@inf.<u></u>ethz.ch</a>&gt;&gt; wrote:<br>
                        &gt;<br>
                        &gt;         Hi,<br>
                        &gt;<br>
                        &gt;         Just in case: If changing the bridge program as suggested by Stefan is<br>
                        &gt;         not helping, you can also try this small patch that essentially<br>
                        &gt;         disables the assertion.<br>
                        &gt;         AFAIK that bound check there, which is reported by ACPI seems to be (at<br>
                        &gt;         least on our machines) not really a strict limit and can be ignored.<br>
                        &gt;<br>
                        &gt;         Gerd<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;         On 2014-10-31 14:01, Stefan Kaestle wrote:<br>
                        &gt;<br>
                        &gt;             Hi Antonio,<br>
                        &gt;<br>
                        &gt;              This could be due to a bug in the PCI bus allocation code.<br>
                        &gt;              It is worth trying the BIOS given PCI allocation plan instead. For<br>
                        &gt;             that, try using the following arguments to PCI in menu.lst<br>
                        &gt;<br>
                        &gt;              modulenounzip /harness/sbrinz2_harness/x86_<u></u>64/sbin/pci auto<br>
                        &gt;             SKB_BRIDGE_PROGRAM=BRIDGE_BIOS<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;              Also, can you please enable PCI debug output and send the log? For<br>
                        &gt;             that, uncomment the following in line  17 of usr/pci/pci_debug.h<br>
                        &gt;             and<br>
                        &gt;             recompile:<br>
                        &gt;<br>
                        &gt;              #define PCI_SERVICE_DEBUG 1<br>
                        &gt;<br>
                        &gt;              Cheers,<br>
                        &gt;               Stefan<br>
                        &gt;<br>
                        &gt;             On 10/31/2014 11:36 AM, Kornilios Kourtis wrote:<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;                 Hi Antonio,<br>
                        &gt;<br>
                        &gt;                 [CCing the list and Gerd]<br>
                        &gt;<br>
                        &gt;                 On Thu, Oct 30, 2014 at 11:29:16AM -0400, Antonio Barbalace<br>
                        &gt;                 wrote:<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;                     Hi Kornilios,<br>
                        &gt;<br>
                        &gt;                     I re-started my adventure with Barrelfish this morning with<br>
                        &gt;                     the<br>
                        &gt;                     last mercurial<br>
                        &gt;                     release. I am using tftpboot PXE boot (modified grub etc.).<br>
                        &gt;                     I kept<br>
                        &gt;                     myself from<br>
                        &gt;                     modify the code at the moment. But I have to confess that I<br>
                        &gt;                     added<br>
                        &gt;                     a PCI_DEBUG()<br>
                        &gt;                     before this error and nothing was printed even changing the<br>
                        &gt;                     loglevel= . Let me<br>
                        &gt;                     know if you prefer me to send this error on the forum.<br>
                        &gt;<br>
                        &gt;                     monitor: synchronizing clocks<br>
                        &gt;                     Kaluga: pci_root_bridge<br>
                        &gt;                     spawnd.0: spawning /x86_64/sbin/pci on core 0<br>
                        &gt;                     Kaluga: pci_devices<br>
                        &gt;                     pci: Unknown commandline option &quot;auto&quot; -- skipping.<br>
                        &gt;                     startd.0: starting app /x86_64/sbin/serial on core 0<br>
                        &gt;                     spawnd.0: spawning /x86_64/sbin/serial on core 0<br>
                        &gt;                     startd.0: starting app /x86_64/sbin/angler on core 0<br>
                        &gt;                     spawnd.0: spawning /x86_64/sbin/angler on core 0<br>
                        &gt;                     No bootscript<br>
                        &gt;                     skb.0: waiting for: pci<br>
                        &gt;                     skb.0: waiting for: serial0.terminal<br>
                        &gt;                     assertion &quot;*busnum &lt;= maxchild&quot; failed: file &quot;../usr/pci/<br>
                        &gt;                     pci.c&quot;,<br>
                        &gt;                     line 598,<br>
                        &gt;                     function: assign_bus_numbers<br>
                        &gt;                     Aborted<br>
                        &gt;                     Spawnd up.<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;                 Sounds like a problem Gerd has been dealing with. If that&#39;s the<br>
                        &gt;                 case, we<br>
                        &gt;                 might have a quick-fix for it. Gerd?<br>
                        &gt;<br>
                        &gt;                 cheers,<br>
                        &gt;                 Kornilios.<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;             --<br>
                        &gt;             Stefan<br>
                        &gt;<a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/<u></u>skaestle/</a> [1]<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;             Links:<br>
                        &gt;             ------<br>
                        &gt;             [1]<a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/<u></u>skaestle/</a><br>
                        &gt;<br>
                        &gt;             ______________________________<u></u>_________________<br>
                        &gt;             Barrelfish-users mailing list<br>
                        &gt;<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br></div></div>
                        &lt;mailto:<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@<u></u>lists.inf.ethz.ch</a>&gt;<span class=""><br>
                        &gt;<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
                        &gt;<br>
                        &gt;<br>
                        &gt;         ______________________________<u></u>_________________<br>
                        &gt;         Barrelfish-users mailing list<br>
                        &gt;<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br></span>
                        &lt;mailto:<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@<u></u>lists.inf.ethz.ch</a>&gt;<span class=""><br>
                        &gt;<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;     --<br>
                        &gt;     Dr. Eng. Antonio Barbalace, PhD<br>
                        &gt;     Systems Software Research Group (SSRG)<br>
                        &gt;     Bradley Department of Electrical and Computer Engineering<br>
                        &gt;     Virginia Tech<br>
                        &gt;     453 Durham Hall (0111)<br>
                        &gt;     Blacksburg, VA 24061<br></span><span class="">
                        &gt;     phone:<a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<br></span>
                        &gt;     <a href="mailto:email%3Aantoniob@vt.edu" target="_blank">email:antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;<span class=""><br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt;<br>
                        &gt; --<br>
                        &gt; Dr. Eng. Antonio Barbalace, PhD<br>
                        &gt; Systems Software Research Group (SSRG)<br>
                        &gt; Bradley Department of Electrical and Computer Engineering<br>
                        &gt; Virginia Tech<br>
                        &gt; 453 Durham Hall (0111)<br>
                        &gt; Blacksburg, VA 24061<br></span><span class="">
                        &gt; phone:<a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<br></span>
                        &gt; <a href="mailto:email%3Aantoniob@vt.edu" target="_blank">email:antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;<span class=""><br>
<br>
<br>
<br>
                        &gt; ______________________________<u></u>_________________<br>
                        &gt; Barrelfish-users mailing list<br>
                        &gt;<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br></span><span class="">
                        &lt;mailto:<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@<u></u>lists.inf.ethz.ch</a>&gt;<br>
                        &gt;<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
<br>
<br>
                        --____<br>
<br>
                        Kornilios Kourtis____<br>
<br>
<br>
<br>
<br>
                    -- ____<br>
<br></span><span class="">
                    Dr. Eng. Antonio Barbalace, PhD<br>
                    Systems Software Research Group (SSRG)<br>
                    Bradley Department of Electrical and Computer<br>
                    Engineering<br>
                    Virginia Tech<br>
                    453 Durham Hall (0111)<br>
                    Blacksburg, VA 24061<br>
                    phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a><br></span><span class="">
                    &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<br>
                    email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;____<br>
<br>
<br>
<br>
<br>
                -- ____<br>
<br></span><span class="">
                Dr. Eng. Antonio Barbalace, PhD<br>
                Systems Software Research Group (SSRG)<br>
                Bradley Department of Electrical and Computer Engineering<br>
                Virginia Tech<br>
                453 Durham Hall (0111)<br>
                Blacksburg, VA 24061<br></span>
                phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<span class=""><br>
                email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;____<br>
<br>
<br>
<br>
<br>
            -- ____<br>
<br></span><span class="">
            Dr. Eng. Antonio Barbalace, PhD<br>
            Systems Software Research Group (SSRG)<br>
            Bradley Department of Electrical and Computer Engineering<br>
            Virginia Tech<br>
            453 Durham Hall (0111)<br>
            Blacksburg, VA 24061<br></span>
            phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<span class=""><br>
            email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;____<br>
<br>
<br>
<br>
<br>
        -- ____<br>
<br></span><span class="">
        Dr. Eng. Antonio Barbalace, PhD<br>
        Systems Software Research Group (SSRG)<br>
        Bradley Department of Electrical and Computer Engineering<br>
        Virginia Tech<br>
        453 Durham Hall (0111)<br>
        Blacksburg, VA 24061<br></span>
        phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<span class=""><br>
        email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;____<br>
<br>
<br>
<br>
<br></span><span class="">
    --<br>
    Dr. Eng. Antonio Barbalace, PhD<br>
    Systems Software Research Group (SSRG)<br>
    Bradley Department of Electrical and Computer Engineering<br>
    Virginia Tech<br>
    453 Durham Hall (0111)<br>
    Blacksburg, VA 24061<br></span>
    phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a> &lt;tel:%2B1%20%28540%29%20231-<u></u>2494&gt;<br>
    email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;<span class=""><br>
<br>
<br>
<br>
<br>
--<br>
Dr. Eng. Antonio Barbalace, PhD<br>
Systems Software Research Group (SSRG)<br>
Bradley Department of Electrical and Computer Engineering<br>
Virginia Tech<br>
453 Durham Hall (0111)<br>
Blacksburg, VA 24061<br>
phone: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a><br></span>
email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a> &lt;mailto:<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>&gt;<span class=""><br>
<br>
<br>
______________________________<u></u>_________________<br>
Barrelfish-users mailing list<br>
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
<br>
</span></blockquote>
</blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">Dr. Eng. Antonio Barbalace, PhD<br>Systems Software Research Group (SSRG)<br>Bradley Department of Electrical and Computer Engineering<br>Virginia Tech<br>453 Durham Hall (0111)<br>Blacksburg, VA 24061<br>phone: +1 (540) 231-2494<br>email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a></div>
</div>