-- XEP-0198: Stream Management for Prosody IM

--

-- Copyright (C) 2010-2015 Matthew Wild

-- Copyright (C) 2010 Waqas Hussain

-- Copyright (C) 2012-2021 Kim Alvefur

-- Copyright (C) 2012 Thijs Alkemade

-- Copyright (C) 2014 Florian Zeitz

-- Copyright (C) 2016-2020 Thilo Molitor

--

-- This project is MIT/X11 licensed. Please see the

-- COPYING file in the source package for more information.

--

local tonumber = tonumber;

local tostring = tostring;

local os_time = os.time;

local datetime = require "util.datetime";

local add_filter = require "util.filters".add_filter;

local jid = require "util.jid";

local smqueue = require "util.smqueue";

local st = require "util.stanza";

local timer = require "util.timer";

local new_id = require "util.id".short;

local watchdog = require "util.watchdog";

local sessionmanager = require "core.sessionmanager";

local core_process_stanza = prosody.core_process_stanza;

local xmlns_errors = "urn:ietf:params:xml:ns:xmpp-stanzas";

local xmlns_delay = "urn:xmpp:delay";

local xmlns_mam2 = "urn:xmpp:mam:2";

local xmlns_sm2 = "urn:xmpp:sm:2";

local xmlns_sm3 = "urn:xmpp:sm:3";

local sm2_attr = { xmlns = xmlns_sm2 };

local sm3_attr = { xmlns = xmlns_sm3 };

local queue_size = module:get_option_number("smacks_max_queue_size", 500);

local resume_timeout = module:get_option_number("smacks_hibernation_time", 600);

local s2s_smacks = module:get_option_boolean("smacks_enabled_s2s", true);

local s2s_resend = module:get_option_boolean("smacks_s2s_resend", false);

local max_unacked_stanzas = module:get_option_number("smacks_max_unacked_stanzas", 0);

local max_inactive_unacked_stanzas = module:get_option_number("smacks_max_inactive_unacked_stanzas", 256);

local delayed_ack_timeout = module:get_option_number("smacks_max_ack_delay", 30);

local c2s_sessions = module:shared("/*/c2s/sessions");

local local_sessions = prosody.hosts[module.host].sessions;

local function format_h(h) if h then return string.format("%d", h) end end

local old_session_registry = module:open_store("smacks_h", "map");

local session_registry = module:shared "/*/smacks/resumption-tokens"; -- > user@host/resumption-token --> resource

local ack_errors = require"util.error".init("mod_smacks", xmlns_sm3, {

	head = { condition = "undefined-condition"; text = "Client acknowledged more stanzas than sent by server" };

	tail = { condition = "undefined-condition"; text = "Client acknowledged less stanzas than already acknowledged" };

	pop = { condition = "internal-server-error"; text = "Something went wrong with Stream Management" };

	overflow = { condition = "resource-constraint", text = "Too many unacked stanzas remaining, session can't be resumed" }

});

-- COMPAT note the use of compatibility wrapper in events (queue:table())

local function ack_delayed(session, stanza)

	-- fire event only if configured to do so and our session is not already hibernated or destroyed

	if delayed_ack_timeout > 0 and session.awaiting_ack

	and not session.hibernating and not session.destroyed then

		session.log("debug", "Firing event 'smacks-ack-delayed', queue = %d",

			session.outgoing_stanza_queue and session.outgoing_stanza_queue:count_unacked() or 0);

		module:fire_event("smacks-ack-delayed", {origin = session, queue = session.outgoing_stanza_queue:table(), stanza = stanza});

	end

	session.delayed_ack_timer = nil;

end

local function can_do_smacks(session, advertise_only)

	if session.smacks then return false, "unexpected-request", "Stream management is already enabled"; end

	local session_type = session.type;

	if session.username then

		if not(advertise_only) and not(session.resource) then -- Fail unless we're only advertising sm

			return false, "unexpected-request", "Client must bind a resource before enabling stream management";

		end

		return true;

	elseif s2s_smacks and (session_type == "s2sin" or session_type == "s2sout") then

		return true;

	end

	return false, "service-unavailable", "Stream management is not available for this stream";

end

module:hook("stream-features",

		function (event)

			if can_do_smacks(event.origin, true) then

				event.features:tag("sm", sm2_attr):tag("optional"):up():up();

				event.features:tag("sm", sm3_attr):tag("optional"):up():up();

			end

		end);

module:hook("s2s-stream-features",

		function (event)

			if can_do_smacks(event.origin, true) then

				event.features:tag("sm", sm2_attr):tag("optional"):up():up();

				event.features:tag("sm", sm3_attr):tag("optional"):up():up();

			end

		end);

