2020-10-30 20:29:05 +03:00
|
|
|
/*
|
|
|
|
* Copyright 2020 Fluence Labs Limited
|
|
|
|
*
|
|
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
* you may not use this file except in compliance with the License.
|
|
|
|
* You may obtain a copy of the License at
|
|
|
|
*
|
|
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
*
|
|
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
* See the License for the specific language governing permissions and
|
|
|
|
* limitations under the License.
|
|
|
|
*/
|
|
|
|
|
2021-05-10 14:25:34 +03:00
|
|
|
use air_test_utils::call_vm;
|
|
|
|
use air_test_utils::create_avm;
|
2021-05-16 22:52:22 +03:00
|
|
|
use air_test_utils::executed_state;
|
2021-05-10 14:25:34 +03:00
|
|
|
use air_test_utils::set_variable_call_service;
|
2021-05-16 22:52:22 +03:00
|
|
|
use air_test_utils::set_variables_call_service;
|
2021-05-10 14:25:34 +03:00
|
|
|
use air_test_utils::CallServiceClosure;
|
2021-05-16 22:52:22 +03:00
|
|
|
use air_test_utils::ExecutionTrace;
|
2021-05-10 14:25:34 +03:00
|
|
|
use air_test_utils::IValue;
|
|
|
|
use air_test_utils::NEVec;
|
2020-10-30 20:29:05 +03:00
|
|
|
|
|
|
|
use pretty_assertions::assert_eq;
|
|
|
|
use serde_json::json;
|
|
|
|
|
|
|
|
type JValue = serde_json::Value;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn data_merge() {
|
2021-05-16 22:52:22 +03:00
|
|
|
use executed_state::*;
|
|
|
|
|
2020-12-28 00:12:11 +03:00
|
|
|
let neighborhood_call_service1: CallServiceClosure = Box::new(|_, _| -> Option<IValue> {
|
2020-10-30 20:29:05 +03:00
|
|
|
Some(IValue::Record(
|
2021-01-12 13:04:25 +03:00
|
|
|
NEVec::new(vec![IValue::S32(0), IValue::String(String::from("[\"A\", \"B\"]"))]).unwrap(),
|
2020-10-30 20:29:05 +03:00
|
|
|
))
|
|
|
|
});
|
|
|
|
|
2020-12-28 00:12:11 +03:00
|
|
|
let neighborhood_call_service2: CallServiceClosure = Box::new(|_, _| -> Option<IValue> {
|
2020-10-30 20:29:05 +03:00
|
|
|
Some(IValue::Record(
|
2021-01-12 13:04:25 +03:00
|
|
|
NEVec::new(vec![IValue::S32(0), IValue::String(String::from("[\"A\", \"B\"]"))]).unwrap(),
|
2020-10-30 20:29:05 +03:00
|
|
|
))
|
|
|
|
});
|
|
|
|
|
2021-05-10 14:25:34 +03:00
|
|
|
let mut vm1 = create_avm(neighborhood_call_service1, "A");
|
|
|
|
let mut vm2 = create_avm(neighborhood_call_service2, "B");
|
2020-10-30 20:29:05 +03:00
|
|
|
|
|
|
|
let script = String::from(
|
|
|
|
r#"
|
2020-12-28 00:12:11 +03:00
|
|
|
(seq
|
|
|
|
(call %init_peer_id% ("neighborhood" "") [] neighborhood)
|
|
|
|
(seq
|
|
|
|
(seq
|
2020-11-03 17:43:58 +03:00
|
|
|
(fold neighborhood i
|
2020-12-28 00:12:11 +03:00
|
|
|
(par
|
2021-03-26 17:13:28 +03:00
|
|
|
(call i ("add_provider" "") [] $void)
|
2020-10-30 20:29:05 +03:00
|
|
|
(next i)
|
2020-11-03 17:43:58 +03:00
|
|
|
)
|
|
|
|
)
|
|
|
|
(fold neighborhood i
|
2021-05-16 22:52:22 +03:00
|
|
|
(par
|
2021-03-26 17:13:28 +03:00
|
|
|
(call i ("get_providers" "") [] $providers)
|
2020-10-30 20:29:05 +03:00
|
|
|
(next i)
|
2020-11-03 17:43:58 +03:00
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
2021-05-16 22:52:22 +03:00
|
|
|
(seq
|
2021-03-26 17:13:28 +03:00
|
|
|
(call "A" ("identity" "") [] $void)
|
2020-11-03 17:43:58 +03:00
|
|
|
(call "B" ("" "") [] none)
|
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
2020-10-30 20:29:05 +03:00
|
|
|
"#,
|
|
|
|
);
|
|
|
|
|
2020-12-28 00:12:11 +03:00
|
|
|
// little hack here with init_peer_id to execute the first call from both VMs
|
|
|
|
let res1 = call_vm!(vm1, "A", script.clone(), "[]", "[]");
|
|
|
|
let res2 = call_vm!(vm2, "B", script.clone(), "[]", "[]");
|
2020-10-30 20:29:05 +03:00
|
|
|
let res3 = call_vm!(vm1, "asd", script.clone(), res1.data.clone(), res2.data.clone());
|
|
|
|
let res4 = call_vm!(vm2, "asd", script, res1.data.clone(), res2.data.clone());
|
|
|
|
|
2021-05-16 22:52:22 +03:00
|
|
|
let actual_trace_1: ExecutionTrace =
|
|
|
|
serde_json::from_slice(&res1.data).expect("interpreter should return valid json");
|
|
|
|
|
|
|
|
let expected_trace_1 = vec![
|
|
|
|
scalar_string_array(vec!["A", "B"]),
|
|
|
|
par(1, 2),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
par(1, 0),
|
|
|
|
request_sent_by("A"),
|
|
|
|
par(1, 2),
|
|
|
|
stream_string_array(vec!["A", "B"], "$providers"),
|
|
|
|
par(1, 0),
|
|
|
|
request_sent_by("A"),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
request_sent_by("A"),
|
|
|
|
];
|
|
|
|
|
|
|
|
assert_eq!(actual_trace_1, expected_trace_1);
|
2020-10-30 20:29:05 +03:00
|
|
|
assert_eq!(res1.next_peer_pks, vec![String::from("B")]);
|
|
|
|
|
2021-05-16 22:52:22 +03:00
|
|
|
let actual_trace_2: ExecutionTrace =
|
|
|
|
serde_json::from_slice(&res2.data).expect("interpreter should return valid json");
|
|
|
|
|
|
|
|
let expected_trace_2 = vec![
|
|
|
|
scalar_string_array(vec!["A", "B"]),
|
|
|
|
par(1, 2),
|
|
|
|
request_sent_by("B"),
|
|
|
|
par(1, 0),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
par(1, 2),
|
|
|
|
request_sent_by("B"),
|
|
|
|
par(1, 0),
|
|
|
|
stream_string_array(vec!["A", "B"], "$providers"),
|
|
|
|
request_sent_by("B"),
|
|
|
|
];
|
|
|
|
|
|
|
|
assert_eq!(actual_trace_2, expected_trace_2);
|
2020-10-30 20:29:05 +03:00
|
|
|
assert_eq!(res2.next_peer_pks, vec![String::from("A")]);
|
|
|
|
|
2021-05-16 22:52:22 +03:00
|
|
|
let actual_trace_3: ExecutionTrace =
|
|
|
|
serde_json::from_slice(&res3.data).expect("interpreter should return valid json");
|
|
|
|
|
|
|
|
let expected_trace_3 = vec![
|
|
|
|
scalar_string_array(vec!["A", "B"]),
|
|
|
|
par(1, 2),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
par(1, 0),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
par(1, 2),
|
|
|
|
stream_string_array(vec!["A", "B"], "$providers"),
|
|
|
|
par(1, 0),
|
|
|
|
stream_string_array(vec!["A", "B"], "$providers"),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
request_sent_by("A"),
|
|
|
|
];
|
|
|
|
|
|
|
|
assert_eq!(actual_trace_3, expected_trace_3);
|
2020-10-30 20:29:05 +03:00
|
|
|
assert!(res3.next_peer_pks.is_empty());
|
|
|
|
|
2021-05-16 22:52:22 +03:00
|
|
|
let actual_trace_4: ExecutionTrace =
|
|
|
|
serde_json::from_slice(&res4.data).expect("interpreter should return valid json");
|
|
|
|
|
|
|
|
let expected_trace_4 = vec![
|
|
|
|
scalar_string_array(vec!["A", "B"]),
|
|
|
|
par(1, 2),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
par(1, 0),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
par(1, 2),
|
|
|
|
stream_string_array(vec!["A", "B"], "$providers"),
|
|
|
|
par(1, 0),
|
|
|
|
stream_string_array(vec!["A", "B"], "$providers"),
|
|
|
|
stream_string_array(vec!["A", "B"], "$void"),
|
|
|
|
scalar_string_array(vec!["A", "B"]),
|
|
|
|
];
|
|
|
|
|
|
|
|
assert_eq!(actual_trace_4, expected_trace_4);
|
2020-10-30 20:29:05 +03:00
|
|
|
assert!(res4.next_peer_pks.is_empty());
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn acc_merge() {
|
|
|
|
env_logger::init();
|
|
|
|
|
2020-12-28 00:12:11 +03:00
|
|
|
let neighborhood_call_service: CallServiceClosure = Box::new(|_, args| -> Option<IValue> {
|
2020-10-30 20:29:05 +03:00
|
|
|
let args_count = match &args[1] {
|
|
|
|
IValue::String(str) => str,
|
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
|
|
|
|
|
|
|
let args_count = (args_count.as_bytes()[0] - b'0') as usize;
|
|
|
|
|
|
|
|
let args_json = match &args[2] {
|
|
|
|
IValue::String(str) => str,
|
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
|
|
|
|
|
|
|
let args: Vec<JValue> = serde_json::from_str(args_json).expect("valid json");
|
|
|
|
let args = match &args[0] {
|
|
|
|
JValue::Array(args) => args,
|
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
|
|
|
|
|
|
|
assert_eq!(args.len(), args_count);
|
|
|
|
|
|
|
|
Some(IValue::Record(
|
2021-01-12 13:04:25 +03:00
|
|
|
NEVec::new(vec![IValue::S32(0), IValue::String(json!(args).to_string())]).unwrap(),
|
2020-10-30 20:29:05 +03:00
|
|
|
))
|
|
|
|
});
|
|
|
|
|
2021-05-10 14:25:34 +03:00
|
|
|
let mut vm1 = create_avm(set_variable_call_service(r#""peer_id""#), "A");
|
|
|
|
let mut vm2 = create_avm(neighborhood_call_service, "B");
|
2020-10-30 20:29:05 +03:00
|
|
|
|
|
|
|
let script = String::from(
|
|
|
|
r#"
|
2020-11-03 17:43:58 +03:00
|
|
|
(seq
|
2021-03-26 17:13:28 +03:00
|
|
|
(call "A" ("add_provider" "") [] $void)
|
2020-11-03 17:43:58 +03:00
|
|
|
(seq
|
2021-03-26 17:13:28 +03:00
|
|
|
(call "A" ("add_provider" "") [] $void)
|
2020-11-03 17:43:58 +03:00
|
|
|
(seq
|
2021-03-26 17:13:28 +03:00
|
|
|
(call "A" ("get_providers" "") [] $providers)
|
2020-11-03 17:43:58 +03:00
|
|
|
(seq
|
2021-03-26 17:13:28 +03:00
|
|
|
(call "A" ("get_providers" "") [] $providers)
|
2020-11-03 17:43:58 +03:00
|
|
|
(seq
|
2021-03-26 17:13:28 +03:00
|
|
|
(call "B" ("" "2") [$providers] $void)
|
|
|
|
(call "B" ("" "3") [$void] $void)
|
2020-11-03 17:43:58 +03:00
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
2020-10-30 20:29:05 +03:00
|
|
|
"#,
|
|
|
|
);
|
|
|
|
|
|
|
|
let res = call_vm!(vm1, "asd", script.clone(), "[]", "[]");
|
|
|
|
call_vm!(vm2, "asd", script, "[]", res.data);
|
|
|
|
}
|
2021-05-16 22:52:22 +03:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[ignore]
|
|
|
|
fn fold_merge() {
|
|
|
|
let set_variable_vm_id = "set_variable";
|
|
|
|
let local_vm_id = "local_vm";
|
|
|
|
|
|
|
|
let variables = maplit::hashmap! {
|
|
|
|
"stream1".to_string() => r#"["s1", "s2", "s3"]"#.to_string(),
|
|
|
|
"stream2".to_string() => r#"["s4", "s5", "s6"]"#.to_string(),
|
|
|
|
};
|
|
|
|
|
|
|
|
let local_vm_service_call: CallServiceClosure = Box::new(|_, values| -> Option<IValue> {
|
|
|
|
let args = match &values[2] {
|
|
|
|
IValue::String(str) => str,
|
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
|
|
|
println!("args {:?}", args);
|
|
|
|
|
|
|
|
Some(IValue::Record(
|
|
|
|
NEVec::new(vec![IValue::S32(0), IValue::String(format!("{}", args))]).unwrap(),
|
|
|
|
))
|
|
|
|
});
|
|
|
|
|
|
|
|
let mut set_variable_vm = create_avm(set_variables_call_service(variables), set_variable_vm_id);
|
|
|
|
let mut local_vm = create_avm(local_vm_service_call, local_vm_id);
|
|
|
|
|
|
|
|
let script = format!(
|
|
|
|
include_str!("./scripts/inner_folds_v1.clj"),
|
|
|
|
set_variable_vm_id, local_vm_id
|
|
|
|
);
|
|
|
|
|
|
|
|
let res = call_vm!(set_variable_vm, "", script.clone(), "", "");
|
|
|
|
let res = call_vm!(local_vm, "", script, "", res.data);
|
|
|
|
|
2021-05-28 18:50:43 +03:00
|
|
|
let _actual_trace: ExecutionTrace =
|
|
|
|
serde_json::from_slice(&res.data).expect("interpreter should return valid json");
|
2021-05-16 22:52:22 +03:00
|
|
|
|
|
|
|
// println!("res is {:?}", actual_trace);
|
|
|
|
}
|