2018-01-26 21:26:09 +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.
|
|
|
|
|
|
|
|
#include <ircd/m/m.h>
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// Residence of the events database instance pointer.
|
|
|
|
decltype(ircd::m::dbs::events)
|
|
|
|
ircd::m::dbs::events
|
|
|
|
{};
|
2018-01-28 17:45:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// Linkage for a cache of the columns of the events database which directly
|
|
|
|
/// correspond to a property in the matrix event object. This array allows
|
|
|
|
/// for constant time access to a column the same way one can make constant
|
|
|
|
/// time access to a property in m::event.
|
|
|
|
decltype(ircd::m::dbs::event_column)
|
|
|
|
ircd::m::dbs::event_column
|
|
|
|
{};
|
2018-01-28 17:45:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// Linkage for a reference to the state_node column.
|
|
|
|
decltype(ircd::m::dbs::state_node)
|
|
|
|
ircd::m::dbs::state_node
|
|
|
|
{};
|
|
|
|
|
|
|
|
/// Linkage for a reference to the room_events column
|
|
|
|
decltype(ircd::m::dbs::room_events)
|
|
|
|
ircd::m::dbs::room_events
|
|
|
|
{};
|
|
|
|
|
2018-03-03 07:03:06 +01:00
|
|
|
/// Linkage for a reference to the room_origins column
|
|
|
|
decltype(ircd::m::dbs::room_origins)
|
|
|
|
ircd::m::dbs::room_origins
|
|
|
|
{};
|
|
|
|
|
2018-03-04 08:39:24 +01:00
|
|
|
/// Linkage for a reference to the room_state column
|
|
|
|
decltype(ircd::m::dbs::room_state)
|
|
|
|
ircd::m::dbs::room_state
|
|
|
|
{};
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
//
|
|
|
|
// init
|
|
|
|
//
|
2018-01-28 17:45:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// Initializes the m::dbs subsystem; sets up the events database. Held/called
|
|
|
|
/// by m::init. Most of the extern variables in m::dbs are not ready until
|
|
|
|
/// this call completes.
|
|
|
|
ircd::m::dbs::init::init()
|
|
|
|
{
|
|
|
|
// Open the events database
|
|
|
|
events = std::make_shared<database>("events"s, ""s, desc::events);
|
|
|
|
|
|
|
|
// Cache the columns for the event tuple in order for constant time lookup
|
|
|
|
assert(event_columns == event::size());
|
|
|
|
std::array<string_view, event::size()> keys; //TODO: why did this happen?
|
|
|
|
_key_transform(event{}, begin(keys), end(keys)); //TODO: how did this happen?
|
|
|
|
for(size_t i(0); i < keys.size(); ++i)
|
|
|
|
event_column[i] = db::column
|
|
|
|
{
|
|
|
|
*events, keys[i]
|
|
|
|
};
|
2018-01-28 17:45:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// Cache the columns for the metadata
|
|
|
|
state_node = db::column{*events, "_state_node"};
|
2018-02-09 00:59:06 +01:00
|
|
|
room_events = db::index{*events, "_room_events"};
|
2018-03-03 07:03:06 +01:00
|
|
|
room_origins = db::index{*events, "_room_origins"};
|
2018-03-04 08:39:24 +01:00
|
|
|
room_state = db::index{*events, "_room_state"};
|
2018-02-08 22:23:01 +01:00
|
|
|
}
|
2018-01-28 17:45:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// Shuts down the m::dbs subsystem; closes the events database. The extern
|
|
|
|
/// variables in m::dbs will no longer be functioning after this call.
|
|
|
|
ircd::m::dbs::init::~init()
|
|
|
|
noexcept
|
|
|
|
{
|
|
|
|
// Columns should be unrefed before DB closes
|
|
|
|
state_node = {};
|
|
|
|
room_events = {};
|
2018-03-03 07:03:06 +01:00
|
|
|
room_origins = {};
|
2018-03-04 08:39:24 +01:00
|
|
|
room_state = {};
|
2018-02-08 22:23:01 +01:00
|
|
|
for(auto &column : event_column)
|
|
|
|
column = {};
|
|
|
|
|
|
|
|
// Unref DB (should close)
|
|
|
|
events = {};
|
|
|
|
}
|
2018-01-28 17:45:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
namespace ircd::m::dbs
|
|
|
|
{
|
2018-03-04 08:39:24 +01:00
|
|
|
static void _index__room_state(db::txn &, const event &, const write_opts &);
|
2018-03-03 07:03:06 +01:00
|
|
|
static void _index__room_events(db::txn &, const event &, const write_opts &, const string_view &);
|
|
|
|
static void _index__room_origins(db::txn &, const event &, const write_opts &);
|
|
|
|
static string_view _index_state(db::txn &, const event &, const write_opts &);
|
|
|
|
static string_view _index_redact(db::txn &, const event &, const write_opts &);
|
|
|
|
static string_view _index_ephem(db::txn &, const event &, const write_opts &);
|
2018-02-08 22:23:01 +01:00
|
|
|
}
|
2018-01-28 17:45:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::write(db::txn &txn,
|
2018-03-03 07:03:06 +01:00
|
|
|
const event &event,
|
|
|
|
const write_opts &opts)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-01-30 18:58:36 +01:00
|
|
|
db::txn::append
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-03-10 01:21:23 +01:00
|
|
|
txn, at<"event_id"_>(event), event, event_column
|
2018-01-26 21:26:09 +01:00
|
|
|
};
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
if(defined(json::get<"state_key"_>(event)))
|
2018-03-03 07:03:06 +01:00
|
|
|
return _index_state(txn, event, opts);
|
2018-02-08 22:23:01 +01:00
|
|
|
|
2018-02-28 07:42:25 +01:00
|
|
|
if(at<"type"_>(event) == "m.room.redaction")
|
2018-03-03 07:03:06 +01:00
|
|
|
return _index_redact(txn, event, opts);
|
2018-02-28 07:42:25 +01:00
|
|
|
|
2018-03-03 07:03:06 +01:00
|
|
|
return _index_ephem(txn, event, opts);
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::_index_ephem(db::txn &txn,
|
2018-03-03 07:03:06 +01:00
|
|
|
const event &event,
|
|
|
|
const write_opts &opts)
|
2018-01-28 17:45:09 +01:00
|
|
|
{
|
2018-03-03 07:03:06 +01:00
|
|
|
_index__room_events(txn, event, opts, opts.root_in);
|
|
|
|
return opts.root_in;
|
2018-02-08 22:23:01 +01:00
|
|
|
}
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-28 07:42:25 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::_index_redact(db::txn &txn,
|
2018-03-03 07:03:06 +01:00
|
|
|
const event &event,
|
|
|
|
const write_opts &opts)
|
2018-02-28 07:42:25 +01:00
|
|
|
try
|
|
|
|
{
|
|
|
|
const auto &target_id
|
|
|
|
{
|
|
|
|
at<"redacts"_>(event)
|
|
|
|
};
|
|
|
|
|
|
|
|
event::fetch target
|
|
|
|
{
|
|
|
|
target_id, std::nothrow
|
|
|
|
};
|
|
|
|
|
|
|
|
if(unlikely(!target.valid(target_id)))
|
|
|
|
log::error
|
|
|
|
{
|
|
|
|
"Redaction from '%s' missing redaction target '%s'",
|
|
|
|
at<"event_id"_>(event),
|
|
|
|
target_id
|
|
|
|
};
|
|
|
|
|
|
|
|
if(!defined(json::get<"state_key"_>(target)))
|
|
|
|
{
|
2018-03-03 07:03:06 +01:00
|
|
|
_index__room_events(txn, event, opts, opts.root_in);
|
|
|
|
return opts.root_in;
|
2018-02-28 07:42:25 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
const string_view new_root
|
|
|
|
{
|
2018-03-03 07:03:06 +01:00
|
|
|
opts.root_in //state::remove(txn, state_root_out, state_root_in, target)
|
2018-02-28 07:42:25 +01:00
|
|
|
};
|
|
|
|
|
2018-03-03 07:03:06 +01:00
|
|
|
_index__room_events(txn, event, opts, new_root);
|
2018-02-28 07:42:25 +01:00
|
|
|
return new_root;
|
|
|
|
}
|
|
|
|
catch(const std::exception &e)
|
|
|
|
{
|
|
|
|
log::error
|
|
|
|
{
|
|
|
|
"Failed to update state from redaction: %s", e.what()
|
|
|
|
};
|
|
|
|
|
|
|
|
throw;
|
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::_index_state(db::txn &txn,
|
2018-03-03 07:03:06 +01:00
|
|
|
const event &event,
|
|
|
|
const write_opts &opts)
|
2018-02-08 22:23:01 +01:00
|
|
|
try
|
|
|
|
{
|
|
|
|
const auto &type
|
2018-02-05 04:34:59 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
at<"type"_>(event)
|
|
|
|
};
|
2018-02-05 04:34:59 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const auto &room_id
|
2018-01-28 17:45:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
at<"room_id"_>(event)
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-03-04 08:39:24 +01:00
|
|
|
const string_view &new_root
|
2018-02-08 22:23:01 +01:00
|
|
|
{
|
2018-03-04 08:39:24 +01:00
|
|
|
opts.history?
|
|
|
|
state::insert(txn, opts.root_out, opts.root_in, event):
|
|
|
|
opts.root_in
|
2018-02-08 22:23:01 +01:00
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-03-03 07:03:06 +01:00
|
|
|
_index__room_events(txn, event, opts, new_root);
|
|
|
|
_index__room_origins(txn, event, opts);
|
2018-03-04 08:39:24 +01:00
|
|
|
_index__room_state(txn, event, opts);
|
|
|
|
return new_root;
|
2018-02-08 22:23:01 +01:00
|
|
|
}
|
|
|
|
catch(const std::exception &e)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
log::error
|
|
|
|
{
|
|
|
|
"Failed to update state: %s", e.what()
|
|
|
|
};
|
|
|
|
|
|
|
|
throw;
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// Adds the entry for the room_events column into the txn.
|
|
|
|
/// You need find/create the right state_root before this.
|
|
|
|
void
|
|
|
|
ircd::m::dbs::_index__room_events(db::txn &txn,
|
2018-03-03 07:03:06 +01:00
|
|
|
const event &event,
|
|
|
|
const write_opts &opts,
|
|
|
|
const string_view &new_root)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
const ctx::critical_assertion ca;
|
|
|
|
thread_local char buf[768];
|
|
|
|
const string_view &key
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
room_events_key(buf, at<"room_id"_>(event), at<"depth"_>(event), at<"event_id"_>(event))
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
db::txn::append
|
|
|
|
{
|
|
|
|
txn, room_events,
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-03-03 07:03:06 +01:00
|
|
|
key, // key
|
|
|
|
new_root // val
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Adds the entry for the room_origins column into the txn.
|
|
|
|
/// This only is affected if opts.present=true
|
|
|
|
void
|
|
|
|
ircd::m::dbs::_index__room_origins(db::txn &txn,
|
|
|
|
const event &event,
|
|
|
|
const write_opts &opts)
|
|
|
|
{
|
|
|
|
if(!opts.present)
|
|
|
|
return;
|
|
|
|
|
|
|
|
if(at<"type"_>(event) != "m.room.member")
|
|
|
|
return;
|
|
|
|
|
|
|
|
const ctx::critical_assertion ca;
|
|
|
|
thread_local char buf[512];
|
|
|
|
const string_view &key
|
|
|
|
{
|
2018-03-03 14:40:53 +01:00
|
|
|
room_origins_key(buf, at<"room_id"_>(event), at<"origin"_>(event), at<"state_key"_>(event))
|
2018-03-03 07:03:06 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
const string_view &membership
|
|
|
|
{
|
|
|
|
json::get<"membership"_>(event)?
|
|
|
|
string_view{json::get<"membership"_>(event)}:
|
|
|
|
unquote(at<"content"_>(event).get("membership"))
|
|
|
|
};
|
|
|
|
|
|
|
|
assert(!empty(membership));
|
|
|
|
|
|
|
|
db::op op; switch(hash(membership))
|
|
|
|
{
|
|
|
|
case hash("join"):
|
|
|
|
op = db::op::SET;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case hash("ban"):
|
|
|
|
case hash("leave"):
|
|
|
|
op = db::op::DELETE;
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
return;
|
|
|
|
};
|
|
|
|
|
|
|
|
db::txn::append
|
|
|
|
{
|
|
|
|
txn, room_origins,
|
|
|
|
{
|
|
|
|
op,
|
|
|
|
key,
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
2018-02-08 22:23:01 +01:00
|
|
|
};
|
|
|
|
}
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-03-04 08:39:24 +01:00
|
|
|
/// Adds the entry for the room_origins column into the txn.
|
|
|
|
/// This only is affected if opts.present=true
|
|
|
|
void
|
|
|
|
ircd::m::dbs::_index__room_state(db::txn &txn,
|
|
|
|
const event &event,
|
|
|
|
const write_opts &opts)
|
|
|
|
{
|
|
|
|
if(!opts.present)
|
|
|
|
return;
|
|
|
|
|
|
|
|
const ctx::critical_assertion ca;
|
|
|
|
thread_local char buf[768];
|
|
|
|
const string_view &key
|
|
|
|
{
|
|
|
|
room_state_key(buf, at<"room_id"_>(event), at<"type"_>(event), at<"state_key"_>(event))
|
|
|
|
};
|
|
|
|
|
|
|
|
const string_view &val
|
|
|
|
{
|
|
|
|
at<"event_id"_>(event)
|
|
|
|
};
|
|
|
|
|
|
|
|
const db::op op
|
|
|
|
{
|
|
|
|
at<"type"_>(event) != "m.room.redaction"?
|
|
|
|
db::op::SET:
|
|
|
|
db::op::DELETE
|
|
|
|
};
|
|
|
|
|
|
|
|
db::txn::append
|
|
|
|
{
|
|
|
|
txn, room_state,
|
|
|
|
{
|
|
|
|
op,
|
|
|
|
key,
|
|
|
|
val, // should be ignored on DELETE
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::state_root(const mutable_buffer &out,
|
|
|
|
const event &event)
|
|
|
|
{
|
|
|
|
return state_root(out, at<"room_id"_>(event), at<"event_id"_>(event), at<"depth"_>(event));
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::state_root(const mutable_buffer &out,
|
|
|
|
const id::event &event_id)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
static constexpr auto idx
|
|
|
|
{
|
|
|
|
json::indexof<event, "room_id"_>()
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
auto &column
|
|
|
|
{
|
|
|
|
event_column.at(idx)
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
id::room::buf room_id;
|
|
|
|
column(event_id, [&room_id](const string_view &val)
|
|
|
|
{
|
|
|
|
room_id = val;
|
|
|
|
});
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
return state_root(out, room_id, event_id);
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::state_root(const mutable_buffer &out,
|
|
|
|
const id::room &room_id,
|
|
|
|
const id::event &event_id)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
static constexpr auto idx
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
json::indexof<event, "depth"_>()
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
auto &column
|
|
|
|
{
|
|
|
|
event_column.at(idx)
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
uint64_t depth;
|
|
|
|
column(event_id, [&](const string_view &binary)
|
|
|
|
{
|
|
|
|
assert(size(binary) == sizeof(depth));
|
|
|
|
depth = byte_view<uint64_t>(binary);
|
|
|
|
});
|
|
|
|
|
|
|
|
return state_root(out, room_id, event_id, depth);
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::state_root(const mutable_buffer &out,
|
|
|
|
const id::room &room_id,
|
|
|
|
const id::event &event_id,
|
|
|
|
const uint64_t &depth)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
char keybuf[768]; const auto key
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
room_events_key(keybuf, room_id, depth, event_id)
|
2018-01-26 21:26:09 +01:00
|
|
|
};
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
string_view ret;
|
|
|
|
room_events(key, [&out, &ret](const string_view &val)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
ret = { data(out), copy(out, val) };
|
|
|
|
});
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
return ret;
|
|
|
|
}
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
//
|
|
|
|
// Database descriptors
|
|
|
|
//
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// State nodes are pieces of the m::state:: b-tree. The key is the hash
|
|
|
|
/// of the value, which serves as the ID of the node when referenced in
|
|
|
|
/// the tree. see: m/state.h for details.
|
|
|
|
///
|
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events__state_node
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"_state_node",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
)",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// typing (key, value)
|
|
|
|
{
|
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// options
|
|
|
|
{},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// comparator
|
|
|
|
{},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// prefix transform
|
|
|
|
{},
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// Prefix transform for the events__room_events. The prefix here is a room_id
|
|
|
|
/// and the suffix is the depth+event_id concatenation.
|
|
|
|
/// for efficient sequences
|
|
|
|
///
|
|
|
|
const ircd::db::prefix_transform
|
|
|
|
ircd::m::dbs::desc::events__room_events__pfx
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
"_room_events",
|
|
|
|
|
|
|
|
[](const string_view &key)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
return key.find("\0"_sv) != key.npos;
|
2018-02-08 22:23:01 +01:00
|
|
|
},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
[](const string_view &key)
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
return rsplit(key, "\0"_sv).first;
|
2018-02-08 22:23:01 +01:00
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-09 00:15:48 +01:00
|
|
|
/// Comparator for the events__room_events. The goal here is to sort the
|
|
|
|
/// events within a room by their depth from highest to lowest, so the
|
|
|
|
/// highest depth is hit first when a room is sought from this column.
|
|
|
|
///
|
|
|
|
const ircd::db::comparator
|
|
|
|
ircd::m::dbs::desc::events__room_events__cmp
|
|
|
|
{
|
|
|
|
"_room_events",
|
|
|
|
|
|
|
|
// less
|
|
|
|
[](const string_view &a, const string_view &b)
|
|
|
|
{
|
|
|
|
static const auto &pt
|
|
|
|
{
|
|
|
|
events__room_events__pfx
|
|
|
|
};
|
|
|
|
|
|
|
|
// Extract the prefix from the keys
|
|
|
|
const string_view pre[2]
|
|
|
|
{
|
|
|
|
pt.get(a),
|
|
|
|
pt.get(b),
|
|
|
|
};
|
|
|
|
|
|
|
|
if(pre[0] != pre[1])
|
|
|
|
return pre[0] < pre[1];
|
|
|
|
|
|
|
|
// After the prefix is the depth + event_id
|
|
|
|
const string_view post[2]
|
|
|
|
{
|
|
|
|
a.substr(size(pre[0])),
|
|
|
|
b.substr(size(pre[1])),
|
|
|
|
};
|
|
|
|
|
|
|
|
if(empty(post[0]))
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if(empty(post[1]))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
// Now want just the depth...
|
|
|
|
const string_view depths[2]
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
between(post[0], "\0"_sv, "$"_sv),
|
|
|
|
between(post[1], "\0"_sv, "$"_sv),
|
2018-02-09 00:15:48 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
// ...as machine words
|
|
|
|
const int64_t depth[2]
|
|
|
|
{
|
|
|
|
lex_cast<int64_t>(depths[0]),
|
|
|
|
lex_cast<int64_t>(depths[1]),
|
|
|
|
};
|
|
|
|
|
|
|
|
// Highest to lowest sort so highest is first
|
|
|
|
return depth[1] < depth[0];
|
|
|
|
},
|
|
|
|
|
|
|
|
// equal
|
|
|
|
[](const string_view &a, const string_view &b)
|
|
|
|
{
|
|
|
|
return a == b;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-02-13 23:21:57 +01:00
|
|
|
ircd::string_view
|
2018-03-04 09:25:27 +01:00
|
|
|
ircd::m::dbs::room_events_key(const mutable_buffer &out_,
|
2018-02-13 23:21:57 +01:00
|
|
|
const id::room &room_id,
|
|
|
|
const uint64_t &depth)
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
mutable_buffer out{out_};
|
|
|
|
consume(out, copy(out, room_id));
|
|
|
|
consume(out, copy(out, "\0"_sv));
|
|
|
|
consume(out, copy(out, lex_cast(depth)));
|
|
|
|
return { data(out_), data(out) };
|
2018-02-13 23:21:57 +01:00
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
ircd::string_view
|
2018-03-04 09:25:27 +01:00
|
|
|
ircd::m::dbs::room_events_key(const mutable_buffer &out_,
|
2018-02-08 22:23:01 +01:00
|
|
|
const id::room &room_id,
|
|
|
|
const uint64_t &depth,
|
|
|
|
const id::event &event_id)
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
mutable_buffer out{out_};
|
|
|
|
consume(out, copy(out, room_id));
|
|
|
|
consume(out, copy(out, "\0"_sv));
|
|
|
|
consume(out, copy(out, lex_cast(depth)));
|
|
|
|
consume(out, copy(out, event_id));
|
|
|
|
return { data(out_), data(out) };
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
|
2018-02-09 02:15:34 +01:00
|
|
|
std::tuple<uint64_t, ircd::string_view>
|
|
|
|
ircd::m::dbs::room_events_key(const string_view &amalgam)
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
const auto &key
|
|
|
|
{
|
|
|
|
lstrip(amalgam, "\0"_sv)
|
|
|
|
};
|
|
|
|
|
|
|
|
const auto &s
|
2018-02-09 02:15:34 +01:00
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
split(key, "$"_sv)
|
2018-02-09 02:15:34 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
return
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
lex_cast<uint64_t>(s.first),
|
|
|
|
{ end(s.first), end(s.second) }
|
2018-02-09 02:15:34 +01:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// This column stores events in sequence in a room. Consider the following:
|
|
|
|
///
|
|
|
|
/// [room_id | depth + event_id => state_root]
|
|
|
|
///
|
|
|
|
/// The key is composed from three parts:
|
|
|
|
///
|
|
|
|
/// - `room_id` is the official prefix, bounding the sequence. That means we
|
|
|
|
/// make a blind query with just a room_id and get to the beginning of the
|
|
|
|
/// sequence, then iterate until we stop before the next room_id (upper bound).
|
|
|
|
///
|
|
|
|
/// - `depth` is the ordering. Within the sequence, all elements are ordered by
|
2018-02-09 00:15:48 +01:00
|
|
|
/// depth from HIGHEST TO LOWEST. The sequence will start at the highest depth.
|
2018-02-08 22:23:01 +01:00
|
|
|
///
|
|
|
|
/// - `event_id` is the key suffix. This column serves to sequence all events
|
|
|
|
/// within a room ordered by depth. There may be duplicate room_id|depth
|
|
|
|
/// prefixing but the event_id suffix gives the key total uniqueness.
|
|
|
|
///
|
|
|
|
/// The value is then used to store the node ID of the state tree root at this
|
|
|
|
/// event. Nodes of the state tree are stored in the state_node column. From
|
|
|
|
/// that root node the state of the room at the time of this event_id can be
|
|
|
|
/// queried.
|
|
|
|
///
|
|
|
|
/// There is one caveat here: we can't directly take a room_id and an event_id
|
|
|
|
/// and make a trivial query to find the state root, since the depth number
|
|
|
|
/// gets in the way. Rather than creating yet another column without the depth,
|
|
|
|
/// for the time being, we pay the cost of an extra query to events_depth and
|
|
|
|
/// find that missing piece to make the exact query with all three key parts.
|
|
|
|
///
|
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events__room_events
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"_room_events",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
the prefix transform is in effect. this column indexes events by
|
|
|
|
room_id offering an iterable bound of the index prefixed by room_id
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
)",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// options
|
|
|
|
{},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-09 00:15:48 +01:00
|
|
|
// comparator
|
|
|
|
events__room_events__cmp,
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// prefix transform
|
|
|
|
events__room_events__pfx,
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-03-04 09:08:30 +01:00
|
|
|
//
|
|
|
|
// origins sequential
|
|
|
|
//
|
|
|
|
|
2018-03-03 07:03:06 +01:00
|
|
|
/// Prefix transform for the events__room_origins
|
|
|
|
///
|
|
|
|
const ircd::db::prefix_transform
|
|
|
|
ircd::m::dbs::desc::events__room_origins__pfx
|
|
|
|
{
|
|
|
|
"_room_origins",
|
|
|
|
|
|
|
|
[](const string_view &key)
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
return key.find("\0"_sv) != key.npos;
|
2018-03-03 07:03:06 +01:00
|
|
|
},
|
|
|
|
|
|
|
|
[](const string_view &key)
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
return rsplit(key, "\0"_sv).first;
|
2018-03-03 07:03:06 +01:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
ircd::string_view
|
2018-03-04 09:25:27 +01:00
|
|
|
ircd::m::dbs::room_origins_key(const mutable_buffer &out_,
|
2018-03-03 07:03:06 +01:00
|
|
|
const id::room &room_id,
|
2018-03-03 14:40:53 +01:00
|
|
|
const string_view &origin,
|
|
|
|
const id::user &member)
|
2018-03-03 07:03:06 +01:00
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
mutable_buffer out{out_};
|
|
|
|
consume(out, copy(out, room_id));
|
|
|
|
consume(out, copy(out, "\0"_sv));
|
|
|
|
consume(out, copy(out, origin));
|
|
|
|
consume(out, copy(out, member));
|
|
|
|
return { data(out_), data(out) };
|
2018-03-03 07:03:06 +01:00
|
|
|
}
|
|
|
|
|
2018-03-04 09:08:30 +01:00
|
|
|
std::tuple<ircd::string_view, ircd::string_view>
|
|
|
|
ircd::m::dbs::room_origins_key(const string_view &amalgam)
|
|
|
|
{
|
|
|
|
const auto &key
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
lstrip(amalgam, "\0"_sv)
|
2018-03-04 09:08:30 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
const auto &s
|
|
|
|
{
|
2018-03-04 09:25:27 +01:00
|
|
|
split(key, "@"_sv)
|
2018-03-04 09:08:30 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
return
|
|
|
|
{
|
|
|
|
{ s.first },
|
2018-03-04 09:25:27 +01:00
|
|
|
{ end(s.first), end(s.second) }
|
2018-03-04 09:08:30 +01:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2018-03-03 07:03:06 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events__room_origins
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"_room_origins",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
|
|
|
|
|
|
|
the prefix transform is in effect. this column indexes events by
|
|
|
|
room_id offering an iterable bound of the index prefixed by room_id
|
|
|
|
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
|
|
|
{
|
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
|
|
|
|
|
|
|
// options
|
|
|
|
{},
|
|
|
|
|
|
|
|
// comparator
|
|
|
|
{},
|
|
|
|
|
|
|
|
// prefix transform
|
|
|
|
events__room_origins__pfx,
|
|
|
|
};
|
|
|
|
|
2018-03-04 08:39:24 +01:00
|
|
|
//
|
|
|
|
// state sequential
|
|
|
|
//
|
|
|
|
|
|
|
|
/// prefix transform for type,state_key in room_id
|
|
|
|
///
|
|
|
|
/// This transform is special for concatenating room_id with type and state_key
|
|
|
|
/// in that order with prefix being the room_id (this may change to room_id+
|
|
|
|
/// type
|
|
|
|
///
|
|
|
|
const ircd::db::prefix_transform
|
|
|
|
ircd::m::dbs::desc::events__room_state__pfx
|
|
|
|
{
|
|
|
|
"_room_state",
|
|
|
|
[](const string_view &key)
|
|
|
|
{
|
|
|
|
return key.find("\0"_sv) != key.npos;
|
|
|
|
},
|
|
|
|
[](const string_view &key)
|
|
|
|
{
|
|
|
|
return split(key, "\0"_sv).first;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::room_state_key(const mutable_buffer &out_,
|
|
|
|
const id::room &room_id,
|
|
|
|
const string_view &type,
|
|
|
|
const string_view &state_key)
|
|
|
|
{
|
|
|
|
mutable_buffer out{out_};
|
|
|
|
consume(out, copy(out, room_id));
|
|
|
|
consume(out, copy(out, "\0"_sv));
|
|
|
|
consume(out, copy(out, type));
|
|
|
|
consume(out, copy(out, "\0"_sv));
|
|
|
|
consume(out, copy(out, state_key));
|
|
|
|
return { data(out_), data(out) };
|
|
|
|
}
|
|
|
|
|
|
|
|
ircd::string_view
|
|
|
|
ircd::m::dbs::room_state_key(const mutable_buffer &out_,
|
|
|
|
const id::room &room_id,
|
|
|
|
const string_view &type)
|
|
|
|
{
|
|
|
|
mutable_buffer out{out_};
|
|
|
|
consume(out, copy(out, room_id));
|
|
|
|
consume(out, copy(out, "\0"_sv));
|
|
|
|
consume(out, copy(out, type));
|
|
|
|
return { data(out_), data(out) };
|
|
|
|
}
|
|
|
|
|
|
|
|
std::tuple<ircd::string_view, ircd::string_view>
|
|
|
|
ircd::m::dbs::room_state_key(const string_view &amalgam)
|
|
|
|
{
|
|
|
|
const auto &key
|
|
|
|
{
|
|
|
|
lstrip(amalgam, "\0"_sv)
|
|
|
|
};
|
|
|
|
|
|
|
|
const auto &s
|
|
|
|
{
|
|
|
|
split(key, "\0"_sv)
|
|
|
|
};
|
|
|
|
|
|
|
|
return
|
|
|
|
{
|
|
|
|
s.first, s.second
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events__room_state
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"_room_state",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
|
|
|
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
|
|
|
{
|
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
|
|
|
|
|
|
|
// options
|
|
|
|
{},
|
|
|
|
|
|
|
|
// comparator
|
|
|
|
{},
|
|
|
|
|
|
|
|
// prefix transform
|
|
|
|
events__room_state__pfx,
|
|
|
|
};
|
|
|
|
|
2018-01-26 21:26:09 +01:00
|
|
|
//
|
2018-02-08 22:23:01 +01:00
|
|
|
// Direct column descriptors
|
2018-01-26 21:26:09 +01:00
|
|
|
//
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_event_id
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"event_id",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.1
|
|
|
|
The id of event.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.4
|
|
|
|
MUST NOT exceed 255 bytes.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id. This is redundant data but we have to have it for now.
|
|
|
|
)",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_type
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"type",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.1
|
|
|
|
The type of event. This SHOULD be namespaced similar to Java package naming conventions
|
|
|
|
e.g. 'com.example.subdomain.event.type'.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.4
|
|
|
|
MUST NOT exceed 255 bytes.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_content
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"content",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
|
|
|
|
|
|
|
10.1
|
|
|
|
The fields in this object will vary depending on the type of event. When interacting
|
|
|
|
with the REST API, this is the HTTP body.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
2018-03-02 17:32:42 +01:00
|
|
|
Since events must not exceed 64 KiB the maximum size for the content is the remaining
|
2018-02-08 22:23:01 +01:00
|
|
|
space after all the other fields for the event are rendered.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
key is event_id
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-02-15 23:57:56 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_redacts
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"redacts",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
|
|
|
|
|
|
|
### developer note:
|
|
|
|
key is event_id
|
|
|
|
value is targeted event_id
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
|
|
|
{
|
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_room_id
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"room_id",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.2 (apropos room events)
|
|
|
|
Required. The ID of the room associated with this event.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.4
|
|
|
|
MUST NOT exceed 255 bytes.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_sender
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"sender",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
|
|
|
|
|
|
|
10.2 (apropos room events)
|
|
|
|
Required. Contains the fully-qualified ID of the user who sent this event.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.4
|
|
|
|
MUST NOT exceed 255 bytes.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_state_key
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"state_key",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.3 (apropos room state events)
|
|
|
|
A unique key which defines the overwriting semantics for this piece of room state.
|
|
|
|
This value is often a zero-length string. The presence of this key makes this event a
|
|
|
|
State Event. The key MUST NOT start with '_'.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
10.4
|
|
|
|
MUST NOT exceed 255 bytes.
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id
|
|
|
|
)",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_origin
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"origin",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
|
|
|
|
|
|
|
FEDERATION 4.1
|
|
|
|
DNS name of homeserver that created this PDU
|
|
|
|
|
|
|
|
### developer note:
|
|
|
|
key is event_id
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_origin_server_ts
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"origin_server_ts",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
|
|
|
|
|
|
|
FEDERATION 4.1
|
|
|
|
Timestamp in milliseconds on origin homeserver when this PDU was created.
|
|
|
|
|
|
|
|
### developer note:
|
|
|
|
key is event_id
|
|
|
|
value is a machine integer (binary)
|
|
|
|
|
|
|
|
TODO: consider unsigned rather than time_t because of millisecond precision
|
|
|
|
|
|
|
|
)",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(time_t)
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_signatures
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"signatures",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
|
|
|
|
|
|
|
### developer note:
|
|
|
|
key is event_id
|
|
|
|
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_auth_events
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"auth_events",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id.
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_depth
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"depth",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id value is long integer
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(int64_t)
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_hashes
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"hashes",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id.
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_membership
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"membership",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id.
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_prev_events
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"prev_events",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
|
|
|
|
|
|
|
### developer note:
|
|
|
|
key is event_id.
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
ircd::m::dbs::desc::events_prev_state
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"prev_state",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### protocol note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
### developer note:
|
|
|
|
key is event_id.
|
|
|
|
)",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
2018-02-08 22:23:01 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
const ircd::database::descriptor
|
|
|
|
event_id_in_sender
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"event_id in sender",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
|
|
|
|
|
|
|
key is "@sender$event_id"
|
|
|
|
the prefix transform is in effect. this column indexes events by
|
|
|
|
sender offering an iterable bound of the index prefixed by sender
|
|
|
|
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
|
|
|
{
|
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
|
|
|
|
|
|
|
// options
|
|
|
|
{},
|
|
|
|
|
|
|
|
// comparator
|
|
|
|
{},
|
|
|
|
|
|
|
|
// prefix transform
|
|
|
|
event_id_in,
|
2018-01-26 21:26:09 +01:00
|
|
|
};
|
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
/// prefix transform for origin in
|
|
|
|
///
|
|
|
|
/// This transform expects a concatenation ending with an origin which means
|
|
|
|
/// the prefix can be the same for multiple origins; therefor we can find
|
|
|
|
/// or iterate "origin in X" where X is some repeated prefix
|
|
|
|
///
|
|
|
|
/// TODO: strings will have character conflicts. must address
|
|
|
|
const ircd::db::prefix_transform
|
|
|
|
origin_in
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
"origin in",
|
|
|
|
[](const ircd::string_view &key)
|
|
|
|
{
|
|
|
|
return has(key, ":::");
|
|
|
|
//return key.find(':') != key.npos;
|
|
|
|
},
|
|
|
|
[](const ircd::string_view &key)
|
|
|
|
{
|
|
|
|
return split(key, ":::").first;
|
|
|
|
//return rsplit(key, ':').first;
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
origin_in_room_id
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"origin in room_id",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
|
|
|
|
|
|
|
key is "!room_id:origin"
|
|
|
|
the prefix transform is in effect. this column indexes origins in a
|
|
|
|
room_id offering an iterable bound of the index prefixed by room_id
|
|
|
|
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// options
|
|
|
|
{},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// comparator - sorts from highest to lowest
|
|
|
|
{}, //ircd::db::reverse_cmp_string_view{},
|
|
|
|
|
|
|
|
// prefix transform
|
|
|
|
origin_in,
|
|
|
|
};
|
|
|
|
|
|
|
|
const ircd::database::descriptor
|
|
|
|
origin_joined_in_room_id
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
// name
|
|
|
|
"origin_joined in room_id",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
key is "!room_id:origin"
|
|
|
|
the prefix transform is in effect. this column indexes origins in a
|
|
|
|
room_id offering an iterable bound of the index prefixed by room_id
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
)",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// typing (key, value)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// options
|
|
|
|
{},
|
|
|
|
|
|
|
|
// comparator - sorts from highest to lowest
|
|
|
|
{}, //ircd::db::reverse_cmp_string_view{},
|
|
|
|
|
|
|
|
// prefix transform
|
|
|
|
origin_in,
|
|
|
|
};
|
|
|
|
|
|
|
|
/// prefix transform for room_id
|
|
|
|
///
|
|
|
|
/// This transform expects a concatenation ending with a room_id which means
|
|
|
|
/// the prefix can be the same for multiple room_id's; therefor we can find
|
|
|
|
/// or iterate "room_id in X" where X is some repeated prefix
|
|
|
|
///
|
|
|
|
const ircd::db::prefix_transform room_id_in
|
|
|
|
{
|
|
|
|
"room_id in",
|
|
|
|
[](const ircd::string_view &key)
|
|
|
|
{
|
|
|
|
return key.find('!') != key.npos;
|
|
|
|
},
|
|
|
|
[](const ircd::string_view &key)
|
|
|
|
{
|
|
|
|
return rsplit(key, '!').first;
|
|
|
|
}
|
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
prev_event_id_for_event_id_in_room_id
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"prev_event_id for event_id in room_id",
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
|
|
|
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
|
|
|
{
|
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
|
|
|
|
|
|
|
// options
|
|
|
|
{},
|
|
|
|
|
|
|
|
// comparator
|
|
|
|
{},
|
|
|
|
|
|
|
|
// prefix transform
|
|
|
|
event_id_in
|
|
|
|
};
|
|
|
|
|
|
|
|
/// prefix transform for event_id in room_id,type,state_key
|
|
|
|
///
|
|
|
|
/// This transform is special for concatenating room_id with type and state_key
|
|
|
|
/// and event_id in that order with prefix being the room_id,type,state_key. This
|
|
|
|
/// will index multiple event_ids with the same type,state_key in a room which
|
|
|
|
/// allows for a temporal depth to the database; event_id for type,state_key only
|
|
|
|
/// resolves to a single latest event and overwrites itself as per the room state
|
|
|
|
/// algorithm whereas this can map all of them and then allows for tracing.
|
|
|
|
///
|
|
|
|
/// TODO: arbitrary type strings will have character conflicts. must address
|
|
|
|
/// TODO: with grammars.
|
|
|
|
const ircd::db::prefix_transform
|
|
|
|
event_id_in_room_id_type_state_key
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
"event_id in room_id,type_state_key",
|
|
|
|
[](const ircd::string_view &key)
|
2018-01-26 21:26:09 +01:00
|
|
|
{
|
2018-02-08 22:23:01 +01:00
|
|
|
return has(key, '$');
|
|
|
|
},
|
|
|
|
[](const ircd::string_view &key)
|
|
|
|
{
|
|
|
|
return split(key, '$').first;
|
2018-01-26 21:26:09 +01:00
|
|
|
}
|
2018-02-08 22:23:01 +01:00
|
|
|
};
|
2018-01-26 21:26:09 +01:00
|
|
|
|
2018-02-08 22:23:01 +01:00
|
|
|
const ircd::database::descriptor
|
|
|
|
prev_event_id_for_type_state_key_event_id_in_room_id
|
|
|
|
{
|
|
|
|
// name
|
|
|
|
"prev_event_id for type,state_key,event_id in room_id",
|
|
|
|
|
|
|
|
// explanation
|
|
|
|
R"(### developer note:
|
|
|
|
|
|
|
|
)",
|
|
|
|
|
|
|
|
// typing (key, value)
|
|
|
|
{
|
|
|
|
typeid(ircd::string_view), typeid(ircd::string_view)
|
|
|
|
},
|
|
|
|
|
|
|
|
// options
|
|
|
|
{},
|
|
|
|
|
|
|
|
// comparator
|
|
|
|
{},
|
|
|
|
|
|
|
|
// prefix transform
|
|
|
|
event_id_in_room_id_type_state_key
|
|
|
|
};
|
|
|
|
*/
|
|
|
|
|
|
|
|
const ircd::database::description
|
|
|
|
ircd::m::dbs::desc::events
|
|
|
|
{
|
|
|
|
// Requirement of RocksDB/LevelDB
|
|
|
|
{ "default" },
|
|
|
|
|
|
|
|
////////
|
|
|
|
//
|
|
|
|
// These columns directly represent event fields indexed by event_id and
|
|
|
|
// the value is the actual event values. Some values may be JSON, like
|
|
|
|
// content.
|
|
|
|
//
|
|
|
|
events_auth_events,
|
|
|
|
events_content,
|
|
|
|
events_depth,
|
|
|
|
events_event_id,
|
|
|
|
events_hashes,
|
|
|
|
events_membership,
|
|
|
|
events_origin,
|
|
|
|
events_origin_server_ts,
|
|
|
|
events_prev_events,
|
|
|
|
events_prev_state,
|
2018-02-15 23:57:56 +01:00
|
|
|
events_redacts,
|
2018-02-08 22:23:01 +01:00
|
|
|
events_room_id,
|
|
|
|
events_sender,
|
|
|
|
events_signatures,
|
|
|
|
events_state_key,
|
|
|
|
events_type,
|
|
|
|
|
|
|
|
////////
|
|
|
|
//
|
|
|
|
// These columns are metadata composed from the event data. Specifically,
|
|
|
|
// they are designed for fast sequential iterations.
|
|
|
|
//
|
|
|
|
|
|
|
|
// (state tree node id) => (state tree node)
|
|
|
|
events__state_node,
|
|
|
|
|
|
|
|
// (room_id, event_id) => (state_root)
|
|
|
|
// Sequence of all events for a room, ever.
|
|
|
|
events__room_events,
|
2018-03-03 07:03:06 +01:00
|
|
|
|
|
|
|
// (room_id, origin) => ()
|
|
|
|
// Sequence of all PRESENTLY JOINED origins for a room.
|
|
|
|
events__room_origins,
|
2018-03-04 08:39:24 +01:00
|
|
|
|
|
|
|
// (room_id, type, state_key) => (event_id)
|
|
|
|
// Sequence of the PRESENT STATE of the room.
|
|
|
|
events__room_state,
|
2018-02-08 22:23:01 +01:00
|
|
|
};
|