2014-11-19 13:20:59 -05:00
|
|
|
#!/usr/bin/env python
|
|
|
|
# -*- coding: utf-8 -*-
|
2016-01-06 23:26:29 -05:00
|
|
|
# Copyright 2015, 2016 OpenMarket Ltd
|
2014-11-19 13:20:59 -05:00
|
|
|
#
|
|
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
# you may not use this file except in compliance with the License.
|
|
|
|
# You may obtain a copy of the License at
|
|
|
|
#
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
#
|
|
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
# See the License for the specific language governing permissions and
|
|
|
|
# limitations under the License.
|
|
|
|
|
2018-04-27 06:29:27 -04:00
|
|
|
import logging
|
2020-07-16 09:06:28 -04:00
|
|
|
from typing import TYPE_CHECKING, Dict, Union
|
|
|
|
|
|
|
|
from prometheus_client import Gauge
|
2018-04-27 06:29:27 -04:00
|
|
|
|
2018-10-22 11:12:11 -04:00
|
|
|
from synapse.metrics.background_process_metrics import run_as_background_process
|
2019-02-22 10:18:19 -05:00
|
|
|
from synapse.push import PusherConfigException
|
2020-03-19 06:00:24 -04:00
|
|
|
from synapse.push.emailpusher import EmailPusher
|
|
|
|
from synapse.push.httppusher import HttpPusher
|
2018-04-27 06:29:27 -04:00
|
|
|
from synapse.push.pusher import PusherFactory
|
2019-04-02 11:45:33 -04:00
|
|
|
from synapse.util.async_helpers import concurrently_execute
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
if TYPE_CHECKING:
|
|
|
|
from synapse.server import HomeServer
|
|
|
|
|
|
|
|
|
2014-11-19 13:20:59 -05:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
2014-12-18 09:49:22 -05:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
synapse_pushers = Gauge(
|
|
|
|
"synapse_pushers", "Number of active synapse pushers", ["kind", "app_id"]
|
|
|
|
)
|
|
|
|
|
|
|
|
|
2014-11-19 13:20:59 -05:00
|
|
|
class PusherPool:
|
2018-10-22 11:12:11 -04:00
|
|
|
"""
|
|
|
|
The pusher pool. This is responsible for dispatching notifications of new events to
|
|
|
|
the http and email pushers.
|
|
|
|
|
|
|
|
It provides three methods which are designed to be called by the rest of the
|
|
|
|
application: `start`, `on_new_notifications`, and `on_new_receipts`: each of these
|
|
|
|
delegates to each of the relevant pushers.
|
|
|
|
|
|
|
|
Note that it is expected that each pusher will have its own 'processing' loop which
|
|
|
|
will send out the notifications in the background, rather than blocking until the
|
|
|
|
notifications are sent; accordingly Pusher.on_started, Pusher.on_new_notifications and
|
2020-07-27 12:21:34 -04:00
|
|
|
Pusher.on_new_receipts are not expected to return awaitables.
|
2018-10-22 11:12:11 -04:00
|
|
|
"""
|
2019-06-20 05:32:02 -04:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
|
|
|
self.hs = hs
|
|
|
|
self.pusher_factory = PusherFactory(hs)
|
|
|
|
self._should_start_pushers = hs.config.start_pushers
|
2014-11-19 13:20:59 -05:00
|
|
|
self.store = self.hs.get_datastore()
|
2016-02-18 11:05:13 -05:00
|
|
|
self.clock = self.hs.get_clock()
|
2020-03-19 06:00:24 -04:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
# We shard the handling of push notifications by user ID.
|
|
|
|
self._pusher_shard_config = hs.config.push.pusher_shard_config
|
|
|
|
self._instance_name = hs.get_instance_name()
|
|
|
|
|
2020-09-09 11:56:08 -04:00
|
|
|
# Record the last stream ID that we were poked about so we can get
|
|
|
|
# changes since then. We set this to the current max stream ID on
|
|
|
|
# startup as every individual pusher will have checked for changes on
|
|
|
|
# startup.
|
|
|
|
self._last_room_stream_id_seen = self.store.get_room_max_stream_ordering()
|
|
|
|
|
2020-03-19 06:00:24 -04:00
|
|
|
# map from user id to app_id:pushkey to pusher
|
|
|
|
self.pushers = {} # type: Dict[str, Dict[str, Union[HttpPusher, EmailPusher]]]
|
|
|
|
|
2014-11-19 13:20:59 -05:00
|
|
|
def start(self):
|
2018-10-22 11:12:11 -04:00
|
|
|
"""Starts the pushers off in a background process.
|
|
|
|
"""
|
2018-10-24 04:24:55 -04:00
|
|
|
if not self._should_start_pushers:
|
2018-10-22 11:12:11 -04:00
|
|
|
logger.info("Not starting pushers because they are disabled in the config")
|
|
|
|
return
|
|
|
|
run_as_background_process("start_pushers", self._start_pushers)
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def add_pusher(
|
2019-06-20 05:32:02 -04:00
|
|
|
self,
|
|
|
|
user_id,
|
|
|
|
access_token,
|
|
|
|
kind,
|
|
|
|
app_id,
|
|
|
|
app_display_name,
|
|
|
|
device_display_name,
|
|
|
|
pushkey,
|
|
|
|
lang,
|
|
|
|
data,
|
|
|
|
profile_tag="",
|
|
|
|
):
|
2019-06-07 07:10:23 -04:00
|
|
|
"""Creates a new pusher and adds it to the pool
|
|
|
|
|
|
|
|
Returns:
|
2020-07-27 12:21:34 -04:00
|
|
|
EmailPusher|HttpPusher
|
2019-06-07 07:10:23 -04:00
|
|
|
"""
|
2020-07-16 09:06:28 -04:00
|
|
|
|
2016-02-18 11:05:13 -05:00
|
|
|
time_now_msec = self.clock.time_msec()
|
|
|
|
|
2014-12-03 08:37:02 -05:00
|
|
|
# we try to create the pusher just to validate the config: it
|
|
|
|
# will then get pulled out of the database,
|
|
|
|
# recreated, added and started: this means we have only one
|
|
|
|
# code path adding pushers.
|
2019-06-20 05:32:02 -04:00
|
|
|
self.pusher_factory.create_pusher(
|
|
|
|
{
|
|
|
|
"id": None,
|
|
|
|
"user_name": user_id,
|
|
|
|
"kind": kind,
|
|
|
|
"app_id": app_id,
|
|
|
|
"app_display_name": app_display_name,
|
|
|
|
"device_display_name": device_display_name,
|
|
|
|
"pushkey": pushkey,
|
|
|
|
"ts": time_now_msec,
|
|
|
|
"lang": lang,
|
|
|
|
"data": data,
|
|
|
|
"last_stream_ordering": None,
|
|
|
|
"last_success": None,
|
|
|
|
"failing_since": None,
|
|
|
|
}
|
|
|
|
)
|
2016-04-06 10:42:15 -04:00
|
|
|
|
|
|
|
# create the pusher setting last_stream_ordering to the current maximum
|
|
|
|
# stream ordering in event_push_actions, so it will process
|
|
|
|
# pushes from this point onwards.
|
2020-07-27 12:21:34 -04:00
|
|
|
last_stream_ordering = await self.store.get_latest_push_action_stream_ordering()
|
2016-04-06 10:42:15 -04:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
await self.store.add_pusher(
|
2016-02-18 11:05:13 -05:00
|
|
|
user_id=user_id,
|
|
|
|
access_token=access_token,
|
|
|
|
kind=kind,
|
|
|
|
app_id=app_id,
|
|
|
|
app_display_name=app_display_name,
|
|
|
|
device_display_name=device_display_name,
|
|
|
|
pushkey=pushkey,
|
|
|
|
pushkey_ts=time_now_msec,
|
|
|
|
lang=lang,
|
|
|
|
data=data,
|
2016-04-06 10:42:15 -04:00
|
|
|
last_stream_ordering=last_stream_ordering,
|
2016-02-18 11:05:13 -05:00
|
|
|
profile_tag=profile_tag,
|
2014-12-18 09:49:22 -05:00
|
|
|
)
|
2020-07-27 12:21:34 -04:00
|
|
|
pusher = await self.start_pusher_by_id(app_id, pushkey, user_id)
|
2019-06-07 07:10:23 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return pusher
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def remove_pushers_by_app_id_and_pushkey_not_user(
|
2019-06-20 05:32:02 -04:00
|
|
|
self, app_id, pushkey, not_user_id
|
|
|
|
):
|
2020-07-27 12:21:34 -04:00
|
|
|
to_remove = await self.store.get_pushers_by_app_id_and_pushkey(app_id, pushkey)
|
2015-03-25 15:06:22 -04:00
|
|
|
for p in to_remove:
|
2019-06-20 05:32:02 -04:00
|
|
|
if p["user_name"] != not_user_id:
|
2015-03-25 15:06:22 -04:00
|
|
|
logger.info(
|
|
|
|
"Removing pusher for app id %s, pushkey %s, user %s",
|
2019-06-20 05:32:02 -04:00
|
|
|
app_id,
|
|
|
|
pushkey,
|
|
|
|
p["user_name"],
|
2015-03-25 15:06:22 -04:00
|
|
|
)
|
2020-07-27 12:21:34 -04:00
|
|
|
await self.remove_pusher(p["app_id"], p["pushkey"], p["user_name"])
|
2015-03-25 15:06:22 -04:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def remove_pushers_by_access_token(self, user_id, access_tokens):
|
2017-11-29 09:33:05 -05:00
|
|
|
"""Remove the pushers for a given user corresponding to a set of
|
|
|
|
access_tokens.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id (str): user to remove pushers for
|
|
|
|
access_tokens (Iterable[int]): access token *ids* to remove pushers
|
|
|
|
for
|
|
|
|
"""
|
2020-07-16 09:06:28 -04:00
|
|
|
if not self._pusher_shard_config.should_handle(self._instance_name, user_id):
|
|
|
|
return
|
|
|
|
|
2017-11-29 09:33:05 -05:00
|
|
|
tokens = set(access_tokens)
|
2020-07-27 12:21:34 -04:00
|
|
|
for p in await self.store.get_pushers_by_user_id(user_id):
|
2019-06-20 05:32:02 -04:00
|
|
|
if p["access_token"] in tokens:
|
2015-03-26 09:40:16 -04:00
|
|
|
logger.info(
|
|
|
|
"Removing pusher for app id %s, pushkey %s, user %s",
|
2019-06-20 05:32:02 -04:00
|
|
|
p["app_id"],
|
|
|
|
p["pushkey"],
|
|
|
|
p["user_name"],
|
2017-11-29 09:33:05 -05:00
|
|
|
)
|
2020-07-27 12:21:34 -04:00
|
|
|
await self.remove_pusher(p["app_id"], p["pushkey"], p["user_name"])
|
2015-03-26 09:40:16 -04:00
|
|
|
|
2020-09-09 11:56:08 -04:00
|
|
|
async def on_new_notifications(self, max_stream_id):
|
2019-02-21 12:51:21 -05:00
|
|
|
if not self.pushers:
|
|
|
|
# nothing to do here.
|
|
|
|
return
|
|
|
|
|
2020-09-09 11:56:08 -04:00
|
|
|
if max_stream_id < self._last_room_stream_id_seen:
|
|
|
|
# Nothing to do
|
|
|
|
return
|
|
|
|
|
|
|
|
prev_stream_id = self._last_room_stream_id_seen
|
|
|
|
self._last_room_stream_id_seen = max_stream_id
|
|
|
|
|
2016-04-06 10:42:15 -04:00
|
|
|
try:
|
2020-07-27 12:21:34 -04:00
|
|
|
users_affected = await self.store.get_push_action_users_in_range(
|
2020-09-09 11:56:08 -04:00
|
|
|
prev_stream_id, max_stream_id
|
2014-12-03 08:37:02 -05:00
|
|
|
)
|
2016-04-07 12:22:14 -04:00
|
|
|
|
2016-04-06 10:42:15 -04:00
|
|
|
for u in users_affected:
|
|
|
|
if u in self.pushers:
|
|
|
|
for p in self.pushers[u].values():
|
2020-09-09 11:56:08 -04:00
|
|
|
p.on_new_notifications(max_stream_id)
|
2018-10-22 11:12:11 -04:00
|
|
|
|
2017-10-23 10:52:32 -04:00
|
|
|
except Exception:
|
2016-04-06 10:42:15 -04:00
|
|
|
logger.exception("Exception in pusher on_new_notifications")
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def on_new_receipts(self, min_stream_id, max_stream_id, affected_room_ids):
|
2019-02-21 12:51:21 -05:00
|
|
|
if not self.pushers:
|
|
|
|
# nothing to do here.
|
|
|
|
return
|
|
|
|
|
2016-04-07 10:39:53 -04:00
|
|
|
try:
|
|
|
|
# Need to subtract 1 from the minimum because the lower bound here
|
|
|
|
# is not inclusive
|
2020-07-27 12:21:34 -04:00
|
|
|
users_affected = await self.store.get_users_sent_receipts_between(
|
2016-04-07 10:39:53 -04:00
|
|
|
min_stream_id - 1, max_stream_id
|
|
|
|
)
|
2016-04-07 12:22:14 -04:00
|
|
|
|
2016-04-07 10:39:53 -04:00
|
|
|
for u in users_affected:
|
|
|
|
if u in self.pushers:
|
|
|
|
for p in self.pushers[u].values():
|
2018-10-22 11:12:11 -04:00
|
|
|
p.on_new_receipts(min_stream_id, max_stream_id)
|
|
|
|
|
2017-10-23 10:52:32 -04:00
|
|
|
except Exception:
|
2016-04-07 10:39:53 -04:00
|
|
|
logger.exception("Exception in pusher on_new_receipts")
|
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def start_pusher_by_id(self, app_id, pushkey, user_id):
|
2019-06-07 07:10:23 -04:00
|
|
|
"""Look up the details for the given pusher, and start it
|
|
|
|
|
|
|
|
Returns:
|
2020-07-27 12:21:34 -04:00
|
|
|
EmailPusher|HttpPusher|None: The pusher started, if any
|
2019-06-07 07:10:23 -04:00
|
|
|
"""
|
2018-10-24 04:24:55 -04:00
|
|
|
if not self._should_start_pushers:
|
2018-10-22 11:12:11 -04:00
|
|
|
return
|
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
if not self._pusher_shard_config.should_handle(self._instance_name, user_id):
|
|
|
|
return
|
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
resultlist = await self.store.get_pushers_by_app_id_and_pushkey(app_id, pushkey)
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2019-06-07 07:10:23 -04:00
|
|
|
pusher_dict = None
|
2015-03-25 15:06:22 -04:00
|
|
|
for r in resultlist:
|
2019-06-20 05:32:02 -04:00
|
|
|
if r["user_name"] == user_id:
|
2019-06-07 07:10:23 -04:00
|
|
|
pusher_dict = r
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2019-06-07 07:10:23 -04:00
|
|
|
pusher = None
|
|
|
|
if pusher_dict:
|
2020-07-27 12:21:34 -04:00
|
|
|
pusher = await self._start_pusher(pusher_dict)
|
2019-06-07 07:10:23 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return pusher
|
2014-11-19 13:20:59 -05:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def _start_pushers(self) -> None:
|
2018-10-22 11:12:11 -04:00
|
|
|
"""Start all the pushers
|
|
|
|
"""
|
2020-07-27 12:21:34 -04:00
|
|
|
pushers = await self.store.get_all_pushers()
|
2019-04-02 11:45:33 -04:00
|
|
|
|
|
|
|
# Stagger starting up the pushers so we don't completely drown the
|
|
|
|
# process on start up.
|
2020-07-27 12:21:34 -04:00
|
|
|
await concurrently_execute(self._start_pusher, pushers, 10)
|
2019-04-02 11:45:33 -04:00
|
|
|
|
2018-10-22 11:12:11 -04:00
|
|
|
logger.info("Started pushers")
|
2016-04-06 10:42:15 -04:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def _start_pusher(self, pusherdict):
|
2018-10-22 11:12:11 -04:00
|
|
|
"""Start the given pusher
|
2015-01-13 14:48:37 -05:00
|
|
|
|
2018-10-22 11:12:11 -04:00
|
|
|
Args:
|
2019-12-18 09:26:58 -05:00
|
|
|
pusherdict (dict): dict with the values pulled from the db table
|
2018-10-22 11:12:11 -04:00
|
|
|
|
|
|
|
Returns:
|
2020-07-27 12:21:34 -04:00
|
|
|
EmailPusher|HttpPusher
|
2018-10-22 11:12:11 -04:00
|
|
|
"""
|
2020-07-16 09:06:28 -04:00
|
|
|
if not self._pusher_shard_config.should_handle(
|
|
|
|
self._instance_name, pusherdict["user_name"]
|
|
|
|
):
|
|
|
|
return
|
|
|
|
|
2018-10-22 11:12:11 -04:00
|
|
|
try:
|
|
|
|
p = self.pusher_factory.create_pusher(pusherdict)
|
2019-02-22 10:18:19 -05:00
|
|
|
except PusherConfigException as e:
|
|
|
|
logger.warning(
|
2019-12-18 09:26:58 -05:00
|
|
|
"Pusher incorrectly configured id=%i, user=%s, appid=%s, pushkey=%s: %s",
|
|
|
|
pusherdict["id"],
|
2019-06-20 05:32:02 -04:00
|
|
|
pusherdict.get("user_name"),
|
|
|
|
pusherdict.get("app_id"),
|
|
|
|
pusherdict.get("pushkey"),
|
2019-02-22 10:18:19 -05:00
|
|
|
e,
|
|
|
|
)
|
2019-02-22 10:27:40 -05:00
|
|
|
return
|
2018-10-22 11:12:11 -04:00
|
|
|
except Exception:
|
2019-12-18 09:26:58 -05:00
|
|
|
logger.exception(
|
|
|
|
"Couldn't start pusher id %i: caught Exception", pusherdict["id"],
|
|
|
|
)
|
2018-10-22 11:12:11 -04:00
|
|
|
return
|
|
|
|
|
|
|
|
if not p:
|
|
|
|
return
|
|
|
|
|
2019-06-20 05:32:02 -04:00
|
|
|
appid_pushkey = "%s:%s" % (pusherdict["app_id"], pusherdict["pushkey"])
|
2018-10-22 11:12:11 -04:00
|
|
|
|
2020-07-16 09:06:28 -04:00
|
|
|
byuser = self.pushers.setdefault(pusherdict["user_name"], {})
|
|
|
|
if appid_pushkey in byuser:
|
|
|
|
byuser[appid_pushkey].on_stop()
|
|
|
|
byuser[appid_pushkey] = p
|
|
|
|
|
|
|
|
synapse_pushers.labels(type(p).__name__, p.app_id).inc()
|
2019-04-02 11:45:33 -04:00
|
|
|
|
|
|
|
# Check if there *may* be push to process. We do this as this check is a
|
|
|
|
# lot cheaper to do than actually fetching the exact rows we need to
|
|
|
|
# push.
|
|
|
|
user_id = pusherdict["user_name"]
|
|
|
|
last_stream_ordering = pusherdict["last_stream_ordering"]
|
|
|
|
if last_stream_ordering:
|
2020-07-27 12:21:34 -04:00
|
|
|
have_notifs = await self.store.get_if_maybe_push_in_range_for_user(
|
2019-06-20 05:32:02 -04:00
|
|
|
user_id, last_stream_ordering
|
2019-04-02 11:45:33 -04:00
|
|
|
)
|
|
|
|
else:
|
|
|
|
# We always want to default to starting up the pusher rather than
|
|
|
|
# risk missing push.
|
|
|
|
have_notifs = True
|
|
|
|
|
|
|
|
p.on_started(have_notifs)
|
2015-04-29 13:37:42 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return p
|
2019-06-07 07:10:23 -04:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
async def remove_pusher(self, app_id, pushkey, user_id):
|
2016-04-06 10:42:15 -04:00
|
|
|
appid_pushkey = "%s:%s" % (app_id, pushkey)
|
|
|
|
|
|
|
|
byuser = self.pushers.get(user_id, {})
|
|
|
|
|
|
|
|
if appid_pushkey in byuser:
|
|
|
|
logger.info("Stopping pusher %s / %s", user_id, appid_pushkey)
|
2020-07-16 09:06:28 -04:00
|
|
|
pusher = byuser.pop(appid_pushkey)
|
|
|
|
pusher.on_stop()
|
|
|
|
|
|
|
|
synapse_pushers.labels(type(pusher).__name__, pusher.app_id).dec()
|
2020-03-19 06:28:49 -04:00
|
|
|
|
2020-07-27 12:21:34 -04:00
|
|
|
await self.store.delete_pusher_by_app_id_pushkey_user_id(
|
2016-01-13 08:08:59 -05:00
|
|
|
app_id, pushkey, user_id
|
2015-03-25 15:06:22 -04:00
|
|
|
)
|