Compare commits

...

2 commits

8 changed files with 29 additions and 32 deletions

View file

@ -12,7 +12,7 @@ defmodule Scopes.CSys.Application do
IO.puts("Hello CSys")
Logger.info(Util.show [type, args])
children = [
Scopes.Core.Environ,
{Scopes.Core.Environ, init: []},
Scopes.CSys.Server.Endpoint
]
opts = [strategy: :one_for_one, name: Scopes.CSys.Supervisor]

View file

@ -2,6 +2,7 @@ defmodule Scopes.Core.Environ do
@cell_registry __MODULE__.Cells
alias Scopes.Core
alias Scopes.Core.Actor
alias Scopes.Core.Shape
defmodule State do
@ -13,8 +14,13 @@ defmodule Scopes.Core.Environ do
start: {__MODULE__, :start_link, opts}}
end
def start_link() do
def start_link(opts \\ []) do
#IO.inspect(opts)
Registry.start_link(keys: :unique, name: @cell_registry)
zero_spec = opts[:zero_spec]
if zero_spec do
setup(zero_spec, opts[:init_seq] || [])
end
end
def cells(), do: @cell_registry
@ -22,9 +28,10 @@ defmodule Scopes.Core.Environ do
def setup({state, proc}, init_seq, proc_env \\ &proc_env/2) do
env_scope = {%State{init_seq: init_seq}, proc_env, [], self()}
env = Core.neuron(env_scope)
Actor.register(env, cells(), {:env, :c00})
msg = Shape.create([:csys, :zero], data: %{addr: [:csys, :c00, "0-0"]})
proc = {state, proc, [], env}
Core.create(msg, proc)
scope = {state, proc, [], env}
Core.create(msg, scope)
env
end

View file

@ -60,8 +60,6 @@ defmodule Scopes.Core.Program do
[:csys, :data | _rest] -> process_basic(msg, scope, args)
#[:csys, :trigger | _rest] -> process_trigger(msg, scope)
[:csys, :connect | _rest] -> Core.connect(msg, scope)
[:csys, :create, :succ | _rest] -> create_succ(msg, scope)
[:csys, :create, :pred | _rest] -> create_pred(msg, scope)
[:csys, :create | _rest] -> create(msg, scope)
#[:csys, :next | _rest] -> next(msg, scope)
_ -> Core.forward(msg, scope) || Core.notify(msg, scope)
@ -92,18 +90,6 @@ defmodule Scopes.Core.Program do
end
end
def create_succ(msg, scope) do
new = Core.create(msg, restart(scope))
data = Shape.data(msg)
Core.send_message(self(), ~w(csys connect)a, Map.put(data, :target, new))
end
def create_pred(msg, scope) do
new = Core.create(msg, restart(scope))
data = Shape.data(msg)
Core.send_message(new, ~w(csys connect)a, Map.put(data, :target, self()))
end
def create(msg, scope) do
new = Core.create(msg, restart(scope))
data = Shape.data(msg)
@ -140,11 +126,12 @@ defmodule Scopes.Core.Program do
two = [:csys, :c00, "1-1"]
three = [:csys, :s01, "1-1"]
[
&Environ.send_message(&1, zero, ~w(csys create pred)a,
%{op: [Core.data_only(), negate()], addr: one}),
&Environ.send_message(&1, one, ~w(csys create succ)a,
%{op: Core.data_only(), addr: two}),
&Environ.send_message(&1, two, ~w(csys create pred)a, %{addr: three}),
&Environ.send_message(&1, zero, ~w(csys create)a,
%{op: [Core.data_only(), negate()], addr: one, dir: :pred}),
&Environ.send_message(&1, one, ~w(csys create)a,
%{op: Core.data_only(), addr: two, dir: :succ}),
&Environ.send_message(&1, two, ~w(csys create)a,
%{addr: three, dir: :pred}),
&Environ.connect(&1, three, zero)
]
end
@ -152,9 +139,9 @@ defmodule Scopes.Core.Program do
def init_recursive_1() do
zero = [:csys, :c00, "0-0"]
[
&Environ.send_message(&1, zero, ~w(csys create succ)a, %{}),
&Environ.send_message(&1, zero, ~w(csys create pred)a,
%{addr: [:csys, :s01, "1-1"]}),
&Environ.send_message(&1, zero, ~w(csys create)a, %{dir: :succ}),
&Environ.send_message(&1, zero, ~w(csys create)a,
%{addr: [:csys, :s01, "1-1"], dir: :pred}),
&Environ.connect(&1, zero, zero, negate())
]
end

View file

@ -1,5 +1,5 @@
defmodule Scopes.CoreActorTest do
use ExUnit.Case, async: true
use ExUnit.Case, async: false
alias Scopes.Core.Actor
describe "actors:" do

View file

@ -17,9 +17,12 @@ defmodule Scopes.CoreTest do
describe "core-basic:" do
test "minimal-b1" do
Environ.start_link()
env = Environ.setup(Program.prepare_basic(), Program.init_seq_b1())
Environ.start_link(
zero_spec: Program.prepare_basic(),
init_seq: Program.init_seq_b1())
#env = Environ.setup(Program.prepare_basic(), Program.init_seq_b1())
Process.sleep(50)
[{env, _val}] = Registry.lookup(Environ.cells(), {:env, :c00})
Environ.forward_value(env, [:csys, :c00, "0-0"], 0)
assert 0 = receive_data().value
Environ.forward_value(env, [:csys, :s01, "1-0"], 1)

View file

@ -1,5 +1,5 @@
defmodule Scopes.CoreShapeTest do
use ExUnit.Case, async: true
use ExUnit.Case, async: false
alias Scopes.Core.Shape

View file

@ -1,5 +1,5 @@
defmodule Scopes.DemoTest do
use ExUnit.Case, async: true
use ExUnit.Case, async: false
alias Scopes.Demo.Hello
doctest Hello

View file

@ -1,5 +1,5 @@
defmodule Scopes.UtilTest do
use ExUnit.Case, async: true
use ExUnit.Case, async: false
alias Scopes.Util
require Util