[Barrelfish-users] barrelfish help!

Achermann Reto retoachermann at student.ethz.ch
Fri Nov 7 10:20:31 CET 2014


Hi Antonio,

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:

/* lib/spawndomain/arch/x86/spawn_arch.c */
261     // XXX: this code assumes that elf_load never needs more than 32 slots for
262     // text frame capabilities.

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?

-- Reto

From: Antonio Barbalace [mailto:antoniob at vt.edu]
Sent: Friday, November 7, 2014 3:24 AM
To: Kornilios Kourtis; Antonio Barbalace; Zellweger Gerd; barrelfish-users at lists.inf.ethz.ch
Subject: Re: [Barrelfish-users] barrelfish help!

I added some more printfs ... if it can help solve the problem.

> bomp_benchmark_ft 1
spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 128
spawnd.0: single_slot_alloc_init_raw: ret->head: 0x76c8f8 ret->head ->slot: 0 ->space: 128 ->next: 0x0
spawnd.0: single_slot_alloc_init_raw: ret: 0x8013c80018 ret->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 1024 .space: 1024
spawnd.0: single_slot_alloc_init_raw: ret->head: 0x8013c800a8 ret->head ->slot: 0 ->space: 1024 ->next: 0x0
spawnd.0: salloc: sca: 0x6a1528 sca->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 0
spawnd.0: salloc:        sca->head: 0x0 ->slot: 0 ->space: 0 ->next: 0x0
ERROR: spawnd.0 in elf_allocate() ../lib/spawndomain/arch/x86/spawn_arch.c:165
ERROR: lib_err_memobj_pagefault_handler
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
Failure: (  libbarrelfish) Failure in alloc_vnode() [LIB_ERR_PMAP_ALLOC_VNODE]
Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]
Failure: (  libbarrelfish) Slot allocator is out of space [LIB_ERR_SLOT_ALLOC_NO_SPACE]
ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
ERROR: spawn
Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_HANDLER]
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
bomp_benchmark_ft: error spawning: Failure while loading
ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
ERROR: Spawning Error

Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_HANDLER]
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
> bomp_benchmark_ft 2
spawnd.0: single_slot_alloc_init_raw: ret: 0x6a1528 ret->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 128
spawnd.0: single_slot_alloc_init_raw: ret->head: 0x76a148 ret->head ->slot: 0 ->space: 128 ->next: 0x0
spawnd.0: salloc: sca: 0x6a1528 sca->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 0
spawnd.0: salloc:        sca->head: 0x0 ->slot: 0 ->space: 0 ->next: 0x0
ERROR: spawnd.0 in elf_allocate() ../lib/spawndomain/arch/x86/spawn_arch.c:165
ERROR: lib_err_memobj_pagefault_handler
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
Failure: (  libbarrelfish) Failure in alloc_vnode() [LIB_ERR_PMAP_ALLOC_VNODE]
Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]
Failure: (  libbarrelfish) Slot allocator is out of space [LIB_ERR_SLOT_ALLOC_NO_SPACE]
ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
ERROR: spawn
Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_HANDLER]
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
bomp_benchmark_ft: error spawning: Failure while loading
ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
ERROR: Spawning Error

Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_HANDLER]
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]

Antonio


On Thu, Nov 6, 2014 at 1:17 PM, Antonio Barbalace <antoniob at vt.edu<mailto:antoniob at vt.edu>> wrote:
Kornilios,
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.

> bomp_benchmark_ft 1
spawnd.0: salloc: sca: 0x6a1528 sca->a .alloc: 0x492f10 .free: 0x492d10 .nslot: 128 .space: 0
spawnd.0: salloc:        sca->head: 0x0 ->slot: 0 ->space: 0 ->next: 0x0

ERROR: spawnd.0 in elf_allocate() ../lib/spawndomain/arch/x86/spawn_arch.c:165
ERROR: lib_err_memobj_pagefault_handler
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
Failure: (  libbarrelfish) Failure in alloc_vnode() [LIB_ERR_PMAP_ALLOC_VNODE]
Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]
Failure: (  libbarrelfish) Slot allocator is out of space [LIB_ERR_SLOT_ALLOC_NO_SPACE]
ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
ERROR: spawn
Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_HANDLER]
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
bomp_benchmark_ft: error spawning: Failure while loading
ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
ERROR: Spawning Error

Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_HANDLER]
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
the error comes from lib/barrelfish/slot_alloc/single_slot_alloc.c because sca->a.space is ZERO.
please advice!
thanks,
Antonio

