Add the 1st draft of high-level-machi.pdf

doc/README.md

@@ -6,7 +6,27 @@ Erlang documentation, please use this link:
 
 ## Documents in this directory
 
-* __chain-self-management-sketch.org__ is an introduction to the
+### chain-self-management-sketch.org
+
+__chain-self-management-sketch.org__ is an introduction to the
 self-management algorithm proposed for Machi.  This algorithm is
 (hoped to be) sufficient for managing the Chain Replication state of a
 Machi cluster.
+
+### high-level-machi.pdf
+
+__high-level-machi.pdf__ is an overview of the high level design for
+Machi.  Its abstract:
+
+> Our goal is a robust & reliable, distributed, highly available large
+> file store based upon write-once registers, append-only files, Chain
+> Replication, and client-server style architecture.  All members of
+> the cluster store all of the files.  Distributed load
+> balancing/sharding of files is outside of the scope of this system.
+> However, it is a high priority that this system be able to integrate
+> easily into systems that do provide distributed load balancing,
+> e.g., Riak Core.  Although strong consistency is a major feature of
+> Chain Replication, this document will focus mainly on eventual
+> consistency features --- strong consistency design will be discussed
+> in a separate document.
+

doc/src.high-level/high-level-machi.tex

@@ -48,8 +48,7 @@ consistency have been moved to a separate document, please see
 \section{Abstract}
 \label{sec:abstract}
 
-Our goal
+Our goal is a robust \& reliable, distributed, highly
-is creation of a robust \& reliable, distributed, highly
 available\footnote{Capable of operating in ``AP mode'' or 
   ``CP mode'' relative to the CAP Theorem, see
   Section~\ref{sub:wedge}.}