2016-01-06 23:26:29 -05:00
|
|
|
# Copyright 2015, 2016 OpenMarket Ltd
|
2015-07-01 12:19:31 -04: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-07-09 02:09:20 -04:00
|
|
|
import logging
|
2021-09-21 13:34:26 -04:00
|
|
|
from typing import TYPE_CHECKING, Iterable, List, Optional, Tuple
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2022-05-04 11:59:22 -04:00
|
|
|
from synapse.api.constants import ReceiptTypes
|
2020-10-15 12:33:28 -04:00
|
|
|
from synapse.appservice import ApplicationService
|
2021-09-21 13:34:26 -04:00
|
|
|
from synapse.streams import EventSource
|
2021-07-28 04:05:11 -04:00
|
|
|
from synapse.types import JsonDict, ReadReceipt, UserID, get_domain_from_id
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
if TYPE_CHECKING:
|
2021-03-23 07:12:48 -04:00
|
|
|
from synapse.server import HomeServer
|
2021-01-04 10:05:12 -05:00
|
|
|
|
2015-07-01 12:19:31 -04:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
2021-10-08 07:44:43 -04:00
|
|
|
class ReceiptsHandler:
|
2021-01-04 10:05:12 -05:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2021-10-08 07:44:43 -04:00
|
|
|
self.notifier = hs.get_notifier()
|
2021-09-13 13:07:12 -04:00
|
|
|
self.server_name = hs.config.server.server_name
|
2022-02-23 06:04:02 -05:00
|
|
|
self.store = hs.get_datastores().main
|
2021-07-06 09:31:13 -04:00
|
|
|
self.event_auth_handler = hs.get_event_auth_handler()
|
|
|
|
|
2015-07-07 05:55:31 -04:00
|
|
|
self.hs = hs
|
2021-01-18 10:47:59 -05:00
|
|
|
|
|
|
|
# We only need to poke the federation sender explicitly if its on the
|
|
|
|
# same instance. Other federation sender instances will get notified by
|
|
|
|
# `synapse.app.generic_worker.FederationSenderHandler` when it sees it
|
|
|
|
# in the receipts stream.
|
|
|
|
self.federation_sender = None
|
|
|
|
if hs.should_send_federation():
|
|
|
|
self.federation_sender = hs.get_federation_sender()
|
|
|
|
|
|
|
|
# If we can handle the receipt EDUs we do so, otherwise we route them
|
|
|
|
# to the appropriate worker.
|
|
|
|
if hs.get_instance_name() in hs.config.worker.writers.receipts:
|
|
|
|
hs.get_federation_registry().register_edu_handler(
|
|
|
|
"m.receipt", self._received_remote_receipt
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
hs.get_federation_registry().register_instances_for_edu(
|
|
|
|
"m.receipt",
|
|
|
|
hs.config.worker.writers.receipts,
|
|
|
|
)
|
|
|
|
|
2015-07-09 06:39:30 -04:00
|
|
|
self.clock = self.hs.get_clock()
|
2016-08-26 09:54:30 -04:00
|
|
|
self.state = hs.get_state_handler()
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
async def _received_remote_receipt(self, origin: str, content: JsonDict) -> None:
|
2015-07-13 08:30:43 -04:00
|
|
|
"""Called when we receive an EDU of type m.receipt from a remote HS."""
|
2019-07-23 08:31:03 -04:00
|
|
|
receipts = []
|
|
|
|
for room_id, room_values in content.items():
|
2021-07-06 09:31:13 -04:00
|
|
|
# If we're not in the room just ditch the event entirely. This is
|
|
|
|
# probably an old server that has come back and thinks we're still in
|
|
|
|
# the room (or we've been rejoined to the room by a state reset).
|
|
|
|
is_in_room = await self.event_auth_handler.check_host_in_room(
|
|
|
|
room_id, self.server_name
|
|
|
|
)
|
|
|
|
if not is_in_room:
|
|
|
|
logger.info(
|
2021-08-03 09:35:49 -04:00
|
|
|
"Ignoring receipt for room %r from server %s as we're not in the room",
|
|
|
|
room_id,
|
2021-07-06 09:31:13 -04:00
|
|
|
origin,
|
|
|
|
)
|
|
|
|
continue
|
|
|
|
|
2019-07-23 08:31:03 -04:00
|
|
|
for receipt_type, users in room_values.items():
|
|
|
|
for user_id, user_values in users.items():
|
|
|
|
if get_domain_from_id(user_id) != origin:
|
|
|
|
logger.info(
|
|
|
|
"Received receipt for user %r from server %s, ignoring",
|
|
|
|
user_id,
|
|
|
|
origin,
|
|
|
|
)
|
|
|
|
continue
|
|
|
|
|
|
|
|
receipts.append(
|
|
|
|
ReadReceipt(
|
|
|
|
room_id=room_id,
|
|
|
|
receipt_type=receipt_type,
|
|
|
|
user_id=user_id,
|
|
|
|
event_ids=user_values["event_ids"],
|
|
|
|
data=user_values.get("data", {}),
|
|
|
|
)
|
|
|
|
)
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2019-10-29 11:08:22 -04:00
|
|
|
await self._handle_new_receipts(receipts)
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
async def _handle_new_receipts(self, receipts: List[ReadReceipt]) -> bool:
|
2015-07-13 08:30:43 -04:00
|
|
|
"""Takes a list of receipts, stores them and informs the notifier."""
|
2021-07-16 13:22:36 -04:00
|
|
|
min_batch_id: Optional[int] = None
|
|
|
|
max_batch_id: Optional[int] = None
|
2016-04-07 10:39:53 -04:00
|
|
|
|
2015-07-01 12:19:31 -04:00
|
|
|
for receipt in receipts:
|
2019-10-29 11:08:22 -04:00
|
|
|
res = await self.store.insert_receipt(
|
2019-03-12 12:50:58 -04:00
|
|
|
receipt.room_id,
|
|
|
|
receipt.receipt_type,
|
|
|
|
receipt.user_id,
|
|
|
|
receipt.event_ids,
|
|
|
|
receipt.data,
|
2015-07-01 12:19:31 -04:00
|
|
|
)
|
|
|
|
|
2015-07-07 10:25:30 -04:00
|
|
|
if not res:
|
2022-05-04 11:59:22 -04:00
|
|
|
# res will be None if this receipt is 'old'
|
2016-12-08 07:13:01 -05:00
|
|
|
continue
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2015-07-07 10:25:30 -04:00
|
|
|
stream_id, max_persisted_id = res
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2016-04-07 10:39:53 -04:00
|
|
|
if min_batch_id is None or stream_id < min_batch_id:
|
|
|
|
min_batch_id = stream_id
|
|
|
|
if max_batch_id is None or max_persisted_id > max_batch_id:
|
|
|
|
max_batch_id = max_persisted_id
|
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
# Either both of these should be None or neither.
|
|
|
|
if min_batch_id is None or max_batch_id is None:
|
2016-12-08 07:13:01 -05:00
|
|
|
# no new receipts
|
2019-07-23 09:00:55 -04:00
|
|
|
return False
|
2016-12-08 07:13:01 -05:00
|
|
|
|
2020-02-21 07:15:07 -05:00
|
|
|
affected_room_ids = list({r.room_id for r in receipts})
|
2016-04-07 10:39:53 -04:00
|
|
|
|
2018-08-16 19:32:39 -04:00
|
|
|
self.notifier.on_new_event("receipt_key", max_batch_id, rooms=affected_room_ids)
|
|
|
|
# Note that the min here shouldn't be relied upon to be accurate.
|
2020-12-11 14:05:15 -05:00
|
|
|
await self.hs.get_pusherpool().on_new_receipts(
|
|
|
|
min_batch_id, max_batch_id, affected_room_ids
|
2018-08-16 19:32:39 -04:00
|
|
|
)
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return True
|
2015-07-01 12:19:31 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
async def received_client_receipt(
|
2022-05-04 11:59:22 -04:00
|
|
|
self, room_id: str, receipt_type: str, user_id: str, event_id: str
|
2021-01-04 10:05:12 -05:00
|
|
|
) -> None:
|
2019-03-04 13:11:26 -05:00
|
|
|
"""Called when a client tells us a local user has read up to the given
|
|
|
|
event_id in the room.
|
2015-07-13 08:30:43 -04:00
|
|
|
"""
|
2019-03-12 12:50:58 -04:00
|
|
|
receipt = ReadReceipt(
|
|
|
|
room_id=room_id,
|
|
|
|
receipt_type=receipt_type,
|
|
|
|
user_id=user_id,
|
|
|
|
event_ids=[event_id],
|
2022-05-04 11:59:22 -04:00
|
|
|
data={"ts": int(self.clock.time_msec())},
|
2019-03-12 12:50:58 -04:00
|
|
|
)
|
2019-02-21 12:50:30 -05:00
|
|
|
|
2019-10-29 11:08:22 -04:00
|
|
|
is_new = await self._handle_new_receipts([receipt])
|
2019-03-04 13:11:26 -05:00
|
|
|
if not is_new:
|
|
|
|
return
|
|
|
|
|
2022-05-04 11:59:22 -04:00
|
|
|
if self.federation_sender and receipt_type != ReceiptTypes.READ_PRIVATE:
|
2021-01-18 10:47:59 -05:00
|
|
|
await self.federation_sender.send_read_receipt(receipt)
|
2015-07-08 05:54:01 -04:00
|
|
|
|
2015-07-07 10:25:30 -04:00
|
|
|
|
2021-09-21 13:34:26 -04:00
|
|
|
class ReceiptEventSource(EventSource[int, JsonDict]):
|
2021-01-04 10:05:12 -05:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2022-02-23 06:04:02 -05:00
|
|
|
self.store = hs.get_datastores().main
|
2021-07-28 04:05:11 -04:00
|
|
|
self.config = hs.config
|
|
|
|
|
|
|
|
@staticmethod
|
2022-05-16 11:06:23 -04:00
|
|
|
def filter_out_private_receipts(
|
|
|
|
rooms: List[JsonDict], user_id: str
|
|
|
|
) -> List[JsonDict]:
|
2022-05-04 11:59:22 -04:00
|
|
|
"""
|
2022-05-16 11:06:23 -04:00
|
|
|
Filters a list of serialized receipts (as returned by /sync and /initialSync)
|
|
|
|
and removes private read receipts of other users.
|
2021-07-28 04:05:11 -04:00
|
|
|
|
2022-05-16 11:06:23 -04:00
|
|
|
This operates on the return value of get_linearized_receipts_for_rooms(),
|
|
|
|
which is wrapped in a cache. Care must be taken to ensure that the input
|
|
|
|
values are not modified.
|
2021-07-28 04:05:11 -04:00
|
|
|
|
2022-05-16 11:06:23 -04:00
|
|
|
Args:
|
|
|
|
rooms: A list of mappings, each mapping has a `content` field, which
|
|
|
|
is a map of event ID -> receipt type -> user ID -> receipt information.
|
2021-07-28 04:05:11 -04:00
|
|
|
|
2022-05-16 11:06:23 -04:00
|
|
|
Returns:
|
|
|
|
The same as rooms, but filtered.
|
|
|
|
"""
|
2021-07-28 04:05:11 -04:00
|
|
|
|
2022-05-16 11:06:23 -04:00
|
|
|
result = []
|
|
|
|
|
|
|
|
# Iterate through each room's receipt content.
|
|
|
|
for room in rooms:
|
|
|
|
# The receipt content with other user's private read receipts removed.
|
|
|
|
content = {}
|
|
|
|
|
|
|
|
# Iterate over each event ID / receipts for that event.
|
|
|
|
for event_id, orig_event_content in room.get("content", {}).items():
|
|
|
|
event_content = orig_event_content
|
|
|
|
# If there are private read receipts, additional logic is necessary.
|
|
|
|
if ReceiptTypes.READ_PRIVATE in event_content:
|
|
|
|
# Make a copy without private read receipts to avoid leaking
|
|
|
|
# other user's private read receipts..
|
|
|
|
event_content = {
|
|
|
|
receipt_type: receipt_value
|
|
|
|
for receipt_type, receipt_value in event_content.items()
|
|
|
|
if receipt_type != ReceiptTypes.READ_PRIVATE
|
|
|
|
}
|
|
|
|
|
|
|
|
# Copy the current user's private read receipt from the
|
|
|
|
# original content, if it exists.
|
|
|
|
user_private_read_receipt = orig_event_content[
|
|
|
|
ReceiptTypes.READ_PRIVATE
|
|
|
|
].get(user_id, None)
|
|
|
|
if user_private_read_receipt:
|
|
|
|
event_content[ReceiptTypes.READ_PRIVATE] = {
|
|
|
|
user_id: user_private_read_receipt
|
|
|
|
}
|
|
|
|
|
|
|
|
# Include the event if there is at least one non-private read
|
|
|
|
# receipt or the current user has a private read receipt.
|
|
|
|
if event_content:
|
|
|
|
content[event_id] = event_content
|
|
|
|
|
|
|
|
# Include the event if there is at least one non-private read receipt
|
|
|
|
# or the current user has a private read receipt.
|
|
|
|
if content:
|
|
|
|
# Build a new event to avoid mutating the cache.
|
|
|
|
new_room = {k: v for k, v in room.items() if k != "content"}
|
|
|
|
new_room["content"] = content
|
|
|
|
result.append(new_room)
|
|
|
|
|
|
|
|
return result
|
2015-07-07 10:25:30 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
async def get_new_events(
|
2021-09-21 13:34:26 -04:00
|
|
|
self,
|
|
|
|
user: UserID,
|
|
|
|
from_key: int,
|
|
|
|
limit: Optional[int],
|
|
|
|
room_ids: Iterable[str],
|
|
|
|
is_guest: bool,
|
|
|
|
explicit_room_id: Optional[str] = None,
|
2021-01-04 10:05:12 -05:00
|
|
|
) -> Tuple[List[JsonDict], int]:
|
2015-07-07 10:25:30 -04:00
|
|
|
from_key = int(from_key)
|
2020-07-17 07:08:30 -04:00
|
|
|
to_key = self.get_current_key()
|
2015-07-07 10:25:30 -04:00
|
|
|
|
2015-07-18 14:07:12 -04:00
|
|
|
if from_key == to_key:
|
2019-08-30 11:28:26 -04:00
|
|
|
return [], to_key
|
2015-07-18 14:07:12 -04:00
|
|
|
|
2020-07-17 07:08:30 -04:00
|
|
|
events = await self.store.get_linearized_receipts_for_rooms(
|
2015-07-14 05:19:07 -04:00
|
|
|
room_ids, from_key=from_key, to_key=to_key
|
2015-07-08 10:35:00 -04:00
|
|
|
)
|
2015-07-07 10:25:30 -04:00
|
|
|
|
2021-07-28 04:05:11 -04:00
|
|
|
if self.config.experimental.msc2285_enabled:
|
2022-05-16 11:06:23 -04:00
|
|
|
events = ReceiptEventSource.filter_out_private_receipts(
|
|
|
|
events, user.to_string()
|
|
|
|
)
|
2021-07-28 04:05:11 -04:00
|
|
|
|
2021-09-23 06:59:07 -04:00
|
|
|
return events, to_key
|
2015-07-07 10:25:30 -04:00
|
|
|
|
2020-10-15 12:33:28 -04:00
|
|
|
async def get_new_events_as(
|
2022-04-26 15:14:21 -04:00
|
|
|
self, from_key: int, to_key: int, service: ApplicationService
|
2020-10-15 12:33:28 -04:00
|
|
|
) -> Tuple[List[JsonDict], int]:
|
2021-10-21 12:42:25 -04:00
|
|
|
"""Returns a set of new read receipt events that an appservice
|
2020-10-15 12:33:28 -04:00
|
|
|
may be interested in.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
from_key: the stream position at which events should be fetched from
|
2022-04-26 15:14:21 -04:00
|
|
|
to_key: the stream position up to which events should be fetched to
|
2020-10-15 12:33:28 -04:00
|
|
|
service: The appservice which may be interested
|
2021-10-21 12:42:25 -04:00
|
|
|
|
|
|
|
Returns:
|
|
|
|
A two-tuple containing the following:
|
|
|
|
* A list of json dictionaries derived from read receipts that the
|
|
|
|
appservice may be interested in.
|
|
|
|
* The current read receipt stream token.
|
2020-10-15 12:33:28 -04:00
|
|
|
"""
|
|
|
|
from_key = int(from_key)
|
|
|
|
|
|
|
|
if from_key == to_key:
|
|
|
|
return [], to_key
|
|
|
|
|
2020-11-18 13:54:09 -05:00
|
|
|
# Fetch all read receipts for all rooms, up to a limit of 100. This is ordered
|
|
|
|
# by most recent.
|
2020-10-15 12:33:28 -04:00
|
|
|
rooms_to_events = await self.store.get_linearized_receipts_for_all_rooms(
|
|
|
|
from_key=from_key, to_key=to_key
|
|
|
|
)
|
|
|
|
|
|
|
|
# Then filter down to rooms that the AS can read
|
|
|
|
events = []
|
|
|
|
for room_id, event in rooms_to_events.items():
|
2022-03-03 13:14:09 -05:00
|
|
|
if not await service.is_interested_in_room(room_id, self.store):
|
2020-10-15 12:33:28 -04:00
|
|
|
continue
|
|
|
|
|
|
|
|
events.append(event)
|
|
|
|
|
2021-09-23 06:59:07 -04:00
|
|
|
return events, to_key
|
2020-10-15 12:33:28 -04:00
|
|
|
|
2021-01-04 10:05:12 -05:00
|
|
|
def get_current_key(self, direction: str = "f") -> int:
|
2015-07-07 10:25:30 -04:00
|
|
|
return self.store.get_max_receipt_stream_id()
|