<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
        {mso-style-priority:34;
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:0cm;
        margin-left:36.0pt;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Times New Roman",serif;}
span.EmailStyle17
        {mso-style-type:personal-reply;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">Hi Antonio,<o:p></o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D"><o:p> </o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">Just another thought. I am not sure if the problem at hand is related to a hard limit on the maximum number of slots
in the SEGCN:<o:p></o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D"><o:p> </o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">/* lib/spawndomain/arch/x86/spawn_arch.c */<o:p></o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">261 // XXX: this code assumes that elf_load never needs more than 32 slots for<o:p></o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">262 // text frame capabilities.<o:p></o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D"><o:p> </o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">The mapping is done with the caps in the SEGCN of the ELF. Can you verify how many slots you use when loading the
ELF?<o:p></o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D"><o:p> </o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D">-- Reto<o:p></o:p></span></font></p>
<p class="MsoNormal"><font size="2" color="#1f497d" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1F497D"><o:p> </o:p></span></font></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><font size="2" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;font-weight:bold">From:</span></font></b><font size="2" face="Calibri"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif"> Antonio
Barbalace [mailto:antoniob@vt.edu] <br>
<b><span style="font-weight:bold">Sent:</span></b> Friday, November 7, 2014 3:24 AM<br>
<b><span style="font-weight:bold">To:</span></b> Kornilios Kourtis; Antonio Barbalace; Zellweger Gerd; barrelfish-users@lists.inf.ethz.ch<br>
<b><span style="font-weight:bold">Subject:</span></b> Re: [Barrelfish-users] barrelfish help!<o:p></o:p></span></font></p>
</div>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><o:p> </o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">I added some more printfs ... if it can help solve the problem.<o:p></o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><br>
> bomp_benchmark_ft 1<br>
spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 128<br>
spawnd.0: single_slot_alloc_init_raw: ret->head: 0x76c8f8 ret->head ->slot: 0 ->space: 128 ->next: 0x0<br>
spawnd.0: single_slot_alloc_init_raw: ret: 0x8013c80018 ret->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 1024 .space: 1024<br>
spawnd.0: single_slot_alloc_init_raw: ret->head: 0x8013c800a8 ret->head ->slot: 0 ->space: 1024 ->next: 0x0<br>
spawnd.0: salloc: sca: 0x6a1528 sca->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 0<br>
spawnd.0: salloc: sca->head: 0x0 ->slot: 0 ->space: 0 ->next: 0x0<br>
ERROR: spawnd.0 in elf_allocate() ../lib/spawndomain/arch/x86/spawn_arch.c:165<br>
ERROR: lib_err_memobj_pagefault_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() [LIB_ERR_PMAP_GET_PTABLE]<br>
Failure: ( libbarrelfish) Failure in alloc_vnode() [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 [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 [ELF_ERR_ALLOCATE]<br>
Failure: ( libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_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() [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 [ELF_ERR_ALLOCATE]<br>
Failure: ( libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_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() [LIB_ERR_PMAP_GET_PTABLE]<br>
> bomp_benchmark_ft 2 <br>
spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 128<br>
spawnd.0: single_slot_alloc_init_raw: ret->head: 0x76a148 ret->head ->slot: 0 ->space: 128 ->next: 0x0<br>
spawnd.0: salloc: sca: 0x6a1528 sca->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 0<br>
spawnd.0: salloc: sca->head: 0x0 ->slot: 0 ->space: 0 ->next: 0x0<br>
ERROR: spawnd.0 in elf_allocate() ../lib/spawndomain/arch/x86/spawn_arch.c:165<br>
ERROR: lib_err_memobj_pagefault_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() [LIB_ERR_PMAP_GET_PTABLE]<br>
Failure: ( libbarrelfish) Failure in alloc_vnode() [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 [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 [ELF_ERR_ALLOCATE]<br>
Failure: ( libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_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() [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 [ELF_ERR_ALLOCATE]<br>
Failure: ( libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_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() [LIB_ERR_PMAP_GET_PTABLE]<br>
<br>
Antonio<o:p></o:p></span></font></p>
</div>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><o:p> </o:p></span></font></p>
</div>
</div>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><o:p> </o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">On Thu, Nov 6, 2014 at 1:17 PM, Antonio Barbalace <<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>> wrote:<o:p></o:p></span></font></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<div>
<div>
<div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">Kornilios,<o:p></o:p></span></font></p>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">I think the CAP error was due to the fact that before launching the application successfully I mistyped it (after you launch an application that is not existent is giving
the CAP error problem). I added few printfs in the single slot allocator code (salloc) and this is the error report right now.<br>
<br>
> bomp_benchmark_ft 1<br>
spawnd.0: salloc: sca: 0x6a1528 sca->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 0<br>
spawnd.0: salloc: sca->head: 0x0 ->slot: 0 ->space: 0 ->next: 0x0<o:p></o:p></span></font></p>
<div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><br>
ERROR: spawnd.0 in elf_allocate() ../lib/spawndomain/arch/x86/spawn_arch.c:165<br>
ERROR: lib_err_memobj_pagefault_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() [LIB_ERR_PMAP_GET_PTABLE]<br>
Failure: ( libbarrelfish) Failure in alloc_vnode() [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 [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 [ELF_ERR_ALLOCATE]<br>
Failure: ( libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_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() [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 [ELF_ERR_ALLOCATE]<br>
Failure: ( libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_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() [LIB_ERR_PMAP_GET_PTABLE]<o:p></o:p></span></font></p>
</div>
</div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">the error comes from lib/barrelfish/slot_alloc/single_slot_alloc.c because sca->a.space is ZERO.<o:p></o:p></span></font></p>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">please advice!<o:p></o:p></span></font></p>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">thanks,<br>
Antonio<o:p></o:p></span></font></p>
</div>
<div>
<div>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><o:p> </o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">On Wed, Nov 5, 2014 at 11:53 AM, Antonio Barbalace <<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>> wrote:<o:p></o:p></span></font></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<div>
<div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">Let me also include this:<br>
<br>
bomp_benhchmark_ft 2<br>
ERROR: spawnd.0 in elf_allocate() ../lib/spawndomain/arch/x86/spawn_arch.c:165<br>
ERROR: lib_err_memobj_pagefault_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() [LIB_ERR_PMAP_GET_PTABLE]<br>
Failure: ( libbarrelfish) Failure in alloc_vnode() [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 [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 [ELF_ERR_ALLOCATE]<br>
Failure: ( libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_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() [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 [ELF_ERR_ALLOCATE]<br>
Failure: ( libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_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() [LIB_ERR_PMAP_GET_PTABLE]<o:p></o:p></span></font></p>
</div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">>>> Slot allocator is out of space<o:p></o:p></span></font></p>
</div>
<p class="MsoNormal"><font size="3" color="#888888" face="Times New Roman"><span style="font-size:12.0pt;color:#888888">ab</span></font><o:p></o:p></p>
</div>
<div>
<div>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><o:p> </o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">On Wed, Nov 5, 2014 at 11:47 AM, Antonio Barbalace <<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>> wrote:<o:p></o:p></span></font></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">Attached the log and the output of print_cspace.<o:p></o:p></span></font></p>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">thanks again for your support,<br>
Antonio<o:p></o:p></span></font></p>
</div>
<div>
<div>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><o:p> </o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">On Tue, Nov 4, 2014 at 7:51 AM, Kornilios Kourtis <<a href="mailto:kornilios.kourtis@inf.ethz.ch" target="_blank">kornilios.kourtis@inf.ethz.ch</a>> wrote:<o:p></o:p></span></font></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">On Mon, Nov 03, 2014 at 12:56:46PM -0500, Antonio Barbalace wrote:<br>
> Dear all,<br>
><br>
> I am now trying to run the bomp experiments.<br>
><br>
> Just to make some context, I am using a tftp server. bomp_benchmark_ft is<br>
> loaded by the menu.lst/grub (maybe is not the right way to do it). I am<br>
> attaching menu.lst.<br>
><br>
> This is what happen when I am loading bomp_benchmark_ft (also without<br>
> arguments, the same errors are reported during boot):<br>
><br>
> > bomp_benchmark_ft<br>
> cap_copy failed for src_slot = 0, dest_slot = 5<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 cap_copy() [LIB_ERR_CAP_COPY]<br>
> Failure: ( kernel) Error looking up source capability<br>
> [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
> Failure: ( kernel) Exceeded depth limit of CSpace<br>
> [SYS_ERR_DEPTH_EXCEEDED]<br>
<br>
Grepping for SYS_ERR_DEPTH_EXCEEDED results in:<br>
kernel/capabilities.c-618- // If lookup exceeded expected depth then table is malformed<br>
kernel/capabilities.c-619- if (bits_resolved > vbits) {<br>
kernel/capabilities.c-620- debug(SUBSYS_CAPS, "caps_lookup_slot: Lookup exceeded valid bits\n"<br>
kernel/capabilities.c-621- "Cnode bits = %u, guard size = %u, valid bits = %u\n",<br>
kernel/capabilities.c-622- cnode_cap->u.cnode.bits, cnode_cap->u.cnode.guard_size,<br>
kernel/capabilities.c-623- vbits);<br>
kernel/capabilities.c:624: return SYS_ERR_DEPTH_EXCEEDED;<br>
kernel/capabilities.c-625- }<br>
<br>
I'm wondering whether this has something to do with the patch that you<br>
applied... I'm guessing that using BIOS allocation did not help.<br>
<br>
It might be worth enabling the debug for the 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>
Kornilios.<o:p></o:p></span></font></p>
<div>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><br>
<br>
<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 cap_copy() [LIB_ERR_CAP_COPY]<br>
> Failure: ( kernel) Error looking up source capability<br>
> [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
> Failure: ( kernel) Exceeded depth limit of CSpace<br>
> [SYS_ERR_DEPTH_EXCEEDED]<br>
> > bomp_benchmark_ft 0<br>
> cap_copy failed for src_slot = 0, dest_slot = 5<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 cap_copy() [LIB_ERR_CAP_COPY]<br>
> Failure: ( kernel) Error looking up source capability<br>
> [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
> Failure: ( kernel) Exceeded depth limit of CSpace<br>
> [SYS_ERR_DEPTH_EXCEEDED]<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 cap_copy() [LIB_ERR_CAP_COPY]<br>
> Failure: ( kernel) Error looking up source capability<br>
> [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
> Failure: ( kernel) Exceeded depth limit of CSpace<br>
> [SYS_ERR_DEPTH_EXCEEDED]<br>
> > bomp_benchmark_ft 1<br>
> cap_copy failed for src_slot = 0, dest_slot = 5<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 cap_copy() [LIB_ERR_CAP_COPY]<br>
> Failure: ( kernel) Error looking up source capability<br>
> [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
> Failure: ( kernel) Exceeded depth limit of CSpace<br>
> [SYS_ERR_DEPTH_EXCEEDED]<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 cap_copy() [LIB_ERR_CAP_COPY]<br>
> Failure: ( kernel) Error looking up source capability<br>
> [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
> Failure: ( kernel) Exceeded depth limit of CSpace<br>
> [SYS_ERR_DEPTH_EXCEEDED]<br>
> > bomp_benchmark_ft 4<br>
> cap_copy failed for src_slot = 0, dest_slot = 5<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 cap_copy() [LIB_ERR_CAP_COPY]<br>
> Failure: ( kernel) Error looking up source capability<br>
> [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
> Failure: ( kernel) Exceeded depth limit of CSpace<br>
> [SYS_ERR_DEPTH_EXCEEDED]<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 cap_copy() [LIB_ERR_CAP_COPY]<br>
> Failure: ( kernel) Error looking up source capability<br>
> [SYS_ERR_SOURCE_CAP_LOOKUP]<br>
> Failure: ( kernel) Exceeded depth limit of CSpace<br>
> [SYS_ERR_DEPTH_EXCEEDED]<br>
><br>
> many thanks,<br>
> Antonio<br>
><br>
><br>
> On Mon, Nov 3, 2014 at 9:58 AM, Antonio Barbalace <<a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a>> wrote:<br>
><br>
> Kornilios, Stefan, Gerd,<br>
><br>
> thank you very much! I am now able to interact with the terminal via the<br>
> serial line. The patch was necessary, note that maxchild is 2 while busnum<br>
> is 4.<br>
><br>
> I am attaching the boot logs as a reference.<br>
><br>
> appreciate your support,<br>
> Antonio<br>
><br>
> On Fri, Oct 31, 2014 at 10:45 AM, Gerd Zellweger <<br>
> <a href="mailto:gerd.zellweger@inf.ethz.ch" target="_blank">gerd.zellweger@inf.ethz.ch</a>> wrote:<br>
><br>
> Hi,<br>
><br>
> Just in case: If changing the bridge program as suggested by Stefan is<br>
> not helping, you can also try this small patch that essentially<br>
> disables the assertion.<br>
> AFAIK that bound check there, which is reported by ACPI seems to be (at<br>
> least on our machines) not really a strict limit and can be ignored.<br>
><br>
> Gerd<br>
><br>
><br>
> On 2014-10-31 14:01, Stefan Kaestle wrote:<br>
><br>
> Hi Antonio,<br>
><br>
> This could be due to a bug in the PCI bus allocation code.<br>
> It is worth trying the BIOS given PCI allocation plan instead. For<br>
> that, try using the following arguments to PCI in menu.lst<br>
><br>
> modulenounzip /harness/sbrinz2_harness/x86_64/sbin/pci auto<br>
> SKB_BRIDGE_PROGRAM=BRIDGE_BIOS<br>
><br>
><br>
> Also, can you please enable PCI debug output and send the log? For<br>
> that, uncomment the following in line 17 of usr/pci/pci_debug.h<br>
> and<br>
> recompile:<br>
><br>
> #define PCI_SERVICE_DEBUG 1<br>
><br>
> Cheers,<br>
> Stefan<br>
><br>
> On 10/31/2014 11:36 AM, Kornilios Kourtis wrote:<br>
><br>
><br>
> Hi Antonio,<br>
><br>
> [CCing the list and Gerd]<br>
><br>
> On Thu, Oct 30, 2014 at 11:29:16AM -0400, Antonio Barbalace<br>
> wrote:<br>
><br>
><br>
> Hi Kornilios,<br>
><br>
> I re-started my adventure with Barrelfish this morning with<br>
> the<br>
> last mercurial<br>
> release. I am using tftpboot PXE boot (modified grub etc.).<br>
> I kept<br>
> myself from<br>
> modify the code at the moment. But I have to confess that I<br>
> added<br>
> a PCI_DEBUG()<br>
> before this error and nothing was printed even changing the<br>
> loglevel= . Let me<br>
> know if you prefer me to send this error on the forum.<br>
><br>
> monitor: synchronizing clocks<br>
> Kaluga: pci_root_bridge<br>
> spawnd.0: spawning /x86_64/sbin/pci on core 0<br>
> Kaluga: pci_devices<br>
> pci: Unknown commandline option "auto" -- skipping.<br>
> startd.0: starting app /x86_64/sbin/serial on core 0<br>
> spawnd.0: spawning /x86_64/sbin/serial on core 0<br>
> startd.0: starting app /x86_64/sbin/angler on core 0<br>
> spawnd.0: spawning /x86_64/sbin/angler on core 0<br>
> No bootscript<br>
> skb.0: waiting for: pci<br>
> skb.0: waiting for: serial0.terminal<br>
> assertion "*busnum <= maxchild" failed: file "../usr/pci/<br>
> pci.c",<br>
> line 598,<br>
> function: assign_bus_numbers<br>
> Aborted<br>
> Spawnd up.<br>
><br>
><br>
> Sounds like a problem Gerd has been dealing with. If that's the<br>
> case, we<br>
> might have a quick-fix for it. Gerd?<br>
><br>
> cheers,<br>
> Kornilios.<br>
><br>
><br>
> --<br>
> Stefan<br>
> <a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/skaestle/</a> [1]<br>
><br>
><br>
> Links:<br>
> ------<br>
> [1] <a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/skaestle/</a><br>
><br>
> _______________________________________________<br>
> Barrelfish-users mailing list<br>
> <a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.ethz.ch</a><br>
> <a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
><br>
><br>
> _______________________________________________<br>
> Barrelfish-users mailing list<br>
> <a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.ethz.ch</a><br>
> <a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
><br>
><br>
><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" target="_blank">+1 (540) 231-2494</a><br>
> email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><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" target="_blank">+1 (540) 231-2494</a><br>
> email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><br>
<br>
<br>
<br>
> _______________________________________________<br>
> Barrelfish-users mailing list<br>
> <a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.ethz.ch</a><br>
> <a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">
https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
<br>
<br>
--<o:p></o:p></span></font></p>
</div>
</div>
<p class="MsoNormal"><font size="3" color="#888888" face="Times New Roman"><span style="font-size:12.0pt;color:#888888">Kornilios Kourtis</span></font><o:p></o:p></p>
</blockquote>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><br>
<br clear="all">
<br>
-- <o:p></o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">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" target="_blank">+1 (540) 231-2494</a><br>
email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><o:p></o:p></span></font></p>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><br>
<br clear="all">
<br>
-- <o:p></o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">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" target="_blank">+1 (540) 231-2494</a><br>
email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><o:p></o:p></span></font></p>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><br>
<br clear="all">
<br>
-- <o:p></o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">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" target="_blank">+1 (540) 231-2494</a><br>
email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><o:p></o:p></span></font></p>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt"><br>
<br clear="all">
<br>
-- <o:p></o:p></span></font></p>
<div>
<p class="MsoNormal"><font size="3" face="Times New Roman"><span style="font-size:12.0pt">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><o:p></o:p></span></font></p>
</div>
</div>
</div>
</div>
</body>
</html>