ircd:Ⓜ️:gossip: Refactor interface; zero-worker implementation.

include/ircd/m/gossip.h

@@ -11,29 +11,83 @@
 #pragma once
 #define HAVE_IRCD_M_GOSSIP_H
 
-namespace ircd::m::gossip
+namespace ircd::m
+{
+	struct gossip;
+}
+
+/// Matrix Gossip is a mechanism that proactively resolves the head (forward-
+/// extremities) of a room on remote servers by sending the events they are
+/// missing if we have them. Gossip may be performed multiple times, checking
+/// for changes in the remote head and repeating based on options or until
+/// completion.
+struct ircd::m::gossip
+:instance_list<ircd::m::gossip>
 {
 	struct opts;
-	struct gossip;
+	struct result;
 
-	extern log::log log;
-};
+	static log::log log;
 
-struct ircd::m::gossip::gossip
-{
-	gossip(const room::id &, const opts &);
+	const struct opts &opts;
+	std::list<result> requests;
+
+  private:
+	bool full() const noexcept;
+	bool started(const event::id &, const string_view &) const;
+
+	bool handle(result &);
+	bool handle();
+	bool start(const event::id &, const string_view &);
+	bool submit(const event::id &, const string_view &);
+	bool handle_head(const m::event &);
+	void gossip_head();
+
+  public:
+	gossip(const struct opts &);
+	gossip(const gossip &) = delete;
+	gossip &operator=(const gossip &) = delete;
+	~gossip() noexcept;
 };
 
 struct ircd::m::gossip::opts
 {
-	/// The remote server to gossip with. May be empty to gossip with every
-	/// server in the room.
-	string_view remote;
+	/// Room apropos; when room.event_id is true, only that event will be
+	/// the subject of gossip and that is only if the remote's head requires
+	/// it. room.event_id should not be given in most cases.
+	m::room room;
 
-	/// An event to gossip about. May be empty to determine which event must
-	/// be gossiped about.
-	m::event::id event_id;
+	/// When hint_only=true this string is used to conduct gossip with the
+	/// single remote given.
+	string_view hint;
 
-	/// Coarse timeout for various network interactions.
-	milliseconds timeout {7500ms};
+	/// Forces remote operations to the remote given in the hint only.
+	bool hint_only {false};
+
+	/// Depthwise window of gossip: no gossip for events outside of a given
+	/// depth window. Ignored if !depth.second.
+	pair<int64_t> depth {0, 0};
+
+	/// Indexwise window of gossip: no gossip for events with a value outside
+	/// of the window.
+	pair<event::idx> ref {0, -1UL};
+
+	/// The number of rounds the algorithm runs for.
+	size_t rounds {-1UL};
+
+	/// Total event limit over all operations.
+	size_t max {-1UL};
+
+	/// Limit the number of gossips in flight at any given time.
+	size_t width {128};
+};
+
+struct ircd::m::gossip::result
+{
+	unique_mutable_buffer buf;
+	string_view txn;
+	string_view txnid;
+	string_view remote;
+	event::id event_id;
+	m::fed::send request;
 };

matrix/gossip.cc

@@ -8,58 +8,132 @@
 // copyright notice and this permission notice is present in all copies. The
 // full license for this software is available in the LICENSE file.
 
+template<>
+decltype(ircd::util::instance_list<ircd::m::gossip>::allocator)
+ircd::util::instance_list<ircd::m::gossip>::allocator
+{};
+
+template<>
+decltype(ircd::util::instance_list<ircd::m::gossip>::list)
+ircd::util::instance_list<ircd::m::gossip>::list
+{
+	allocator
+};
+
 decltype(ircd::m::gossip::log)
 ircd::m::gossip::log
 {
 	"m.gossip"
 };
 
