fluencelabs/gitbook-docs
1
0
Fork 0
mirror of https://github.com/fluencelabs/gitbook-docs synced 2025-06-13 23:11:44 +00:00
Code Issues Projects Releases Wiki Activity

Merge branch 'main' into docs

Browse Source
This commit is contained in:
boneyard93501
2021-05-07 19:41:39 -05:00
committed by GitHub
parent e824ad2e2f 96022bd593
commit 90e84a9772
22 changed files with 70 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
knowledge_knowledge/knowledge_aquamarine/README.md
View File

@ -6,12 +6,13 @@ At the core of Aquamarine is the design ideal and idea to pair concurrent system
## Background
When we build systems, we need to be able to model, specify, analyze and verify them and this is especially important to concurrent systems such as parallel and multi-threaded systems. [Formal specifications](https://en.wikipedia.org/wiki/Formal_specification) are a family of formal approaches to design, model, and verify system. In the context of concurrent systems, there are two distinct formal specification techniques available. The state oriented approach is concerned with modeling verifying a systems state and state transitions and is often accomplished with [TLA+](https://en.wikipedia.org/wiki/TLA%2B). Modern blockchain design, modeling, and verification tend to rely on a state-based specification.
When we build systems, we need to be able to model, specify, analyze and verify them and this is especially important to concurrent systems such as parallel and multi-threaded systems. [Formal specification](https://en.wikipedia.org/wiki/Formal_specification) are a family of formal approaches to design, model, and verify system. In the context of concurrent systems, there are two distinct formal specification techniques available. The state oriented approach is concerned with modeling verifying a systems state and state transitions and is often accomplished with [TLA+](https://en.wikipedia.org/wiki/TLA%2B). Modern blockchain design, modeling, and verification tend to rely on a state-based specification.
An alternative, complementary approach is based on [Process calculus](https://en.wikipedia.org/wiki/Process_calculus) to model and verify the sequence of communications operations of a system at any given time. [π-Calculs](https://en.wikipedia.org/wiki/%CE%A0-calculus) is a modern process calculus employed in a wide range of applications ranging from biology to games and business processes.
Aquamarine, Fluence's distributed composition language and runtime, is based on π-calculus and provides a solid theoretical basis toward the design, modeling, implementation, and verification of a wide class of distributed, peer-to-peer networks, applications and backends.
## Language
[Aquamarine Intermediate Representation](https://github.com/boneyard93501/docs/tree/a512080f81137fb575a5b96d3f3e83fa3044fd1c/src/knowledge-base/knowledge_aquamarine__air.md) \(AIR\) is a low-level language modeled after the [WebAssembly text format](https://developer.mozilla.org/en-US/docs/WebAssembly/Understanding_the_text_format) and allows developers to manage network peers as well as services and backends. AIR, while intended as a compile target, is currently the only Aquamarine language implementation although a high level language \(HLL\) is currently under active development.

6
knowledge_knowledge/knowledge_aquamarine/hll.md
View File

@ -1,10 +1,6 @@
# HLL
### Aquamarine High Level Language
Since parenthesis management is a bit of a downer, we are very soon providing a high level language with AIR as the compile target. Aquamarine users, rejoice !
## Aquamarine High Level Language
_**Stay Tuned -- Coming Soon To A Repo Near You**_

1
knowledge_knowledge/knowledge_aquamarine/knowledge_aquamarine_air.md
View File

@ -53,3 +53,4 @@ This instruction is intended for organizing branches in the flow of execution as
This is an empty instruction: it takes no arguments and does nothing. The _**null**_ instruction is useful for generating code.