Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Both sides next revision | ||
| alvis:alpha0 [2015/11/30 01:20] marcin | — (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== $\alpha^0$ system layer ====== | ||
| - | |||
| - | |||
| - | |||
| - | $\alpha^0$ system layer makes Alvis a universal formal modelling language similar to Petri nets or process algebras. The $\alpha^0$ system layer scheduler is based on the following assumptions. | ||
| - | - Each active agent has access to its own processor. | ||
| - | - In case of conflicts, agents priorities are taken under consideration. If two or more agents with the same highest priority compete for the same resources, the system works indeterministically. | ||
| - | |||
| - | A **conflict** is a state when two or more active agents try to call a procedure of the same passive agent or two or more active agents try to communicate with the same active agent. | ||
| - | |||
| - | |||
| - | The $\alpha^0$ system layer is the most suitable one for distributed systems. In such a case, each agent is an autonomous system with its own processor. | ||
| - | |||
| - | **[[: | ||