On Wed, Nov 5, 2014 at 11:53 AM, Antonio Barbalace <antoniob at vt.edu<mailto:antoniob at vt.edu>> wrote:
Let me also include this:

bomp_benhchmark_ft 2
ERROR: spawnd.0 in elf_allocate() ../lib/spawndomain/arch/x86/spawn_arch.c:165
ERROR: lib_err_memobj_pagefault_handler
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
Failure: (  libbarrelfish) Failure in alloc_vnode() [LIB_ERR_PMAP_ALLOC_VNODE]
Failure: (  libbarrelfish) Failure in slot_alloc() [LIB_ERR_SLOT_ALLOC]
Failure: (  libbarrelfish) Slot allocator is out of space [LIB_ERR_SLOT_ALLOC_NO_SPACE]
ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
ERROR: spawn
Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_HANDLER]
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
bomp_benchmark_ft: error spawning: Failure while loading
ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
ERROR: Spawning Error

Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
Failure: (         libelf) Nested failure in allocator function [ELF_ERR_ALLOCATE]
Failure: (  libbarrelfish) Failure in memobj_pagefault_handler() [LIB_ERR_MEMOBJ_PAGEFAULT_HANDLER]
Failure: (  libbarrelfish) Failure in pmap_map() [LIB_ERR_PMAP_MAP]
Failure: (  libbarrelfish) Failure in pmap_do_map() [LIB_ERR_PMAP_DO_MAP]
Failure: (  libbarrelfish) Failure in get_mapping() [LIB_ERR_PMAP_GET_PTABLE]
>>> Slot allocator is out of space
ab

On Wed, Nov 5, 2014 at 11:47 AM, Antonio Barbalace <antoniob at vt.edu<mailto:antoniob at vt.edu>> wrote:
Attached the log and the output of print_cspace.
thanks again for your support,
Antonio

On Tue, Nov 4, 2014 at 7:51 AM, Kornilios Kourtis <kornilios.kourtis at inf.ethz.ch<mailto:kornilios.kourtis at inf.ethz.ch>> wrote:
On Mon, Nov 03, 2014 at 12:56:46PM -0500, Antonio Barbalace wrote:
> Dear all,
>
> I am now trying to run the bomp experiments.
>
> Just to make some context, I am using a tftp server. bomp_benchmark_ft is
> loaded by the menu.lst/grub (maybe is not the right way to do it). I am
> attaching menu.lst.
>
> This is what happen when I am loading bomp_benchmark_ft (also without
> arguments, the same errors are reported during boot):
>
> > bomp_benchmark_ft
> cap_copy failed for src_slot = 0, dest_slot = 5
> ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
> ERROR: spawn
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Error looking up source capability
> [SYS_ERR_SOURCE_CAP_LOOKUP]
> Failure: (         kernel) Exceeded depth limit of CSpace
> [SYS_ERR_DEPTH_EXCEEDED]

Grepping for SYS_ERR_DEPTH_EXCEEDED results in:
kernel/capabilities.c-618-    // If lookup exceeded expected depth then table is malformed
kernel/capabilities.c-619-    if (bits_resolved > vbits) {
kernel/capabilities.c-620-        debug(SUBSYS_CAPS, "caps_lookup_slot: Lookup exceeded valid bits\n"
kernel/capabilities.c-621-              "Cnode bits = %u, guard size = %u, valid bits = %u\n",
kernel/capabilities.c-622-              cnode_cap->u.cnode.bits, cnode_cap->u.cnode.guard_size,
kernel/capabilities.c-623-              vbits);
kernel/capabilities.c:624:        return SYS_ERR_DEPTH_EXCEEDED;
kernel/capabilities.c-625-    }

I'm wondering whether this has something to do with the patch that you
applied... I'm guessing that using BIOS allocation did not help.

It might be worth enabling the debug for the caps system. Can you please
replace the corresponding line in menu.lst with:

 module  /x86_64/sbin/cpu loglevel=5 logmask=0x40

And send us the debug messages?

cheers,
Kornilios.



