1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207 |
- # Copyright 2018 New Vector Ltd
- #
- # Licensed under the Apache License, Version 2.0 (the 'License');
- # you may not use this file except in compliance with the License.
- # You may obtain a copy of the License at
- #
- # http://www.apache.org/licenses/LICENSE-2.0
- #
- # Unless required by applicable law or agreed to in writing, software
- # distributed under the License is distributed on an 'AS IS' BASIS,
- # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- # See the License for the specific language governing permissions and
- # limitations under the License.
- import datetime
- from typing import Dict, List, Tuple, Union, cast
- import attr
- from parameterized import parameterized
- from twisted.test.proto_helpers import MemoryReactor
- from synapse.api.constants import EventTypes
- from synapse.api.room_versions import (
- KNOWN_ROOM_VERSIONS,
- EventFormatVersions,
- RoomVersion,
- )
- from synapse.events import EventBase, _EventInternalMetadata
- from synapse.rest import admin
- from synapse.rest.client import login, room
- from synapse.server import HomeServer
- from synapse.storage.database import LoggingTransaction
- from synapse.storage.types import Cursor
- from synapse.types import JsonDict
- from synapse.util import Clock, json_encoder
- import tests.unittest
- import tests.utils
- @attr.s(auto_attribs=True, frozen=True, slots=True)
- class _BackfillSetupInfo:
- room_id: str
- depth_map: Dict[str, int]
- class EventFederationWorkerStoreTestCase(tests.unittest.HomeserverTestCase):
- servlets = [
- admin.register_servlets,
- room.register_servlets,
- login.register_servlets,
- ]
- def prepare(self, reactor: MemoryReactor, clock: Clock, hs: HomeServer) -> None:
- self.store = hs.get_datastores().main
- persist_events = hs.get_datastores().persist_events
- assert persist_events is not None
- self.persist_events = persist_events
- def test_get_prev_events_for_room(self) -> None:
- room_id = "@ROOM:local"
- # add a bunch of events and hashes to act as forward extremities
- def insert_event(txn: Cursor, i: int) -> None:
- event_id = "$event_%i:local" % i
- txn.execute(
- (
- "INSERT INTO events ("
- " room_id, event_id, type, depth, topological_ordering,"
- " content, processed, outlier, stream_ordering) "
- "VALUES (?, ?, 'm.test', ?, ?, 'test', ?, ?, ?)"
- ),
- (room_id, event_id, i, i, True, False, i),
- )
- txn.execute(
- (
- "INSERT INTO event_forward_extremities (room_id, event_id) "
- "VALUES (?, ?)"
- ),
- (room_id, event_id),
- )
- for i in range(0, 20):
- self.get_success(
- self.store.db_pool.runInteraction("insert", insert_event, i)
- )
- # this should get the last ten
- r = self.get_success(self.store.get_prev_events_for_room(room_id))
- self.assertEqual(10, len(r))
- for i in range(0, 10):
- self.assertEqual("$event_%i:local" % (19 - i), r[i])
- def test_get_rooms_with_many_extremities(self) -> None:
- room1 = "#room1"
- room2 = "#room2"
- room3 = "#room3"
- def insert_event(txn: Cursor, i: int, room_id: str) -> None:
- event_id = "$event_%i:local" % i
- txn.execute(
- (
- "INSERT INTO event_forward_extremities (room_id, event_id) "
- "VALUES (?, ?)"
- ),
- (room_id, event_id),
- )
- for i in range(0, 20):
- self.get_success(
- self.store.db_pool.runInteraction("insert", insert_event, i, room1)
- )
- self.get_success(
- self.store.db_pool.runInteraction("insert", insert_event, i, room2)
- )
- self.get_success(
- self.store.db_pool.runInteraction("insert", insert_event, i, room3)
- )
- # Test simple case
- r = self.get_success(self.store.get_rooms_with_many_extremities(5, 5, []))
- self.assertEqual(len(r), 3)
- # Does filter work?
- r = self.get_success(self.store.get_rooms_with_many_extremities(5, 5, [room1]))
- self.assertTrue(room2 in r)
- self.assertTrue(room3 in r)
- self.assertEqual(len(r), 2)
- r = self.get_success(
- self.store.get_rooms_with_many_extremities(5, 5, [room1, room2])
- )
- self.assertEqual(r, [room3])
- # Does filter and limit work?
- r = self.get_success(self.store.get_rooms_with_many_extremities(5, 1, [room1]))
- self.assertTrue(r == [room2] or r == [room3])
- def _setup_auth_chain(self, use_chain_cover_index: bool) -> str:
- room_id = "@ROOM:local"
- # The silly auth graph we use to test the auth difference algorithm,
- # where the top are the most recent events.
- #
- # A B
- # \ /
- # D E
- # \ |
- # ` F C
- # | /|
- # G ´ |
- # | \ |
- # H I
- # | |
- # K J
- auth_graph: Dict[str, List[str]] = {
- "a": ["e"],
- "b": ["e"],
- "c": ["g", "i"],
- "d": ["f"],
- "e": ["f"],
- "f": ["g"],
- "g": ["h", "i"],
- "h": ["k"],
- "i": ["j"],
- "k": [],
- "j": [],
- }
- depth_map = {
- "a": 7,
- "b": 7,
- "c": 4,
- "d": 6,
- "e": 6,
- "f": 5,
- "g": 3,
- "h": 2,
- "i": 2,
- "k": 1,
- "j": 1,
- }
- # Mark the room as maybe having a cover index.
- def store_room(txn: LoggingTransaction) -> None:
- self.store.db_pool.simple_insert_txn(
- txn,
- "rooms",
- {
- "room_id": room_id,
- "creator": "room_creator_user_id",
- "is_public": True,
- "room_version": "6",
- "has_auth_chain_index": use_chain_cover_index,
- },
- )
- self.get_success(self.store.db_pool.runInteraction("store_room", store_room))
- # We rudely fiddle with the appropriate tables directly, as that's much
- # easier than constructing events properly.
- def insert_event(txn: LoggingTransaction) -> None:
- stream_ordering = 0
- for event_id in auth_graph:
- stream_ordering += 1
- depth = depth_map[event_id]
- self.store.db_pool.simple_insert_txn(
- txn,
- table="events",
- values={
- "event_id": event_id,
- "room_id": room_id,
- "depth": depth,
- "topological_ordering": depth,
- "type": "m.test",
- "processed": True,
- "outlier": False,
- "stream_ordering": stream_ordering,
- },
- )
- self.persist_events._persist_event_auth_chain_txn(
- txn,
- [
- cast(EventBase, FakeEvent(event_id, room_id, auth_graph[event_id]))
- for event_id in auth_graph
- ],
- )
- self.get_success(
- self.store.db_pool.runInteraction(
- "insert",
- insert_event,
- )
- )
- return room_id
- @parameterized.expand([(True,), (False,)])
- def test_auth_chain_ids(self, use_chain_cover_index: bool) -> None:
- room_id = self._setup_auth_chain(use_chain_cover_index)
- # a and b have the same auth chain.
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["a"]))
- self.assertCountEqual(auth_chain_ids, ["e", "f", "g", "h", "i", "j", "k"])
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["b"]))
- self.assertCountEqual(auth_chain_ids, ["e", "f", "g", "h", "i", "j", "k"])
- auth_chain_ids = self.get_success(
- self.store.get_auth_chain_ids(room_id, ["a", "b"])
- )
- self.assertCountEqual(auth_chain_ids, ["e", "f", "g", "h", "i", "j", "k"])
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["c"]))
- self.assertCountEqual(auth_chain_ids, ["g", "h", "i", "j", "k"])
- # d and e have the same auth chain.
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["d"]))
- self.assertCountEqual(auth_chain_ids, ["f", "g", "h", "i", "j", "k"])
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["e"]))
- self.assertCountEqual(auth_chain_ids, ["f", "g", "h", "i", "j", "k"])
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["f"]))
- self.assertCountEqual(auth_chain_ids, ["g", "h", "i", "j", "k"])
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["g"]))
- self.assertCountEqual(auth_chain_ids, ["h", "i", "j", "k"])
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["h"]))
- self.assertEqual(auth_chain_ids, {"k"})
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["i"]))
- self.assertEqual(auth_chain_ids, {"j"})
- # j and k have no parents.
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["j"]))
- self.assertEqual(auth_chain_ids, set())
- auth_chain_ids = self.get_success(self.store.get_auth_chain_ids(room_id, ["k"]))
- self.assertEqual(auth_chain_ids, set())
- # More complex input sequences.
- auth_chain_ids = self.get_success(
- self.store.get_auth_chain_ids(room_id, ["b", "c", "d"])
- )
- self.assertCountEqual(auth_chain_ids, ["e", "f", "g", "h", "i", "j", "k"])
- auth_chain_ids = self.get_success(
- self.store.get_auth_chain_ids(room_id, ["h", "i"])
- )
- self.assertCountEqual(auth_chain_ids, ["k", "j"])
- # e gets returned even though include_given is false, but it is in the
- # auth chain of b.
- auth_chain_ids = self.get_success(
- self.store.get_auth_chain_ids(room_id, ["b", "e"])
- )
- self.assertCountEqual(auth_chain_ids, ["e", "f", "g", "h", "i", "j", "k"])
- # Test include_given.
- auth_chain_ids = self.get_success(
- self.store.get_auth_chain_ids(room_id, ["i"], include_given=True)
- )
- self.assertCountEqual(auth_chain_ids, ["i", "j"])
- @parameterized.expand([(True,), (False,)])
- def test_auth_difference(self, use_chain_cover_index: bool) -> None:
- room_id = self._setup_auth_chain(use_chain_cover_index)
- # Now actually test that various combinations give the right result:
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}])
- )
- self.assertSetEqual(difference, {"a", "b"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}, {"c"}])
- )
- self.assertSetEqual(difference, {"a", "b", "c", "e", "f"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a", "c"}, {"b"}])
- )
- self.assertSetEqual(difference, {"a", "b", "c"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a", "c"}, {"b", "c"}])
- )
- self.assertSetEqual(difference, {"a", "b"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}, {"d"}])
- )
- self.assertSetEqual(difference, {"a", "b", "d", "e"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}, {"c"}, {"d"}])
- )
- self.assertSetEqual(difference, {"a", "b", "c", "d", "e", "f"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}, {"e"}])
- )
- self.assertSetEqual(difference, {"a", "b"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}])
- )
- self.assertSetEqual(difference, set())
- def test_auth_difference_partial_cover(self) -> None:
- """Test that we correctly handle rooms where not all events have a chain
- cover calculated. This can happen in some obscure edge cases, including
- during the background update that calculates the chain cover for old
- rooms.
- """
- room_id = "@ROOM:local"
- # The silly auth graph we use to test the auth difference algorithm,
- # where the top are the most recent events.
- #
- # A B
- # \ /
- # D E
- # \ |
- # ` F C
- # | /|
- # G ´ |
- # | \ |
- # H I
- # | |
- # K J
- auth_graph: Dict[str, List[str]] = {
- "a": ["e"],
- "b": ["e"],
- "c": ["g", "i"],
- "d": ["f"],
- "e": ["f"],
- "f": ["g"],
- "g": ["h", "i"],
- "h": ["k"],
- "i": ["j"],
- "k": [],
- "j": [],
- }
- depth_map = {
- "a": 7,
- "b": 7,
- "c": 4,
- "d": 6,
- "e": 6,
- "f": 5,
- "g": 3,
- "h": 2,
- "i": 2,
- "k": 1,
- "j": 1,
- }
- # We rudely fiddle with the appropriate tables directly, as that's much
- # easier than constructing events properly.
- def insert_event(txn: LoggingTransaction) -> None:
- # First insert the room and mark it as having a chain cover.
- self.store.db_pool.simple_insert_txn(
- txn,
- "rooms",
- {
- "room_id": room_id,
- "creator": "room_creator_user_id",
- "is_public": True,
- "room_version": "6",
- "has_auth_chain_index": True,
- },
- )
- stream_ordering = 0
- for event_id in auth_graph:
- stream_ordering += 1
- depth = depth_map[event_id]
- self.store.db_pool.simple_insert_txn(
- txn,
- table="events",
- values={
- "event_id": event_id,
- "room_id": room_id,
- "depth": depth,
- "topological_ordering": depth,
- "type": "m.test",
- "processed": True,
- "outlier": False,
- "stream_ordering": stream_ordering,
- },
- )
- # Insert all events apart from 'B'
- self.persist_events._persist_event_auth_chain_txn(
- txn,
- [
- cast(EventBase, FakeEvent(event_id, room_id, auth_graph[event_id]))
- for event_id in auth_graph
- if event_id != "b"
- ],
- )
- # Now we insert the event 'B' without a chain cover, by temporarily
- # pretending the room doesn't have a chain cover.
- self.store.db_pool.simple_update_txn(
- txn,
- table="rooms",
- keyvalues={"room_id": room_id},
- updatevalues={"has_auth_chain_index": False},
- )
- self.persist_events._persist_event_auth_chain_txn(
- txn,
- [cast(EventBase, FakeEvent("b", room_id, auth_graph["b"]))],
- )
- self.store.db_pool.simple_update_txn(
- txn,
- table="rooms",
- keyvalues={"room_id": room_id},
- updatevalues={"has_auth_chain_index": True},
- )
- self.get_success(
- self.store.db_pool.runInteraction(
- "insert",
- insert_event,
- )
- )
- # Now actually test that various combinations give the right result:
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}])
- )
- self.assertSetEqual(difference, {"a", "b"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}, {"c"}])
- )
- self.assertSetEqual(difference, {"a", "b", "c", "e", "f"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a", "c"}, {"b"}])
- )
- self.assertSetEqual(difference, {"a", "b", "c"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a", "c"}, {"b", "c"}])
- )
- self.assertSetEqual(difference, {"a", "b"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}, {"d"}])
- )
- self.assertSetEqual(difference, {"a", "b", "d", "e"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}, {"c"}, {"d"}])
- )
- self.assertSetEqual(difference, {"a", "b", "c", "d", "e", "f"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}, {"b"}, {"e"}])
- )
- self.assertSetEqual(difference, {"a", "b"})
- difference = self.get_success(
- self.store.get_auth_chain_difference(room_id, [{"a"}])
- )
- self.assertSetEqual(difference, set())
- @parameterized.expand(
- [(room_version,) for room_version in KNOWN_ROOM_VERSIONS.values()]
- )
- def test_prune_inbound_federation_queue(self, room_version: RoomVersion) -> None:
- """Test that pruning of inbound federation queues work"""
- room_id = "some_room_id"
- def prev_event_format(prev_event_id: str) -> Union[Tuple[str, dict], str]:
- """Account for differences in prev_events format across room versions"""
- if room_version.event_format == EventFormatVersions.ROOM_V1_V2:
- return prev_event_id, {}
- return prev_event_id
- # Insert a bunch of events that all reference the previous one.
- self.get_success(
- self.store.db_pool.simple_insert_many(
- table="federation_inbound_events_staging",
- keys=(
- "origin",
- "room_id",
- "received_ts",
- "event_id",
- "event_json",
- "internal_metadata",
- ),
- values=[
- (
- "some_origin",
- room_id,
- 0,
- f"$fake_event_id_{i + 1}",
- json_encoder.encode(
- {"prev_events": [prev_event_format(f"$fake_event_id_{i}")]}
- ),
- "{}",
- )
- for i in range(500)
- ],
- desc="test_prune_inbound_federation_queue",
- )
- )
- # Calling prune once should return True, i.e. a prune happen. The second
- # time it shouldn't.
- pruned = self.get_success(
- self.store.prune_staged_events_in_room(room_id, room_version)
- )
- self.assertTrue(pruned)
- pruned = self.get_success(
- self.store.prune_staged_events_in_room(room_id, room_version)
- )
- self.assertFalse(pruned)
- # Assert that we only have a single event left in the queue, and that it
- # is the last one.
- count = self.get_success(
- self.store.db_pool.simple_select_one_onecol(
- table="federation_inbound_events_staging",
- keyvalues={"room_id": room_id},
- retcol="COUNT(*)",
- desc="test_prune_inbound_federation_queue",
- )
- )
- self.assertEqual(count, 1)
- next_staged_event_info = self.get_success(
- self.store.get_next_staged_event_id_for_room(room_id)
- )
- assert next_staged_event_info
- _, event_id = next_staged_event_info
- self.assertEqual(event_id, "$fake_event_id_500")
- def _setup_room_for_backfill_tests(self) -> _BackfillSetupInfo:
- """
- Sets up a room with various events and backward extremities to test
- backfill functions against.
- Returns:
- _BackfillSetupInfo including the `room_id` to test against and
- `depth_map` of events in the room
- """
- room_id = "!backfill-room-test:some-host"
- # The silly graph we use to test grabbing backward extremities,
- # where the top is the oldest events.
- # 1 (oldest)
- # |
- # 2 ⹁
- # | \
- # | [b1, b2, b3]
- # | |
- # | A
- # | /
- # 3 {
- # | \
- # | [b4, b5, b6]
- # | |
- # | B
- # | /
- # 4 ´
- # |
- # 5 (newest)
- event_graph: Dict[str, List[str]] = {
- "1": [],
- "2": ["1"],
- "3": ["2", "A"],
- "4": ["3", "B"],
- "5": ["4"],
- "A": ["b1", "b2", "b3"],
- "b1": ["2"],
- "b2": ["2"],
- "b3": ["2"],
- "B": ["b4", "b5", "b6"],
- "b4": ["3"],
- "b5": ["3"],
- "b6": ["3"],
- }
- depth_map: Dict[str, int] = {
- "1": 1,
- "2": 2,
- "b1": 3,
- "b2": 3,
- "b3": 3,
- "A": 4,
- "3": 5,
- "b4": 6,
- "b5": 6,
- "b6": 6,
- "B": 7,
- "4": 8,
- "5": 9,
- }
- # The events we have persisted on our server.
- # The rest are events in the room but not backfilled tet.
- our_server_events = {"5", "4", "B", "3", "A"}
- complete_event_dict_map: Dict[str, JsonDict] = {}
- stream_ordering = 0
- for event_id, prev_event_ids in event_graph.items():
- depth = depth_map[event_id]
- complete_event_dict_map[event_id] = {
- "event_id": event_id,
- "type": "test_regular_type",
- "room_id": room_id,
- "sender": "@sender",
- "prev_event_ids": prev_event_ids,
- "auth_event_ids": [],
- "origin_server_ts": stream_ordering,
- "depth": depth,
- "stream_ordering": stream_ordering,
- "content": {"body": "event" + event_id},
- }
- stream_ordering += 1
- def populate_db(txn: LoggingTransaction) -> None:
- # Insert the room to satisfy the foreign key constraint of
- # `event_failed_pull_attempts`
- self.store.db_pool.simple_insert_txn(
- txn,
- "rooms",
- {
- "room_id": room_id,
- "creator": "room_creator_user_id",
- "is_public": True,
- "room_version": "6",
- },
- )
- # Insert our server events
- for event_id in our_server_events:
- event_dict = complete_event_dict_map[event_id]
- self.store.db_pool.simple_insert_txn(
- txn,
- table="events",
- values={
- "event_id": event_dict.get("event_id"),
- "type": event_dict.get("type"),
- "room_id": event_dict.get("room_id"),
- "depth": event_dict.get("depth"),
- "topological_ordering": event_dict.get("depth"),
- "stream_ordering": event_dict.get("stream_ordering"),
- "processed": True,
- "outlier": False,
- },
- )
- # Insert the event edges
- for event_id in our_server_events:
- for prev_event_id in event_graph[event_id]:
- self.store.db_pool.simple_insert_txn(
- txn,
- table="event_edges",
- values={
- "event_id": event_id,
- "prev_event_id": prev_event_id,
- "room_id": room_id,
- },
- )
- # Insert the backward extremities
- prev_events_of_our_events = {
- prev_event_id
- for our_server_event in our_server_events
- for prev_event_id in complete_event_dict_map[our_server_event][
- "prev_event_ids"
- ]
- }
- backward_extremities = prev_events_of_our_events - our_server_events
- for backward_extremity in backward_extremities:
- self.store.db_pool.simple_insert_txn(
- txn,
- table="event_backward_extremities",
- values={
- "event_id": backward_extremity,
- "room_id": room_id,
- },
- )
- self.get_success(
- self.store.db_pool.runInteraction(
- "_setup_room_for_backfill_tests_populate_db",
- populate_db,
- )
- )
- return _BackfillSetupInfo(room_id=room_id, depth_map=depth_map)
- def test_get_backfill_points_in_room(self) -> None:
- """
- Test to make sure only backfill points that are older and come before
- the `current_depth` are returned.
- """
- setup_info = self._setup_room_for_backfill_tests()
- room_id = setup_info.room_id
- depth_map = setup_info.depth_map
- # Try at "B"
- backfill_points = self.get_success(
- self.store.get_backfill_points_in_room(room_id, depth_map["B"], limit=100)
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- self.assertEqual(backfill_event_ids, ["b6", "b5", "b4", "2", "b3", "b2", "b1"])
- # Try at "A"
- backfill_points = self.get_success(
- self.store.get_backfill_points_in_room(room_id, depth_map["A"], limit=100)
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- # Event "2" has a depth of 2 but is not included here because we only
- # know the approximate depth of 5 from our event "3".
- self.assertListEqual(backfill_event_ids, ["b3", "b2", "b1"])
- def test_get_backfill_points_in_room_excludes_events_we_have_attempted(
- self,
- ) -> None:
- """
- Test to make sure that events we have attempted to backfill (and within
- backoff timeout duration) do not show up as an event to backfill again.
- """
- setup_info = self._setup_room_for_backfill_tests()
- room_id = setup_info.room_id
- depth_map = setup_info.depth_map
- # Record some attempts to backfill these events which will make
- # `get_backfill_points_in_room` exclude them because we
- # haven't passed the backoff interval.
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b5", "fake cause")
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b4", "fake cause")
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b3", "fake cause")
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b2", "fake cause")
- )
- # No time has passed since we attempted to backfill ^
- # Try at "B"
- backfill_points = self.get_success(
- self.store.get_backfill_points_in_room(room_id, depth_map["B"], limit=100)
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- # Only the backfill points that we didn't record earlier exist here.
- self.assertEqual(backfill_event_ids, ["b6", "2", "b1"])
- def test_get_backfill_points_in_room_attempted_event_retry_after_backoff_duration(
- self,
- ) -> None:
- """
- Test to make sure after we fake attempt to backfill event "b3" many times,
- we can see retry and see the "b3" again after the backoff timeout duration
- has exceeded.
- """
- setup_info = self._setup_room_for_backfill_tests()
- room_id = setup_info.room_id
- depth_map = setup_info.depth_map
- # Record some attempts to backfill these events which will make
- # `get_backfill_points_in_room` exclude them because we
- # haven't passed the backoff interval.
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b3", "fake cause")
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b1", "fake cause")
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b1", "fake cause")
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b1", "fake cause")
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b1", "fake cause")
- )
- # Now advance time by 2 hours and we should only be able to see "b3"
- # because we have waited long enough for the single attempt (2^1 hours)
- # but we still shouldn't see "b1" because we haven't waited long enough
- # for this many attempts. We didn't do anything to "b2" so it should be
- # visible regardless.
- self.reactor.advance(datetime.timedelta(hours=2).total_seconds())
- # Try at "A" and make sure that "b1" is not in the list because we've
- # already attempted many times
- backfill_points = self.get_success(
- self.store.get_backfill_points_in_room(room_id, depth_map["A"], limit=100)
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- self.assertEqual(backfill_event_ids, ["b3", "b2"])
- # Now advance time by 20 hours (above 2^4 because we made 4 attemps) and
- # see if we can now backfill it
- self.reactor.advance(datetime.timedelta(hours=20).total_seconds())
- # Try at "A" again after we advanced enough time and we should see "b3" again
- backfill_points = self.get_success(
- self.store.get_backfill_points_in_room(room_id, depth_map["A"], limit=100)
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- self.assertEqual(backfill_event_ids, ["b3", "b2", "b1"])
- def test_get_backfill_points_in_room_works_after_many_failed_pull_attempts_that_could_naively_overflow(
- self,
- ) -> None:
- """
- A test that reproduces #13929 (Postgres only).
- Test to make sure we can still get backfill points after many failed pull
- attempts that cause us to backoff to the limit. Even if the backoff formula
- would tell us to wait for more seconds than can be expressed in a 32 bit
- signed int.
- """
- setup_info = self._setup_room_for_backfill_tests()
- room_id = setup_info.room_id
- depth_map = setup_info.depth_map
- # Pretend that we have tried and failed 10 times to backfill event b1.
- for _ in range(10):
- self.get_success(
- self.store.record_event_failed_pull_attempt(room_id, "b1", "fake cause")
- )
- # If the backoff periods grow without limit:
- # After the first failed attempt, we would have backed off for 1 << 1 = 2 hours.
- # After the second failed attempt we would have backed off for 1 << 2 = 4 hours,
- # so after the 10th failed attempt we should backoff for 1 << 10 == 1024 hours.
- # Wait 1100 hours just so we have a nice round number.
- self.reactor.advance(datetime.timedelta(hours=1100).total_seconds())
- # 1024 hours in milliseconds is 1024 * 3600000, which exceeds the largest 32 bit
- # signed integer. The bug we're reproducing is that this overflow causes an
- # error in postgres preventing us from fetching a set of backwards extremities
- # to retry fetching.
- backfill_points = self.get_success(
- self.store.get_backfill_points_in_room(room_id, depth_map["A"], limit=100)
- )
- # We should aim to fetch all backoff points: b1's latest backoff period has
- # expired, and we haven't tried the rest.
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- self.assertEqual(backfill_event_ids, ["b3", "b2", "b1"])
- def _setup_room_for_insertion_backfill_tests(self) -> _BackfillSetupInfo:
- """
- Sets up a room with various insertion event backward extremities to test
- backfill functions against.
- Returns:
- _BackfillSetupInfo including the `room_id` to test against and
- `depth_map` of events in the room
- """
- room_id = "!backfill-room-test:some-host"
- depth_map: Dict[str, int] = {
- "1": 1,
- "2": 2,
- "insertion_eventA": 3,
- "3": 4,
- "insertion_eventB": 5,
- "4": 6,
- "5": 7,
- }
- def populate_db(txn: LoggingTransaction) -> None:
- # Insert the room to satisfy the foreign key constraint of
- # `event_failed_pull_attempts`
- self.store.db_pool.simple_insert_txn(
- txn,
- "rooms",
- {
- "room_id": room_id,
- "creator": "room_creator_user_id",
- "is_public": True,
- "room_version": "6",
- },
- )
- # Insert our server events
- stream_ordering = 0
- for event_id, depth in depth_map.items():
- self.store.db_pool.simple_insert_txn(
- txn,
- table="events",
- values={
- "event_id": event_id,
- "type": EventTypes.MSC2716_INSERTION
- if event_id.startswith("insertion_event")
- else "test_regular_type",
- "room_id": room_id,
- "depth": depth,
- "topological_ordering": depth,
- "stream_ordering": stream_ordering,
- "processed": True,
- "outlier": False,
- },
- )
- if event_id.startswith("insertion_event"):
- self.store.db_pool.simple_insert_txn(
- txn,
- table="insertion_event_extremities",
- values={
- "event_id": event_id,
- "room_id": room_id,
- },
- )
- stream_ordering += 1
- self.get_success(
- self.store.db_pool.runInteraction(
- "_setup_room_for_insertion_backfill_tests_populate_db",
- populate_db,
- )
- )
- return _BackfillSetupInfo(room_id=room_id, depth_map=depth_map)
- def test_get_insertion_event_backward_extremities_in_room(self) -> None:
- """
- Test to make sure only insertion event backward extremities that are
- older and come before the `current_depth` are returned.
- """
- setup_info = self._setup_room_for_insertion_backfill_tests()
- room_id = setup_info.room_id
- depth_map = setup_info.depth_map
- # Try at "insertion_eventB"
- backfill_points = self.get_success(
- self.store.get_insertion_event_backward_extremities_in_room(
- room_id, depth_map["insertion_eventB"], limit=100
- )
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- self.assertEqual(backfill_event_ids, ["insertion_eventB", "insertion_eventA"])
- # Try at "insertion_eventA"
- backfill_points = self.get_success(
- self.store.get_insertion_event_backward_extremities_in_room(
- room_id, depth_map["insertion_eventA"], limit=100
- )
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- # Event "2" has a depth of 2 but is not included here because we only
- # know the approximate depth of 5 from our event "3".
- self.assertListEqual(backfill_event_ids, ["insertion_eventA"])
- def test_get_insertion_event_backward_extremities_in_room_excludes_events_we_have_attempted(
- self,
- ) -> None:
- """
- Test to make sure that insertion events we have attempted to backfill
- (and within backoff timeout duration) do not show up as an event to
- backfill again.
- """
- setup_info = self._setup_room_for_insertion_backfill_tests()
- room_id = setup_info.room_id
- depth_map = setup_info.depth_map
- # Record some attempts to backfill these events which will make
- # `get_insertion_event_backward_extremities_in_room` exclude them
- # because we haven't passed the backoff interval.
- self.get_success(
- self.store.record_event_failed_pull_attempt(
- room_id, "insertion_eventA", "fake cause"
- )
- )
- # No time has passed since we attempted to backfill ^
- # Try at "insertion_eventB"
- backfill_points = self.get_success(
- self.store.get_insertion_event_backward_extremities_in_room(
- room_id, depth_map["insertion_eventB"], limit=100
- )
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- # Only the backfill points that we didn't record earlier exist here.
- self.assertEqual(backfill_event_ids, ["insertion_eventB"])
- def test_get_insertion_event_backward_extremities_in_room_attempted_event_retry_after_backoff_duration(
- self,
- ) -> None:
- """
- Test to make sure after we fake attempt to backfill event
- "insertion_eventA" many times, we can see retry and see the
- "insertion_eventA" again after the backoff timeout duration has
- exceeded.
- """
- setup_info = self._setup_room_for_insertion_backfill_tests()
- room_id = setup_info.room_id
- depth_map = setup_info.depth_map
- # Record some attempts to backfill these events which will make
- # `get_backfill_points_in_room` exclude them because we
- # haven't passed the backoff interval.
- self.get_success(
- self.store.record_event_failed_pull_attempt(
- room_id, "insertion_eventB", "fake cause"
- )
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(
- room_id, "insertion_eventA", "fake cause"
- )
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(
- room_id, "insertion_eventA", "fake cause"
- )
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(
- room_id, "insertion_eventA", "fake cause"
- )
- )
- self.get_success(
- self.store.record_event_failed_pull_attempt(
- room_id, "insertion_eventA", "fake cause"
- )
- )
- # Now advance time by 2 hours and we should only be able to see
- # "insertion_eventB" because we have waited long enough for the single
- # attempt (2^1 hours) but we still shouldn't see "insertion_eventA"
- # because we haven't waited long enough for this many attempts.
- self.reactor.advance(datetime.timedelta(hours=2).total_seconds())
- # Try at "insertion_eventA" and make sure that "insertion_eventA" is not
- # in the list because we've already attempted many times
- backfill_points = self.get_success(
- self.store.get_insertion_event_backward_extremities_in_room(
- room_id, depth_map["insertion_eventA"], limit=100
- )
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- self.assertEqual(backfill_event_ids, [])
- # Now advance time by 20 hours (above 2^4 because we made 4 attemps) and
- # see if we can now backfill it
- self.reactor.advance(datetime.timedelta(hours=20).total_seconds())
- # Try at "insertion_eventA" again after we advanced enough time and we
- # should see "insertion_eventA" again
- backfill_points = self.get_success(
- self.store.get_insertion_event_backward_extremities_in_room(
- room_id, depth_map["insertion_eventA"], limit=100
- )
- )
- backfill_event_ids = [backfill_point[0] for backfill_point in backfill_points]
- self.assertEqual(backfill_event_ids, ["insertion_eventA"])
- def test_get_event_ids_to_not_pull_from_backoff(self) -> None:
- """
- Test to make sure only event IDs we should backoff from are returned.
- """
- # Create the room
- user_id = self.register_user("alice", "test")
- tok = self.login("alice", "test")
- room_id = self.helper.create_room_as(room_creator=user_id, tok=tok)
- self.get_success(
- self.store.record_event_failed_pull_attempt(
- room_id, "$failed_event_id", "fake cause"
- )
- )
- event_ids_to_backoff = self.get_success(
- self.store.get_event_ids_to_not_pull_from_backoff(
- room_id=room_id, event_ids=["$failed_event_id", "$normal_event_id"]
- )
- )
- self.assertEqual(event_ids_to_backoff, ["$failed_event_id"])
- def test_get_event_ids_to_not_pull_from_backoff_retry_after_backoff_duration(
- self,
- ) -> None:
- """
- Test to make sure no event IDs are returned after the backoff duration has
- elapsed.
- """
- # Create the room
- user_id = self.register_user("alice", "test")
- tok = self.login("alice", "test")
- room_id = self.helper.create_room_as(room_creator=user_id, tok=tok)
- self.get_success(
- self.store.record_event_failed_pull_attempt(
- room_id, "$failed_event_id", "fake cause"
- )
- )
- # Now advance time by 2 hours so we wait long enough for the single failed
- # attempt (2^1 hours).
- self.reactor.advance(datetime.timedelta(hours=2).total_seconds())
- event_ids_to_backoff = self.get_success(
- self.store.get_event_ids_to_not_pull_from_backoff(
- room_id=room_id, event_ids=["$failed_event_id", "$normal_event_id"]
- )
- )
- # Since this function only returns events we should backoff from, time has
- # elapsed past the backoff range so there is no events to backoff from.
- self.assertEqual(event_ids_to_backoff, [])
- @attr.s(auto_attribs=True)
- class FakeEvent:
- event_id: str
- room_id: str
- auth_events: List[str]
- type = "foo"
- state_key = "foo"
- internal_metadata = _EventInternalMetadata({})
- def auth_event_ids(self) -> List[str]:
- return self.auth_events
- def is_state(self) -> bool:
- return True
|