ref_t<pi_ext_t> build(const ring::header_t& header, const body_t& body) {
pi_t::pro_t body_items[3] = {
pi_t::pro_t::uint_t(body.iid),
pi_t::pro_t::uint_t(body.ballot_id),
pi_t::pro_t::uint_t(body.value_id)
};
pi_t::pro_t::array_t body_array = { 3, body_items };
pi_t::pro_t pi_body(body_array);
return ring::build(ring::type_t::VOTE, header, pi_body);
}
InstantiateBackwardMessagePtr
Instantiator::instantiate(InstantiateForwardMessage& mess)
{
HistoryPtr hist = mess.getHistory();
BeliefStatePtr interface_vars = mess.getInterfaceVars();
History::const_iterator hist_it = std::find(hist->begin(), hist->end(), ctx_id);
if (hist_it != hist->end())
{
// This context is already instantiated!
InstantiateBackwardMessagePtr ibm(new InstantiateBackwardMessage(true, hist, interface_vars));
return ibm;
}
ContextSubstitutionPtr ctx_sub = mess.getCtxSubstitution();
NeighborListPtr neighbors(new NeighborList);
#ifdef DEBUG
std::cerr << "Instantiator::instantiate" << std::endl
<< "Context substitution = " << ctx_sub << std::endl;
#endif
for (BridgeRules::const_iterator r = schematic_bridge_rules->begin();
r != schematic_bridge_rules->end(); ++r)
{
// information from r
HeadPtr head = (*r)->first;
const PositiveBridgeBody& pbody = getPositiveBody(*r);
const NegativeBridgeBody& nbody = getNegativeBody(*r);
#ifdef DEBUG
std::cerr << "Instantiating schematic bridge rule: " << *r << std::endl;
#endif
// new parts for the instantiated bridge rule
PositiveBridgeBodyPtr pi_body(new PositiveBridgeBody);
NegativeBridgeBodyPtr ni_body(new NegativeBridgeBody);
std::pair<PositiveBridgeBodyPtr, NegativeBridgeBodyPtr> i_body(pi_body, ni_body);
BridgeRulePtr ri(new BridgeRule(head, i_body));
instantiate_body<PositiveBridgeBody>(pbody, pi_body, global_sigs, context_info, neighbors, ctx_sub, ctx_id);
instantiate_body<NegativeBridgeBody>(nbody, ni_body, global_sigs, context_info, neighbors, ctx_sub, ctx_id);
bridge_rules->push_back(ri);
}
#ifdef DEBUG
std::cerr << "RESULT: Instantiated bridge rules: " << std::endl
<< bridge_rules << std::endl;
#endif
// forward the instantiation request to all confirmed neighbors
#ifdef DEBUG
std::cerr << "Going to instantiate the following neighbors: " << std::endl;
std::cerr << *neighbors << std::endl;
#endif
hist->push_back(ctx_id);
for (NeighborList::const_iterator it = neighbors->begin(); it != neighbors->end(); ++it)
{
NeighborPtr nb = *it;
std::size_t neighbor_id = nb->neighbor_id;
// only invoke the not yet visited neighbors
History::const_iterator hist_it = std::find(hist->begin(), hist->end(), neighbor_id);
if (hist_it == hist->end())
{
boost::asio::io_service io_service;
boost::asio::ip::tcp::resolver resolver(io_service);
boost::asio::ip::tcp::resolver::query query(nb->hostname, nb->port);
boost::asio::ip::tcp::resolver::iterator res_it = resolver.resolve(query);
boost::asio::ip::tcp::endpoint endpoint = *res_it;
#if defined(DEBUG)
std::cerr << "Invoking neighbor " << neighbor_id << std::endl;
#endif // DEBUG
std::string header = HEADER_REQ_INSTANTIATE;
Client<InstantiatorCommandType> client(io_service, res_it, header, mess);
io_service.run();
InstantiateBackwardMessagePtr result = client.getResult();
#ifdef DEBUG
std::cerr << "Answer from neighbor: " << *result << std::endl;
#endif
if (result->getStatus() == false)
{
return result;
}
hist = result->getHistory();
interface_vars = result->getInterfaceVars();
}
else
{
#ifdef DEBUG
std::cerr << "Neighbor: " << neighbor_id << " was already instantiated." << std::endl;
#endif
}
}
InstantiateBackwardMessagePtr good_result(new InstantiateBackwardMessage(true, hist, interface_vars));
return good_result;
}