local function should_ack(session, force)

	if not session then return end -- shouldn't be possible

	if session.destroyed then return end -- gone

	if not session.smacks then return end -- not using

	if session.hibernating then return end -- can't ack when asleep

	if session.awaiting_ack then return end -- already waiting

	if force then return force end

	local queue = session.outgoing_stanza_queue;

	local expected_h = session.last_acknowledged_stanza + queue:count_unacked();

	local max_unacked = max_unacked_stanzas;

	if session.state == "inactive" then

		max_unacked = max_inactive_unacked_stanzas;

	end

	-- this check of last_requested_h prevents ack-loops if misbehaving clients report wrong

	-- stanza counts. it is set when an <r> is really sent (e.g. inside timer), preventing any

	-- further requests until a higher h-value would be expected.

	return queue:count_unacked() > max_unacked and expected_h ~= session.last_requested_h;

end

local function request_ack(session, reason)

	local queue = session.outgoing_stanza_queue;

	session.log("debug", "Sending <r> (inside timer, before send) from %s - #queue=%d", reason, queue:count_unacked());

	(session.sends2s or session.send)(st.stanza("r", { xmlns = session.smacks }))

	if session.destroyed then return end -- sending something can trigger destruction

	session.awaiting_ack = true;

	-- expected_h could be lower than this expression e.g. more stanzas added to the queue meanwhile)

	session.last_requested_h = session.last_acknowledged_stanza + queue:count_unacked();

	session.log("debug", "Sending <r> (inside timer, after send) from %s - #queue=%d", reason, queue:count_unacked());

	if not session.delayed_ack_timer then

		session.delayed_ack_timer = timer.add_task(delayed_ack_timeout, function()

			ack_delayed(session, nil); -- we don't know if this is the only new stanza in the queue

		end);

	end

end

local function request_ack_now_if_needed(session, force, reason)

	if should_ack(session, force) then

		request_ack(session, reason);

	end

end

local function outgoing_stanza_filter(stanza, session)

	-- XXX: Normally you wouldn't have to check the xmlns for a stanza as it's

	-- supposed to be nil.

	-- However, when using mod_smacks with mod_websocket, then mod_websocket's

	-- stanzas/out filter can get called before this one and adds the xmlns.

	if session.resending_unacked then return stanza end

	if not session.smacks then return stanza end

	local is_stanza = st.is_stanza(stanza) and

		(not stanza.attr.xmlns or stanza.attr.xmlns == 'jabber:client')

		and not stanza.name:find":";

	if is_stanza then

		local queue = session.outgoing_stanza_queue;

		local cached_stanza = st.clone(stanza);

		if cached_stanza.name ~= "iq" and cached_stanza:get_child("delay", xmlns_delay) == nil then

			cached_stanza = cached_stanza:tag("delay", {

				xmlns = xmlns_delay,

				from = jid.bare(session.full_jid or session.host),

				stamp = datetime.datetime()

			});

		end

		queue:push(cached_stanza);

		if session.hibernating then

			session.log("debug", "hibernating since %s, stanza queued", datetime.datetime(session.hibernating));

			-- FIXME queue implementation changed, anything depending on it being an array will break

			module:fire_event("smacks-hibernation-stanza-queued", {origin = session, queue = queue:table(), stanza = cached_stanza});

			return nil;

		end

	end

	return stanza;

end

local function count_incoming_stanzas(stanza, session)

	if not stanza.attr.xmlns then

		session.handled_stanza_count = session.handled_stanza_count + 1;

		session.log("debug", "Handled %d incoming stanzas", session.handled_stanza_count);

	end

	return stanza;

end

local function wrap_session_out(session, resume)

	if not resume then

		session.outgoing_stanza_queue = smqueue.new(queue_size);

		session.last_acknowledged_stanza = 0;

	end

	add_filter(session, "stanzas/out", outgoing_stanza_filter, -999);

	return session;

end

module:hook("pre-session-close", function(event)

	local session = event.session;

	if session.smacks == nil then return end

	if session.resumption_token then

		session.log("debug", "Revoking resumption token");

		session_registry[jid.join(session.username, session.host, session.resumption_token)] = nil;

		old_session_registry:set(session.username, session.resumption_token, nil);

		session.resumption_token = nil;

	else

		session.log("debug", "Session not resumable");

	end

	if session.hibernating_watchdog then

		session.log("debug", "Removing sleeping watchdog");

		-- If the session is being replaced instead of resume, we don't want the

		-- old session around to time out and cause trouble for the new session

		session.hibernating_watchdog:cancel();

		session.hibernating_watchdog = nil;

	else

		session.log("debug", "No watchdog set");

	end

	-- send out last ack as per revision 1.5.2 of XEP-0198

	if session.smacks and session.conn and session.handled_stanza_count then

		(session.sends2s or session.send)(st.stanza("a", {

			xmlns = session.smacks;

			h = format_h(session.handled_stanza_count);

		}));

	end

end);

local function wrap_session_in(session, resume)

	if not resume then

		session.handled_stanza_count = 0;

	end

	add_filter(session, "stanzas/in", count_incoming_stanzas, 999);

	return session;

end

local function wrap_session(session, resume)

	wrap_session_out(session, resume);

	wrap_session_in(session, resume);

	return session;

end

