f1xska

You've loaded an old revision of the document! If you save it, you will create a new version with this data.

<h1>F1x Architecture</h1>
<div class="level1">

</div>

<h2>Overview</h2>
<div class="level2">

</div>

<h3>Terminology</h3>
<div class="level3">
<ul>
<li class="level1 node"> Shard - Object with _name field<ul>
<li class="level3"> Data shards have _handler</li>
<li class="level3"> Code shards have _code attributes</li>
<li class="level3"> Query shard have _object, _query and _callback. The _callback method of _object Handler is called if _query result it changed.</li>
</ul>
</li>
<li class="level1"> Handler - Code shard that knows to execute methods for given Object</li>
<li class="level1"> Handlers Set - Handlers published by the same Owner</li>
<li class="level1"> Reflector - Mechanism to take referenced Shard, sign it and make available for peering</li>
<li class="level1"> Publish - procedure to create Reflector</li>
<li class="level1"> Site - f1x node installation</li>
<li class="level1"> Cache Routing Server (CRS) - intermediate server to connect Sites</li>
</ul>

</div>

<p>
Site is base compute unit of F1x network that works on behalf of single owner. It consists of events routing server and presentation (like web server). <br/>
 <br/>
Web server (presentation) functionality:
</p>
<ul>
<li class="level1"> authenticate the single user (a site normally has one user, preferably with unique domain)</li>
<li class="level1"> communcate with core on objects CRUD</li>
<li class="level1"> visualise and manage content in user-friendly way</li>
<li class="level1"> show notifications</li>
</ul>

<p>
Events routing server performs functions below:
</p>
<ul>
<li class="level1"> Storage for shards</li>
<li class="level1"> Execute methods</li>
<li class="level1"> provide pserver interface for exported Shards</li>
<li class="level1"> Keep track of callbacks shards (subscribers), notify CRS on changes</li>
<li class="level1"> garbage collect "foreign" Shards that are not referenced anymore</li>
</ul>

</div>

<h4>Shard (Memo)</h4>
<div class="level4">

<p>
Shard is data structure that has associated data handler, similarily to data and code separation in <a href="https://en.wikipedia.org/wiki/Object-oriented_programming" class="urlextern" title="https://en.wikipedia.org/wiki/Object-oriented_programming" rel="ugc nofollow">OOP</a>. Code is written in <a href="https://en.wikipedia.org/wiki/Lua_(programming_language)" class="urlextern" title="https://en.wikipedia.org/wiki/Lua_(programming_language)" rel="ugc nofollow">Lua</a> and is executed in sandbox. API methods to read and call referenced Memos allows writing sophisticated applications.
</p>

</div>

<h3>Exported Folders</h3>
<div class="level3">

<p>
Memos are stored into Folders in "Private" area, that is visible to owner only. User might choose to mark some folders as externally accessible, for others to be able to see them. Exported folders have mandatory "Epoch" and "Digital Signature". They also might be encrypted with public key of intended recipients, thus limiting who can see the content.
</p>

</div>

<h2>pCache server</h2>
<div class="level2">

<p>
Every Site is connected to a pCache server. It might be discovered by asking centralized "pCache servers registry". It is publicly accessible and should be at location with good connectivity. The pCache servers perform functions below:
</p>
<ul>
<li class="level1"> retrieve list of subscriptions from sites under its control, send back matching Memos</li>
<li class="level1"> retrieve "exported" data from sites and share it to sites that request it. Cache the data.</li>
<li class="level1"> receive notifications from children sites about data change, forward them to upstream pServers or other sites</li>
</ul>

</div>

<h3>JQ queries</h3>
<div class="level3">

<p>
Microapps need to access data from other Memos. They can run <a href="https://jqlang.github.io/jq/" class="urlextern" title="https://jqlang.github.io/jq/" rel="ugc nofollow">jq</a> queries on "known" Memos:
</p>
<ul>
<li class="level1"> what is default measurement system of the owner? Imperial or standard</li>
<li class="level1 node"> get list of neighbours who know me:<ul>
<li class="level3"> find Memos of kind People and have homeAt geo and have Memo of kind Subscription where (site=me and kind Memo=Message)</li>
<li class="level3"> remove ones that have distance between me and homeAt more than 100 m</li>
</ul>
</li>
</ul>

<p>
Stored queries (subscriptions) also use jq to find matching Memos: TBD How?
</p>

</div>

<h2>Security</h2>
<div class="level2">

<p>
For the system to be popular, users must trust the system to be able to protect their data. That means that Handlers must be trusted not to misuse data.
</p>

<p>
During setup Site owner is assigned "default" set of Handlers, that been carefully audited. He might change it or "overlay" it with other Handlers sets.
</p>

<p>
In addition to trusted Handlers set, data sharing must be permitted for each case. Initially Handler has "Unknown" security level. Once it reads from internal object, it is assumed "restricted" level, and it can not publish (write into public objects), unless permitted by Site Owner. The allowance might have a checkbox "remember this choice", thus allowing the particular combination of Handler and Object to publish.
</p>

</div>

<h3>Site security</h3>
<div class="level3">

<p>
Handlers are executed in sandbox, with access to Object fields (in the shard). Some fields are volatile, e.g. they are stored in cache area, separately from the shard. Currently we evaluate Lua for Handlers language, or <a href="https://pypi.org/project/RestrictedPython/" class="urlextern" title="https://pypi.org/project/RestrictedPython/" rel="ugc nofollow">RestrictedPython</a>
</p>

</div>

Enable Complex Tables Editor Height px Turn supplementary image paste support on

Edit summary: Minor changes