2016-07-20 11:34:00 -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 2016-2021 The Matrix.org Foundation C.I.C.
|
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-20 11:34:00 -04:00
|
|
|
#
|
|
|
|
#
|
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
from typing import Collection, List, Tuple
|
|
|
|
|
|
|
|
from twisted.test.proto_helpers import MemoryReactor
|
|
|
|
|
2016-07-25 12:51:24 -04:00
|
|
|
import synapse.api.errors
|
2022-05-27 07:14:36 -04:00
|
|
|
from synapse.api.constants import EduTypes
|
2022-12-09 12:36:32 -05:00
|
|
|
from synapse.server import HomeServer
|
|
|
|
from synapse.types import JsonDict
|
|
|
|
from synapse.util import Clock
|
2018-07-09 02:09:20 -04:00
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
from tests.unittest import HomeserverTestCase
|
2016-07-20 11:34:00 -04:00
|
|
|
|
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
class DeviceStoreTestCase(HomeserverTestCase):
|
2022-12-09 12:36:32 -05:00
|
|
|
def prepare(self, reactor: MemoryReactor, clock: Clock, hs: HomeServer) -> None:
|
2022-02-23 06:04:02 -05:00
|
|
|
self.store = hs.get_datastores().main
|
2016-07-20 11:34:00 -04:00
|
|
|
|
2024-06-25 05:34:34 -04:00
|
|
|
def default_config(self) -> JsonDict:
|
|
|
|
config = super().default_config()
|
|
|
|
|
|
|
|
# We 'enable' federation otherwise `get_device_updates_by_remote` will
|
|
|
|
# throw an exception.
|
|
|
|
config["federation_sender_instances"] = ["master"]
|
|
|
|
return config
|
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def add_device_change(self, user_id: str, device_ids: List[str], host: str) -> None:
|
2022-04-12 11:50:40 -04:00
|
|
|
"""Add a device list change for the given device to
|
|
|
|
`device_lists_outbound_pokes` table.
|
|
|
|
"""
|
|
|
|
|
|
|
|
for device_id in device_ids:
|
2022-11-22 11:46:52 -05:00
|
|
|
self.get_success(
|
2022-04-12 11:50:40 -04:00
|
|
|
self.store.add_device_change_to_streams(
|
2022-04-26 12:07:21 -04:00
|
|
|
user_id, [device_id], ["!some:room"]
|
2022-04-12 11:50:40 -04:00
|
|
|
)
|
|
|
|
)
|
|
|
|
|
|
|
|
self.get_success(
|
|
|
|
self.store.add_device_list_outbound_pokes(
|
|
|
|
user_id=user_id,
|
|
|
|
device_id=device_id,
|
|
|
|
room_id="!some:room",
|
|
|
|
hosts=[host],
|
|
|
|
context={},
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def test_store_new_device(self) -> None:
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-08-12 10:51:42 -04:00
|
|
|
self.store.store_device("user_id", "device_id", "display_name")
|
|
|
|
)
|
2016-07-20 11:34:00 -04:00
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
res = self.get_success(self.store.get_device("user_id", "device_id"))
|
2022-12-09 12:36:32 -05:00
|
|
|
assert res is not None
|
2023-08-25 15:05:10 -04:00
|
|
|
self.assertLessEqual(
|
2018-08-10 09:54:09 -04:00
|
|
|
{
|
|
|
|
"user_id": "user_id",
|
|
|
|
"device_id": "device_id",
|
|
|
|
"display_name": "display_name",
|
2023-08-25 15:05:10 -04:00
|
|
|
}.items(),
|
|
|
|
res.items(),
|
2018-08-10 09:54:09 -04:00
|
|
|
)
|
2016-07-20 11:34:00 -04:00
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def test_get_devices_by_user(self) -> None:
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-08-12 10:51:42 -04:00
|
|
|
self.store.store_device("user_id", "device1", "display_name 1")
|
|
|
|
)
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-08-12 10:51:42 -04:00
|
|
|
self.store.store_device("user_id", "device2", "display_name 2")
|
|
|
|
)
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-08-12 10:51:42 -04:00
|
|
|
self.store.store_device("user_id2", "device3", "display_name 3")
|
|
|
|
)
|
2016-07-20 11:34:00 -04:00
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
res = self.get_success(self.store.get_devices_by_user("user_id"))
|
2016-07-20 11:34:00 -04:00
|
|
|
self.assertEqual(2, len(res.keys()))
|
2023-08-25 15:05:10 -04:00
|
|
|
self.assertLessEqual(
|
2018-08-10 09:54:09 -04:00
|
|
|
{
|
|
|
|
"user_id": "user_id",
|
|
|
|
"device_id": "device1",
|
|
|
|
"display_name": "display_name 1",
|
2023-08-25 15:05:10 -04:00
|
|
|
}.items(),
|
|
|
|
res["device1"].items(),
|
2018-08-10 09:54:09 -04:00
|
|
|
)
|
2023-08-25 15:05:10 -04:00
|
|
|
self.assertLessEqual(
|
2018-08-10 09:54:09 -04:00
|
|
|
{
|
|
|
|
"user_id": "user_id",
|
|
|
|
"device_id": "device2",
|
|
|
|
"display_name": "display_name 2",
|
2023-08-25 15:05:10 -04:00
|
|
|
}.items(),
|
|
|
|
res["device2"].items(),
|
2018-08-10 09:54:09 -04:00
|
|
|
)
|
2016-07-25 12:51:24 -04:00
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def test_count_devices_by_users(self) -> None:
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-12-11 05:42:47 -05:00
|
|
|
self.store.store_device("user_id", "device1", "display_name 1")
|
|
|
|
)
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-12-11 05:42:47 -05:00
|
|
|
self.store.store_device("user_id", "device2", "display_name 2")
|
|
|
|
)
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-12-11 05:42:47 -05:00
|
|
|
self.store.store_device("user_id2", "device3", "display_name 3")
|
|
|
|
)
|
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
res = self.get_success(self.store.count_devices_by_users())
|
2020-12-11 05:42:47 -05:00
|
|
|
self.assertEqual(0, res)
|
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
res = self.get_success(self.store.count_devices_by_users(["unknown"]))
|
2020-12-11 05:42:47 -05:00
|
|
|
self.assertEqual(0, res)
|
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
res = self.get_success(self.store.count_devices_by_users(["user_id"]))
|
2020-12-11 05:42:47 -05:00
|
|
|
self.assertEqual(2, res)
|
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
res = self.get_success(
|
2020-12-11 05:42:47 -05:00
|
|
|
self.store.count_devices_by_users(["user_id", "user_id2"])
|
|
|
|
)
|
|
|
|
self.assertEqual(3, res)
|
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def test_get_device_updates_by_remote(self) -> None:
|
2019-06-06 18:54:00 -04:00
|
|
|
device_ids = ["device_id1", "device_id2"]
|
|
|
|
|
2022-01-12 10:21:13 -05:00
|
|
|
# Add two device updates with sequential `stream_id`s
|
2022-04-14 08:05:31 -04:00
|
|
|
self.add_device_change("@user_id:test", device_ids, "somehost")
|
2019-06-06 18:54:00 -04:00
|
|
|
|
|
|
|
# Get all device updates ever meant for this remote
|
2021-04-06 07:21:02 -04:00
|
|
|
now_stream_id, device_updates = self.get_success(
|
2020-08-12 10:51:42 -04:00
|
|
|
self.store.get_device_updates_by_remote("somehost", -1, limit=100)
|
2019-06-06 18:54:00 -04:00
|
|
|
)
|
|
|
|
|
|
|
|
# Check original device_ids are contained within these updates
|
|
|
|
self._check_devices_in_updates(device_ids, device_updates)
|
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def test_get_device_updates_by_remote_can_limit_properly(self) -> None:
|
2022-01-12 10:21:13 -05:00
|
|
|
"""
|
|
|
|
Tests that `get_device_updates_by_remote` returns an appropriate
|
|
|
|
stream_id to resume fetching from (without skipping any results).
|
|
|
|
"""
|
|
|
|
|
|
|
|
# Add some device updates with sequential `stream_id`s
|
|
|
|
device_ids = [
|
|
|
|
"device_id1",
|
|
|
|
"device_id2",
|
|
|
|
"device_id3",
|
|
|
|
"device_id4",
|
|
|
|
"device_id5",
|
|
|
|
]
|
2022-04-14 08:05:31 -04:00
|
|
|
self.add_device_change("@user_id:test", device_ids, "somehost")
|
2022-01-12 10:21:13 -05:00
|
|
|
|
2022-01-13 13:12:18 -05:00
|
|
|
# Get device updates meant for this remote
|
2022-01-12 10:21:13 -05:00
|
|
|
next_stream_id, device_updates = self.get_success(
|
|
|
|
self.store.get_device_updates_by_remote("somehost", -1, limit=3)
|
|
|
|
)
|
|
|
|
|
|
|
|
# Check the first three original device_ids are contained within these updates
|
|
|
|
self._check_devices_in_updates(device_ids[:3], device_updates)
|
|
|
|
|
|
|
|
# Get the next batch of device updates
|
|
|
|
next_stream_id, device_updates = self.get_success(
|
|
|
|
self.store.get_device_updates_by_remote("somehost", next_stream_id, limit=3)
|
|
|
|
)
|
|
|
|
|
|
|
|
# Check the last two original device_ids are contained within these updates
|
|
|
|
self._check_devices_in_updates(device_ids[3:], device_updates)
|
|
|
|
|
|
|
|
# Add some more device updates to ensure it still resumes properly
|
|
|
|
device_ids = ["device_id6", "device_id7"]
|
2022-04-14 08:05:31 -04:00
|
|
|
self.add_device_change("@user_id:test", device_ids, "somehost")
|
2022-01-12 10:21:13 -05:00
|
|
|
|
|
|
|
# Get the next batch of device updates
|
|
|
|
next_stream_id, device_updates = self.get_success(
|
|
|
|
self.store.get_device_updates_by_remote("somehost", next_stream_id, limit=3)
|
|
|
|
)
|
|
|
|
|
|
|
|
# Check the newly-added device_ids are contained within these updates
|
|
|
|
self._check_devices_in_updates(device_ids, device_updates)
|
|
|
|
|
2022-01-13 13:12:18 -05:00
|
|
|
# Check there are no more device updates left.
|
|
|
|
_, device_updates = self.get_success(
|
|
|
|
self.store.get_device_updates_by_remote("somehost", next_stream_id, limit=3)
|
|
|
|
)
|
|
|
|
self.assertEqual(device_updates, [])
|
|
|
|
|
|
|
|
def test_get_device_updates_by_remote_cross_signing_key_updates(
|
|
|
|
self,
|
|
|
|
) -> None:
|
|
|
|
"""
|
|
|
|
Tests that `get_device_updates_by_remote` limits the length of the return value
|
|
|
|
properly when cross-signing key updates are present.
|
|
|
|
Current behaviour is that the cross-signing key updates will always come in pairs,
|
|
|
|
even if that means leaving an earlier batch one EDU short of the limit.
|
|
|
|
"""
|
|
|
|
|
|
|
|
assert self.hs.is_mine_id(
|
|
|
|
"@user_id:test"
|
|
|
|
), "Test not valid: this MXID should be considered local"
|
|
|
|
|
|
|
|
self.get_success(
|
|
|
|
self.store.set_e2e_cross_signing_key(
|
|
|
|
"@user_id:test",
|
|
|
|
"master",
|
|
|
|
{
|
|
|
|
"keys": {
|
|
|
|
"ed25519:fakeMaster": "aaafakefakefake1AAAAAAAAAAAAAAAAAAAAAAAAAAA="
|
|
|
|
},
|
|
|
|
"signatures": {
|
|
|
|
"@user_id:test": {
|
|
|
|
"ed25519:fake2": "aaafakefakefake2AAAAAAAAAAAAAAAAAAAAAAAAAAA="
|
|
|
|
}
|
|
|
|
},
|
|
|
|
},
|
|
|
|
)
|
|
|
|
)
|
|
|
|
self.get_success(
|
|
|
|
self.store.set_e2e_cross_signing_key(
|
|
|
|
"@user_id:test",
|
|
|
|
"self_signing",
|
|
|
|
{
|
|
|
|
"keys": {
|
|
|
|
"ed25519:fakeSelfSigning": "aaafakefakefake3AAAAAAAAAAAAAAAAAAAAAAAAAAA="
|
|
|
|
},
|
|
|
|
"signatures": {
|
|
|
|
"@user_id:test": {
|
|
|
|
"ed25519:fake4": "aaafakefakefake4AAAAAAAAAAAAAAAAAAAAAAAAAAA="
|
|
|
|
}
|
|
|
|
},
|
|
|
|
},
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
|
|
|
# Add some device updates with sequential `stream_id`s
|
|
|
|
# Note that the public cross-signing keys occupy the same space as device IDs,
|
|
|
|
# so also notify that those have updated.
|
|
|
|
device_ids = [
|
|
|
|
"device_id1",
|
|
|
|
"device_id2",
|
|
|
|
"fakeMaster",
|
|
|
|
"fakeSelfSigning",
|
|
|
|
]
|
|
|
|
|
2022-04-12 11:50:40 -04:00
|
|
|
self.add_device_change("@user_id:test", device_ids, "somehost")
|
2022-01-13 13:12:18 -05:00
|
|
|
|
|
|
|
# Get device updates meant for this remote
|
|
|
|
next_stream_id, device_updates = self.get_success(
|
|
|
|
self.store.get_device_updates_by_remote("somehost", -1, limit=3)
|
|
|
|
)
|
|
|
|
|
|
|
|
# Here we expect the device updates for `device_id1` and `device_id2`.
|
|
|
|
# That means we only receive 2 updates this time around.
|
|
|
|
# If we had a higher limit, we would expect to see the pair of
|
|
|
|
# (unstable-prefixed & unprefixed) signing key updates for the device
|
|
|
|
# represented by `fakeMaster` and `fakeSelfSigning`.
|
|
|
|
# Our implementation only sends these two variants together, so we get
|
|
|
|
# a short batch.
|
|
|
|
self.assertEqual(len(device_updates), 2, device_updates)
|
|
|
|
|
|
|
|
# Check the first two devices (device_id1, device_id2) came out.
|
|
|
|
self._check_devices_in_updates(device_ids[:2], device_updates)
|
|
|
|
|
|
|
|
# Get more device updates meant for this remote
|
|
|
|
next_stream_id, device_updates = self.get_success(
|
|
|
|
self.store.get_device_updates_by_remote("somehost", next_stream_id, limit=3)
|
|
|
|
)
|
|
|
|
|
|
|
|
# The next 2 updates should be a cross-signing key update
|
|
|
|
# (the master key update and the self-signing key update are combined into
|
|
|
|
# one 'signing key update', but the cross-signing key update is emitted
|
|
|
|
# twice, once with an unprefixed type and once again with an unstable-prefixed type)
|
|
|
|
# (This is a temporary arrangement for backwards compatibility!)
|
|
|
|
self.assertEqual(len(device_updates), 2, device_updates)
|
|
|
|
self.assertEqual(
|
2022-05-27 07:14:36 -04:00
|
|
|
device_updates[0][0], EduTypes.SIGNING_KEY_UPDATE, device_updates[0]
|
2022-01-13 13:12:18 -05:00
|
|
|
)
|
|
|
|
self.assertEqual(
|
2022-05-27 07:14:36 -04:00
|
|
|
device_updates[1][0],
|
|
|
|
EduTypes.UNSTABLE_SIGNING_KEY_UPDATE,
|
|
|
|
device_updates[1],
|
2022-01-13 13:12:18 -05:00
|
|
|
)
|
|
|
|
|
|
|
|
# Check there are no more device updates left.
|
|
|
|
_, device_updates = self.get_success(
|
|
|
|
self.store.get_device_updates_by_remote("somehost", next_stream_id, limit=3)
|
|
|
|
)
|
|
|
|
self.assertEqual(device_updates, [])
|
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def _check_devices_in_updates(
|
|
|
|
self,
|
|
|
|
expected_device_ids: Collection[str],
|
|
|
|
device_updates: List[Tuple[str, JsonDict]],
|
|
|
|
) -> None:
|
2019-06-06 18:54:00 -04:00
|
|
|
"""Check that an specific device ids exist in a list of device update EDUs"""
|
|
|
|
self.assertEqual(len(device_updates), len(expected_device_ids))
|
|
|
|
|
2019-10-22 22:26:30 -04:00
|
|
|
received_device_ids = {
|
|
|
|
update["device_id"] for edu_type, update in device_updates
|
|
|
|
}
|
2019-06-06 18:54:00 -04:00
|
|
|
self.assertEqual(received_device_ids, set(expected_device_ids))
|
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def test_update_device(self) -> None:
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-08-12 10:51:42 -04:00
|
|
|
self.store.store_device("user_id", "device_id", "display_name 1")
|
|
|
|
)
|
2016-07-25 12:51:24 -04:00
|
|
|
|
2021-04-06 07:21:02 -04:00
|
|
|
res = self.get_success(self.store.get_device("user_id", "device_id"))
|
2022-12-09 12:36:32 -05:00
|
|
|
assert res is not None
|
2016-07-25 12:51:24 -04:00
|
|
|
self.assertEqual("display_name 1", res["display_name"])
|
|
|
|
|
|
|
|
# do a no-op first
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(self.store.update_device("user_id", "device_id"))
|
|
|
|
res = self.get_success(self.store.get_device("user_id", "device_id"))
|
2022-12-09 12:36:32 -05:00
|
|
|
assert res is not None
|
2016-07-25 12:51:24 -04:00
|
|
|
self.assertEqual("display_name 1", res["display_name"])
|
|
|
|
|
|
|
|
# do the update
|
2021-04-06 07:21:02 -04:00
|
|
|
self.get_success(
|
2020-08-12 10:51:42 -04:00
|
|
|
self.store.update_device(
|
|
|
|
"user_id", "device_id", new_display_name="display_name 2"
|
|
|
|
)
|
2016-07-25 12:51:24 -04:00
|
|
|
)
|
|
|
|
|
|
|
|
# check it worked
|
2021-04-06 07:21:02 -04:00
|
|
|
res = self.get_success(self.store.get_device("user_id", "device_id"))
|
2022-12-09 12:36:32 -05:00
|
|
|
assert res is not None
|
2016-07-25 12:51:24 -04:00
|
|
|
self.assertEqual("display_name 2", res["display_name"])
|
|
|
|
|
2022-12-09 12:36:32 -05:00
|
|
|
def test_update_unknown_device(self) -> None:
|
2021-04-06 07:21:02 -04:00
|
|
|
exc = self.get_failure(
|
|
|
|
self.store.update_device(
|
|
|
|
"user_id", "unknown_device_id", new_display_name="display_name 2"
|
|
|
|
),
|
|
|
|
synapse.api.errors.StoreError,
|
|
|
|
)
|
|
|
|
self.assertEqual(404, exc.value.code)
|