Lines Matching defs:Barrelfish
17 \title{Barrelfish Architecture Overview} % title of report
18 \author{Team Barrelfish} % author
20 \tnkey{Barrelfish Overview} % Short title, will appear in footer
47 \chapter{Barrelfish Architecture Overview}
49 This document is intended as an introduction to Barrelfish.
50 It presents a high level overview of the architecture of the Barrelfish
54 It does not provide a ``getting started'' guide to running Barrelfish
60 Barrelfish is ``multikernel'' operating
93 \caption{High level overview of the Barrelfish OS architecture}\label{fig:os-arch}
98 The kernel which runs on a given core in a Barrelfish machine is
103 In a heterogeneous Barrelfish system, CPU drivers will be different
144 preferred per-core scheduler for Barrelfish, and provides efficient
155 application (often called a \textit{domain} in Barrelfish) on a
160 Operating system tasks in Barrelfish are always single-core by design,
217 The basic runtime of any Barrelfish program is two libraries: a
244 Barrelfish uses a single model of
249 The Barrelfish capability model is similar to the seL4
317 Barrelfish applications are
369 Barrelfish provides a uniform interface for passing messages between
382 Barrelfish is known as Flounder. Flounder interface types are
383 generally found in the \texttt{/if} directory in the Barrelfish tree.
400 in Barrelfish, known as \emph{Message Transports}. Each one is highly
452 Barrelfish includes a system service called the System Knowledge Base,
455 in Barrelfish; examples are:
486 Device drivers in Barrelfish are implemented as individual dispatchers
521 Device management in Barrelfish is performed by a combination of
529 \item Octopus, the Barrelfish locking and pub/sub system built on top
532 \item Kaluga is the Barrelfish device manager, and is responsible to
543 In newer versions of Barrelfish, the same framework is also used for
551 Each Barrelfish core runs a special process called the \emph{Monitor},
589 full context switches to and from the monitor on Barrelfish).
594 hard to crash the CPU driver in Barrelfish, since it performs no
613 systems, Barrelfish's per-core allocators can also steal memory from
620 Each new dispatcher in Barrelfish is started with a bootstrapped
625 Barrelfish at present has no native file system. However, runtime
643 \caption{High level overview of the Barrelfish network stack}\label{fig:net-arch}
646 At time of writing, the Barrelfish network stack is evolving, but
647 Figure~\ref{fig:net-arch} shows the high-level structure. Barrelfish
670 \chapter{The Barrelfish source tree}\label{chap:sourcetree}
678 The Barrelfish source tree is organized as follows:
684 \item[doc/] \LaTeX Source code for the Barrelfish Technical Notes, including
686 \item[errors/] Definitions of Barrelfish system error codes, written
689 \item[if/] Definitions of Barrelfish message-passing interface types,
691 \item[include/] Barrelfish general header files.
692 \item[kernel/] Source code for Barrelfish CPU drivers.
693 \item[kernel/include/] Header files internal to Barrelfish CPU drivers.
698 Barrelfish tracing infrastructure, written in the Pleco language.
699 \item[usr/] Source code for Barrelfish binaries.
700 \item[usr/drivers/] Source code for Barrelfish device driver binaries.
705 \chapter{The Barrelfish build tree}\label{chap:buildtree}
707 Successfully building Barrelfish results in a series of files and
712 \item[docs/] PDF files corresponding to the Barrelfish technical
715 \item[hake/] Build files and binary for \texttt{hake}, the Barrelfish
724 Barrelfish build tree. It is sometimes useful to search through
729 \item[menu.lst] An initial file for booting Barrelfish via grub.
731 CPIO archive containing support Prolog files for the Barrelfish
734 CPIO archive containing support files for the Barrelfish port of the
739 complete platform images of Barrelfish for various hardware
742 of various tools needed to building Barrelfish, such as
790 \chapter{An overview of Barrelfish documentation}\label{chap:docs}
792 Barrelfish a rapidly-changing research operating system, and
799 The Barrelfish source contains a number of technical notes, which are
804 This document is Barrelfish Technical Note 0. The remaining technical
807 \item \textbf{Glossary:} A list of Barrelfish-specific terms with
809 \item \textbf{Mackerel:} Reference manual for the Barrelfish language
812 \item \textbf{Hake:} A comprehensive manual for the Barrelfish build
814 \item \textbf{Virtual Memory in Barrelfish \textit{obsolete}:} A brief
815 description of virtual memory support in Barrelfish, now superceded
817 \item \textbf{Barrelfish on the Intel Single-chip Cloud Computer:} A
818 description of the Barrelfish support for the SCC (Rock Creek)
821 \item \textbf{Routing in Barrelfish:} An early design for routing
823 \item \textbf{Tracing and Visualization:} The Barrelfish trace
828 \item \textbf{Specification} A document specifying the Barrelfish API and the core kernel implementation.
829 \item \textbf{Inter-dispatcher communication in Barrelfish:}
833 \item \textbf{Barrelfish OS Services:} A list of services running in a
834 typical Barrelfish machine, together with their interdependencies.
835 \item \textbf{Capability Management in Barrelfish:} Documentation
839 contiguous areas of memory between Barrelfish domains.
841 description of the Barrelfish AHCI driver.
843 represented in Barrelfish, both inside the CPU driver and from user
847 Barrelfish technical notes are built from the Barrelfish tree (using
849 Barrelfish web site at \url{http://www.barrelfish.org/}.
851 \section{The Barrelfish Wiki}
853 The Barrelfish project public wiki (at
856 core Barrelfish team.
860 Many publications related to Barrelfish can be found on the Barrelfish
867 The Barrelfish libraries are annotated for use with Doxygen.