function handle_enable(session, stanza, xmlns_sm)

	local ok, err, err_text = can_do_smacks(session);

	if not ok then

		session.log("warn", "Failed to enable smacks: %s", err_text); -- TODO: XEP doesn't say we can send error text, should it?

		(session.sends2s or session.send)(st.stanza("failed", { xmlns = xmlns_sm }):tag(err, { xmlns = xmlns_errors}));

		return true;

	end

	module:log("debug", "Enabling stream management");

	session.smacks = xmlns_sm;

	wrap_session(session, false);

	local resume_max;

	local resume_token;

	local resume = stanza.attr.resume;

	if resume == "true" or resume == "1" then

		resume_token = new_id();

		session_registry[jid.join(session.username, session.host, resume_token)] = session;

		session.resumption_token = resume_token;

		resume_max = tostring(resume_timeout);

	end

	(session.sends2s or session.send)(st.stanza("enabled", { xmlns = xmlns_sm, id = resume_token, resume = resume, max = resume_max }));

	return true;

end

module:hook_tag(xmlns_sm2, "enable", function (session, stanza) return handle_enable(session, stanza, xmlns_sm2); end, 100);

module:hook_tag(xmlns_sm3, "enable", function (session, stanza) return handle_enable(session, stanza, xmlns_sm3); end, 100);

module:hook_tag("http://etherx.jabber.org/streams", "features",

		function (session, stanza)

			-- Needs to be done after flushing sendq since those aren't stored as

			-- stanzas and counting them is weird.

			-- TODO unify sendq and smqueue

			timer.add_task(1e-6, function ()

				if can_do_smacks(session) then

					if stanza:get_child("sm", xmlns_sm3) then

						session.sends2s(st.stanza("enable", sm3_attr));

						session.smacks = xmlns_sm3;

					elseif stanza:get_child("sm", xmlns_sm2) then

						session.sends2s(st.stanza("enable", sm2_attr));

						session.smacks = xmlns_sm2;

					else

						return;

					end

					wrap_session_out(session, false);

				end

			end);

		end);

function handle_enabled(session, stanza, xmlns_sm) -- luacheck: ignore 212/stanza

	module:log("debug", "Enabling stream management");

	session.smacks = xmlns_sm;

	wrap_session_in(session, false);

	-- FIXME Resume?

	return true;

end

module:hook_tag(xmlns_sm2, "enabled", function (session, stanza) return handle_enabled(session, stanza, xmlns_sm2); end, 100);

module:hook_tag(xmlns_sm3, "enabled", function (session, stanza) return handle_enabled(session, stanza, xmlns_sm3); end, 100);

function handle_r(origin, stanza, xmlns_sm) -- luacheck: ignore 212/stanza

	if not origin.smacks then

		module:log("debug", "Received ack request from non-smack-enabled session");

		return;

	end

	module:log("debug", "Received ack request, acking for %d", origin.handled_stanza_count);

	-- Reply with <a>

	(origin.sends2s or origin.send)(st.stanza("a", { xmlns = xmlns_sm, h = format_h(origin.handled_stanza_count) }));

	-- piggyback our own ack request if needed (see request_ack_if_needed() for explanation of last_requested_h)

	request_ack_now_if_needed(origin, false, "piggybacked by handle_r", nil);

	return true;

end

module:hook_tag(xmlns_sm2, "r", function (origin, stanza) return handle_r(origin, stanza, xmlns_sm2); end);

module:hook_tag(xmlns_sm3, "r", function (origin, stanza) return handle_r(origin, stanza, xmlns_sm3); end);

function handle_a(origin, stanza)

	if not origin.smacks then return; end

	origin.awaiting_ack = nil;

	if origin.awaiting_ack_timer then

		timer.stop(origin.awaiting_ack_timer);

		origin.awaiting_ack_timer = nil;

	end

	if origin.delayed_ack_timer then

		timer.stop(origin.delayed_ack_timer)

		origin.delayed_ack_timer = nil;

	end

	-- Remove handled stanzas from outgoing_stanza_queue

	local h = tonumber(stanza.attr.h);

	if not h then

		origin:close{ condition = "invalid-xml"; text = "Missing or invalid 'h' attribute"; };

		return;

	end

	local queue = origin.outgoing_stanza_queue;

	local handled_stanza_count = h-queue:count_acked();

	local acked, err = ack_errors.coerce(queue:ack(h)); -- luacheck: ignore 211/acked

	if err then

		origin.log("warn", "The client says it handled %d new stanzas, but we sent %d :)",

			handled_stanza_count, queue:count_unacked());

		origin.log("debug", "Client h: %d, our h: %d", tonumber(stanza.attr.h), queue:count_acked());

		for i, item in queue._queue:items() do

			origin.log("debug", "Q item %d: %s", i, item);

		end

		origin:close(err);

		return;

	end

	origin.log("debug", "#queue = %d", queue:count_unacked());

	request_ack_now_if_needed(origin, false, "handle_a", nil)

	return true;

end

module:hook_tag(xmlns_sm2, "a", handle_a);

module:hook_tag(xmlns_sm3, "a", handle_a);

local function handle_unacked_stanzas(session)

	local queue = session.outgoing_stanza_queue;

	if queue:count_unacked() > 0 then

		session.smacks = false; -- Disable queueing