-/// Initial gossip protocol works by sending the remote server some events which
-/// reference an event contained in the remote's head which we just obtained.
-/// This is part of a family of active measures taken to reduce forward
-/// extremities on other servers but without polluting the chain with
-/// permanent data for this purpose such as with org.matrix.dummy_event.
-ircd::m::gossip::gossip::gossip(const room::id &room_id,
-                                const opts &opts)
+ircd::m::gossip::gossip::gossip(const struct opts &opts)
+:opts{opts}
 {
-	assert(opts.event_id);
-	const auto &event_id
+	gossip_head();
+}
+
+ircd::m::gossip::~gossip()
+noexcept
+{
+}
+
+void
+ircd::m::gossip::gossip_head()
+{
+	m::room::head::fetch::opts hfopts;
+	hfopts.room_id = opts.room.room_id;
+	hfopts.top = m::top(opts.room.room_id);
+	m::room::head::fetch
 	{
-		opts.event_id
+		hfopts, [this](const m::event &result)
+		{
+			// Bail if interrupted
+			if(ctx::interruption_requested())
+				return false;
+
+			return handle_head(result);
+		}
+	};
+}
+
+bool
+ircd::m::gossip::handle_head(const m::event &result)
+{
+	const auto &remote
+	{
+		json::get<"origin"_>(result)
+	};
+
+	const bool submitted
+	{
+		submit(result.event_id, remote)
+	};
+
+	log::debug
+	{
+		log, "Gossip %s in %s to '%s' submit:%b requests:%zu",
+		string_view{result.event_id},
+		string_view{opts.room.room_id},
+		remote,
+		submitted,
+		requests.size(),
+	};
+
+	return true;
+}
+
+bool
+ircd::m::gossip::submit(const m::event::id &event_id,
+                        const string_view &remote)
+{
+	const bool ret
+	{
+		!started(event_id, remote)?
+			start(event_id, remote):
+			false
+	};
+
+	if(ret || full())
+		while(handle());
+
+	return ret;
+}
+
+bool
+ircd::m::gossip::start(const m::event::id &event_id_,
+                       const string_view &remote_)
+try
+{
+	static const size_t max
+	{
+		48
 	};
 
 	const m::event::refs refs
 	{
-		m::index(std::nothrow, event_id)
+		m::index(std::nothrow, event_id_)
 	};
 
-	static const size_t max{48};
-	const size_t count
-	{
-		std::min(refs.count(dbs::ref::NEXT), max)
-	};
-
-	if(!count)
-		return;
-
-	const unique_mutable_buffer buf[]
-	{
-		{ event::MAX_SIZE * (count + 1)  },
-		{ 16_KiB                         },
-	};
-
-	size_t i{0};
+	size_t num{0};
 	std::array<event::idx, max> next_idx;
-	refs.for_each(dbs::ref::NEXT, [&next_idx, &i]
+	refs.for_each(dbs::ref::NEXT, [&next_idx, &num]
 	(const event::idx &event_idx, const auto &ref_type)
 	{
 		assert(ref_type == dbs::ref::NEXT);
-		next_idx.at(i) = event_idx;
-		return ++i < next_idx.size();
+		next_idx.at(num) = event_idx;
+		return ++num < next_idx.size();
 	});
 
-	size_t ret{0};
-	json::stack out{buf[0]};
+	if(!num)
+		return false;
+
+	unique_mutable_buffer _buf
+	{
+		(event::MAX_SIZE * num) + 16_KiB
+	};
+
+	mutable_buffer buf{_buf};
+	json::stack out{buf};
 	{
 		json::stack::object top
 		{
@@ -75,7 +149,7 @@ ircd::m::gossip::gossip::gossip(const room::id &room_id,
 		{
 			top, "origin_server_ts", json::value
 			{
-				long(ircd::time<milliseconds>())
+				ircd::time<milliseconds>()
 			}
 		};
 
@@ -85,8 +159,8 @@ ircd::m::gossip::gossip::gossip(const room::id &room_id,
 		};
 
 		m::event::fetch event;
-		for(assert(ret == 0); ret < i; ++ret)
-			if(seek(std::nothrow, event, next_idx.at(ret)))
+		for(size_t i(0); i < num; ++i)
+			if(seek(std::nothrow, event, next_idx.at(i)))
 				pdus.append(event.source);
 	}
 
@@ -95,45 +169,173 @@ ircd::m::gossip::gossip::gossip(const room::id &room_id,
 		out.completed()
 	};
 
-	char idbuf[64];
+	consume(buf, size(txn));
 	const string_view txnid
 	{
-		m::txn::create_id(idbuf, txn)
+		m::txn::create_id(buf, txn)
 	};
 
+	consume(buf, size(txnid));
+	const string_view remote
+	{
+		strlcpy{buf, remote_}
+	};
+
+	consume(buf, size(remote));
+	const string_view event_id
+	{
+		strlcpy{buf, event_id_}
+	};
+
+	consume(buf, size(event_id));
+	assert(!empty(buf));
+
 	m::fed::send::opts fedopts;
-	fedopts.remote = opts.remote;
-	m::fed::send request
+	fedopts.remote = remote;
+	requests.emplace_back(result
 	{
-		txnid, txn, buf[1], std::move(fedopts)
+		std::move(_buf),
+		txn,
+		txnid,
+		remote,
+		event_id,
+		m::fed::send
+		{
+			txnid,
+			txn,
+			buf,
+			std::move(fedopts)
+		}
+	});
+
+	return true;
+}
+catch(const ctx::interrupted &e)
+{
+	throw;
+}
+catch(const std::exception &e)
+{
+	log::error
+	{
+		log, "Gossip %s in %s from '%s' :%s",
+		string_view{event_id_},
+		string_view{opts.room.room_id},
+		remote_,
+		e.what(),
 	};
 
-	http::code code{0};
-	std::exception_ptr eptr;
-	if(request.wait(opts.timeout, std::nothrow)) try
-	{
-		code = request.get();
-		ret += code == http::OK;
-	}
-	catch(...)
-	{
-		eptr = std::current_exception();
-	}
+	return false;
+}
 
+bool
+ircd::m::gossip::handle()
+{
+	if(requests.empty())
+		return false;
+
+	auto next
+	{
+		ctx::when_any(std::begin(requests), std::end(requests), []
+		(auto &it) -> ctx::future<http::code> &
+		{
+			return it->request;
+		})
+	};
+
+	const milliseconds timeout
+	{
+		full()? 5000: 50
+	};
+
+	ctx::interruption_point();
+	if(!next.wait(timeout, std::nothrow))
+		return full();
+
+	const unique_iterator it
+	{
+		requests, next.get()
+	};
+
+	assert(it.it != std::end(requests));
+	return handle(*it.it);
+}
+
+bool
+ircd::m::gossip::handle(result &result)
+try
+{
+	auto response
+	{
+		result.request.get()
+	};
+
+	const json::object body
+	{
+		result.request
+	};
+
+	fed::send::response{body}.for_each_pdu([&]
+	(const event::id &event_id, const json::object &errors)
+	{
+		const bool ok
+		{
+			empty(errors)
+		};
+
+		log::logf
+		{
+			log, ok? log::level::DEBUG: log::level::DERROR,
+			"Gossip %s in %s to '%s'%s%s",
+			string_view{event_id},
+			string_view{opts.room.room_id},
+			string_view{result.remote},
+			!ok? " :"_sv: ""_sv,
+			string_view{errors},
+		};
+	});
+
+	return true;
+}
+catch(const ctx::interrupted &e)
+{
+	throw;
+}
+catch(const std::exception &e)
+{
 	log::logf
 	{
-		log, code == http::OK? log::DEBUG : log::DERROR,
-		"gossip %zu:%zu to %s reference to %s in %s :%s %s",
-		ret,
-		count,
-		opts.remote,
-		string_view{event_id},
-		string_view{room_id},
-		code?
-			status(code):
-			"failed",
-		eptr?
-			what(eptr):
-			string_view{},
+		log, log::level::DERROR,
+		"Gossip %s in %s to '%s' :%s",
+		string_view{result.event_id},
+		string_view{opts.room.room_id},
+		string_view{result.remote},
+		e.what(),
 	};
+
+	return true;
+}
+
+bool
+ircd::m::gossip::started(const event::id &event_id,
+                         const string_view &remote)
+const
+{
+	const auto it
+	{
+		std::find_if(std::begin(requests), std::end(requests), [&]
+		(const auto &result)
+		{
+			return result.event_id == event_id && result.remote == remote;
+		})
+	};
+
+	return it != std::end(requests);
+}
+
+bool
+ircd::m::gossip::full()
+const noexcept
+{
+	return requests.size() >= opts.width;
 }

matrix/init_backfill.cc

@@ -10,7 +10,6 @@
 
 namespace ircd::m::init::backfill
 {
-	void gossip(const room::id &, const event::id &, const string_view &remote);
 	void handle_room(const room::id &);
 	void worker();
 
@@ -311,35 +310,32 @@ catch(const std::exception &e)
 void
 ircd::m::init::backfill::handle_room(const room::id &room_id)
 {
-	struct m::acquire::opts opts;
-	opts.room = room_id;
-	opts.viewport_size = ssize_t(m::room::events::viewport_size);
-	opts.viewport_size *= size_t(viewports);
-	opts.vmopts.infolog_accept = true;
-	opts.vmopts.warnlog &= ~vm::fault::EXISTS;
-	opts.attempt_max = size_t(attempt_max);
-	m::acquire
 	{
-		opts
-	};
+		struct m::acquire::opts opts;
+		opts.room = room_id;
+		opts.viewport_size = ssize_t(m::room::events::viewport_size);
+		opts.viewport_size *= size_t(viewports);
+		opts.vmopts.infolog_accept = true;
+		opts.vmopts.warnlog &= ~vm::fault::EXISTS;
+		opts.attempt_max = size_t(attempt_max);
+		m::acquire
+		{
+			opts
+		};
 
-	const size_t num_reset
-	{
-		m::room::head::reset(opts.room)
-	};
-}
+		const size_t num_reset
+		{
+			m::room::head::reset(opts.room)
+		};
+	}
 
-void
-ircd::m::init::backfill::gossip(const room::id &room_id,
-                                const event::id &event_id,
-                                const string_view &remote)
-{
-	m::gossip::opts opts;
-	opts.timeout = seconds(gossip_timeout);
-	opts.remote = remote;
-	opts.event_id = event_id;
-	gossip::gossip
+	if((false))
 	{
-		room_id, opts
-	};
+		struct m::gossip::opts opts;
+		opts.room = room_id;
+		m::gossip
+		{
+			opts
+		};
+	}
 }