2016-07-15 08:19:07 -04:00
|
|
|
#
|
2023-11-21 15:29:58 -05:00
|
|
|
# This file is licensed under the Affero General Public License (AGPL) version 3.
|
|
|
|
#
|
2024-01-23 06:26:48 -05:00
|
|
|
# Copyright 2019,2020 The Matrix.org Foundation C.I.C.
|
|
|
|
# Copyright 2016 OpenMarket Ltd
|
2023-11-21 15:29:58 -05:00
|
|
|
# Copyright (C) 2023 New Vector, Ltd
|
|
|
|
#
|
|
|
|
# This program is free software: you can redistribute it and/or modify
|
|
|
|
# it under the terms of the GNU Affero General Public License as
|
|
|
|
# published by the Free Software Foundation, either version 3 of the
|
|
|
|
# License, or (at your option) any later version.
|
|
|
|
#
|
|
|
|
# See the GNU Affero General Public License for more details:
|
|
|
|
# <https://www.gnu.org/licenses/agpl-3.0.html>.
|
|
|
|
#
|
|
|
|
# Originally licensed under the Apache License, Version 2.0:
|
|
|
|
# <http://www.apache.org/licenses/LICENSE-2.0>.
|
|
|
|
#
|
|
|
|
# [This file includes modifications made by New Vector Limited]
|
2016-07-15 08:19:07 -04:00
|
|
|
#
|
|
|
|
#
|
2018-07-09 02:09:20 -04:00
|
|
|
import logging
|
2024-08-09 06:59:44 -04:00
|
|
|
from typing import (
|
|
|
|
TYPE_CHECKING,
|
|
|
|
AbstractSet,
|
|
|
|
Dict,
|
|
|
|
Iterable,
|
|
|
|
List,
|
|
|
|
Mapping,
|
|
|
|
Optional,
|
|
|
|
Set,
|
|
|
|
Tuple,
|
|
|
|
)
|
2018-07-09 02:09:20 -04:00
|
|
|
|
2016-07-20 12:58:44 -04:00
|
|
|
from synapse.api import errors
|
2024-08-09 06:59:44 -04:00
|
|
|
from synapse.api.constants import EduTypes, EventTypes, Membership
|
2019-02-18 10:24:13 -05:00
|
|
|
from synapse.api.errors import (
|
2020-09-22 06:42:55 -04:00
|
|
|
Codes,
|
2019-02-18 10:24:13 -05:00
|
|
|
FederationDeniedError,
|
|
|
|
HttpResponseException,
|
2023-01-10 06:17:59 -05:00
|
|
|
InvalidAPICallError,
|
2019-02-18 10:24:13 -05:00
|
|
|
RequestSendFailed,
|
2020-02-10 16:35:26 -05:00
|
|
|
SynapseError,
|
2019-02-18 10:24:13 -05:00
|
|
|
)
|
2019-09-03 05:21:30 -04:00
|
|
|
from synapse.logging.opentracing import log_kv, set_tag, trace
|
2022-04-04 10:25:20 -04:00
|
|
|
from synapse.metrics.background_process_metrics import (
|
|
|
|
run_as_background_process,
|
|
|
|
wrap_as_background_process,
|
|
|
|
)
|
2023-10-17 08:47:42 -04:00
|
|
|
from synapse.storage.databases.main.client_ips import DeviceLastConnectionInfo
|
2024-08-09 06:59:44 -04:00
|
|
|
from synapse.storage.databases.main.state_deltas import StateDelta
|
2020-06-01 11:47:30 -04:00
|
|
|
from synapse.types import (
|
2024-07-22 16:40:06 -04:00
|
|
|
DeviceListUpdates,
|
2020-10-07 08:00:17 -04:00
|
|
|
JsonDict,
|
2023-09-06 03:30:53 -04:00
|
|
|
JsonMapping,
|
|
|
|
ScheduledTask,
|
2023-01-26 12:31:58 -05:00
|
|
|
StrCollection,
|
2022-05-16 11:35:31 -04:00
|
|
|
StreamKeyType,
|
2020-09-11 07:22:55 -04:00
|
|
|
StreamToken,
|
2023-09-06 03:30:53 -04:00
|
|
|
TaskStatus,
|
2023-01-10 06:17:59 -05:00
|
|
|
UserID,
|
2020-06-01 11:47:30 -04:00
|
|
|
get_domain_from_id,
|
|
|
|
get_verify_key_from_cross_signing_key,
|
|
|
|
)
|
2016-07-15 08:19:07 -04:00
|
|
|
from synapse.util import stringutils
|
2018-08-10 09:50:21 -04:00
|
|
|
from synapse.util.async_helpers import Linearizer
|
2017-03-03 11:02:53 -05:00
|
|
|
from synapse.util.caches.expiringcache import ExpiringCache
|
2022-09-07 07:03:32 -04:00
|
|
|
from synapse.util.cancellation import cancellable
|
2017-02-02 13:36:17 -05:00
|
|
|
from synapse.util.metrics import measure_func
|
2023-09-11 08:11:02 -04:00
|
|
|
from synapse.util.retryutils import (
|
|
|
|
NotRetryingDestination,
|
|
|
|
filter_destinations_by_retry_limiter,
|
|
|
|
)
|
2016-07-15 08:19:07 -04:00
|
|
|
|
2020-10-07 08:58:21 -04:00
|
|
|
if TYPE_CHECKING:
|
2021-03-23 07:12:48 -04:00
|
|
|
from synapse.server import HomeServer
|
2020-10-07 08:58:21 -04:00
|
|
|
|
2016-07-15 08:19:07 -04:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
2023-09-06 03:30:53 -04:00
|
|
|
DELETE_DEVICE_MSGS_TASK_NAME = "delete_device_messages"
|
2020-02-10 16:35:26 -05:00
|
|
|
MAX_DEVICE_DISPLAY_NAME_LEN = 100
|
2022-05-27 11:47:32 -04:00
|
|
|
DELETE_STALE_DEVICES_INTERVAL_MS = 24 * 60 * 60 * 1000
|
2020-02-10 16:35:26 -05:00
|
|
|
|
2016-07-15 08:19:07 -04:00
|
|
|
|
2021-10-08 07:44:43 -04:00
|
|
|
class DeviceWorkerHandler:
|
2022-11-22 14:08:04 -05:00
|
|
|
device_list_updater: "DeviceListWorkerUpdater"
|
|
|
|
|
2020-10-07 08:58:21 -04:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2021-10-08 07:44:43 -04:00
|
|
|
self.clock = hs.get_clock()
|
2017-01-26 11:06:54 -05:00
|
|
|
self.hs = hs
|
2022-02-23 06:04:02 -05:00
|
|
|
self.store = hs.get_datastores().main
|
2021-10-08 07:44:43 -04:00
|
|
|
self.notifier = hs.get_notifier()
|
2017-01-25 09:27:27 -05:00
|
|
|
self.state = hs.get_state_handler()
|
2023-05-05 15:18:47 -04:00
|
|
|
self._appservice_handler = hs.get_application_service_handler()
|
2022-05-31 08:17:50 -04:00
|
|
|
self._state_storage = hs.get_storage_controllers().state
|
2017-11-01 06:29:34 -04:00
|
|
|
self._auth_handler = hs.get_auth_handler()
|
2023-09-06 03:30:53 -04:00
|
|
|
self._event_sources = hs.get_event_sources()
|
2021-10-08 07:44:43 -04:00
|
|
|
self.server_name = hs.hostname
|
2022-08-19 12:17:10 -04:00
|
|
|
self._msc3852_enabled = hs.config.experimental.msc3852_enabled
|
2023-05-05 15:18:47 -04:00
|
|
|
self._query_appservices_for_keys = (
|
|
|
|
hs.config.experimental.msc3984_appservice_key_query
|
|
|
|
)
|
2023-09-13 06:54:16 -04:00
|
|
|
self._task_scheduler = hs.get_task_scheduler()
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2022-11-22 14:08:04 -05:00
|
|
|
self.device_list_updater = DeviceListWorkerUpdater(hs)
|
|
|
|
|
2023-09-13 06:54:16 -04:00
|
|
|
self._task_scheduler.register_action(
|
|
|
|
self._delete_device_messages, DELETE_DEVICE_MSGS_TASK_NAME
|
|
|
|
)
|
|
|
|
|
2019-09-03 05:21:30 -04:00
|
|
|
@trace
|
2021-01-28 08:34:19 -05:00
|
|
|
async def get_devices_by_user(self, user_id: str) -> List[JsonDict]:
|
2019-03-04 13:24:32 -05:00
|
|
|
"""
|
|
|
|
Retrieve the given user's devices
|
|
|
|
|
|
|
|
Args:
|
2020-07-17 07:09:25 -04:00
|
|
|
user_id: The user ID to query for devices.
|
2019-03-04 13:24:32 -05:00
|
|
|
Returns:
|
2020-07-17 07:09:25 -04:00
|
|
|
info on each device
|
2019-03-04 13:24:32 -05:00
|
|
|
"""
|
|
|
|
|
2019-09-03 05:21:30 -04:00
|
|
|
set_tag("user_id", user_id)
|
2020-07-17 07:09:25 -04:00
|
|
|
device_map = await self.store.get_devices_by_user(user_id)
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
ips = await self.store.get_last_client_ip_by_device(user_id, device_id=None)
|
2019-03-04 13:24:32 -05:00
|
|
|
|
|
|
|
devices = list(device_map.values())
|
|
|
|
for device in devices:
|
|
|
|
_update_device_from_client_ips(device, ips)
|
|
|
|
|
2019-09-03 05:21:30 -04:00
|
|
|
log_kv(device_map)
|
2019-07-23 09:00:55 -04:00
|
|
|
return devices
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2022-11-22 14:08:04 -05:00
|
|
|
async def get_dehydrated_device(
|
|
|
|
self, user_id: str
|
|
|
|
) -> Optional[Tuple[str, JsonDict]]:
|
|
|
|
"""Retrieve the information for a dehydrated device.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id: the user whose dehydrated device we are looking for
|
|
|
|
Returns:
|
|
|
|
a tuple whose first item is the device ID, and the second item is
|
|
|
|
the dehydrated device information
|
|
|
|
"""
|
|
|
|
return await self.store.get_dehydrated_device(user_id)
|
|
|
|
|
2019-09-03 05:21:30 -04:00
|
|
|
@trace
|
2021-01-28 08:34:19 -05:00
|
|
|
async def get_device(self, user_id: str, device_id: str) -> JsonDict:
|
2019-03-04 13:24:32 -05:00
|
|
|
"""Retrieve the given device
|
|
|
|
|
|
|
|
Args:
|
2020-07-17 07:09:25 -04:00
|
|
|
user_id: The user to get the device from
|
|
|
|
device_id: The device to fetch.
|
2019-03-04 13:24:32 -05:00
|
|
|
|
|
|
|
Returns:
|
2020-07-17 07:09:25 -04:00
|
|
|
info on the device
|
2019-03-04 13:24:32 -05:00
|
|
|
Raises:
|
|
|
|
errors.NotFoundError: if the device was not found
|
|
|
|
"""
|
2021-12-13 10:39:43 -05:00
|
|
|
device = await self.store.get_device(user_id, device_id)
|
|
|
|
if device is None:
|
|
|
|
raise errors.NotFoundError()
|
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
ips = await self.store.get_last_client_ip_by_device(user_id, device_id)
|
2019-03-04 13:24:32 -05:00
|
|
|
_update_device_from_client_ips(device, ips)
|
2019-09-03 05:21:30 -04:00
|
|
|
|
2022-07-21 08:01:52 -04:00
|
|
|
set_tag("device", str(device))
|
|
|
|
set_tag("ips", str(ips))
|
2019-09-03 05:21:30 -04:00
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return device
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2022-09-07 07:03:32 -04:00
|
|
|
@cancellable
|
2022-06-17 06:42:03 -04:00
|
|
|
async def get_device_changes_in_shared_rooms(
|
2024-05-21 11:48:20 -04:00
|
|
|
self,
|
|
|
|
user_id: str,
|
|
|
|
room_ids: StrCollection,
|
|
|
|
from_token: StreamToken,
|
|
|
|
now_token: Optional[StreamToken] = None,
|
2022-11-22 14:08:04 -05:00
|
|
|
) -> Set[str]:
|
2022-06-17 06:42:03 -04:00
|
|
|
"""Get the set of users whose devices have changed who share a room with
|
|
|
|
the given user.
|
2019-03-04 13:24:32 -05:00
|
|
|
"""
|
2024-05-21 11:48:20 -04:00
|
|
|
now_device_lists_key = self.store.get_device_stream_token()
|
|
|
|
if now_token:
|
|
|
|
now_device_lists_key = now_token.device_list_key
|
|
|
|
|
2022-06-17 06:42:03 -04:00
|
|
|
changed_users = await self.store.get_device_list_changes_in_rooms(
|
2024-05-21 11:48:20 -04:00
|
|
|
room_ids,
|
|
|
|
from_token.device_list_key,
|
|
|
|
now_device_lists_key,
|
2022-06-17 06:42:03 -04:00
|
|
|
)
|
2019-09-03 05:21:30 -04:00
|
|
|
|
2022-06-17 06:42:03 -04:00
|
|
|
if changed_users is not None:
|
|
|
|
# We also check if the given user has changed their device. If
|
|
|
|
# they're in no rooms then the above query won't include them.
|
|
|
|
changed = await self.store.get_users_whose_devices_changed(
|
2024-05-21 11:48:20 -04:00
|
|
|
from_token.device_list_key,
|
|
|
|
[user_id],
|
|
|
|
to_key=now_device_lists_key,
|
2022-06-17 06:42:03 -04:00
|
|
|
)
|
|
|
|
changed_users.update(changed)
|
|
|
|
return changed_users
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2022-06-17 06:42:03 -04:00
|
|
|
# If the DB returned None then the `from_token` is too old, so we fall
|
|
|
|
# back on looking for device updates for all users.
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
users_who_share_room = await self.store.get_users_who_share_room_with_user(
|
2020-03-30 05:18:33 -04:00
|
|
|
user_id
|
|
|
|
)
|
2020-03-30 05:11:26 -04:00
|
|
|
|
|
|
|
tracked_users = set(users_who_share_room)
|
2020-03-30 09:00:11 -04:00
|
|
|
|
|
|
|
# Always tell the user about their own devices
|
2020-03-27 08:26:47 -04:00
|
|
|
tracked_users.add(user_id)
|
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
changed = await self.store.get_users_whose_devices_changed(
|
2024-05-21 11:48:20 -04:00
|
|
|
from_token.device_list_key,
|
|
|
|
tracked_users,
|
|
|
|
to_key=now_device_lists_key,
|
2020-03-27 08:26:47 -04:00
|
|
|
)
|
|
|
|
|
2022-06-17 06:42:03 -04:00
|
|
|
return changed
|
|
|
|
|
|
|
|
@trace
|
|
|
|
@measure_func("device.get_user_ids_changed")
|
2022-09-07 07:03:32 -04:00
|
|
|
@cancellable
|
2022-06-17 06:42:03 -04:00
|
|
|
async def get_user_ids_changed(
|
|
|
|
self, user_id: str, from_token: StreamToken
|
2024-07-22 16:40:06 -04:00
|
|
|
) -> DeviceListUpdates:
|
2022-06-17 06:42:03 -04:00
|
|
|
"""Get list of users that have had the devices updated, or have newly
|
|
|
|
joined a room, that `user_id` may be interested in.
|
|
|
|
"""
|
|
|
|
|
|
|
|
set_tag("user_id", user_id)
|
2022-07-21 08:01:52 -04:00
|
|
|
set_tag("from_token", str(from_token))
|
2022-06-17 06:42:03 -04:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
now_token = self._event_sources.get_current_token()
|
2022-06-17 06:42:03 -04:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
# We need to work out all the different membership changes for the user
|
|
|
|
# and user they share a room with, to pass to
|
|
|
|
# `generate_sync_entry_for_device_list`. See its docstring for details
|
|
|
|
# on the data required.
|
2022-06-17 06:42:03 -04:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
joined_room_ids = await self.store.get_rooms_for_user(user_id)
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
# Get the set of rooms that the user has joined/left
|
|
|
|
membership_changes = (
|
|
|
|
await self.store.get_current_state_delta_membership_changes_for_user(
|
|
|
|
user_id, from_key=from_token.room_key, to_key=now_token.room_key
|
|
|
|
)
|
2019-03-04 13:24:32 -05:00
|
|
|
)
|
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
# Check for newly joined or left rooms. We need to make sure that we add
|
|
|
|
# to newly joined in the case membership goes from join -> leave -> join
|
|
|
|
# again.
|
|
|
|
newly_joined_rooms: Set[str] = set()
|
|
|
|
newly_left_rooms: Set[str] = set()
|
|
|
|
for change in membership_changes:
|
|
|
|
# We check for changes in "joinedness", i.e. if the membership has
|
|
|
|
# changed to or from JOIN.
|
|
|
|
if change.membership == Membership.JOIN:
|
|
|
|
if change.prev_membership != Membership.JOIN:
|
|
|
|
newly_joined_rooms.add(change.room_id)
|
|
|
|
newly_left_rooms.discard(change.room_id)
|
|
|
|
elif change.prev_membership == Membership.JOIN:
|
|
|
|
newly_joined_rooms.discard(change.room_id)
|
|
|
|
newly_left_rooms.add(change.room_id)
|
|
|
|
|
|
|
|
# We now work out if any other users have since joined or left the rooms
|
2024-08-16 11:04:02 -04:00
|
|
|
# the user is currently in.
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
# List of membership changes per room
|
|
|
|
room_to_deltas: Dict[str, List[StateDelta]] = {}
|
|
|
|
# The set of event IDs of membership events (so we can fetch their
|
|
|
|
# associated membership).
|
|
|
|
memberships_to_fetch: Set[str] = set()
|
2024-08-16 11:04:02 -04:00
|
|
|
|
|
|
|
# TODO: Only pull out membership events?
|
|
|
|
state_changes = await self.store.get_current_state_deltas_for_rooms(
|
|
|
|
joined_room_ids, from_token=from_token.room_key, to_token=now_token.room_key
|
|
|
|
)
|
|
|
|
for delta in state_changes:
|
|
|
|
if delta.event_type != EventTypes.Member:
|
|
|
|
continue
|
|
|
|
|
|
|
|
room_to_deltas.setdefault(delta.room_id, []).append(delta)
|
|
|
|
if delta.event_id:
|
|
|
|
memberships_to_fetch.add(delta.event_id)
|
|
|
|
if delta.prev_event_id:
|
|
|
|
memberships_to_fetch.add(delta.prev_event_id)
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
# Fetch all the memberships for the membership events
|
|
|
|
event_id_to_memberships = await self.store.get_membership_from_event_ids(
|
|
|
|
memberships_to_fetch
|
|
|
|
)
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
joined_invited_knocked = (
|
|
|
|
Membership.JOIN,
|
|
|
|
Membership.INVITE,
|
|
|
|
Membership.KNOCK,
|
|
|
|
)
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
# We now want to find any user that have newly joined/invited/knocked,
|
|
|
|
# or newly left, similarly to above.
|
|
|
|
newly_joined_or_invited_or_knocked_users: Set[str] = set()
|
|
|
|
newly_left_users: Set[str] = set()
|
|
|
|
for _, deltas in room_to_deltas.items():
|
|
|
|
for delta in deltas:
|
|
|
|
# Get the prev/new memberships for the delta
|
|
|
|
new_membership = None
|
|
|
|
prev_membership = None
|
|
|
|
if delta.event_id:
|
|
|
|
m = event_id_to_memberships.get(delta.event_id)
|
|
|
|
if m is not None:
|
|
|
|
new_membership = m.membership
|
|
|
|
if delta.prev_event_id:
|
|
|
|
m = event_id_to_memberships.get(delta.prev_event_id)
|
|
|
|
if m is not None:
|
|
|
|
prev_membership = m.membership
|
|
|
|
|
|
|
|
# Check if a user has newly joined/invited/knocked, or left.
|
|
|
|
if new_membership in joined_invited_knocked:
|
|
|
|
if prev_membership not in joined_invited_knocked:
|
|
|
|
newly_joined_or_invited_or_knocked_users.add(delta.state_key)
|
|
|
|
newly_left_users.discard(delta.state_key)
|
|
|
|
elif prev_membership in joined_invited_knocked:
|
|
|
|
newly_joined_or_invited_or_knocked_users.discard(delta.state_key)
|
|
|
|
newly_left_users.add(delta.state_key)
|
|
|
|
|
|
|
|
# Now we actually calculate the device list entry with the information
|
|
|
|
# calculated above.
|
|
|
|
device_list_updates = await self.generate_sync_entry_for_device_list(
|
|
|
|
user_id=user_id,
|
|
|
|
since_token=from_token,
|
|
|
|
now_token=now_token,
|
|
|
|
joined_room_ids=joined_room_ids,
|
|
|
|
newly_joined_rooms=newly_joined_rooms,
|
|
|
|
newly_joined_or_invited_or_knocked_users=newly_joined_or_invited_or_knocked_users,
|
|
|
|
newly_left_rooms=newly_left_rooms,
|
|
|
|
newly_left_users=newly_left_users,
|
2024-07-22 16:40:06 -04:00
|
|
|
)
|
2019-09-03 05:21:30 -04:00
|
|
|
|
2024-07-22 16:40:06 -04:00
|
|
|
log_kv(
|
|
|
|
{
|
|
|
|
"changed": device_list_updates.changed,
|
|
|
|
"left": device_list_updates.left,
|
|
|
|
}
|
|
|
|
)
|
2019-09-03 05:21:30 -04:00
|
|
|
|
2024-07-22 16:40:06 -04:00
|
|
|
return device_list_updates
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2024-08-09 06:59:44 -04:00
|
|
|
@measure_func("_generate_sync_entry_for_device_list")
|
|
|
|
async def generate_sync_entry_for_device_list(
|
|
|
|
self,
|
|
|
|
user_id: str,
|
|
|
|
since_token: StreamToken,
|
|
|
|
now_token: StreamToken,
|
|
|
|
joined_room_ids: AbstractSet[str],
|
|
|
|
newly_joined_rooms: AbstractSet[str],
|
|
|
|
newly_joined_or_invited_or_knocked_users: AbstractSet[str],
|
|
|
|
newly_left_rooms: AbstractSet[str],
|
|
|
|
newly_left_users: AbstractSet[str],
|
|
|
|
) -> DeviceListUpdates:
|
|
|
|
"""Generate the DeviceListUpdates section of sync
|
|
|
|
|
|
|
|
Args:
|
|
|
|
sync_result_builder
|
|
|
|
newly_joined_rooms: Set of rooms user has joined since previous sync
|
|
|
|
newly_joined_or_invited_or_knocked_users: Set of users that have joined,
|
|
|
|
been invited to a room or are knocking on a room since
|
|
|
|
previous sync.
|
|
|
|
newly_left_rooms: Set of rooms user has left since previous sync
|
|
|
|
newly_left_users: Set of users that have left a room we're in since
|
|
|
|
previous sync
|
|
|
|
"""
|
|
|
|
# Take a copy since these fields will be mutated later.
|
|
|
|
newly_joined_or_invited_or_knocked_users = set(
|
|
|
|
newly_joined_or_invited_or_knocked_users
|
|
|
|
)
|
|
|
|
newly_left_users = set(newly_left_users)
|
|
|
|
|
|
|
|
# We want to figure out what user IDs the client should refetch
|
|
|
|
# device keys for, and which users we aren't going to track changes
|
|
|
|
# for anymore.
|
|
|
|
#
|
|
|
|
# For the first step we check:
|
|
|
|
# a. if any users we share a room with have updated their devices,
|
|
|
|
# and
|
|
|
|
# b. we also check if we've joined any new rooms, or if a user has
|
|
|
|
# joined a room we're in.
|
|
|
|
#
|
|
|
|
# For the second step we just find any users we no longer share a
|
|
|
|
# room with by looking at all users that have left a room plus users
|
|
|
|
# that were in a room we've left.
|
|
|
|
|
|
|
|
users_that_have_changed = set()
|
|
|
|
|
|
|
|
# Step 1a, check for changes in devices of users we share a room
|
|
|
|
# with
|
|
|
|
users_that_have_changed = await self.get_device_changes_in_shared_rooms(
|
|
|
|
user_id,
|
|
|
|
joined_room_ids,
|
|
|
|
from_token=since_token,
|
|
|
|
now_token=now_token,
|
|
|
|
)
|
|
|
|
|
|
|
|
# Step 1b, check for newly joined rooms
|
|
|
|
for room_id in newly_joined_rooms:
|
|
|
|
joined_users = await self.store.get_users_in_room(room_id)
|
|
|
|
newly_joined_or_invited_or_knocked_users.update(joined_users)
|
|
|
|
|
|
|
|
# TODO: Check that these users are actually new, i.e. either they
|
|
|
|
# weren't in the previous sync *or* they left and rejoined.
|
|
|
|
users_that_have_changed.update(newly_joined_or_invited_or_knocked_users)
|
|
|
|
|
|
|
|
user_signatures_changed = await self.store.get_users_whose_signatures_changed(
|
|
|
|
user_id, since_token.device_list_key
|
|
|
|
)
|
|
|
|
users_that_have_changed.update(user_signatures_changed)
|
|
|
|
|
|
|
|
# Now find users that we no longer track
|
|
|
|
for room_id in newly_left_rooms:
|
|
|
|
left_users = await self.store.get_users_in_room(room_id)
|
|
|
|
newly_left_users.update(left_users)
|
|
|
|
|
|
|
|
# Remove any users that we still share a room with.
|
|
|
|
left_users_rooms = await self.store.get_rooms_for_users(newly_left_users)
|
|
|
|
for user_id, entries in left_users_rooms.items():
|
|
|
|
if any(rid in joined_room_ids for rid in entries):
|
|
|
|
newly_left_users.discard(user_id)
|
|
|
|
|
|
|
|
return DeviceListUpdates(changed=users_that_have_changed, left=newly_left_users)
|
|
|
|
|
2020-10-07 08:58:21 -04:00
|
|
|
async def on_federation_query_user_devices(self, user_id: str) -> JsonDict:
|
2023-10-31 09:58:30 -04:00
|
|
|
if not self.hs.is_mine(UserID.from_string(user_id)):
|
|
|
|
raise SynapseError(400, "User is not hosted on this homeserver")
|
|
|
|
|
2020-09-01 07:41:21 -04:00
|
|
|
stream_id, devices = await self.store.get_e2e_device_keys_for_federation_query(
|
|
|
|
user_id
|
|
|
|
)
|
2020-07-17 07:09:25 -04:00
|
|
|
master_key = await self.store.get_e2e_cross_signing_key(user_id, "master")
|
|
|
|
self_signing_key = await self.store.get_e2e_cross_signing_key(
|
2020-02-07 10:45:39 -05:00
|
|
|
user_id, "self_signing"
|
|
|
|
)
|
|
|
|
|
2023-05-05 15:18:47 -04:00
|
|
|
# Check if the application services have any results.
|
|
|
|
if self._query_appservices_for_keys:
|
|
|
|
# Query the appservice for all devices for this user.
|
|
|
|
query: Dict[str, Optional[List[str]]] = {user_id: None}
|
|
|
|
|
|
|
|
# Query the appservices for any keys.
|
|
|
|
appservice_results = await self._appservice_handler.query_keys(query)
|
|
|
|
|
|
|
|
# Merge results, overriding anything from the database.
|
|
|
|
appservice_devices = appservice_results.get("device_keys", {}).get(
|
|
|
|
user_id, {}
|
|
|
|
)
|
|
|
|
|
|
|
|
# Filter the database results to only those devices that the appservice has
|
|
|
|
# *not* responded with.
|
|
|
|
devices = [d for d in devices if d["device_id"] not in appservice_devices]
|
|
|
|
# Append the appservice response by wrapping each result in another dictionary.
|
|
|
|
devices.extend(
|
|
|
|
{"device_id": device_id, "keys": device}
|
|
|
|
for device_id, device in appservice_devices.items()
|
|
|
|
)
|
|
|
|
|
|
|
|
# TODO Handle cross-signing keys.
|
|
|
|
|
2020-02-07 10:45:39 -05:00
|
|
|
return {
|
|
|
|
"user_id": user_id,
|
|
|
|
"stream_id": stream_id,
|
|
|
|
"devices": devices,
|
|
|
|
"master_key": master_key,
|
|
|
|
"self_signing_key": self_signing_key,
|
|
|
|
}
|
|
|
|
|
2022-09-28 09:42:43 -04:00
|
|
|
async def handle_room_un_partial_stated(self, room_id: str) -> None:
|
|
|
|
"""Handles sending appropriate device list updates in a room that has
|
|
|
|
gone from partial to full state.
|
|
|
|
"""
|
|
|
|
|
|
|
|
# TODO(faster_joins): worker mode support
|
|
|
|
# https://github.com/matrix-org/synapse/issues/12994
|
|
|
|
logger.error(
|
|
|
|
"Trying handling device list state for partial join: not supported on workers."
|
|
|
|
)
|
|
|
|
|
2023-09-14 09:56:07 -04:00
|
|
|
DEVICE_MSGS_DELETE_BATCH_LIMIT = 1000
|
2023-11-17 08:14:26 -05:00
|
|
|
DEVICE_MSGS_DELETE_SLEEP_MS = 100
|
2023-09-13 06:54:16 -04:00
|
|
|
|
|
|
|
async def _delete_device_messages(
|
|
|
|
self,
|
|
|
|
task: ScheduledTask,
|
|
|
|
) -> Tuple[TaskStatus, Optional[JsonMapping], Optional[str]]:
|
|
|
|
"""Scheduler task to delete device messages in batch of `DEVICE_MSGS_DELETE_BATCH_LIMIT`."""
|
|
|
|
assert task.params is not None
|
|
|
|
user_id = task.params["user_id"]
|
|
|
|
device_id = task.params["device_id"]
|
|
|
|
up_to_stream_id = task.params["up_to_stream_id"]
|
|
|
|
|
2023-09-14 09:56:07 -04:00
|
|
|
# Delete the messages in batches to avoid too much DB load.
|
2023-11-16 10:19:35 -05:00
|
|
|
from_stream_id = None
|
2023-09-14 09:56:07 -04:00
|
|
|
while True:
|
2023-11-16 10:19:35 -05:00
|
|
|
from_stream_id, _ = await self.store.delete_messages_for_device_between(
|
2023-09-14 09:56:07 -04:00
|
|
|
user_id=user_id,
|
|
|
|
device_id=device_id,
|
2023-11-16 10:19:35 -05:00
|
|
|
from_stream_id=from_stream_id,
|
|
|
|
to_stream_id=up_to_stream_id,
|
2023-09-14 09:56:07 -04:00
|
|
|
limit=DeviceHandler.DEVICE_MSGS_DELETE_BATCH_LIMIT,
|
|
|
|
)
|
2023-09-13 06:54:16 -04:00
|
|
|
|
2023-11-16 10:19:35 -05:00
|
|
|
if from_stream_id is None:
|
2023-09-14 09:56:07 -04:00
|
|
|
return TaskStatus.COMPLETE, None, None
|
|
|
|
|
|
|
|
await self.clock.sleep(DeviceHandler.DEVICE_MSGS_DELETE_SLEEP_MS / 1000.0)
|
2023-09-13 06:54:16 -04:00
|
|
|
|
2019-03-04 13:24:32 -05:00
|
|
|
|
|
|
|
class DeviceHandler(DeviceWorkerHandler):
|
2022-11-22 14:08:04 -05:00
|
|
|
device_list_updater: "DeviceListUpdater"
|
|
|
|
|
2020-10-07 08:58:21 -04:00
|
|
|
def __init__(self, hs: "HomeServer"):
|
2020-09-18 09:56:44 -04:00
|
|
|
super().__init__(hs)
|
2019-03-04 13:24:32 -05:00
|
|
|
|
2017-01-26 11:06:54 -05:00
|
|
|
self.federation_sender = hs.get_federation_sender()
|
2023-01-13 14:32:10 -05:00
|
|
|
self._account_data_handler = hs.get_account_data_handler()
|
2022-08-24 15:15:37 -04:00
|
|
|
self._storage_controllers = hs.get_storage_controllers()
|
2023-08-08 15:04:46 -04:00
|
|
|
self.db_pool = hs.get_datastores().main.db_pool
|
2017-03-01 09:12:11 -05:00
|
|
|
|
2024-02-13 08:23:03 -05:00
|
|
|
self._dont_notify_new_devices_for = (
|
|
|
|
hs.config.registration.dont_notify_new_devices_for
|
|
|
|
)
|
|
|
|
|
2019-07-29 11:34:44 -04:00
|
|
|
self.device_list_updater = DeviceListUpdater(hs, self)
|
2017-01-26 11:06:54 -05:00
|
|
|
|
2018-03-12 12:17:08 -04:00
|
|
|
federation_registry = hs.get_federation_registry()
|
|
|
|
|
|
|
|
federation_registry.register_edu_handler(
|
2022-05-27 07:14:36 -04:00
|
|
|
EduTypes.DEVICE_LIST_UPDATE,
|
|
|
|
self.device_list_updater.incoming_device_list_update,
|
2017-01-26 11:06:54 -05:00
|
|
|
)
|
2017-01-25 09:27:27 -05:00
|
|
|
|
2022-04-04 10:25:20 -04:00
|
|
|
# Whether `_handle_new_device_update_async` is currently processing.
|
|
|
|
self._handle_new_device_update_is_processing = False
|
|
|
|
|
|
|
|
# If a new device update may have happened while the loop was
|
|
|
|
# processing.
|
|
|
|
self._handle_new_device_update_new_data = False
|
|
|
|
|
|
|
|
# On start up check if there are any updates pending.
|
|
|
|
hs.get_reactor().callWhenRunning(self._handle_new_device_update_async)
|
|
|
|
|
2022-05-27 11:47:32 -04:00
|
|
|
self._delete_stale_devices_after = hs.config.server.delete_stale_devices_after
|
|
|
|
|
|
|
|
# Ideally we would run this on a worker and condition this on the
|
|
|
|
# "run_background_tasks_on" setting, but this would mean making the notification
|
|
|
|
# of device list changes over federation work on workers, which is nontrivial.
|
|
|
|
if self._delete_stale_devices_after is not None:
|
|
|
|
self.clock.looping_call(
|
|
|
|
run_as_background_process,
|
|
|
|
DELETE_STALE_DEVICES_INTERVAL_MS,
|
|
|
|
"delete_stale_devices",
|
|
|
|
self._delete_stale_devices,
|
|
|
|
)
|
|
|
|
|
2021-09-20 08:56:23 -04:00
|
|
|
def _check_device_name_length(self, name: Optional[str]) -> None:
|
2020-09-22 06:42:55 -04:00
|
|
|
"""
|
|
|
|
Checks whether a device name is longer than the maximum allowed length.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
name: The name of the device.
|
|
|
|
|
|
|
|
Raises:
|
|
|
|
SynapseError: if the device name is too long.
|
|
|
|
"""
|
|
|
|
if name and len(name) > MAX_DEVICE_DISPLAY_NAME_LEN:
|
|
|
|
raise SynapseError(
|
|
|
|
400,
|
|
|
|
"Device display name is too long (max %i)"
|
|
|
|
% (MAX_DEVICE_DISPLAY_NAME_LEN,),
|
|
|
|
errcode=Codes.TOO_LARGE,
|
|
|
|
)
|
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
async def check_device_registered(
|
2020-10-07 08:58:21 -04:00
|
|
|
self,
|
|
|
|
user_id: str,
|
|
|
|
device_id: Optional[str],
|
|
|
|
initial_device_display_name: Optional[str] = None,
|
2021-12-06 12:43:06 -05:00
|
|
|
auth_provider_id: Optional[str] = None,
|
|
|
|
auth_provider_session_id: Optional[str] = None,
|
2020-10-07 08:58:21 -04:00
|
|
|
) -> str:
|
2016-07-15 08:19:07 -04:00
|
|
|
"""
|
|
|
|
If the given device has not been registered, register it with the
|
|
|
|
supplied display name.
|
|
|
|
|
|
|
|
If no device_id is supplied, we make one up.
|
|
|
|
|
|
|
|
Args:
|
2020-10-07 08:58:21 -04:00
|
|
|
user_id: @user:id
|
|
|
|
device_id: device id supplied by client
|
|
|
|
initial_device_display_name: device display name from client
|
2021-12-06 12:43:06 -05:00
|
|
|
auth_provider_id: The SSO IdP the user used, if any.
|
|
|
|
auth_provider_session_id: The session ID (sid) got from the SSO IdP.
|
2016-07-15 08:19:07 -04:00
|
|
|
Returns:
|
2020-10-07 08:58:21 -04:00
|
|
|
device id (generated if none was supplied)
|
2016-07-15 08:19:07 -04:00
|
|
|
"""
|
2020-09-22 06:42:55 -04:00
|
|
|
|
|
|
|
self._check_device_name_length(initial_device_display_name)
|
|
|
|
|
2024-02-13 08:23:03 -05:00
|
|
|
# Check if we should send out device lists updates for this new device.
|
|
|
|
notify = user_id not in self._dont_notify_new_devices_for
|
|
|
|
|
2016-07-15 08:19:07 -04:00
|
|
|
if device_id is not None:
|
2020-07-17 07:09:25 -04:00
|
|
|
new_device = await self.store.store_device(
|
2016-07-15 08:19:07 -04:00
|
|
|
user_id=user_id,
|
|
|
|
device_id=device_id,
|
|
|
|
initial_device_display_name=initial_device_display_name,
|
2021-12-06 12:43:06 -05:00
|
|
|
auth_provider_id=auth_provider_id,
|
|
|
|
auth_provider_session_id=auth_provider_session_id,
|
2016-07-15 08:19:07 -04:00
|
|
|
)
|
2017-01-25 09:27:27 -05:00
|
|
|
if new_device:
|
2024-02-13 08:23:03 -05:00
|
|
|
if notify:
|
|
|
|
await self.notify_device_update(user_id, [device_id])
|
2019-07-23 09:00:55 -04:00
|
|
|
return device_id
|
2016-07-15 08:19:07 -04:00
|
|
|
|
|
|
|
# if the device id is not specified, we'll autogen one, but loop a few
|
|
|
|
# times in case of a clash.
|
|
|
|
attempts = 0
|
|
|
|
while attempts < 5:
|
2020-10-07 08:58:21 -04:00
|
|
|
new_device_id = stringutils.random_string(10).upper()
|
2020-07-17 07:09:25 -04:00
|
|
|
new_device = await self.store.store_device(
|
2017-01-25 09:27:27 -05:00
|
|
|
user_id=user_id,
|
2020-10-07 08:58:21 -04:00
|
|
|
device_id=new_device_id,
|
2017-01-25 09:27:27 -05:00
|
|
|
initial_device_display_name=initial_device_display_name,
|
2021-12-06 12:43:06 -05:00
|
|
|
auth_provider_id=auth_provider_id,
|
|
|
|
auth_provider_session_id=auth_provider_session_id,
|
2017-01-25 09:27:27 -05:00
|
|
|
)
|
|
|
|
if new_device:
|
2024-02-13 08:23:03 -05:00
|
|
|
if notify:
|
|
|
|
await self.notify_device_update(user_id, [new_device_id])
|
2020-10-07 08:58:21 -04:00
|
|
|
return new_device_id
|
2017-01-25 09:27:27 -05:00
|
|
|
attempts += 1
|
2016-07-15 08:19:07 -04:00
|
|
|
|
2016-07-20 12:58:44 -04:00
|
|
|
raise errors.StoreError(500, "Couldn't generate a device ID.")
|
2016-07-20 11:34:00 -04:00
|
|
|
|
2022-05-27 11:47:32 -04:00
|
|
|
async def _delete_stale_devices(self) -> None:
|
|
|
|
"""Background task that deletes devices which haven't been accessed for more than
|
|
|
|
a configured time period.
|
|
|
|
"""
|
|
|
|
# We should only be running this job if the config option is defined.
|
|
|
|
assert self._delete_stale_devices_after is not None
|
|
|
|
now_ms = self.clock.time_msec()
|
|
|
|
since_ms = now_ms - self._delete_stale_devices_after
|
|
|
|
devices = await self.store.get_local_devices_not_accessed_since(since_ms)
|
|
|
|
|
|
|
|
for user_id, user_devices in devices.items():
|
|
|
|
await self.delete_devices(user_id, user_devices)
|
|
|
|
|
2019-09-03 05:21:30 -04:00
|
|
|
@trace
|
2020-07-17 07:09:25 -04:00
|
|
|
async def delete_all_devices_for_user(
|
|
|
|
self, user_id: str, except_device_id: Optional[str] = None
|
|
|
|
) -> None:
|
2017-11-29 10:44:59 -05:00
|
|
|
"""Delete all of the user's devices
|
|
|
|
|
|
|
|
Args:
|
2020-07-17 07:09:25 -04:00
|
|
|
user_id: The user to remove all devices from
|
|
|
|
except_device_id: optional device id which should not be deleted
|
2017-11-29 10:44:59 -05:00
|
|
|
"""
|
2020-07-17 07:09:25 -04:00
|
|
|
device_map = await self.store.get_devices_by_user(user_id)
|
2018-05-31 05:03:47 -04:00
|
|
|
device_ids = list(device_map)
|
2017-11-29 10:44:59 -05:00
|
|
|
if except_device_id is not None:
|
|
|
|
device_ids = [d for d in device_ids if d != except_device_id]
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.delete_devices(user_id, device_ids)
|
2017-11-29 10:44:59 -05:00
|
|
|
|
2023-03-31 08:51:51 -04:00
|
|
|
async def delete_devices(self, user_id: str, device_ids: List[str]) -> None:
|
2017-03-13 13:53:23 -04:00
|
|
|
"""Delete several devices
|
|
|
|
|
|
|
|
Args:
|
2020-07-17 07:09:25 -04:00
|
|
|
user_id: The user to delete devices from.
|
|
|
|
device_ids: The list of device IDs to delete
|
2017-03-13 13:53:23 -04:00
|
|
|
"""
|
2023-09-06 03:30:53 -04:00
|
|
|
to_device_stream_id = self._event_sources.get_current_token().to_device_key
|
2017-03-13 13:53:23 -04:00
|
|
|
|
|
|
|
try:
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.store.delete_devices(user_id, device_ids)
|
2018-03-15 11:11:17 -04:00
|
|
|
except errors.StoreError as e:
|
2017-03-13 13:53:23 -04:00
|
|
|
if e.code == 404:
|
|
|
|
# no match
|
2019-09-03 05:21:30 -04:00
|
|
|
set_tag("error", True)
|
|
|
|
set_tag("reason", "User doesn't have that device id.")
|
2017-03-13 13:53:23 -04:00
|
|
|
else:
|
|
|
|
raise
|
|
|
|
|
2023-01-13 14:32:10 -05:00
|
|
|
# Delete data specific to each device. Not optimised as it is not
|
2017-03-13 13:53:23 -04:00
|
|
|
# considered as part of a critical path.
|
|
|
|
for device_id in device_ids:
|
2020-07-17 07:09:25 -04:00
|
|
|
await self._auth_handler.delete_access_tokens_for_user(
|
|
|
|
user_id, device_id=device_id
|
2017-03-13 13:53:23 -04:00
|
|
|
)
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.store.delete_e2e_keys_by_device(
|
2017-03-13 13:53:23 -04:00
|
|
|
user_id=user_id, device_id=device_id
|
|
|
|
)
|
|
|
|
|
2023-01-13 14:32:10 -05:00
|
|
|
if self.hs.config.experimental.msc3890_enabled:
|
|
|
|
# Remove any local notification settings for this device in accordance
|
|
|
|
# with MSC3890.
|
|
|
|
await self._account_data_handler.remove_account_data_for_user(
|
|
|
|
user_id,
|
|
|
|
f"org.matrix.msc3890.local_notification_settings.{device_id}",
|
|
|
|
)
|
|
|
|
|
2023-09-06 03:30:53 -04:00
|
|
|
# Delete device messages asynchronously and in batches using the task scheduler
|
2023-10-18 11:42:01 -04:00
|
|
|
# We specify an upper stream id to avoid deleting non delivered messages
|
|
|
|
# if an user re-uses a device ID.
|
2023-09-06 03:30:53 -04:00
|
|
|
await self._task_scheduler.schedule_task(
|
|
|
|
DELETE_DEVICE_MSGS_TASK_NAME,
|
|
|
|
resource_id=device_id,
|
|
|
|
params={
|
|
|
|
"user_id": user_id,
|
|
|
|
"device_id": device_id,
|
|
|
|
"up_to_stream_id": to_device_stream_id,
|
|
|
|
},
|
|
|
|
)
|
|
|
|
|
2023-04-14 08:12:37 -04:00
|
|
|
# Pushers are deleted after `delete_access_tokens_for_user` is called so that
|
|
|
|
# modules using `on_logged_out` hook can use them if needed.
|
|
|
|
await self.hs.get_pusherpool().remove_pushers_by_devices(user_id, device_ids)
|
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.notify_device_update(user_id, device_ids)
|
2017-03-13 13:53:23 -04:00
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
async def update_device(self, user_id: str, device_id: str, content: dict) -> None:
|
2016-07-25 12:51:24 -04:00
|
|
|
"""Update the given device
|
|
|
|
|
|
|
|
Args:
|
2020-07-17 07:09:25 -04:00
|
|
|
user_id: The user to update devices of.
|
|
|
|
device_id: The device to update.
|
|
|
|
content: body of update request
|
2016-07-25 12:51:24 -04:00
|
|
|
"""
|
|
|
|
|
2020-02-10 16:35:26 -05:00
|
|
|
# Reject a new displayname which is too long.
|
|
|
|
new_display_name = content.get("display_name")
|
2020-09-22 06:42:55 -04:00
|
|
|
|
|
|
|
self._check_device_name_length(new_display_name)
|
2020-02-10 16:35:26 -05:00
|
|
|
|
2016-07-25 12:51:24 -04:00
|
|
|
try:
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.store.update_device(
|
2020-02-10 16:35:26 -05:00
|
|
|
user_id, device_id, new_display_name=new_display_name
|
2016-07-25 12:51:24 -04:00
|
|
|
)
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.notify_device_update(user_id, [device_id])
|
2018-03-15 11:11:17 -04:00
|
|
|
except errors.StoreError as e:
|
2016-07-25 12:51:24 -04:00
|
|
|
if e.code == 404:
|
|
|
|
raise errors.NotFoundError()
|
|
|
|
else:
|
|
|
|
raise
|
2016-07-22 09:52:53 -04:00
|
|
|
|
2019-09-03 05:21:30 -04:00
|
|
|
@trace
|
2017-02-02 13:36:17 -05:00
|
|
|
@measure_func("notify_device_update")
|
2020-10-07 08:58:21 -04:00
|
|
|
async def notify_device_update(
|
2023-01-26 12:31:58 -05:00
|
|
|
self, user_id: str, device_ids: StrCollection
|
2020-10-07 08:58:21 -04:00
|
|
|
) -> None:
|
2017-01-26 11:30:37 -05:00
|
|
|
"""Notify that a user's device(s) has changed. Pokes the notifier, and
|
|
|
|
remote servers if the user is local.
|
2021-10-21 12:42:25 -04:00
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id: The Matrix ID of the user who's device list has been updated.
|
|
|
|
device_ids: The device IDs that have changed.
|
2017-01-26 11:30:37 -05:00
|
|
|
"""
|
2020-07-17 09:11:05 -04:00
|
|
|
if not device_ids:
|
|
|
|
# No changes to notify about, so this is a no-op.
|
|
|
|
return
|
|
|
|
|
2022-04-04 10:25:20 -04:00
|
|
|
room_ids = await self.store.get_rooms_for_user(user_id)
|
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
position = await self.store.add_device_change_to_streams(
|
2022-04-04 10:25:20 -04:00
|
|
|
user_id,
|
|
|
|
device_ids,
|
|
|
|
room_ids=room_ids,
|
2017-01-25 09:27:27 -05:00
|
|
|
)
|
|
|
|
|
2020-07-17 09:11:05 -04:00
|
|
|
if not position:
|
|
|
|
# This should only happen if there are no updates, so we bail.
|
|
|
|
return
|
|
|
|
|
2019-03-07 10:53:14 -05:00
|
|
|
for device_id in device_ids:
|
|
|
|
logger.debug(
|
|
|
|
"Notifying about update %r/%r, ID: %r", user_id, device_id, position
|
|
|
|
)
|
|
|
|
|
2020-03-27 08:26:47 -04:00
|
|
|
# specify the user ID too since the user should always get their own device list
|
|
|
|
# updates, even if they aren't in any rooms.
|
2022-04-04 10:25:20 -04:00
|
|
|
self.notifier.on_new_event(
|
2022-05-16 11:35:31 -04:00
|
|
|
StreamKeyType.DEVICE_LIST, position, users={user_id}, rooms=room_ids
|
2022-04-04 10:25:20 -04:00
|
|
|
)
|
2022-02-12 09:33:49 -05:00
|
|
|
|
2022-04-26 12:07:21 -04:00
|
|
|
# We may need to do some processing asynchronously for local user IDs.
|
|
|
|
if self.hs.is_mine_id(user_id):
|
|
|
|
self._handle_new_device_update_async()
|
2017-01-25 09:27:27 -05:00
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
async def notify_user_signature_update(
|
|
|
|
self, from_user_id: str, user_ids: List[str]
|
|
|
|
) -> None:
|
2019-07-25 11:08:24 -04:00
|
|
|
"""Notify a user that they have made new signatures of other users.
|
|
|
|
|
|
|
|
Args:
|
2020-07-17 07:09:25 -04:00
|
|
|
from_user_id: the user who made the signature
|
|
|
|
user_ids: the users IDs that have new signatures
|
2019-07-25 11:08:24 -04:00
|
|
|
"""
|
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
position = await self.store.add_user_signature_change_to_streams(
|
2019-07-25 11:08:24 -04:00
|
|
|
from_user_id, user_ids
|
|
|
|
)
|
|
|
|
|
2022-05-16 11:35:31 -04:00
|
|
|
self.notifier.on_new_event(
|
|
|
|
StreamKeyType.DEVICE_LIST, position, users=[from_user_id]
|
|
|
|
)
|
2019-07-25 11:08:24 -04:00
|
|
|
|
2020-10-07 08:00:17 -04:00
|
|
|
async def store_dehydrated_device(
|
|
|
|
self,
|
|
|
|
user_id: str,
|
2023-07-24 11:23:19 -04:00
|
|
|
device_id: Optional[str],
|
2020-10-07 08:00:17 -04:00
|
|
|
device_data: JsonDict,
|
|
|
|
initial_device_display_name: Optional[str] = None,
|
2023-08-08 15:04:46 -04:00
|
|
|
keys_for_device: Optional[JsonDict] = None,
|
2020-10-07 08:00:17 -04:00
|
|
|
) -> str:
|
2023-08-08 15:04:46 -04:00
|
|
|
"""Store a dehydrated device for a user, optionally storing the keys associated with
|
|
|
|
it as well. If the user had a previous dehydrated device, it is removed.
|
2020-10-07 08:00:17 -04:00
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id: the user that we are storing the device for
|
2023-07-24 11:23:19 -04:00
|
|
|
device_id: device id supplied by client
|
2020-10-07 08:00:17 -04:00
|
|
|
device_data: the dehydrated device information
|
|
|
|
initial_device_display_name: The display name to use for the device
|
2023-08-08 15:04:46 -04:00
|
|
|
keys_for_device: keys for the dehydrated device
|
2020-10-07 08:00:17 -04:00
|
|
|
Returns:
|
|
|
|
device id of the dehydrated device
|
|
|
|
"""
|
|
|
|
device_id = await self.check_device_registered(
|
|
|
|
user_id,
|
2023-07-24 11:23:19 -04:00
|
|
|
device_id,
|
2020-10-07 08:00:17 -04:00
|
|
|
initial_device_display_name,
|
|
|
|
)
|
2023-08-08 15:04:46 -04:00
|
|
|
|
|
|
|
time_now = self.clock.time_msec()
|
|
|
|
|
2020-10-07 08:00:17 -04:00
|
|
|
old_device_id = await self.store.store_dehydrated_device(
|
2023-08-08 15:04:46 -04:00
|
|
|
user_id, device_id, device_data, time_now, keys_for_device
|
2020-10-07 08:00:17 -04:00
|
|
|
)
|
2023-08-08 15:04:46 -04:00
|
|
|
|
2020-10-07 08:00:17 -04:00
|
|
|
if old_device_id is not None:
|
2022-06-07 07:43:35 -04:00
|
|
|
await self.delete_devices(user_id, [old_device_id])
|
2023-08-08 15:04:46 -04:00
|
|
|
|
2020-10-07 08:00:17 -04:00
|
|
|
return device_id
|
|
|
|
|
|
|
|
async def rehydrate_device(
|
|
|
|
self, user_id: str, access_token: str, device_id: str
|
|
|
|
) -> dict:
|
|
|
|
"""Process a rehydration request from the user.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id: the user who is rehydrating the device
|
|
|
|
access_token: the access token used for the request
|
|
|
|
device_id: the ID of the device that will be rehydrated
|
|
|
|
Returns:
|
|
|
|
a dict containing {"success": True}
|
|
|
|
"""
|
|
|
|
success = await self.store.remove_dehydrated_device(user_id, device_id)
|
|
|
|
|
|
|
|
if not success:
|
|
|
|
raise errors.NotFoundError()
|
|
|
|
|
|
|
|
# If the dehydrated device was successfully deleted (the device ID
|
|
|
|
# matched the stored dehydrated device), then modify the access
|
2023-09-13 08:33:39 -04:00
|
|
|
# token and refresh token to use the dehydrated device's ID and
|
|
|
|
# copy the old device display name to the dehydrated device,
|
|
|
|
# and destroy the old device ID
|
2020-10-07 08:00:17 -04:00
|
|
|
old_device_id = await self.store.set_device_for_access_token(
|
|
|
|
access_token, device_id
|
|
|
|
)
|
2023-09-13 08:33:39 -04:00
|
|
|
await self.store.set_device_for_refresh_token(user_id, old_device_id, device_id)
|
2020-10-07 08:00:17 -04:00
|
|
|
old_device = await self.store.get_device(user_id, old_device_id)
|
2021-12-13 10:39:43 -05:00
|
|
|
if old_device is None:
|
|
|
|
raise errors.NotFoundError()
|
2020-10-07 08:00:17 -04:00
|
|
|
await self.store.update_device(user_id, device_id, old_device["display_name"])
|
|
|
|
# can't call self.delete_device because that will clobber the
|
|
|
|
# access token so call the storage layer directly
|
2022-06-07 07:43:35 -04:00
|
|
|
await self.store.delete_devices(user_id, [old_device_id])
|
2020-10-07 08:00:17 -04:00
|
|
|
await self.store.delete_e2e_keys_by_device(
|
|
|
|
user_id=user_id, device_id=old_device_id
|
|
|
|
)
|
|
|
|
|
|
|
|
# tell everyone that the old device is gone and that the dehydrated
|
|
|
|
# device has a new display name
|
|
|
|
await self.notify_device_update(user_id, [old_device_id, device_id])
|
|
|
|
|
|
|
|
return {"success": True}
|
|
|
|
|
2023-08-04 13:49:54 -04:00
|
|
|
async def delete_dehydrated_device(self, user_id: str, device_id: str) -> None:
|
|
|
|
"""
|
|
|
|
Delete a stored dehydrated device.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id: the user_id to delete the device from
|
|
|
|
device_id: id of the dehydrated device to delete
|
|
|
|
"""
|
|
|
|
success = await self.store.remove_dehydrated_device(user_id, device_id)
|
|
|
|
|
|
|
|
if not success:
|
|
|
|
raise errors.NotFoundError()
|
|
|
|
|
|
|
|
await self.delete_devices(user_id, [device_id])
|
|
|
|
await self.store.delete_e2e_keys_by_device(user_id=user_id, device_id=device_id)
|
|
|
|
|
2022-04-04 10:25:20 -04:00
|
|
|
@wrap_as_background_process("_handle_new_device_update_async")
|
|
|
|
async def _handle_new_device_update_async(self) -> None:
|
|
|
|
"""Called when we have a new local device list update that we need to
|
|
|
|
send out over federation.
|
|
|
|
|
|
|
|
This happens in the background so as not to block the original request
|
|
|
|
that generated the device update.
|
|
|
|
"""
|
|
|
|
if self._handle_new_device_update_is_processing:
|
|
|
|
self._handle_new_device_update_new_data = True
|
|
|
|
return
|
|
|
|
|
|
|
|
self._handle_new_device_update_is_processing = True
|
|
|
|
|
|
|
|
# The stream ID we processed previous iteration (if any), and the set of
|
|
|
|
# hosts we've already poked about for this update. This is so that we
|
|
|
|
# don't poke the same remote server about the same update repeatedly.
|
|
|
|
current_stream_id = None
|
|
|
|
hosts_already_sent_to: Set[str] = set()
|
|
|
|
|
|
|
|
try:
|
2022-11-22 11:46:52 -05:00
|
|
|
stream_id, room_id = await self.store.get_device_change_last_converted_pos()
|
|
|
|
|
2022-04-04 10:25:20 -04:00
|
|
|
while True:
|
|
|
|
self._handle_new_device_update_new_data = False
|
2022-11-22 11:46:52 -05:00
|
|
|
max_stream_id = self.store.get_device_stream_token()
|
|
|
|
rows = await self.store.get_uncoverted_outbound_room_pokes(
|
|
|
|
stream_id, room_id
|
|
|
|
)
|
2022-04-04 10:25:20 -04:00
|
|
|
if not rows:
|
|
|
|
# If the DB returned nothing then there is nothing left to
|
|
|
|
# do, *unless* a new device list update happened during the
|
|
|
|
# DB query.
|
2022-11-22 11:46:52 -05:00
|
|
|
|
|
|
|
# Advance `(stream_id, room_id)`.
|
|
|
|
# `max_stream_id` comes from *before* the query for unconverted
|
|
|
|
# rows, which means that any unconverted rows must have a larger
|
|
|
|
# stream ID.
|
|
|
|
if max_stream_id > stream_id:
|
|
|
|
stream_id, room_id = max_stream_id, ""
|
|
|
|
await self.store.set_device_change_last_converted_pos(
|
|
|
|
stream_id, room_id
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
assert max_stream_id == stream_id
|
|
|
|
# Avoid moving `room_id` backwards.
|
|
|
|
|
2022-04-04 10:25:20 -04:00
|
|
|
if self._handle_new_device_update_new_data:
|
|
|
|
continue
|
|
|
|
else:
|
|
|
|
return
|
|
|
|
|
|
|
|
for user_id, device_id, room_id, stream_id, opentracing_context in rows:
|
2022-04-14 08:05:31 -04:00
|
|
|
hosts = set()
|
|
|
|
|
|
|
|
# Ignore any users that aren't ours
|
|
|
|
if self.hs.is_mine_id(user_id):
|
2022-08-24 15:15:37 -04:00
|
|
|
hosts = set(
|
2022-09-23 08:44:03 -04:00
|
|
|
await self._storage_controllers.state.get_current_hosts_in_room_or_partial_state_approximation(
|
2022-08-24 15:15:37 -04:00
|
|
|
room_id
|
|
|
|
)
|
|
|
|
)
|
2022-04-14 08:05:31 -04:00
|
|
|
hosts.discard(self.server_name)
|
2022-09-23 08:44:03 -04:00
|
|
|
# For rooms with partial state, `hosts` is merely an
|
|
|
|
# approximation. When we transition to a full state room, we
|
|
|
|
# will have to send out device list updates to any servers we
|
|
|
|
# missed.
|
2022-04-04 10:25:20 -04:00
|
|
|
|
|
|
|
# Check if we've already sent this update to some hosts
|
|
|
|
if current_stream_id == stream_id:
|
|
|
|
hosts -= hosts_already_sent_to
|
|
|
|
|
|
|
|
await self.store.add_device_list_outbound_pokes(
|
|
|
|
user_id=user_id,
|
|
|
|
device_id=device_id,
|
|
|
|
room_id=room_id,
|
|
|
|
hosts=hosts,
|
|
|
|
context=opentracing_context,
|
|
|
|
)
|
|
|
|
|
2024-05-22 08:55:18 -04:00
|
|
|
await self.store.mark_redundant_device_lists_pokes(
|
|
|
|
user_id=user_id,
|
|
|
|
device_id=device_id,
|
|
|
|
room_id=room_id,
|
|
|
|
converted_upto_stream_id=stream_id,
|
|
|
|
)
|
|
|
|
|
2022-04-04 10:25:20 -04:00
|
|
|
# Notify replication that we've updated the device list stream.
|
|
|
|
self.notifier.notify_replication()
|
|
|
|
|
|
|
|
if hosts:
|
|
|
|
logger.info(
|
|
|
|
"Sending device list update notif for %r to: %r",
|
|
|
|
user_id,
|
|
|
|
hosts,
|
|
|
|
)
|
2023-09-04 12:14:09 -04:00
|
|
|
await self.federation_sender.send_device_messages(
|
|
|
|
hosts, immediate=False
|
|
|
|
)
|
|
|
|
# TODO: when called, this isn't in a logging context.
|
|
|
|
# This leads to log spam, sentry event spam, and massive
|
|
|
|
# memory usage.
|
|
|
|
# See https://github.com/matrix-org/synapse/issues/12552.
|
|
|
|
# log_kv(
|
|
|
|
# {"message": "sent device update to host", "host": host}
|
|
|
|
# )
|
2022-04-04 10:25:20 -04:00
|
|
|
|
|
|
|
if current_stream_id != stream_id:
|
|
|
|
# Clear the set of hosts we've already sent to as we're
|
|
|
|
# processing a new update.
|
|
|
|
hosts_already_sent_to.clear()
|
|
|
|
|
|
|
|
hosts_already_sent_to.update(hosts)
|
|
|
|
current_stream_id = stream_id
|
|
|
|
|
2022-11-22 11:46:52 -05:00
|
|
|
# Advance `(stream_id, room_id)`.
|
|
|
|
_, _, room_id, stream_id, _ = rows[-1]
|
|
|
|
await self.store.set_device_change_last_converted_pos(
|
|
|
|
stream_id, room_id
|
|
|
|
)
|
|
|
|
|
2022-04-04 10:25:20 -04:00
|
|
|
finally:
|
|
|
|
self._handle_new_device_update_is_processing = False
|
|
|
|
|
2022-09-28 09:42:43 -04:00
|
|
|
async def handle_room_un_partial_stated(self, room_id: str) -> None:
|
|
|
|
"""Handles sending appropriate device list updates in a room that has
|
|
|
|
gone from partial to full state.
|
|
|
|
"""
|
|
|
|
|
2022-09-28 18:22:35 -04:00
|
|
|
# We defer to the device list updater to handle pending remote device
|
|
|
|
# list updates.
|
2022-09-28 09:42:43 -04:00
|
|
|
await self.device_list_updater.handle_room_un_partial_stated(room_id)
|
|
|
|
|
2022-09-28 18:22:35 -04:00
|
|
|
# Replay local updates.
|
|
|
|
(
|
|
|
|
join_event_id,
|
|
|
|
device_lists_stream_id,
|
|
|
|
) = await self.store.get_join_event_id_and_device_lists_stream_id_for_partial_state(
|
|
|
|
room_id
|
|
|
|
)
|
|
|
|
|
|
|
|
# Get the local device list changes that have happened in the room since
|
|
|
|
# we started joining. If there are no updates there's nothing left to do.
|
|
|
|
changes = await self.store.get_device_list_changes_in_room(
|
|
|
|
room_id, device_lists_stream_id
|
|
|
|
)
|
|
|
|
local_changes = {(u, d) for u, d in changes if self.hs.is_mine_id(u)}
|
|
|
|
if not local_changes:
|
|
|
|
return
|
|
|
|
|
|
|
|
# Note: We have persisted the full state at this point, we just haven't
|
|
|
|
# cleared the `partial_room` flag.
|
|
|
|
join_state_ids = await self._state_storage.get_state_ids_for_event(
|
|
|
|
join_event_id, await_full_state=False
|
|
|
|
)
|
|
|
|
current_state_ids = await self.store.get_partial_current_state_ids(room_id)
|
|
|
|
|
|
|
|
# Now we need to work out all servers that might have been in the room
|
|
|
|
# at any point during our join.
|
|
|
|
|
|
|
|
# First we look for any membership states that have changed between the
|
|
|
|
# initial join and now...
|
|
|
|
all_keys = set(join_state_ids)
|
|
|
|
all_keys.update(current_state_ids)
|
|
|
|
|
|
|
|
potentially_changed_hosts = set()
|
|
|
|
for etype, state_key in all_keys:
|
|
|
|
if etype != EventTypes.Member:
|
|
|
|
continue
|
|
|
|
|
|
|
|
prev = join_state_ids.get((etype, state_key))
|
|
|
|
current = current_state_ids.get((etype, state_key))
|
|
|
|
|
|
|
|
if prev != current:
|
|
|
|
potentially_changed_hosts.add(get_domain_from_id(state_key))
|
|
|
|
|
|
|
|
# ... then we add all the hosts that are currently joined to the room...
|
|
|
|
current_hosts_in_room = await self.store.get_current_hosts_in_room(room_id)
|
|
|
|
potentially_changed_hosts.update(current_hosts_in_room)
|
|
|
|
|
|
|
|
# ... and finally we remove any hosts that we were told about, as we
|
|
|
|
# will have sent device list updates to those hosts when they happened.
|
|
|
|
known_hosts_at_join = await self.store.get_partial_state_servers_at_join(
|
|
|
|
room_id
|
|
|
|
)
|
2023-02-03 10:39:59 -05:00
|
|
|
assert known_hosts_at_join is not None
|
2022-09-28 18:22:35 -04:00
|
|
|
potentially_changed_hosts.difference_update(known_hosts_at_join)
|
|
|
|
|
|
|
|
potentially_changed_hosts.discard(self.server_name)
|
|
|
|
|
|
|
|
if not potentially_changed_hosts:
|
|
|
|
# Nothing to do.
|
|
|
|
return
|
|
|
|
|
|
|
|
logger.info(
|
|
|
|
"Found %d changed hosts to send device list updates to",
|
|
|
|
len(potentially_changed_hosts),
|
|
|
|
)
|
|
|
|
|
|
|
|
for user_id, device_id in local_changes:
|
|
|
|
await self.store.add_device_list_outbound_pokes(
|
|
|
|
user_id=user_id,
|
|
|
|
device_id=device_id,
|
|
|
|
room_id=room_id,
|
|
|
|
hosts=potentially_changed_hosts,
|
|
|
|
context=None,
|
|
|
|
)
|
|
|
|
|
|
|
|
# Notify things that device lists need to be sent out.
|
|
|
|
self.notifier.notify_replication()
|
2023-09-04 12:14:09 -04:00
|
|
|
await self.federation_sender.send_device_messages(
|
|
|
|
potentially_changed_hosts, immediate=False
|
|
|
|
)
|
2022-09-28 18:22:35 -04:00
|
|
|
|
2017-03-01 09:12:11 -05:00
|
|
|
|
2020-10-07 08:58:21 -04:00
|
|
|
def _update_device_from_client_ips(
|
2023-10-17 08:47:42 -04:00
|
|
|
device: JsonDict, client_ips: Mapping[Tuple[str, str], DeviceLastConnectionInfo]
|
2020-10-07 08:58:21 -04:00
|
|
|
) -> None:
|
2023-10-17 08:47:42 -04:00
|
|
|
ip = client_ips.get((device["user_id"], device["device_id"]))
|
2022-08-19 12:17:10 -04:00
|
|
|
device.update(
|
|
|
|
{
|
2023-10-17 08:47:42 -04:00
|
|
|
"last_seen_user_agent": ip.user_agent if ip else None,
|
|
|
|
"last_seen_ts": ip.last_seen if ip else None,
|
|
|
|
"last_seen_ip": ip.ip if ip else None,
|
2022-08-19 12:17:10 -04:00
|
|
|
}
|
|
|
|
)
|
2017-03-01 09:12:11 -05:00
|
|
|
|
|
|
|
|
2022-11-22 14:08:04 -05:00
|
|
|
class DeviceListWorkerUpdater:
|
|
|
|
"Handles incoming device list updates from federation and contacts the main process over replication"
|
|
|
|
|
|
|
|
def __init__(self, hs: "HomeServer"):
|
|
|
|
from synapse.replication.http.devices import (
|
2023-01-10 06:17:59 -05:00
|
|
|
ReplicationMultiUserDevicesResyncRestServlet,
|
2022-11-22 14:08:04 -05:00
|
|
|
)
|
|
|
|
|
2023-01-10 06:17:59 -05:00
|
|
|
self._multi_user_device_resync_client = (
|
|
|
|
ReplicationMultiUserDevicesResyncRestServlet.make_client(hs)
|
|
|
|
)
|
|
|
|
|
|
|
|
async def multi_user_device_resync(
|
|
|
|
self, user_ids: List[str], mark_failed_as_stale: bool = True
|
2023-09-07 08:45:43 -04:00
|
|
|
) -> Dict[str, Optional[JsonMapping]]:
|
2023-01-10 06:17:59 -05:00
|
|
|
"""
|
|
|
|
Like `user_device_resync` but operates on multiple users **from the same origin**
|
|
|
|
at once.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
Dict from User ID to the same Dict as `user_device_resync`.
|
|
|
|
"""
|
|
|
|
# mark_failed_as_stale is not sent. Ensure this doesn't break expectations.
|
|
|
|
assert mark_failed_as_stale
|
|
|
|
|
|
|
|
if not user_ids:
|
|
|
|
# Shortcut empty requests
|
|
|
|
return {}
|
|
|
|
|
2023-04-21 07:06:39 -04:00
|
|
|
return await self._multi_user_device_resync_client(user_ids=user_ids)
|
2022-11-22 14:08:04 -05:00
|
|
|
|
|
|
|
|
|
|
|
class DeviceListUpdater(DeviceListWorkerUpdater):
|
2017-03-01 09:12:11 -05:00
|
|
|
"Handles incoming device list updates from federation and updates the DB"
|
|
|
|
|
2020-10-07 08:58:21 -04:00
|
|
|
def __init__(self, hs: "HomeServer", device_handler: DeviceHandler):
|
2022-02-23 06:04:02 -05:00
|
|
|
self.store = hs.get_datastores().main
|
2018-03-13 09:26:52 -04:00
|
|
|
self.federation = hs.get_federation_client()
|
2017-03-01 09:12:11 -05:00
|
|
|
self.clock = hs.get_clock()
|
|
|
|
self.device_handler = device_handler
|
2023-01-22 16:10:11 -05:00
|
|
|
self._notifier = hs.get_notifier()
|
2017-03-01 09:12:11 -05:00
|
|
|
|
2017-03-03 10:31:57 -05:00
|
|
|
self._remote_edu_linearizer = Linearizer(name="remote_device_list")
|
2023-09-07 08:45:43 -04:00
|
|
|
self._resync_linearizer = Linearizer(name="remote_device_resync")
|
2017-03-01 09:12:11 -05:00
|
|
|
|
|
|
|
# user_id -> list of updates waiting to be handled.
|
2021-07-16 13:22:36 -04:00
|
|
|
self._pending_updates: Dict[
|
|
|
|
str, List[Tuple[str, str, Iterable[str], JsonDict]]
|
|
|
|
] = {}
|
2017-03-01 09:12:11 -05:00
|
|
|
|
|
|
|
# Recently seen stream ids. We don't bother keeping these in the DB,
|
|
|
|
# but they're useful to have them about to reduce the number of spurious
|
|
|
|
# resyncs.
|
2021-07-16 13:22:36 -04:00
|
|
|
self._seen_updates: ExpiringCache[str, Set[str]] = ExpiringCache(
|
2017-03-03 11:02:53 -05:00
|
|
|
cache_name="device_update_edu",
|
|
|
|
clock=self.clock,
|
|
|
|
max_len=10000,
|
|
|
|
expiry_ms=30 * 60 * 1000,
|
|
|
|
iterable=True,
|
2021-07-16 13:22:36 -04:00
|
|
|
)
|
2017-03-01 09:12:11 -05:00
|
|
|
|
2020-05-21 11:41:12 -04:00
|
|
|
# Attempt to resync out of sync device lists every 30s.
|
|
|
|
self._resync_retry_in_progress = False
|
|
|
|
self.clock.looping_call(
|
|
|
|
run_as_background_process,
|
|
|
|
30 * 1000,
|
|
|
|
func=self._maybe_retry_device_resync,
|
|
|
|
desc="_maybe_retry_device_resync",
|
|
|
|
)
|
|
|
|
|
2019-09-03 05:21:30 -04:00
|
|
|
@trace
|
2020-10-07 08:58:21 -04:00
|
|
|
async def incoming_device_list_update(
|
|
|
|
self, origin: str, edu_content: JsonDict
|
|
|
|
) -> None:
|
2017-03-01 09:12:11 -05:00
|
|
|
"""Called on incoming device list update from federation. Responsible
|
|
|
|
for parsing the EDU and adding to pending updates list.
|
|
|
|
"""
|
|
|
|
|
2019-09-03 05:21:30 -04:00
|
|
|
set_tag("origin", origin)
|
2022-07-21 08:01:52 -04:00
|
|
|
set_tag("edu_content", str(edu_content))
|
2017-03-01 09:12:11 -05:00
|
|
|
user_id = edu_content.pop("user_id")
|
|
|
|
device_id = edu_content.pop("device_id")
|
|
|
|
stream_id = str(edu_content.pop("stream_id")) # They may come as ints
|
|
|
|
prev_ids = edu_content.pop("prev_id", [])
|
2022-05-25 05:14:45 -04:00
|
|
|
if not isinstance(prev_ids, list):
|
|
|
|
raise SynapseError(
|
|
|
|
400, "Device list update had an invalid 'prev_ids' field"
|
|
|
|
)
|
2017-03-01 09:12:11 -05:00
|
|
|
prev_ids = [str(p) for p in prev_ids] # They may come as ints
|
2017-01-26 11:06:54 -05:00
|
|
|
|
|
|
|
if get_domain_from_id(user_id) != origin:
|
|
|
|
# TODO: Raise?
|
2019-03-07 10:53:14 -05:00
|
|
|
logger.warning(
|
|
|
|
"Got device list update edu for %r/%r from %r",
|
|
|
|
user_id,
|
|
|
|
device_id,
|
|
|
|
origin,
|
|
|
|
)
|
2019-09-03 05:21:30 -04:00
|
|
|
|
|
|
|
set_tag("error", True)
|
|
|
|
log_kv(
|
|
|
|
{
|
|
|
|
"message": "Got a device list update edu from a user and "
|
|
|
|
"device which does not match the origin of the request.",
|
|
|
|
"user_id": user_id,
|
|
|
|
"device_id": device_id,
|
|
|
|
}
|
|
|
|
)
|
2017-01-26 11:06:54 -05:00
|
|
|
return
|
|
|
|
|
2022-09-28 09:42:43 -04:00
|
|
|
# Check if we are partially joining any rooms. If so we need to store
|
|
|
|
# all device list updates so that we can handle them correctly once we
|
|
|
|
# know who is in the room.
|
2022-12-05 08:07:55 -05:00
|
|
|
# TODO(faster_joins): this fetches and processes a bunch of data that we don't
|
2022-10-18 07:33:18 -04:00
|
|
|
# use. Could be replaced by a tighter query e.g.
|
|
|
|
# SELECT EXISTS(SELECT 1 FROM partial_state_rooms)
|
|
|
|
partial_rooms = await self.store.get_partial_state_room_resync_info()
|
2022-09-28 09:42:43 -04:00
|
|
|
if partial_rooms:
|
|
|
|
await self.store.add_remote_device_list_to_pending(
|
|
|
|
user_id,
|
|
|
|
device_id,
|
|
|
|
)
|
2023-01-22 16:10:11 -05:00
|
|
|
self._notifier.notify_replication()
|
2022-09-28 09:42:43 -04:00
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
room_ids = await self.store.get_rooms_for_user(user_id)
|
2017-03-16 07:51:46 -04:00
|
|
|
if not room_ids:
|
2017-01-26 11:39:33 -05:00
|
|
|
# We don't share any rooms with this user. Ignore update, as we
|
|
|
|
# probably won't get any further updates.
|
2019-09-03 05:21:30 -04:00
|
|
|
set_tag("error", True)
|
|
|
|
log_kv(
|
|
|
|
{
|
|
|
|
"message": "Got an update from a user for which "
|
|
|
|
"we don't share any rooms",
|
|
|
|
"other user_id": user_id,
|
|
|
|
}
|
|
|
|
)
|
2019-03-07 10:53:14 -05:00
|
|
|
logger.warning(
|
|
|
|
"Got device list update edu for %r/%r, but don't share a room",
|
|
|
|
user_id,
|
|
|
|
device_id,
|
|
|
|
)
|
2017-01-26 11:39:33 -05:00
|
|
|
return
|
2017-01-26 11:06:54 -05:00
|
|
|
|
2019-03-07 10:53:14 -05:00
|
|
|
logger.debug("Received device list update for %r/%r", user_id, device_id)
|
|
|
|
|
2017-03-01 09:12:11 -05:00
|
|
|
self._pending_updates.setdefault(user_id, []).append(
|
|
|
|
(device_id, stream_id, prev_ids, edu_content)
|
|
|
|
)
|
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
await self._handle_device_updates(user_id)
|
2017-03-01 09:12:11 -05:00
|
|
|
|
|
|
|
@measure_func("_incoming_device_list_update")
|
2020-10-07 08:58:21 -04:00
|
|
|
async def _handle_device_updates(self, user_id: str) -> None:
|
2017-03-01 09:12:11 -05:00
|
|
|
"Actually handle pending updates."
|
|
|
|
|
2022-04-05 10:43:52 -04:00
|
|
|
async with self._remote_edu_linearizer.queue(user_id):
|
2017-03-01 09:12:11 -05:00
|
|
|
pending_updates = self._pending_updates.pop(user_id, [])
|
|
|
|
if not pending_updates:
|
|
|
|
# This can happen since we batch updates
|
|
|
|
return
|
|
|
|
|
2021-04-20 06:50:49 -04:00
|
|
|
for device_id, stream_id, prev_ids, _ in pending_updates:
|
2019-03-07 10:53:14 -05:00
|
|
|
logger.debug(
|
|
|
|
"Handling update %r/%r, ID: %r, prev: %r ",
|
|
|
|
user_id,
|
|
|
|
device_id,
|
|
|
|
stream_id,
|
|
|
|
prev_ids,
|
|
|
|
)
|
|
|
|
|
2017-05-05 05:59:32 -04:00
|
|
|
# Given a list of updates we check if we need to resync. This
|
|
|
|
# happens if we've missed updates.
|
2020-07-17 07:09:25 -04:00
|
|
|
resync = await self._need_to_do_resync(user_id, pending_updates)
|
2017-01-26 11:06:54 -05:00
|
|
|
|
2020-02-05 09:02:39 -05:00
|
|
|
if logger.isEnabledFor(logging.INFO):
|
|
|
|
logger.info(
|
|
|
|
"Received device list update for %s, requiring resync: %s. Devices: %s",
|
|
|
|
user_id,
|
|
|
|
resync,
|
|
|
|
", ".join(u[0] for u in pending_updates),
|
|
|
|
)
|
2019-03-07 10:53:14 -05:00
|
|
|
|
2017-01-26 11:06:54 -05:00
|
|
|
if resync:
|
2023-07-24 08:43:43 -04:00
|
|
|
# We mark as stale up front in case we get restarted.
|
|
|
|
await self.store.mark_remote_users_device_caches_as_stale([user_id])
|
|
|
|
run_as_background_process(
|
|
|
|
"_maybe_retry_device_resync",
|
|
|
|
self.multi_user_device_resync,
|
|
|
|
[user_id],
|
|
|
|
False,
|
|
|
|
)
|
2017-01-26 11:06:54 -05:00
|
|
|
else:
|
2017-01-26 11:30:37 -05:00
|
|
|
# Simply update the single device, since we know that is the only
|
2018-07-10 12:58:09 -04:00
|
|
|
# change (because of the single prev_id matching the current cache)
|
2021-04-20 06:50:49 -04:00
|
|
|
for device_id, stream_id, _, content in pending_updates:
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.store.update_remote_device_list_cache_entry(
|
2017-03-01 09:12:11 -05:00
|
|
|
user_id, device_id, content, stream_id
|
|
|
|
)
|
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.device_handler.notify_device_update(
|
2017-03-01 09:12:11 -05:00
|
|
|
user_id, [device_id for device_id, _, _, _ in pending_updates]
|
2017-01-26 11:06:54 -05:00
|
|
|
)
|
|
|
|
|
2019-03-07 11:04:24 -05:00
|
|
|
self._seen_updates.setdefault(user_id, set()).update(
|
|
|
|
stream_id for _, stream_id, _, _ in pending_updates
|
|
|
|
)
|
2017-01-26 11:06:54 -05:00
|
|
|
|
2020-10-07 08:58:21 -04:00
|
|
|
async def _need_to_do_resync(
|
|
|
|
self, user_id: str, updates: Iterable[Tuple[str, str, Iterable[str], JsonDict]]
|
|
|
|
) -> bool:
|
2017-03-01 09:12:11 -05:00
|
|
|
"""Given a list of updates for a user figure out if we need to do a full
|
|
|
|
resync, or whether we have enough data that we can just apply the delta.
|
|
|
|
"""
|
2021-07-16 13:22:36 -04:00
|
|
|
seen_updates: Set[str] = self._seen_updates.get(user_id, set())
|
2017-01-26 11:39:33 -05:00
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
extremity = await self.store.get_device_list_last_stream_id_for_remote(user_id)
|
2016-07-20 12:58:44 -04:00
|
|
|
|
2019-03-07 10:53:14 -05:00
|
|
|
logger.debug("Current extremity for %r: %r", user_id, extremity)
|
|
|
|
|
2017-03-01 09:12:11 -05:00
|
|
|
stream_id_in_updates = set() # stream_ids in updates list
|
|
|
|
for _, stream_id, prev_ids, _ in updates:
|
|
|
|
if not prev_ids:
|
|
|
|
# We always do a resync if there are no previous IDs
|
2019-07-23 09:00:55 -04:00
|
|
|
return True
|
2017-03-01 09:12:11 -05:00
|
|
|
|
|
|
|
for prev_id in prev_ids:
|
|
|
|
if prev_id == extremity:
|
|
|
|
continue
|
|
|
|
elif prev_id in seen_updates:
|
|
|
|
continue
|
|
|
|
elif prev_id in stream_id_in_updates:
|
|
|
|
continue
|
|
|
|
else:
|
2019-07-23 09:00:55 -04:00
|
|
|
return True
|
2017-03-01 09:12:11 -05:00
|
|
|
|
|
|
|
stream_id_in_updates.add(stream_id)
|
|
|
|
|
2019-07-23 09:00:55 -04:00
|
|
|
return False
|
2019-07-29 11:34:44 -04:00
|
|
|
|
2020-06-15 11:42:21 -04:00
|
|
|
@trace
|
2020-10-07 08:58:21 -04:00
|
|
|
async def _maybe_retry_device_resync(self) -> None:
|
2020-05-21 11:41:12 -04:00
|
|
|
"""Retry to resync device lists that are out of sync, except if another retry is
|
|
|
|
in progress.
|
|
|
|
"""
|
|
|
|
if self._resync_retry_in_progress:
|
|
|
|
return
|
|
|
|
|
|
|
|
try:
|
|
|
|
# Prevent another call of this function to retry resyncing device lists so
|
|
|
|
# we don't send too many requests.
|
|
|
|
self._resync_retry_in_progress = True
|
|
|
|
# Get all of the users that need resyncing.
|
2020-07-17 07:09:25 -04:00
|
|
|
need_resync = await self.store.get_user_ids_requiring_device_list_resync()
|
2023-09-11 08:11:02 -04:00
|
|
|
|
|
|
|
# Filter out users whose host is marked as "down" up front.
|
|
|
|
hosts = await filter_destinations_by_retry_limiter(
|
|
|
|
{get_domain_from_id(u) for u in need_resync}, self.clock, self.store
|
|
|
|
)
|
|
|
|
hosts = set(hosts)
|
|
|
|
|
2020-05-21 11:41:12 -04:00
|
|
|
# Iterate over the set of user IDs.
|
|
|
|
for user_id in need_resync:
|
2023-09-11 08:11:02 -04:00
|
|
|
if get_domain_from_id(user_id) not in hosts:
|
|
|
|
continue
|
|
|
|
|
2020-06-01 06:55:14 -04:00
|
|
|
try:
|
|
|
|
# Try to resync the current user's devices list.
|
2023-04-21 07:06:39 -04:00
|
|
|
result = (await self.multi_user_device_resync([user_id], False))[
|
|
|
|
user_id
|
|
|
|
]
|
2020-06-01 06:55:14 -04:00
|
|
|
|
|
|
|
# user_device_resync only returns a result if it managed to
|
|
|
|
# successfully resync and update the database. Updating the table
|
|
|
|
# of users requiring resync isn't necessary here as
|
|
|
|
# user_device_resync already does it (through
|
|
|
|
# self.store.update_remote_device_list_cache).
|
|
|
|
if result:
|
|
|
|
logger.debug(
|
|
|
|
"Successfully resynced the device list for %s",
|
|
|
|
user_id,
|
|
|
|
)
|
|
|
|
except Exception as e:
|
|
|
|
# If there was an issue resyncing this user, e.g. if the remote
|
|
|
|
# server sent a malformed result, just log the error instead of
|
|
|
|
# aborting all the subsequent resyncs.
|
2020-05-21 11:41:12 -04:00
|
|
|
logger.debug(
|
2020-06-01 06:55:14 -04:00
|
|
|
"Could not resync the device list for %s: %s",
|
|
|
|
user_id,
|
|
|
|
e,
|
2020-05-21 11:41:12 -04:00
|
|
|
)
|
|
|
|
finally:
|
|
|
|
# Allow future calls to retry resyncinc out of sync device lists.
|
|
|
|
self._resync_retry_in_progress = False
|
|
|
|
|
2023-01-10 06:17:59 -05:00
|
|
|
async def multi_user_device_resync(
|
|
|
|
self, user_ids: List[str], mark_failed_as_stale: bool = True
|
2023-09-07 08:45:43 -04:00
|
|
|
) -> Dict[str, Optional[JsonMapping]]:
|
2023-01-10 06:17:59 -05:00
|
|
|
"""
|
|
|
|
Like `user_device_resync` but operates on multiple users **from the same origin**
|
|
|
|
at once.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
Dict from User ID to the same Dict as `user_device_resync`.
|
|
|
|
"""
|
|
|
|
if not user_ids:
|
|
|
|
return {}
|
|
|
|
|
|
|
|
origins = {UserID.from_string(user_id).domain for user_id in user_ids}
|
|
|
|
|
|
|
|
if len(origins) != 1:
|
|
|
|
raise InvalidAPICallError(f"Only one origin permitted, got {origins!r}")
|
|
|
|
|
|
|
|
result = {}
|
|
|
|
failed = set()
|
|
|
|
# TODO(Perf): Actually batch these up
|
|
|
|
for user_id in user_ids:
|
2023-09-07 08:45:43 -04:00
|
|
|
async with self._resync_linearizer.queue(user_id):
|
|
|
|
(
|
|
|
|
user_result,
|
|
|
|
user_failed,
|
|
|
|
) = await self._user_device_resync_returning_failed(user_id)
|
2023-01-10 06:17:59 -05:00
|
|
|
result[user_id] = user_result
|
|
|
|
if user_failed:
|
|
|
|
failed.add(user_id)
|
|
|
|
|
|
|
|
if mark_failed_as_stale:
|
|
|
|
await self.store.mark_remote_users_device_caches_as_stale(failed)
|
|
|
|
|
|
|
|
return result
|
|
|
|
|
|
|
|
async def _user_device_resync_returning_failed(
|
|
|
|
self, user_id: str
|
2023-09-07 08:45:43 -04:00
|
|
|
) -> Tuple[Optional[JsonMapping], bool]:
|
2019-07-29 11:34:44 -04:00
|
|
|
"""Fetches all devices for a user and updates the device cache with them.
|
|
|
|
|
|
|
|
Args:
|
2020-07-17 07:09:25 -04:00
|
|
|
user_id: The user's id whose device_list will be updated.
|
2019-07-29 11:34:44 -04:00
|
|
|
Returns:
|
2023-01-10 06:17:59 -05:00
|
|
|
- A dict with device info as under the "devices" in the result of this
|
|
|
|
request:
|
|
|
|
https://matrix.org/docs/spec/server_server/r0.1.2#get-matrix-federation-v1-user-devices-userid
|
|
|
|
None when we weren't able to fetch the device info for some reason,
|
|
|
|
e.g. due to a connection problem.
|
|
|
|
- True iff the resync failed and the device list should be marked as stale.
|
2019-07-29 11:34:44 -04:00
|
|
|
"""
|
2023-09-07 08:45:43 -04:00
|
|
|
# Check that we haven't gone and fetched the devices since we last
|
|
|
|
# checked if we needed to resync these device lists.
|
|
|
|
if await self.store.get_users_whose_devices_are_cached([user_id]):
|
|
|
|
cached = await self.store.get_cached_devices_for_user(user_id)
|
|
|
|
return cached, False
|
|
|
|
|
2020-06-01 06:55:14 -04:00
|
|
|
logger.debug("Attempting to resync the device list for %s", user_id)
|
2019-09-03 05:21:30 -04:00
|
|
|
log_kv({"message": "Doing resync to update device list."})
|
2019-07-29 11:34:44 -04:00
|
|
|
# Fetch all devices for the user.
|
|
|
|
origin = get_domain_from_id(user_id)
|
|
|
|
try:
|
2020-07-17 07:09:25 -04:00
|
|
|
result = await self.federation.query_user_devices(origin, user_id)
|
2020-05-21 11:41:12 -04:00
|
|
|
except NotRetryingDestination:
|
2023-01-10 06:17:59 -05:00
|
|
|
return None, True
|
2020-05-21 11:41:12 -04:00
|
|
|
except (RequestSendFailed, HttpResponseException) as e:
|
|
|
|
logger.warning(
|
|
|
|
"Failed to handle device list update for %s: %s",
|
|
|
|
user_id,
|
|
|
|
e,
|
|
|
|
)
|
|
|
|
|
2019-07-29 11:34:44 -04:00
|
|
|
# We abort on exceptions rather than accepting the update
|
|
|
|
# as otherwise synapse will 'forget' that its device list
|
|
|
|
# is out of date. If we bail then we will retry the resync
|
|
|
|
# next time we get a device list update for this user_id.
|
|
|
|
# This makes it more likely that the device lists will
|
|
|
|
# eventually become consistent.
|
2023-01-10 06:17:59 -05:00
|
|
|
return None, True
|
2019-07-29 11:34:44 -04:00
|
|
|
except FederationDeniedError as e:
|
2019-09-03 05:21:30 -04:00
|
|
|
set_tag("error", True)
|
|
|
|
log_kv({"reason": "FederationDeniedError"})
|
2019-07-29 11:34:44 -04:00
|
|
|
logger.info(e)
|
2023-01-10 06:17:59 -05:00
|
|
|
return None, False
|
2019-09-03 05:21:30 -04:00
|
|
|
except Exception as e:
|
|
|
|
set_tag("error", True)
|
|
|
|
log_kv(
|
|
|
|
{"message": "Exception raised by federation request", "exception": e}
|
|
|
|
)
|
2019-07-29 11:34:44 -04:00
|
|
|
logger.exception("Failed to handle device list update for %s", user_id)
|
2020-05-21 11:41:12 -04:00
|
|
|
|
2023-01-10 06:17:59 -05:00
|
|
|
return None, True
|
2019-09-03 05:21:30 -04:00
|
|
|
log_kv({"result": result})
|
2019-07-29 11:34:44 -04:00
|
|
|
stream_id = result["stream_id"]
|
|
|
|
devices = result["devices"]
|
|
|
|
|
2020-06-01 11:47:30 -04:00
|
|
|
# Get the master key and the self-signing key for this user if provided in the
|
|
|
|
# response (None if not in the response).
|
|
|
|
# The response will not contain the user signing key, as this key is only used by
|
|
|
|
# its owner, thus it doesn't make sense to send it over federation.
|
|
|
|
master_key = result.get("master_key")
|
|
|
|
self_signing_key = result.get("self_signing_key")
|
|
|
|
|
2021-03-17 11:04:57 -04:00
|
|
|
ignore_devices = False
|
2019-07-29 11:34:44 -04:00
|
|
|
# If the remote server has more than ~1000 devices for this user
|
|
|
|
# we assume that something is going horribly wrong (e.g. a bot
|
|
|
|
# that logs in and creates a new device every time it tries to
|
|
|
|
# send a message). Maintaining lots of devices per user in the
|
|
|
|
# cache can cause serious performance issues as if this request
|
|
|
|
# takes more than 60s to complete, internal replication from the
|
|
|
|
# inbound federation worker to the synapse master may time out
|
|
|
|
# causing the inbound federation to fail and causing the remote
|
|
|
|
# server to retry, causing a DoS. So in this scenario we give
|
|
|
|
# up on storing the total list of devices and only handle the
|
|
|
|
# delta instead.
|
|
|
|
if len(devices) > 1000:
|
2019-10-31 06:23:24 -04:00
|
|
|
logger.warning(
|
2019-07-29 11:34:44 -04:00
|
|
|
"Ignoring device list snapshot for %s as it has >1K devs (%d)",
|
|
|
|
user_id,
|
|
|
|
len(devices),
|
|
|
|
)
|
|
|
|
devices = []
|
2021-03-17 11:04:57 -04:00
|
|
|
ignore_devices = True
|
|
|
|
else:
|
2022-01-05 08:33:28 -05:00
|
|
|
prev_stream_id = await self.store.get_device_list_last_stream_id_for_remote(
|
|
|
|
user_id
|
|
|
|
)
|
2021-03-17 11:04:57 -04:00
|
|
|
cached_devices = await self.store.get_cached_devices_for_user(user_id)
|
2022-01-05 08:33:28 -05:00
|
|
|
|
|
|
|
# To ensure that a user with no devices is cached, we skip the resync only
|
|
|
|
# if we have a stream_id from previously writing a cache entry.
|
|
|
|
if prev_stream_id is not None and cached_devices == {
|
|
|
|
d["device_id"]: d for d in devices
|
|
|
|
}:
|
2021-04-22 11:53:24 -04:00
|
|
|
logging.info(
|
|
|
|
"Skipping device list resync for %s, as our cache matches already",
|
|
|
|
user_id,
|
|
|
|
)
|
2021-03-17 11:04:57 -04:00
|
|
|
devices = []
|
|
|
|
ignore_devices = True
|
2019-07-29 11:34:44 -04:00
|
|
|
|
|
|
|
for device in devices:
|
|
|
|
logger.debug(
|
|
|
|
"Handling resync update %r/%r, ID: %r",
|
|
|
|
user_id,
|
|
|
|
device["device_id"],
|
|
|
|
stream_id,
|
|
|
|
)
|
|
|
|
|
2021-03-17 11:04:57 -04:00
|
|
|
if not ignore_devices:
|
|
|
|
await self.store.update_remote_device_list_cache(
|
|
|
|
user_id, devices, stream_id
|
|
|
|
)
|
2021-04-22 11:53:24 -04:00
|
|
|
# mark the cache as valid, whether or not we actually processed any device
|
|
|
|
# list updates.
|
|
|
|
await self.store.mark_remote_user_device_cache_as_valid(user_id)
|
2019-07-29 11:34:44 -04:00
|
|
|
device_ids = [device["device_id"] for device in devices]
|
2020-06-01 11:47:30 -04:00
|
|
|
|
|
|
|
# Handle cross-signing keys.
|
2020-07-17 07:09:25 -04:00
|
|
|
cross_signing_device_ids = await self.process_cross_signing_key_update(
|
2020-06-01 11:47:30 -04:00
|
|
|
user_id,
|
|
|
|
master_key,
|
|
|
|
self_signing_key,
|
|
|
|
)
|
|
|
|
device_ids = device_ids + cross_signing_device_ids
|
|
|
|
|
2021-03-17 11:04:57 -04:00
|
|
|
if device_ids:
|
|
|
|
await self.device_handler.notify_device_update(user_id, device_ids)
|
2019-07-29 11:34:44 -04:00
|
|
|
|
|
|
|
# We clobber the seen updates since we've re-synced from a given
|
|
|
|
# point.
|
2020-02-21 07:15:07 -05:00
|
|
|
self._seen_updates[user_id] = {stream_id}
|
2019-07-29 11:34:44 -04:00
|
|
|
|
2023-01-10 06:17:59 -05:00
|
|
|
return result, False
|
2020-06-01 11:47:30 -04:00
|
|
|
|
2020-07-17 07:09:25 -04:00
|
|
|
async def process_cross_signing_key_update(
|
2020-06-01 11:47:30 -04:00
|
|
|
self,
|
|
|
|
user_id: str,
|
2021-01-28 08:34:19 -05:00
|
|
|
master_key: Optional[JsonDict],
|
|
|
|
self_signing_key: Optional[JsonDict],
|
2020-10-07 08:58:21 -04:00
|
|
|
) -> List[str]:
|
2020-06-01 11:47:30 -04:00
|
|
|
"""Process the given new master and self-signing key for the given remote user.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
user_id: The ID of the user these keys are for.
|
|
|
|
master_key: The dict of the cross-signing master key as returned by the
|
|
|
|
remote server.
|
|
|
|
self_signing_key: The dict of the cross-signing self-signing key as returned
|
|
|
|
by the remote server.
|
|
|
|
|
|
|
|
Return:
|
|
|
|
The device IDs for the given keys.
|
|
|
|
"""
|
|
|
|
device_ids = []
|
|
|
|
|
2021-03-17 11:04:57 -04:00
|
|
|
current_keys_map = await self.store.get_e2e_cross_signing_keys_bulk([user_id])
|
|
|
|
current_keys = current_keys_map.get(user_id) or {}
|
|
|
|
|
|
|
|
if master_key and master_key != current_keys.get("master"):
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.store.set_e2e_cross_signing_key(user_id, "master", master_key)
|
2020-06-01 11:47:30 -04:00
|
|
|
_, verify_key = get_verify_key_from_cross_signing_key(master_key)
|
|
|
|
# verify_key is a VerifyKey from signedjson, which uses
|
|
|
|
# .version to denote the portion of the key ID after the
|
|
|
|
# algorithm and colon, which is the device ID
|
|
|
|
device_ids.append(verify_key.version)
|
2021-03-17 11:04:57 -04:00
|
|
|
if self_signing_key and self_signing_key != current_keys.get("self_signing"):
|
2020-07-17 07:09:25 -04:00
|
|
|
await self.store.set_e2e_cross_signing_key(
|
2020-06-01 11:47:30 -04:00
|
|
|
user_id, "self_signing", self_signing_key
|
|
|
|
)
|
|
|
|
_, verify_key = get_verify_key_from_cross_signing_key(self_signing_key)
|
|
|
|
device_ids.append(verify_key.version)
|
|
|
|
|
|
|
|
return device_ids
|
2022-09-28 09:42:43 -04:00
|
|
|
|
|
|
|
async def handle_room_un_partial_stated(self, room_id: str) -> None:
|
|
|
|
"""Handles sending appropriate device list updates in a room that has
|
|
|
|
gone from partial to full state.
|
|
|
|
"""
|
|
|
|
|
|
|
|
pending_updates = (
|
|
|
|
await self.store.get_pending_remote_device_list_updates_for_room(room_id)
|
|
|
|
)
|
|
|
|
|
|
|
|
for user_id, device_id in pending_updates:
|
|
|
|
logger.info(
|
|
|
|
"Got pending device list update in room %s: %s / %s",
|
|
|
|
room_id,
|
|
|
|
user_id,
|
|
|
|
device_id,
|
|
|
|
)
|
|
|
|
position = await self.store.add_device_change_to_streams(
|
|
|
|
user_id,
|
|
|
|
[device_id],
|
|
|
|
room_ids=[room_id],
|
|
|
|
)
|
|
|
|
|
|
|
|
if not position:
|
|
|
|
# This should only happen if there are no updates, which
|
|
|
|
# shouldn't happen when we've passed in a non-empty set of
|
|
|
|
# device IDs.
|
|
|
|
continue
|
|
|
|
|
|
|
|
self.device_handler.notifier.on_new_event(
|
|
|
|
StreamKeyType.DEVICE_LIST, position, rooms=[room_id]
|
|
|
|
)
|