0
0
Fork 0
mirror of https://github.com/matrix-construct/construct synced 2024-05-29 08:13:46 +02:00
construct/modules/vm.cc

732 lines
12 KiB
C++
Raw Normal View History

2018-02-04 03:22:01 +01:00
// Matrix Construct
//
// Copyright (C) Matrix Construct Developers, Authors & Contributors
// Copyright (C) 2016-2018 Jason Volk <jason@zemos.net>
//
// Permission to use, copy, modify, and/or distribute this software for any
// purpose with or without fee is hereby granted, provided that the above
// copyright notice and this permission notice is present in all copies. The
// full license for this software is available in the LICENSE file.
2017-11-16 02:37:09 +01:00
namespace ircd::m::vm
2017-11-16 02:37:09 +01:00
{
extern log::log log;
2018-05-14 06:13:23 +02:00
extern hook<>::site commit_hook;
extern hook<>::site eval_hook;
extern hook<>::site notify_hook;
static void write(eval &);
static fault _eval_edu(eval &, const event &);
static fault _eval_pdu(eval &, const event &);
extern "C" fault eval__event(eval &, const event &);
extern "C" fault eval__commit(eval &, json::iov &, const json::iov &);
extern "C" fault eval__commit_room(eval &, const room &, json::iov &, const json::iov &);
static void init();
static void fini();
}
ircd::mapi::header
IRCD_MODULE
{
"Matrix Virtual Machine",
ircd::m::vm::init, ircd::m::vm::fini
};
decltype(ircd::m::vm::log)
ircd::m::vm::log
{
"vm", 'v'
};
decltype(ircd::m::vm::commit_hook)
ircd::m::vm::commit_hook
{
{ "name", "vm.commit" }
};
decltype(ircd::m::vm::eval_hook)
ircd::m::vm::eval_hook
{
{ "name", "vm.eval" }
};
decltype(ircd::m::vm::notify_hook)
ircd::m::vm::notify_hook
{
{ "name", "vm.notify" }
};
//
// init
//
void
ircd::m::vm::init()
{
id::event::buf event_id;
current_sequence = retired_sequence(event_id);
log::info
{
log, "BOOT %s @%lu [%s]",
string_view{m::my_node.node_id},
current_sequence,
current_sequence? string_view{event_id} : "NO EVENTS"_sv
};
}
void
ircd::m::vm::fini()
{
id::event::buf event_id;
const auto current_sequence
{
retired_sequence(event_id)
};
log::info
{
log, "HLT '%s' @%lu [%s]",
string_view{m::my_node.node_id},
current_sequence,
current_sequence? string_view{event_id} : "NO EVENTS"_sv
};
}
//
// eval
//
enum ircd::m::vm::fault
ircd::m::vm::eval__commit_room(eval &eval,
const room &room,
json::iov &event,
const json::iov &contents)
{
assert(eval.issue);
assert(eval.room_id);
assert(eval.copts);
assert(eval.opts);
assert(room.room_id);
const auto &opts
{
*eval.copts
};
const json::iov::push room_id
{
event, { "room_id", room.room_id }
};
int64_t depth{-1};
event::id::buf prev_event_id
{
};
if(room.event_id)
prev_event_id = room.event_id;
else
std::tie(prev_event_id, depth, std::ignore) = m::top(std::nothrow, room.room_id);
//TODO: X
const event::fetch evf
{
prev_event_id, std::nothrow
};
if(room.event_id)
depth = at<"depth"_>(evf);
//TODO: X
const json::iov::set_if depth_
{
event, !event.has("depth"),
{
"depth", depth + 1
}
};
char ae_buf[512];
json::array auth_events;
if(depth != -1 && opts.add_auth_events)
{
std::vector<json::value> ae;
room.get(std::nothrow, "m.room.create", "", [&ae]
(const m::event &event)
{
const json::value ae0[]
{
{ json::get<"event_id"_>(event) },
{ json::get<"hashes"_>(event) }
};
const json::value ae_
{
ae0, 2
};
ae.emplace_back(ae_);
});
room.get(std::nothrow, "m.room.join_rules", "", [&ae]
(const m::event &event)
{
const json::value ae0[]
{
{ json::get<"event_id"_>(event) },
{ json::get<"hashes"_>(event) }
};
const json::value ae_
{
ae0, 2
};
ae.emplace_back(ae_);
});
auth_events = json::stringify(mutable_buffer{ae_buf}, json::value
{
ae.data(), ae.size()
});
room.get(std::nothrow, "m.room.power_levels", "", [&ae]
(const m::event &event)
{
const json::value ae0[]
{
{ json::get<"event_id"_>(event) },
{ json::get<"hashes"_>(event) }
};
const json::value ae_
{
ae0, 2
};
ae.emplace_back(ae_);
});
auth_events = json::stringify(mutable_buffer{ae_buf}, json::value
{
ae.data(), ae.size()
});
if(event.at("type") != "m.room.member")
room.get(std::nothrow, "m.room.member", event.at("sender"), [&ae]
(const m::event &event)
{
const json::value ae0[]
{
{ json::get<"event_id"_>(event) },
{ json::get<"hashes"_>(event) }
};
const json::value ae_
{
ae0, 2
};
ae.emplace_back(ae_);
});
auth_events = json::stringify(mutable_buffer{ae_buf}, json::value
{
ae.data(), ae.size()
});
}
static const json::array &prev_state
{
json::empty_array
};
const json::iov::add_if prevs[]
{
{
event, opts.add_auth_events,
{
"auth_events", auth_events
}
},
{
event, opts.add_prev_events,
{
"prev_events", prev_events
}
},
{
event, opts.add_prev_state,
{
"prev_state", prev_state
}
},
};
return eval(event, contents);
}
enum ircd::m::vm::fault
ircd::m::vm::eval__commit(eval &eval,
json::iov &event,
const json::iov &contents)
2017-11-16 02:37:09 +01:00
{
assert(eval.issue);
assert(eval.copts);
assert(eval.opts);
assert(eval.copts);
const auto &opts
{
*eval.copts
};
const json::iov::add_if _origin
2017-11-16 02:37:09 +01:00
{
2018-05-12 06:21:15 +02:00
event, opts.add_origin,
{
"origin", my_host()
}
};
const json::iov::add_if _origin_server_ts
{
2018-05-12 06:21:15 +02:00
event, opts.add_origin_server_ts,
{
"origin_server_ts", ircd::time<milliseconds>()
}
2017-11-16 02:37:09 +01:00
};
const json::strung content
{
contents
2017-11-16 02:37:09 +01:00
};
// event_id
2017-11-16 02:37:09 +01:00
sha256::buf event_id_hash;
2018-05-12 06:21:15 +02:00
if(opts.add_event_id)
2017-11-16 02:37:09 +01:00
{
const json::iov::push _content
{
event, { "content", content },
};
thread_local char preimage_buf[64_KiB];
event_id_hash = sha256
{
stringify(mutable_buffer{preimage_buf}, event)
};
}
2017-11-16 02:37:09 +01:00
const string_view event_id
2017-11-16 02:37:09 +01:00
{
2018-05-12 06:21:15 +02:00
opts.add_event_id?
make_id(event, eval.event_id, event_id_hash):
string_view{}
2017-11-16 02:37:09 +01:00
};
const json::iov::add_if _event_id
2017-11-16 02:37:09 +01:00
{
2018-05-12 06:21:15 +02:00
event, opts.add_event_id,
{
"event_id", event_id
}
2017-11-16 02:37:09 +01:00
};
// hashes
char hashes_buf[128];
const string_view hashes
2017-11-16 02:37:09 +01:00
{
2018-05-12 06:21:15 +02:00
opts.add_hash?
m::event::hashes(hashes_buf, event, content):
string_view{}
};
2017-11-16 02:37:09 +01:00
const json::iov::add_if _hashes
2017-11-16 02:37:09 +01:00
{
2018-05-12 06:21:15 +02:00
event, opts.add_hash,
{
"hashes", hashes
}
2017-11-16 02:37:09 +01:00
};
// sigs
2017-11-16 02:37:09 +01:00
char sigs_buf[384];
const string_view sigs
2017-11-16 02:37:09 +01:00
{
2018-05-12 06:21:15 +02:00
opts.add_sig?
m::event::signatures(sigs_buf, event, contents):
string_view{}
2017-11-16 02:37:09 +01:00
};
const json::iov::add_if _sigs
2017-11-16 02:37:09 +01:00
{
2018-05-12 06:21:15 +02:00
event, opts.add_sig,
{
"signatures", sigs
}
};
const json::iov::push _content
{
event, { "content", content },
2017-11-16 02:37:09 +01:00
};
return eval(event);
2017-11-16 02:37:09 +01:00
}
2017-11-30 20:01:14 +01:00
enum ircd::m::vm::fault
ircd::m::vm::eval__event(eval &eval,
const event &event)
try
2017-11-30 20:01:14 +01:00
{
assert(eval.opts);
assert(eval.event_);
assert(eval.id);
assert(eval.ctx);
const auto &opts
{
*eval.opts
};
if(eval.copts)
{
if(unlikely(!my_host(at<"origin"_>(event))))
throw error
{
fault::GENERAL, "Committing event for origin: %s", at<"origin"_>(event)
};
if(eval.copts->debuglog_precommit)
log.debug("injecting event(mark +%ld) %s",
vm::current_sequence,
pretty_oneline(event));
check_size(event);
commit_hook(event);
}
const event::conforms &report
{
opts.conforming && !opts.conformed?
event::conforms{event, opts.non_conform.report}:
opts.report
};
if(opts.conforming && !report.clean())
throw error
{
fault::INVALID, "Non-conforming event: %s", string(report)
};
// A conforming (with lots of masks) event without an event_id is an EDU.
const fault ret
{
json::get<"event_id"_>(event)?
_eval_pdu(eval, event):
_eval_edu(eval, event)
};
if(ret != fault::ACCEPT)
return ret;
vm::accepted accepted
{
event, &opts, &report
};
if(opts.effects)
notify_hook(event);
if(opts.notify)
vm::accept(accepted);
if(opts.debuglog_accept)
log.debug("%s", pretty_oneline(event));
if(opts.infolog_accept)
log.info("%s", pretty_oneline(event));
return ret;
}
catch(const error &e)
{
if(eval.opts->errorlog & e.code)
log::error
{
log, "eval %s: %s %s",
json::get<"event_id"_>(event)?: json::string{"<edu>"},
e.what(),
e.content
};
if(eval.opts->warnlog & e.code)
log::warning
{
log, "eval %s: %s %s",
json::get<"event_id"_>(event)?: json::string{"<edu>"},
e.what(),
e.content
};
if(eval.opts->nothrows & e.code)
return e.code;
throw;
}
catch(const ctx::interrupted &e)
{
if(eval.opts->errorlog & fault::INTERRUPT)
log::error
{
log, "eval %s: #NMI: %s",
json::get<"event_id"_>(event)?: json::string{"<edu>"},
e.what()
};
if(eval.opts->warnlog & fault::INTERRUPT)
log::warning
{
log, "eval %s: #NMI: %s",
json::get<"event_id"_>(event)?: json::string{"<edu>"},
e.what()
};
throw;
}
catch(const std::exception &e)
{
if(eval.opts->errorlog & fault::GENERAL)
log::error
{
log, "eval %s: #GP: %s",
json::get<"event_id"_>(event)?: json::string{"<edu>"},
e.what()
};
if(eval.opts->warnlog & fault::GENERAL)
log::warning
{
log, "eval %s: #GP: %s",
json::get<"event_id"_>(event)?: json::string{"<edu>"},
e.what()
};
if(eval.opts->nothrows & fault::GENERAL)
return fault::GENERAL;
throw error
{
fault::GENERAL, "%s", e.what()
};
}
enum ircd::m::vm::fault
ircd::m::vm::_eval_edu(eval &eval,
const event &event)
{
eval_hook(event);
return fault::ACCEPT;
}
enum ircd::m::vm::fault
ircd::m::vm::_eval_pdu(eval &eval,
const event &event)
{
assert(eval.opts);
const auto &opts
{
*eval.opts
};
const m::event::id &event_id
2017-11-16 02:37:09 +01:00
{
at<"event_id"_>(event)
2017-11-16 02:37:09 +01:00
};
const m::room::id &room_id
2017-11-16 02:37:09 +01:00
{
at<"room_id"_>(event)
};
2017-11-16 02:37:09 +01:00
if(!opts.replays && exists(event_id)) //TODO: exclusivity
throw error
{
fault::EXISTS, "Event has already been evaluated."
};
if(opts.verify)
if(!verify(event))
throw m::BAD_SIGNATURE
{
"Signature verification failed"
};
const size_t reserve_bytes
{
opts.reserve_bytes == size_t(-1)?
json::serialized(event):
opts.reserve_bytes
};
db::txn txn
{
*dbs::events, db::txn::opts
{
reserve_bytes + opts.reserve_index, // reserve_bytes
0, // max_bytes (no max)
}
};
eval.txn = &txn;
const unwind cleartxn{[&eval]
{
eval.txn = nullptr;
}};
// Obtain sequence number here
eval.sequence = ++vm::current_sequence;
m::dbs::write_opts wopts;
wopts.present = opts.present;
wopts.history = opts.history;
wopts.head = opts.head;
wopts.refs = opts.refs;
wopts.idx = eval.sequence;
eval_hook(event);
const auto &depth
2017-11-16 02:37:09 +01:00
{
json::get<"depth"_>(event)
2017-11-16 02:37:09 +01:00
};
const auto &type
2017-11-16 02:37:09 +01:00
{
unquote(at<"type"_>(event))
2017-11-16 02:37:09 +01:00
};
const event::prev prev
2017-11-30 20:01:14 +01:00
{
event
2017-11-30 20:01:14 +01:00
};
const size_t prev_count
2017-11-30 20:01:14 +01:00
{
size(json::get<"prev_events"_>(prev))
2017-11-30 20:01:14 +01:00
};
//TODO: ex
if(opts.write && prev_count)
2017-11-16 02:37:09 +01:00
{
for(size_t i(0); i < prev_count; ++i)
{
const auto prev_id{prev.prev_event(i)};
if(opts.prev_check_exists && !exists(prev_id))
throw error
{
fault::EVENT, "Missing prev event %s", string_view{prev_id}
};
}
int64_t top;
id::event::buf head;
std::tie(head, top, std::ignore) = m::top(std::nothrow, room_id);
if(top < 0 && (opts.head_must_exist || opts.history))
throw error
{
fault::STATE, "Found nothing for room %s", string_view{room_id}
};
m::room room{room_id, head};
m::room::state state{room};
m::state::id_buffer new_root_buf;
wopts.root_in = state.root_id;
wopts.root_out = new_root_buf;
const auto new_root
{
dbs::write(*eval.txn, event, wopts)
};
}
else if(opts.write)
{
m::state::id_buffer new_root_buf;
wopts.root_out = new_root_buf;
const auto new_root
{
dbs::write(*eval.txn, event, wopts)
};
}
if(opts.write)
write(eval);
2017-11-16 02:37:09 +01:00
return fault::ACCEPT;
2017-11-16 02:37:09 +01:00
}
2017-11-30 20:01:14 +01:00
void
ircd::m::vm::write(eval &eval)
{
auto &txn(*eval.txn);
if(eval.opts->debuglog_accept)
log::debug
{
log, "Committing %zu cells in %zu bytes to events database...",
txn.size(),
txn.bytes()
};
2017-11-30 20:01:14 +01:00
txn();
}
uint64_t
ircd::m::vm::retired_sequence()
{
event::id::buf event_id;
return retired_sequence(event_id);
}
uint64_t
ircd::m::vm::retired_sequence(event::id::buf &event_id)
{
static constexpr auto column_idx
{
json::indexof<event, "event_id"_>()
};
auto &column
{
dbs::event_column.at(column_idx)
};
const auto it
{
column.rbegin()
};
if(!it)
{
// If this iterator is invalid the events db should
// be completely fresh.
assert(db::sequence(*dbs::events) == 0);
return 0;
}
const auto &ret
{
byte_view<uint64_t>(it->first)
};
event_id = it->second;
return ret;
2017-11-16 02:37:09 +01:00
}