[Barrelfish-users] Barrelfish working

Timothy Roscoe troscoe at inf.ethz.ch
Sat Feb 6 14:58:31 CET 2016

Perhaps you could be a bit more specific about what you're trying to

Are you trying to get different threads within a program to
synchronize with each other?   If so, libbarrelfish gives you the
basic thread mutexes and condition variables.   Alternatively, your
favorite shared-memory operations between cores should work as well,
as long as you have correctly spanned the domain (process) across the
cores you want to use. 

Are you trying to get differnet programs to synchronize with each
other?  If so, do you want to use shared-memory operations (assuming
you have a single coherence domain on your machine)?   If so, mapping
a shared segment of memory is the way to go: have one program allocate
a physical frame, send a capability to it to the other program, and
then both can implement whatever primitives you would like in there
(e.g. spinlocks, wait-free queues, etc.).   

Alternatively, we tend to use messages to communicate between
programs.  This is almost certainly the easiest way to do things.
Within a coherence domain, but between processors, this uses shared
memory under the hood, but is abstracted behind an interface defined
in the Flounder language.  The tutorial technical note shows how to do

 -- Mothy

At Sat, 6 Feb 2016 18:53:08 +0530, tejaswi gayathri <dtssg1997 at gmail.com> wrote:
> How to implement process synchronisation in barrelfish? please help.
> On Tue, Feb 2, 2016 at 8:34 PM, tejaswi gayathri <dtssg1997 at gmail.com>
> wrote:
> > Example programs are working properly but when i write a new code its not
> > getting executed.To be more precise when i run a new code,object file is
> > not generated.What could be the mistake?Moreover could u please give
> > information about the header files that are to be included to run a new
> > program.
> > I also changed the symbolic targets.mk,hake file also according to my
> > code.
> >
> > On Thu, Jan 28, 2016 at 3:04 PM, tejaswi gayathri <dtssg1997 at gmail.com>
> > wrote:
> >
> >> Barrelfish is installed in my system and I have compiled hello world
> >> program which is given in the examples and its showing the output. But when
> >> I try another program its stucked at the "make" command  .Its not
> >> proceeding further after that.Could u please help !
> >>
> >
> >

More information about the Barrelfish-users mailing list