> bomp_benchmark_ft: error spawning: Failure while loading
> ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
> ERROR: Spawning Error
>
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Error looking up source capability
> [SYS_ERR_SOURCE_CAP_LOOKUP]
> Failure: (         kernel) Exceeded depth limit of CSpace
> [SYS_ERR_DEPTH_EXCEEDED]
> > bomp_benchmark_ft 0
> cap_copy failed for src_slot = 0, dest_slot = 5
> ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
> ERROR: spawn
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Error looking up source capability
> [SYS_ERR_SOURCE_CAP_LOOKUP]
> Failure: (         kernel) Exceeded depth limit of CSpace
> [SYS_ERR_DEPTH_EXCEEDED]
> bomp_benchmark_ft: error spawning: Failure while loading
> ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
> ERROR: Spawning Error
>
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Error looking up source capability
> [SYS_ERR_SOURCE_CAP_LOOKUP]
> Failure: (         kernel) Exceeded depth limit of CSpace
> [SYS_ERR_DEPTH_EXCEEDED]
> > bomp_benchmark_ft 1
> cap_copy failed for src_slot = 0, dest_slot = 5
> ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
> ERROR: spawn
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Error looking up source capability
> [SYS_ERR_SOURCE_CAP_LOOKUP]
> Failure: (         kernel) Exceeded depth limit of CSpace
> [SYS_ERR_DEPTH_EXCEEDED]
> bomp_benchmark_ft: error spawning: Failure while loading
> ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
> ERROR: Spawning Error
>
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Error looking up source capability
> [SYS_ERR_SOURCE_CAP_LOOKUP]
> Failure: (         kernel) Exceeded depth limit of CSpace
> [SYS_ERR_DEPTH_EXCEEDED]
> > bomp_benchmark_ft 4
> cap_copy failed for src_slot = 0, dest_slot = 5
> ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
> ERROR: spawn
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Error looking up source capability
> [SYS_ERR_SOURCE_CAP_LOOKUP]
> Failure: (         kernel) Exceeded depth limit of CSpace
> [SYS_ERR_DEPTH_EXCEEDED]
> bomp_benchmark_ft: error spawning: Failure while loading
> ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
> ERROR: Spawning Error
>
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Error looking up source capability
> [SYS_ERR_SOURCE_CAP_LOOKUP]
> Failure: (         kernel) Exceeded depth limit of CSpace
> [SYS_ERR_DEPTH_EXCEEDED]
>
> many thanks,
> Antonio
>
>
> On Mon, Nov 3, 2014 at 9:58 AM, Antonio Barbalace <antoniob at vt.edu<mailto:antoniob at vt.edu>> wrote:
>
>     Kornilios, Stefan, Gerd,
>
>     thank you very much! I am now able to interact with the terminal via the
>     serial line. The patch was necessary, note that maxchild is 2 while busnum
>     is 4.
>
>     I am attaching the boot logs as a reference.
>
>     appreciate your support,
>     Antonio
>
>     On Fri, Oct 31, 2014 at 10:45 AM, Gerd Zellweger <
>     gerd.zellweger at inf.ethz.ch<mailto:gerd.zellweger at inf.ethz.ch>> wrote:
>
>         Hi,
>
>         Just in case: If changing the bridge program as suggested by Stefan is
>         not helping, you can also try this small patch that essentially
>         disables the assertion.
>         AFAIK that bound check there, which is reported by ACPI seems to be (at
>         least on our machines) not really a strict limit and can be ignored.
>
>         Gerd
>
>
>         On 2014-10-31 14:01, Stefan Kaestle wrote:
>
>             Hi Antonio,
>
>              This could be due to a bug in the PCI bus allocation code.
>              It is worth trying the BIOS given PCI allocation plan instead. For
>             that, try using the following arguments to PCI in menu.lst
>
>              modulenounzip /harness/sbrinz2_harness/x86_64/sbin/pci auto
>             SKB_BRIDGE_PROGRAM=BRIDGE_BIOS
>
>
>              Also, can you please enable PCI debug output and send the log? For
>             that, uncomment the following in line  17 of usr/pci/pci_debug.h
>             and
>             recompile:
>
>              #define PCI_SERVICE_DEBUG 1
>
>              Cheers,
>               Stefan
>
>             On 10/31/2014 11:36 AM, Kornilios Kourtis wrote:
>
>
>                 Hi Antonio,
>
>                 [CCing the list and Gerd]
>
>                 On Thu, Oct 30, 2014 at 11:29:16AM -0400, Antonio Barbalace
>                 wrote:
>
>
>                     Hi Kornilios,
>
>                     I re-started my adventure with Barrelfish this morning with
>                     the
>                     last mercurial
>                     release. I am using tftpboot PXE boot (modified grub etc.).
>                     I kept
>                     myself from
>                     modify the code at the moment. But I have to confess that I
>                     added
>                     a PCI_DEBUG()
>                     before this error and nothing was printed even changing the
>                     loglevel= . Let me
>                     know if you prefer me to send this error on the forum.
>
>                     monitor: synchronizing clocks
>                     Kaluga: pci_root_bridge
>                     spawnd.0: spawning /x86_64/sbin/pci on core 0
>                     Kaluga: pci_devices
>                     pci: Unknown commandline option "auto" -- skipping.
>                     startd.0: starting app /x86_64/sbin/serial on core 0
>                     spawnd.0: spawning /x86_64/sbin/serial on core 0
>                     startd.0: starting app /x86_64/sbin/angler on core 0
>                     spawnd.0: spawning /x86_64/sbin/angler on core 0
>                     No bootscript
>                     skb.0: waiting for: pci
>                     skb.0: waiting for: serial0.terminal
>                     assertion "*busnum <= maxchild" failed: file "../usr/pci/
>                     pci.c",
>                     line 598,
>                     function: assign_bus_numbers
>                     Aborted
>                     Spawnd up.
>
>
>                 Sounds like a problem Gerd has been dealing with. If that's the
>                 case, we
>                 might have a quick-fix for it. Gerd?
>
>                 cheers,
>                 Kornilios.
>
>
>             --
>             Stefan
>             http://people.inf.ethz.ch/skaestle/ [1]
>
>
>             Links:
>             ------
>             [1] http://people.inf.ethz.ch/skaestle/
>
>             _______________________________________________
>             Barrelfish-users mailing list
>             Barrelfish-users at lists.inf.ethz.ch<mailto:Barrelfish-users at lists.inf.ethz.ch>
>             https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>
>
>         _______________________________________________
>         Barrelfish-users mailing list
>         Barrelfish-users at lists.inf.ethz.ch<mailto:Barrelfish-users at lists.inf.ethz.ch>
>         https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>
>
>
>
>
>     --
>     Dr. Eng. Antonio Barbalace, PhD
>     Systems Software Research Group (SSRG)
>     Bradley Department of Electrical and Computer Engineering
>     Virginia Tech
>     453 Durham Hall (0111)
>     Blacksburg, VA 24061
>     phone: +1 (540) 231-2494<tel:%2B1%20%28540%29%20231-2494>
>     email: antoniob at vt.edu<mailto:antoniob at vt.edu>
>
>
>
>
> --
> Dr. Eng. Antonio Barbalace, PhD
> Systems Software Research Group (SSRG)
> Bradley Department of Electrical and Computer Engineering
> Virginia Tech
> 453 Durham Hall (0111)
> Blacksburg, VA 24061
> phone: +1 (540) 231-2494<tel:%2B1%20%28540%29%20231-2494>
> email: antoniob at vt.edu<mailto:antoniob at vt.edu>



> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch<mailto:Barrelfish-users at lists.inf.ethz.ch>
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users


--
Kornilios Kourtis



--
Dr. Eng. Antonio Barbalace, PhD
Systems Software Research Group (SSRG)
Bradley Department of Electrical and Computer Engineering
Virginia Tech
453 Durham Hall (0111)
Blacksburg, VA 24061
phone: +1 (540) 231-2494<tel:%2B1%20%28540%29%20231-2494>
email: antoniob at vt.edu<mailto:antoniob at vt.edu>



--
Dr. Eng. Antonio Barbalace, PhD
Systems Software Research Group (SSRG)
Bradley Department of Electrical and Computer Engineering
Virginia Tech
453 Durham Hall (0111)
Blacksburg, VA 24061
phone: +1 (540) 231-2494<tel:%2B1%20%28540%29%20231-2494>
email: antoniob at vt.edu<mailto:antoniob at vt.edu>



--
Dr. Eng. Antonio Barbalace, PhD
Systems Software Research Group (SSRG)
Bradley Department of Electrical and Computer Engineering
Virginia Tech
453 Durham Hall (0111)
Blacksburg, VA 24061
phone: +1 (540) 231-2494<tel:%2B1%20%28540%29%20231-2494>
email: antoniob at vt.edu<mailto:antoniob at vt.edu>



--
Dr. Eng. Antonio Barbalace, PhD
Systems Software Research Group (SSRG)
Bradley Department of Electrical and Computer Engineering
Virginia Tech
453 Durham Hall (0111)
Blacksburg, VA 24061
phone: +1 (540) 231-2494
email: antoniob at vt.edu<mailto:antoniob at vt.edu>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20141107/0bdee1a9/attachment-0001.html 


More information about the Barrelfish-users mailing list