[Barrelfish-users] help
Timothy Roscoe
troscoe at inf.ethz.ch
Sat Jun 30 13:17:24 CEST 2012
Dear Sachin,
The Barrelfish concurrency model is described in our SOSP paper, which
is available from the web site. Each core runs a distinct small,
non-preemptible, event-driven kernel (called a CPU driver). A CPU
driver multiplexes the core among user-space "dispatcher" objects (one
per application per core), which are upcalled by the CPU driver when
the application is scheduled on that core. The dispatcher typically
runs a user-level, core-local, preemptive thread scheduler which, in
the presence of cache-coherent shared memory, can also migrate a
user-level thread between cores.
The short answer to your first question is therefore: "yes".
As for the future, we all wish we knew. We are continuing to develop
and support (as far as we can) Barrelfish as a vehicle and platform
for OS research.
Hope this helps,
-- Mothy
to the way K42, Psyche, Nemesis, and Scheduler Activations work).
At Sat, 30 Jun 2012 15:05:25 +0530, Sachin Agarwalla <sachin.agarwalla at cse.iitkgp.ernet.in> wrote:
> Dear Sir,
> I am mtech 1st yr student of IITKGP,India.Can you help me to answer the question "Is barrelfish multithreaded?" and what is future of barrelfish?
>
> thanking you,
> waiting for your reply,
> yours faithfully,
> sachinagarwalla
>
> ----- Original Message -----
> From: "Andrew Baumann" <Andrew.Baumann at microsoft.com>
> To: "Sachin Agarwalla" <sachin.agarwalla at cse.iitkgp.ernet.in>
> Cc: barrelfish-users at lists.inf.ethz.ch
> Sent: Friday, June 29, 2012 9:54:00 PM
> Subject: RE: help
>
> Hi,
>
> We use a variety of emulators, simulators and real hardware, but for day-to-day development Qemu is the most common.
>
> Cheers,
> Andrew
>
> -----Original Message-----
> From: Sachin Agarwalla [mailto:sachin.agarwalla at cse.iitkgp.ernet.in]
> Sent: Friday, 29 June, 2012 5:30
> To: barrelfish-users-request at lists.inf.ethz.ch
> Cc: Andrew Baumann
> Subject: help
>
> Dear Sir,
> I am mtech 1st yr student of IITKGP,India.Can you help me to answer the question "What emulator do you use for your barrelfish project?"
>
> thanking you,
> waiting for your reply,
> yours faithfully,
> sachinagarwalla
>
>
>
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>
>
>
More information about the Barrelfish-users
mailing list