2014-08-12 08:10:52 -06:00
|
|
|
# -*- coding: utf-8 -*-
|
2016-01-06 21:26:29 -07:00
|
|
|
# Copyright 2014-2016 OpenMarket Ltd
|
2014-08-12 08:10:52 -06:00
|
|
|
#
|
|
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
# you may not use this file except in compliance with the License.
|
|
|
|
# You may obtain a copy of the License at
|
|
|
|
#
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
#
|
|
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
# See the License for the specific language governing permissions and
|
|
|
|
# limitations under the License.
|
|
|
|
|
2014-08-19 09:40:25 -06:00
|
|
|
""" This module is responsible for getting events from the DB for pagination
|
|
|
|
and event streaming.
|
|
|
|
|
|
|
|
The order it returns events in depend on whether we are streaming forwards or
|
|
|
|
are paginating backwards. We do this because we want to handle out of order
|
|
|
|
messages nicely, while still returning them in the correct order when we
|
|
|
|
paginate bacwards.
|
|
|
|
|
|
|
|
This is implemented by keeping two ordering columns: stream_ordering and
|
|
|
|
topological_ordering. Stream ordering is basically insertion/received order
|
2015-10-28 07:45:56 -06:00
|
|
|
(except for events from backfill requests). The topological_ordering is a
|
2014-08-19 09:40:25 -06:00
|
|
|
weak ordering of events based on the pdu graph.
|
|
|
|
|
|
|
|
This means that we have to have two different types of tokens, depending on
|
|
|
|
what sort order was used:
|
|
|
|
- stream tokens are of the form: "s%d", which maps directly to the column
|
|
|
|
- topological tokems: "t%d-%d", where the integers map to the topological
|
|
|
|
and stream ordering columns respectively.
|
|
|
|
"""
|
|
|
|
|
2014-08-14 11:40:50 -06:00
|
|
|
from twisted.internet import defer
|
2014-08-12 20:14:34 -06:00
|
|
|
|
2018-03-01 06:56:03 -07:00
|
|
|
from synapse.storage._base import SQLBaseStore
|
|
|
|
from synapse.storage.events import EventsWorkerStore
|
|
|
|
|
2016-03-23 05:42:50 -06:00
|
|
|
from synapse.util.caches.descriptors import cached
|
2015-05-11 11:00:33 -06:00
|
|
|
from synapse.types import RoomStreamToken
|
2018-03-01 06:56:03 -07:00
|
|
|
from synapse.util.caches.stream_change_cache import StreamChangeCache
|
2017-11-14 04:22:42 -07:00
|
|
|
from synapse.util.logcontext import make_deferred_yieldable, preserve_fn
|
2016-07-05 06:55:18 -06:00
|
|
|
from synapse.storage.engines import PostgresEngine, Sqlite3Engine
|
2014-08-14 11:01:39 -06:00
|
|
|
|
2018-03-01 06:56:03 -07:00
|
|
|
import abc
|
2014-08-12 08:10:52 -06:00
|
|
|
import logging
|
|
|
|
|
|
|
|
|
2014-08-14 11:01:39 -06:00
|
|
|
logger = logging.getLogger(__name__)
|
2014-08-12 08:10:52 -06:00
|
|
|
|
|
|
|
|
2014-08-14 11:01:39 -06:00
|
|
|
MAX_STREAM_SIZE = 1000
|
2014-08-12 08:10:52 -06:00
|
|
|
|
|
|
|
|
2014-08-19 07:19:48 -06:00
|
|
|
_STREAM_TOKEN = "stream"
|
|
|
|
_TOPOLOGICAL_TOKEN = "topological"
|
|
|
|
|
|
|
|
|
2016-07-05 03:39:13 -06:00
|
|
|
def lower_bound(token, engine, inclusive=False):
|
|
|
|
inclusive = "=" if inclusive else ""
|
2015-05-11 11:00:33 -06:00
|
|
|
if token.topological is None:
|
2016-07-04 12:44:55 -06:00
|
|
|
return "(%d <%s %s)" % (token.stream, inclusive, "stream_ordering")
|
2015-05-11 11:00:33 -06:00
|
|
|
else:
|
2016-07-04 12:44:55 -06:00
|
|
|
if isinstance(engine, PostgresEngine):
|
|
|
|
# Postgres doesn't optimise ``(x < a) OR (x=a AND y<b)`` as well
|
|
|
|
# as it optimises ``(x,y) < (a,b)`` on multicolumn indexes. So we
|
|
|
|
# use the later form when running against postgres.
|
|
|
|
return "((%d,%d) <%s (%s,%s))" % (
|
|
|
|
token.topological, token.stream, inclusive,
|
|
|
|
"topological_ordering", "stream_ordering",
|
|
|
|
)
|
|
|
|
return "(%d < %s OR (%d = %s AND %d <%s %s))" % (
|
2015-05-11 11:00:33 -06:00
|
|
|
token.topological, "topological_ordering",
|
|
|
|
token.topological, "topological_ordering",
|
2016-07-04 12:44:55 -06:00
|
|
|
token.stream, inclusive, "stream_ordering",
|
2015-05-11 11:00:33 -06:00
|
|
|
)
|
2015-01-13 07:14:21 -07:00
|
|
|
|
2014-08-19 07:19:48 -06:00
|
|
|
|
2016-07-05 03:39:13 -06:00
|
|
|
def upper_bound(token, engine, inclusive=True):
|
|
|
|
inclusive = "=" if inclusive else ""
|
2015-05-11 11:00:33 -06:00
|
|
|
if token.topological is None:
|
2016-07-04 12:44:55 -06:00
|
|
|
return "(%d >%s %s)" % (token.stream, inclusive, "stream_ordering")
|
2015-05-11 11:00:33 -06:00
|
|
|
else:
|
2016-07-04 12:44:55 -06:00
|
|
|
if isinstance(engine, PostgresEngine):
|
|
|
|
# Postgres doesn't optimise ``(x > a) OR (x=a AND y>b)`` as well
|
|
|
|
# as it optimises ``(x,y) > (a,b)`` on multicolumn indexes. So we
|
|
|
|
# use the later form when running against postgres.
|
|
|
|
return "((%d,%d) >%s (%s,%s))" % (
|
|
|
|
token.topological, token.stream, inclusive,
|
|
|
|
"topological_ordering", "stream_ordering",
|
|
|
|
)
|
|
|
|
return "(%d > %s OR (%d = %s AND %d >%s %s))" % (
|
2015-05-11 11:00:33 -06:00
|
|
|
token.topological, "topological_ordering",
|
|
|
|
token.topological, "topological_ordering",
|
2016-07-04 12:44:55 -06:00
|
|
|
token.stream, inclusive, "stream_ordering",
|
2015-05-11 11:00:33 -06:00
|
|
|
)
|
2014-08-19 07:19:48 -06:00
|
|
|
|
|
|
|
|
2016-07-14 08:35:27 -06:00
|
|
|
def filter_to_clause(event_filter):
|
2016-07-20 03:18:09 -06:00
|
|
|
# NB: This may create SQL clauses that don't optimise well (and we don't
|
|
|
|
# have indices on all possible clauses). E.g. it may create
|
|
|
|
# "room_id == X AND room_id != X", which postgres doesn't optimise.
|
|
|
|
|
2016-07-14 08:35:27 -06:00
|
|
|
if not event_filter:
|
|
|
|
return "", []
|
|
|
|
|
|
|
|
clauses = []
|
|
|
|
args = []
|
|
|
|
|
|
|
|
if event_filter.types:
|
|
|
|
clauses.append(
|
|
|
|
"(%s)" % " OR ".join("type = ?" for _ in event_filter.types)
|
|
|
|
)
|
|
|
|
args.extend(event_filter.types)
|
|
|
|
|
|
|
|
for typ in event_filter.not_types:
|
|
|
|
clauses.append("type != ?")
|
|
|
|
args.append(typ)
|
|
|
|
|
|
|
|
if event_filter.senders:
|
|
|
|
clauses.append(
|
|
|
|
"(%s)" % " OR ".join("sender = ?" for _ in event_filter.senders)
|
|
|
|
)
|
|
|
|
args.extend(event_filter.senders)
|
|
|
|
|
|
|
|
for sender in event_filter.not_senders:
|
|
|
|
clauses.append("sender != ?")
|
|
|
|
args.append(sender)
|
|
|
|
|
|
|
|
if event_filter.rooms:
|
|
|
|
clauses.append(
|
|
|
|
"(%s)" % " OR ".join("room_id = ?" for _ in event_filter.rooms)
|
|
|
|
)
|
|
|
|
args.extend(event_filter.rooms)
|
|
|
|
|
|
|
|
for room_id in event_filter.not_rooms:
|
|
|
|
clauses.append("room_id != ?")
|
|
|
|
args.append(room_id)
|
|
|
|
|
|
|
|
if event_filter.contains_url:
|
|
|
|
clauses.append("contains_url = ?")
|
|
|
|
args.append(event_filter.contains_url)
|
|
|
|
|
|
|
|
return " AND ".join(clauses), args
|
|
|
|
|
|
|
|
|
2018-03-01 06:56:03 -07:00
|
|
|
class StreamWorkerStore(EventsWorkerStore, SQLBaseStore):
|
2018-03-01 09:20:57 -07:00
|
|
|
"""This is an abstract base class where subclasses must implement
|
|
|
|
`get_room_max_stream_ordering` and `get_room_min_stream_ordering`
|
|
|
|
which can be called in the initializer.
|
|
|
|
"""
|
|
|
|
|
2018-03-01 06:56:03 -07:00
|
|
|
__metaclass__ = abc.ABCMeta
|
2015-02-25 08:00:59 -07:00
|
|
|
|
2018-03-01 06:56:03 -07:00
|
|
|
def __init__(self, db_conn, hs):
|
|
|
|
super(StreamWorkerStore, self).__init__(db_conn, hs)
|
2015-02-26 09:23:01 -07:00
|
|
|
|
2018-03-01 06:56:03 -07:00
|
|
|
events_max = self.get_room_max_stream_ordering()
|
|
|
|
event_cache_prefill, min_event_val = self._get_cache_dict(
|
|
|
|
db_conn, "events",
|
|
|
|
entity_column="room_id",
|
|
|
|
stream_column="stream_ordering",
|
|
|
|
max_value=events_max,
|
|
|
|
)
|
|
|
|
self._events_stream_cache = StreamChangeCache(
|
|
|
|
"EventsRoomStreamChangeCache", min_event_val,
|
|
|
|
prefilled_cache=event_cache_prefill,
|
|
|
|
)
|
|
|
|
self._membership_stream_cache = StreamChangeCache(
|
|
|
|
"MembershipStreamChangeCache", events_max,
|
2016-06-03 10:12:48 -06:00
|
|
|
)
|
|
|
|
|
2018-03-01 06:56:03 -07:00
|
|
|
self._stream_order_on_start = self.get_room_max_stream_ordering()
|
2015-02-25 08:00:59 -07:00
|
|
|
|
2018-03-01 09:20:57 -07:00
|
|
|
@abc.abstractmethod
|
|
|
|
def get_room_max_stream_ordering(self):
|
|
|
|
raise NotImplementedError()
|
|
|
|
|
|
|
|
@abc.abstractmethod
|
|
|
|
def get_room_min_stream_ordering(self):
|
|
|
|
raise NotImplementedError()
|
|
|
|
|
2016-01-27 02:54:30 -07:00
|
|
|
@defer.inlineCallbacks
|
2016-02-11 03:07:27 -07:00
|
|
|
def get_room_events_stream_for_rooms(self, room_ids, from_key, to_key, limit=0,
|
|
|
|
order='DESC'):
|
2016-01-27 02:54:30 -07:00
|
|
|
from_id = RoomStreamToken.parse_stream_token(from_key).stream
|
|
|
|
|
2016-01-28 09:37:41 -07:00
|
|
|
room_ids = yield self._events_stream_cache.get_entities_changed(
|
2016-01-28 08:02:37 -07:00
|
|
|
room_ids, from_id
|
2016-01-27 02:54:30 -07:00
|
|
|
)
|
|
|
|
|
|
|
|
if not room_ids:
|
|
|
|
defer.returnValue({})
|
|
|
|
|
|
|
|
results = {}
|
|
|
|
room_ids = list(room_ids)
|
2016-02-02 10:18:50 -07:00
|
|
|
for rm_ids in (room_ids[i:i + 20] for i in xrange(0, len(room_ids), 20)):
|
2017-11-14 04:22:42 -07:00
|
|
|
res = yield make_deferred_yieldable(defer.gatherResults([
|
2016-02-04 03:22:44 -07:00
|
|
|
preserve_fn(self.get_room_events_stream_for_room)(
|
2016-02-11 03:07:27 -07:00
|
|
|
room_id, from_key, to_key, limit, order=order,
|
2016-02-04 03:22:44 -07:00
|
|
|
)
|
2016-02-11 08:02:56 -07:00
|
|
|
for room_id in rm_ids
|
2016-08-23 08:23:39 -06:00
|
|
|
]))
|
2016-02-04 03:22:44 -07:00
|
|
|
results.update(dict(zip(rm_ids, res)))
|
2016-01-27 02:54:30 -07:00
|
|
|
|
|
|
|
defer.returnValue(results)
|
|
|
|
|
2017-02-01 10:33:16 -07:00
|
|
|
def get_rooms_that_changed(self, room_ids, from_key):
|
2017-02-01 10:35:23 -07:00
|
|
|
"""Given a list of rooms and a token, return rooms where there may have
|
|
|
|
been changes.
|
2017-02-01 10:52:57 -07:00
|
|
|
|
|
|
|
Args:
|
|
|
|
room_ids (list)
|
|
|
|
from_key (str): The room_key portion of a StreamToken
|
2017-02-01 10:35:23 -07:00
|
|
|
"""
|
2017-02-01 10:33:16 -07:00
|
|
|
from_key = RoomStreamToken.parse_stream_token(from_key).stream
|
|
|
|
return set(
|
|
|
|
room_id for room_id in room_ids
|
|
|
|
if self._events_stream_cache.has_entity_changed(room_id, from_key)
|
|
|
|
)
|
|
|
|
|
2016-01-27 02:54:30 -07:00
|
|
|
@defer.inlineCallbacks
|
2016-02-11 03:07:27 -07:00
|
|
|
def get_room_events_stream_for_room(self, room_id, from_key, to_key, limit=0,
|
|
|
|
order='DESC'):
|
2016-03-09 09:51:22 -07:00
|
|
|
# Note: If from_key is None then we return in topological order. This
|
|
|
|
# is because in that case we're using this as a "get the last few messages
|
|
|
|
# in a room" function, rather than "get new messages since last sync"
|
2016-01-27 02:54:30 -07:00
|
|
|
if from_key is not None:
|
|
|
|
from_id = RoomStreamToken.parse_stream_token(from_key).stream
|
|
|
|
else:
|
|
|
|
from_id = None
|
|
|
|
to_id = RoomStreamToken.parse_stream_token(to_key).stream
|
|
|
|
|
|
|
|
if from_key == to_key:
|
|
|
|
defer.returnValue(([], from_key))
|
|
|
|
|
2016-01-28 08:55:26 -07:00
|
|
|
if from_id:
|
2016-01-28 09:39:18 -07:00
|
|
|
has_changed = yield self._events_stream_cache.has_entity_changed(
|
2016-01-28 08:55:26 -07:00
|
|
|
room_id, from_id
|
|
|
|
)
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-01-28 08:55:26 -07:00
|
|
|
if not has_changed:
|
|
|
|
defer.returnValue(([], from_key))
|
2016-01-27 02:54:30 -07:00
|
|
|
|
|
|
|
def f(txn):
|
|
|
|
if from_id is not None:
|
|
|
|
sql = (
|
|
|
|
"SELECT event_id, stream_ordering FROM events WHERE"
|
|
|
|
" room_id = ?"
|
|
|
|
" AND not outlier"
|
|
|
|
" AND stream_ordering > ? AND stream_ordering <= ?"
|
2016-02-11 03:07:27 -07:00
|
|
|
" ORDER BY stream_ordering %s LIMIT ?"
|
|
|
|
) % (order,)
|
2016-01-27 02:54:30 -07:00
|
|
|
txn.execute(sql, (room_id, from_id, to_id, limit))
|
|
|
|
else:
|
|
|
|
sql = (
|
|
|
|
"SELECT event_id, stream_ordering FROM events WHERE"
|
|
|
|
" room_id = ?"
|
|
|
|
" AND not outlier"
|
|
|
|
" AND stream_ordering <= ?"
|
2016-03-09 08:45:34 -07:00
|
|
|
" ORDER BY topological_ordering %s, stream_ordering %s LIMIT ?"
|
|
|
|
) % (order, order,)
|
2016-01-27 02:54:30 -07:00
|
|
|
txn.execute(sql, (room_id, to_id, limit))
|
|
|
|
|
|
|
|
rows = self.cursor_to_dict(txn)
|
|
|
|
|
2016-02-02 08:58:14 -07:00
|
|
|
return rows
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-02-02 08:58:14 -07:00
|
|
|
rows = yield self.runInteraction("get_room_events_stream_for_room", f)
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-02-02 08:58:14 -07:00
|
|
|
ret = yield self._get_events(
|
|
|
|
[r["event_id"] for r in rows],
|
|
|
|
get_prev_content=True
|
|
|
|
)
|
2016-01-28 04:52:34 -07:00
|
|
|
|
2016-03-09 09:11:53 -07:00
|
|
|
self._set_before_and_after(ret, rows, topo_order=from_id is None)
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-02-11 03:07:27 -07:00
|
|
|
if order.lower() == "desc":
|
|
|
|
ret.reverse()
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-02-02 08:58:14 -07:00
|
|
|
if rows:
|
|
|
|
key = "s%d" % min(r["stream_ordering"] for r in rows)
|
|
|
|
else:
|
|
|
|
# Assume we didn't get anything because there was nothing to
|
|
|
|
# get.
|
|
|
|
key = from_key
|
|
|
|
|
|
|
|
defer.returnValue((ret, key))
|
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
2016-02-02 09:12:10 -07:00
|
|
|
def get_membership_changes_for_user(self, user_id, from_key, to_key):
|
2016-01-27 02:54:30 -07:00
|
|
|
if from_key is not None:
|
|
|
|
from_id = RoomStreamToken.parse_stream_token(from_key).stream
|
|
|
|
else:
|
|
|
|
from_id = None
|
|
|
|
to_id = RoomStreamToken.parse_stream_token(to_key).stream
|
|
|
|
|
|
|
|
if from_key == to_key:
|
2016-02-02 08:58:14 -07:00
|
|
|
defer.returnValue([])
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-01-29 09:52:48 -07:00
|
|
|
if from_id:
|
|
|
|
has_changed = self._membership_stream_cache.has_entity_changed(
|
|
|
|
user_id, int(from_id)
|
|
|
|
)
|
|
|
|
if not has_changed:
|
2016-02-02 08:58:14 -07:00
|
|
|
defer.returnValue([])
|
2016-01-29 09:52:48 -07:00
|
|
|
|
2016-01-27 02:54:30 -07:00
|
|
|
def f(txn):
|
|
|
|
if from_id is not None:
|
|
|
|
sql = (
|
2016-01-27 10:11:04 -07:00
|
|
|
"SELECT m.event_id, stream_ordering FROM events AS e,"
|
|
|
|
" room_memberships AS m"
|
2016-01-27 02:54:30 -07:00
|
|
|
" WHERE e.event_id = m.event_id"
|
|
|
|
" AND m.user_id = ?"
|
|
|
|
" AND e.stream_ordering > ? AND e.stream_ordering <= ?"
|
|
|
|
" ORDER BY e.stream_ordering ASC"
|
|
|
|
)
|
|
|
|
txn.execute(sql, (user_id, from_id, to_id,))
|
|
|
|
else:
|
|
|
|
sql = (
|
2016-01-27 10:11:04 -07:00
|
|
|
"SELECT m.event_id, stream_ordering FROM events AS e,"
|
|
|
|
" room_memberships AS m"
|
2016-01-27 02:54:30 -07:00
|
|
|
" WHERE e.event_id = m.event_id"
|
|
|
|
" AND m.user_id = ?"
|
|
|
|
" AND stream_ordering <= ?"
|
|
|
|
" ORDER BY stream_ordering ASC"
|
|
|
|
)
|
|
|
|
txn.execute(sql, (user_id, to_id,))
|
|
|
|
rows = self.cursor_to_dict(txn)
|
|
|
|
|
2016-02-02 08:58:14 -07:00
|
|
|
return rows
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-02-02 09:12:10 -07:00
|
|
|
rows = yield self.runInteraction("get_membership_changes_for_user", f)
|
2016-02-02 08:58:14 -07:00
|
|
|
|
|
|
|
ret = yield self._get_events(
|
|
|
|
[r["event_id"] for r in rows],
|
|
|
|
get_prev_content=True
|
|
|
|
)
|
2016-02-01 09:26:51 -07:00
|
|
|
|
2016-02-02 08:58:14 -07:00
|
|
|
self._set_before_and_after(ret, rows, topo_order=False)
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-02-02 08:58:14 -07:00
|
|
|
defer.returnValue(ret)
|
2016-01-27 02:54:30 -07:00
|
|
|
|
2016-03-23 05:42:50 -06:00
|
|
|
@defer.inlineCallbacks
|
2015-08-05 08:06:51 -06:00
|
|
|
def get_recent_events_for_room(self, room_id, limit, end_token, from_token=None):
|
2016-03-23 05:42:50 -06:00
|
|
|
rows, token = yield self.get_recent_event_ids_for_room(
|
|
|
|
room_id, limit, end_token, from_token
|
|
|
|
)
|
|
|
|
|
|
|
|
logger.debug("stream before")
|
|
|
|
events = yield self._get_events(
|
|
|
|
[r["event_id"] for r in rows],
|
|
|
|
get_prev_content=True
|
|
|
|
)
|
|
|
|
logger.debug("stream after")
|
|
|
|
|
|
|
|
self._set_before_and_after(events, rows)
|
|
|
|
|
|
|
|
defer.returnValue((events, token))
|
2014-08-15 06:58:28 -06:00
|
|
|
|
2016-03-23 05:42:50 -06:00
|
|
|
@cached(num_args=4)
|
|
|
|
def get_recent_event_ids_for_room(self, room_id, limit, end_token, from_token=None):
|
2015-05-11 11:00:33 -06:00
|
|
|
end_token = RoomStreamToken.parse_stream_token(end_token)
|
2014-08-15 06:58:28 -06:00
|
|
|
|
2015-01-27 09:24:22 -07:00
|
|
|
if from_token is None:
|
|
|
|
sql = (
|
|
|
|
"SELECT stream_ordering, topological_ordering, event_id"
|
|
|
|
" FROM events"
|
2015-04-14 06:53:20 -06:00
|
|
|
" WHERE room_id = ? AND stream_ordering <= ? AND outlier = ?"
|
2015-01-27 09:24:22 -07:00
|
|
|
" ORDER BY topological_ordering DESC, stream_ordering DESC"
|
|
|
|
" LIMIT ?"
|
|
|
|
)
|
|
|
|
else:
|
2015-05-11 11:00:33 -06:00
|
|
|
from_token = RoomStreamToken.parse_stream_token(from_token)
|
2015-01-27 09:24:22 -07:00
|
|
|
sql = (
|
|
|
|
"SELECT stream_ordering, topological_ordering, event_id"
|
|
|
|
" FROM events"
|
|
|
|
" WHERE room_id = ? AND stream_ordering > ?"
|
2015-04-14 06:53:20 -06:00
|
|
|
" AND stream_ordering <= ? AND outlier = ?"
|
2015-01-27 09:24:22 -07:00
|
|
|
" ORDER BY topological_ordering DESC, stream_ordering DESC"
|
|
|
|
" LIMIT ?"
|
|
|
|
)
|
|
|
|
|
|
|
|
def get_recent_events_for_room_txn(txn):
|
|
|
|
if from_token is None:
|
2015-04-14 06:53:20 -06:00
|
|
|
txn.execute(sql, (room_id, end_token.stream, False, limit,))
|
2015-01-27 09:24:22 -07:00
|
|
|
else:
|
|
|
|
txn.execute(sql, (
|
2015-04-14 06:53:20 -06:00
|
|
|
room_id, from_token.stream, end_token.stream, False, limit
|
2015-01-27 09:24:22 -07:00
|
|
|
))
|
2014-08-15 06:58:28 -06:00
|
|
|
|
2015-01-06 06:03:23 -07:00
|
|
|
rows = self.cursor_to_dict(txn)
|
2014-08-18 09:20:21 -06:00
|
|
|
|
2015-01-06 06:03:23 -07:00
|
|
|
rows.reverse() # As we selected with reverse ordering
|
2014-08-18 09:20:21 -06:00
|
|
|
|
2015-01-06 06:03:23 -07:00
|
|
|
if rows:
|
2015-01-13 07:14:21 -07:00
|
|
|
# Tokens are positions between events.
|
|
|
|
# This token points *after* the last event in the chunk.
|
|
|
|
# We need it to point to the event before it in the chunk
|
|
|
|
# since we are going backwards so we subtract one from the
|
|
|
|
# stream part.
|
|
|
|
topo = rows[0]["topological_ordering"]
|
2015-01-12 10:38:30 -07:00
|
|
|
toke = rows[0]["stream_ordering"] - 1
|
2015-05-11 11:00:33 -06:00
|
|
|
start_token = str(RoomStreamToken(topo, toke))
|
2015-01-06 06:03:23 -07:00
|
|
|
|
2015-01-30 04:42:09 -07:00
|
|
|
token = (start_token, str(end_token))
|
2015-01-06 06:03:23 -07:00
|
|
|
else:
|
2015-01-30 04:42:09 -07:00
|
|
|
token = (str(end_token), str(end_token))
|
2015-01-06 06:03:23 -07:00
|
|
|
|
2015-05-13 09:59:41 -06:00
|
|
|
return rows, token
|
2014-09-05 19:23:36 -06:00
|
|
|
|
2016-03-23 05:42:50 -06:00
|
|
|
return self.runInteraction(
|
2015-01-27 09:24:22 -07:00
|
|
|
"get_recent_events_for_room", get_recent_events_for_room_txn
|
|
|
|
)
|
2014-08-15 06:58:28 -06:00
|
|
|
|
2018-03-01 16:20:54 -07:00
|
|
|
def get_room_event_after_stream_ordering(self, room_id, stream_ordering):
|
|
|
|
"""Gets details of the first event in a room at or after a stream ordering
|
|
|
|
|
|
|
|
Args:
|
|
|
|
room_id (str):
|
|
|
|
stream_ordering (int):
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
Deferred[(int, int, str)]:
|
|
|
|
(stream ordering, topological ordering, event_id)
|
|
|
|
"""
|
|
|
|
def _f(txn):
|
|
|
|
sql = (
|
|
|
|
"SELECT stream_ordering, topological_ordering, event_id"
|
|
|
|
" FROM events"
|
|
|
|
" WHERE room_id = ? AND stream_ordering >= ?"
|
|
|
|
" AND NOT outlier"
|
|
|
|
" ORDER BY stream_ordering"
|
|
|
|
" LIMIT 1"
|
|
|
|
)
|
|
|
|
txn.execute(sql, (room_id, stream_ordering, ))
|
|
|
|
return txn.fetchone()
|
|
|
|
|
|
|
|
return self.runInteraction(
|
|
|
|
"get_room_event_after_stream_ordering", _f,
|
|
|
|
)
|
|
|
|
|
2015-04-09 04:41:36 -06:00
|
|
|
@defer.inlineCallbacks
|
2016-10-24 06:35:51 -06:00
|
|
|
def get_room_events_max_id(self, room_id=None):
|
|
|
|
"""Returns the current token for rooms stream.
|
|
|
|
|
|
|
|
By default, it returns the current global stream token. Specifying a
|
|
|
|
`room_id` causes it to return the current room specific topological
|
|
|
|
token.
|
|
|
|
"""
|
2018-03-01 06:56:03 -07:00
|
|
|
token = yield self.get_room_max_stream_ordering()
|
2016-10-24 06:35:51 -06:00
|
|
|
if room_id is None:
|
2015-05-12 03:28:10 -06:00
|
|
|
defer.returnValue("s%d" % (token,))
|
|
|
|
else:
|
|
|
|
topo = yield self.runInteraction(
|
2016-10-24 06:35:51 -06:00
|
|
|
"_get_max_topological_txn", self._get_max_topological_txn,
|
|
|
|
room_id,
|
2015-05-12 03:28:10 -06:00
|
|
|
)
|
|
|
|
defer.returnValue("t%d-%d" % (topo, token))
|
|
|
|
|
2015-09-09 06:25:22 -06:00
|
|
|
def get_stream_token_for_event(self, event_id):
|
|
|
|
"""The stream token for an event
|
|
|
|
Args:
|
|
|
|
event_id(str): The id of the event to look up a stream token for.
|
|
|
|
Raises:
|
|
|
|
StoreError if the event wasn't in the database.
|
|
|
|
Returns:
|
|
|
|
A deferred "s%d" stream token.
|
|
|
|
"""
|
|
|
|
return self._simple_select_one_onecol(
|
|
|
|
table="events",
|
|
|
|
keyvalues={"event_id": event_id},
|
|
|
|
retcol="stream_ordering",
|
2015-09-09 10:31:09 -06:00
|
|
|
).addCallback(lambda row: "s%d" % (row,))
|
|
|
|
|
|
|
|
def get_topological_token_for_event(self, event_id):
|
|
|
|
"""The stream token for an event
|
|
|
|
Args:
|
|
|
|
event_id(str): The id of the event to look up a stream token for.
|
|
|
|
Raises:
|
|
|
|
StoreError if the event wasn't in the database.
|
|
|
|
Returns:
|
|
|
|
A deferred "t%d-%d" topological token.
|
|
|
|
"""
|
|
|
|
return self._simple_select_one(
|
|
|
|
table="events",
|
|
|
|
keyvalues={"event_id": event_id},
|
|
|
|
retcols=("stream_ordering", "topological_ordering"),
|
2016-02-03 09:22:35 -07:00
|
|
|
desc="get_topological_token_for_event",
|
2015-09-09 10:31:09 -06:00
|
|
|
).addCallback(lambda row: "t%d-%d" % (
|
|
|
|
row["topological_ordering"], row["stream_ordering"],)
|
|
|
|
)
|
2015-09-09 06:25:22 -06:00
|
|
|
|
2016-07-05 08:30:25 -06:00
|
|
|
def get_max_topological_token(self, room_id, stream_key):
|
2016-01-28 04:52:34 -07:00
|
|
|
sql = (
|
|
|
|
"SELECT max(topological_ordering) FROM events"
|
|
|
|
" WHERE room_id = ? AND stream_ordering < ?"
|
|
|
|
)
|
|
|
|
return self._execute(
|
2016-07-05 08:30:25 -06:00
|
|
|
"get_max_topological_token", None,
|
2016-01-28 04:52:34 -07:00
|
|
|
sql, room_id, stream_key,
|
|
|
|
).addCallback(
|
|
|
|
lambda r: r[0][0] if r else 0
|
|
|
|
)
|
|
|
|
|
2016-10-24 06:35:51 -06:00
|
|
|
def _get_max_topological_txn(self, txn, room_id):
|
2015-05-12 03:28:10 -06:00
|
|
|
txn.execute(
|
|
|
|
"SELECT MAX(topological_ordering) FROM events"
|
2016-10-24 06:35:51 -06:00
|
|
|
" WHERE room_id = ?",
|
|
|
|
(room_id,)
|
2015-05-12 03:28:10 -06:00
|
|
|
)
|
|
|
|
|
|
|
|
rows = txn.fetchall()
|
|
|
|
return rows[0][0] if rows else 0
|
2014-08-26 07:31:48 -06:00
|
|
|
|
2015-01-30 04:32:35 -07:00
|
|
|
@staticmethod
|
2016-01-28 04:34:17 -07:00
|
|
|
def _set_before_and_after(events, rows, topo_order=True):
|
2015-01-30 04:32:35 -07:00
|
|
|
for event, row in zip(events, rows):
|
|
|
|
stream = row["stream_ordering"]
|
2016-01-28 04:34:17 -07:00
|
|
|
if topo_order:
|
|
|
|
topo = event.depth
|
|
|
|
else:
|
|
|
|
topo = None
|
2015-01-30 04:32:35 -07:00
|
|
|
internal = event.internal_metadata
|
2015-05-11 11:00:33 -06:00
|
|
|
internal.before = str(RoomStreamToken(topo, stream - 1))
|
|
|
|
internal.after = str(RoomStreamToken(topo, stream))
|
2016-02-01 09:32:46 -07:00
|
|
|
internal.order = (
|
|
|
|
int(topo) if topo else 0,
|
|
|
|
int(stream),
|
|
|
|
)
|
2015-10-28 07:45:56 -06:00
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def get_events_around(self, room_id, event_id, before_limit, after_limit):
|
2015-10-28 08:05:50 -06:00
|
|
|
"""Retrieve events and pagination tokens around a given event in a
|
|
|
|
room.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
room_id (str)
|
|
|
|
event_id (str)
|
|
|
|
before_limit (int)
|
|
|
|
after_limit (int)
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
dict
|
|
|
|
"""
|
|
|
|
|
2015-10-28 07:45:56 -06:00
|
|
|
results = yield self.runInteraction(
|
|
|
|
"get_events_around", self._get_events_around_txn,
|
|
|
|
room_id, event_id, before_limit, after_limit
|
|
|
|
)
|
|
|
|
|
|
|
|
events_before = yield self._get_events(
|
|
|
|
[e for e in results["before"]["event_ids"]],
|
|
|
|
get_prev_content=True
|
|
|
|
)
|
|
|
|
|
|
|
|
events_after = yield self._get_events(
|
|
|
|
[e for e in results["after"]["event_ids"]],
|
|
|
|
get_prev_content=True
|
|
|
|
)
|
|
|
|
|
|
|
|
defer.returnValue({
|
|
|
|
"events_before": events_before,
|
|
|
|
"events_after": events_after,
|
|
|
|
"start": results["before"]["token"],
|
|
|
|
"end": results["after"]["token"],
|
|
|
|
})
|
|
|
|
|
|
|
|
def _get_events_around_txn(self, txn, room_id, event_id, before_limit, after_limit):
|
2015-10-28 08:05:50 -06:00
|
|
|
"""Retrieves event_ids and pagination tokens around a given event in a
|
|
|
|
room.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
room_id (str)
|
|
|
|
event_id (str)
|
|
|
|
before_limit (int)
|
|
|
|
after_limit (int)
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
dict
|
|
|
|
"""
|
|
|
|
|
2015-10-28 07:45:56 -06:00
|
|
|
results = self._simple_select_one_txn(
|
|
|
|
txn,
|
|
|
|
"events",
|
|
|
|
keyvalues={
|
|
|
|
"event_id": event_id,
|
|
|
|
"room_id": room_id,
|
|
|
|
},
|
|
|
|
retcols=["stream_ordering", "topological_ordering"],
|
|
|
|
)
|
|
|
|
|
2016-07-04 12:44:55 -06:00
|
|
|
token = RoomStreamToken(
|
|
|
|
results["topological_ordering"],
|
|
|
|
results["stream_ordering"],
|
2015-10-28 07:45:56 -06:00
|
|
|
)
|
|
|
|
|
2016-07-05 06:55:18 -06:00
|
|
|
if isinstance(self.database_engine, Sqlite3Engine):
|
|
|
|
# SQLite3 doesn't optimise ``(x < a) OR (x = a AND y < b)``
|
|
|
|
# So we give pass it to SQLite3 as the UNION ALL of the two queries.
|
|
|
|
|
|
|
|
query_before = (
|
|
|
|
"SELECT topological_ordering, stream_ordering, event_id FROM events"
|
|
|
|
" WHERE room_id = ? AND topological_ordering < ?"
|
|
|
|
" UNION ALL"
|
|
|
|
" SELECT topological_ordering, stream_ordering, event_id FROM events"
|
|
|
|
" WHERE room_id = ? AND topological_ordering = ? AND stream_ordering < ?"
|
|
|
|
" ORDER BY topological_ordering DESC, stream_ordering DESC LIMIT ?"
|
|
|
|
)
|
|
|
|
before_args = (
|
|
|
|
room_id, token.topological,
|
|
|
|
room_id, token.topological, token.stream,
|
|
|
|
before_limit,
|
|
|
|
)
|
2015-10-28 07:45:56 -06:00
|
|
|
|
2016-07-05 06:55:18 -06:00
|
|
|
query_after = (
|
|
|
|
"SELECT topological_ordering, stream_ordering, event_id FROM events"
|
|
|
|
" WHERE room_id = ? AND topological_ordering > ?"
|
|
|
|
" UNION ALL"
|
|
|
|
" SELECT topological_ordering, stream_ordering, event_id FROM events"
|
|
|
|
" WHERE room_id = ? AND topological_ordering = ? AND stream_ordering > ?"
|
|
|
|
" ORDER BY topological_ordering ASC, stream_ordering ASC LIMIT ?"
|
2015-10-28 07:45:56 -06:00
|
|
|
)
|
2016-07-05 06:55:18 -06:00
|
|
|
after_args = (
|
|
|
|
room_id, token.topological,
|
|
|
|
room_id, token.topological, token.stream,
|
|
|
|
after_limit,
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
query_before = (
|
|
|
|
"SELECT topological_ordering, stream_ordering, event_id FROM events"
|
|
|
|
" WHERE room_id = ? AND %s"
|
|
|
|
" ORDER BY topological_ordering DESC, stream_ordering DESC LIMIT ?"
|
|
|
|
) % (upper_bound(token, self.database_engine, inclusive=False),)
|
|
|
|
|
2016-07-05 07:06:07 -06:00
|
|
|
before_args = (room_id, before_limit)
|
2016-07-05 06:55:18 -06:00
|
|
|
|
|
|
|
query_after = (
|
|
|
|
"SELECT topological_ordering, stream_ordering, event_id FROM events"
|
|
|
|
" WHERE room_id = ? AND %s"
|
|
|
|
" ORDER BY topological_ordering ASC, stream_ordering ASC LIMIT ?"
|
|
|
|
) % (lower_bound(token, self.database_engine, inclusive=False),)
|
2015-10-28 07:45:56 -06:00
|
|
|
|
2016-07-05 06:55:18 -06:00
|
|
|
after_args = (room_id, after_limit)
|
2015-10-28 07:45:56 -06:00
|
|
|
|
2016-07-05 06:55:18 -06:00
|
|
|
txn.execute(query_before, before_args)
|
2015-10-28 07:45:56 -06:00
|
|
|
|
|
|
|
rows = self.cursor_to_dict(txn)
|
|
|
|
events_before = [r["event_id"] for r in rows]
|
|
|
|
|
|
|
|
if rows:
|
|
|
|
start_token = str(RoomStreamToken(
|
|
|
|
rows[0]["topological_ordering"],
|
|
|
|
rows[0]["stream_ordering"] - 1,
|
|
|
|
))
|
|
|
|
else:
|
|
|
|
start_token = str(RoomStreamToken(
|
2016-07-04 12:44:55 -06:00
|
|
|
token.topological,
|
|
|
|
token.stream - 1,
|
2015-10-28 07:45:56 -06:00
|
|
|
))
|
|
|
|
|
2016-07-05 06:55:18 -06:00
|
|
|
txn.execute(query_after, after_args)
|
2015-10-28 07:45:56 -06:00
|
|
|
|
|
|
|
rows = self.cursor_to_dict(txn)
|
|
|
|
events_after = [r["event_id"] for r in rows]
|
|
|
|
|
|
|
|
if rows:
|
|
|
|
end_token = str(RoomStreamToken(
|
|
|
|
rows[-1]["topological_ordering"],
|
|
|
|
rows[-1]["stream_ordering"],
|
|
|
|
))
|
|
|
|
else:
|
2016-07-04 12:44:55 -06:00
|
|
|
end_token = str(token)
|
2015-10-28 07:45:56 -06:00
|
|
|
|
|
|
|
return {
|
|
|
|
"before": {
|
|
|
|
"event_ids": events_before,
|
|
|
|
"token": start_token,
|
|
|
|
},
|
|
|
|
"after": {
|
|
|
|
"event_ids": events_after,
|
|
|
|
"token": end_token,
|
|
|
|
},
|
|
|
|
}
|
2016-11-17 08:46:44 -07:00
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def get_all_new_events_stream(self, from_id, current_id, limit):
|
|
|
|
"""Get all new events"""
|
|
|
|
|
|
|
|
def get_all_new_events_stream_txn(txn):
|
|
|
|
sql = (
|
|
|
|
"SELECT e.stream_ordering, e.event_id"
|
|
|
|
" FROM events AS e"
|
|
|
|
" WHERE"
|
|
|
|
" ? < e.stream_ordering AND e.stream_ordering <= ?"
|
|
|
|
" ORDER BY e.stream_ordering ASC"
|
|
|
|
" LIMIT ?"
|
|
|
|
)
|
|
|
|
|
|
|
|
txn.execute(sql, (from_id, current_id, limit))
|
|
|
|
rows = txn.fetchall()
|
|
|
|
|
|
|
|
upper_bound = current_id
|
|
|
|
if len(rows) == limit:
|
|
|
|
upper_bound = rows[-1][0]
|
|
|
|
|
|
|
|
return upper_bound, [row[1] for row in rows]
|
|
|
|
|
|
|
|
upper_bound, event_ids = yield self.runInteraction(
|
|
|
|
"get_all_new_events_stream", get_all_new_events_stream_txn,
|
|
|
|
)
|
|
|
|
|
|
|
|
events = yield self._get_events(event_ids)
|
|
|
|
|
|
|
|
defer.returnValue((upper_bound, events))
|
2016-11-21 04:28:37 -07:00
|
|
|
|
|
|
|
def get_federation_out_pos(self, typ):
|
|
|
|
return self._simple_select_one_onecol(
|
|
|
|
table="federation_stream_position",
|
|
|
|
retcol="stream_id",
|
|
|
|
keyvalues={"type": typ},
|
|
|
|
desc="get_federation_out_pos"
|
|
|
|
)
|
|
|
|
|
|
|
|
def update_federation_out_pos(self, typ, stream_id):
|
|
|
|
return self._simple_update_one(
|
|
|
|
table="federation_stream_position",
|
|
|
|
keyvalues={"type": typ},
|
|
|
|
updatevalues={"stream_id": stream_id},
|
|
|
|
desc="update_federation_out_pos",
|
|
|
|
)
|
2017-03-13 03:50:10 -06:00
|
|
|
|
|
|
|
def has_room_changed_since(self, room_id, stream_id):
|
|
|
|
return self._events_stream_cache.has_entity_changed(room_id, stream_id)
|
2018-03-01 06:56:03 -07:00
|
|
|
|
|
|
|
|
|
|
|
class StreamStore(StreamWorkerStore):
|
|
|
|
def get_room_max_stream_ordering(self):
|
|
|
|
return self._stream_id_gen.get_current_token()
|
|
|
|
|
|
|
|
def get_room_min_stream_ordering(self):
|
|
|
|
return self._backfill_id_gen.get_current_token()
|
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def paginate_room_events(self, room_id, from_key, to_key=None,
|
|
|
|
direction='b', limit=-1, event_filter=None):
|
|
|
|
# Tokens really represent positions between elements, but we use
|
|
|
|
# the convention of pointing to the event before the gap. Hence
|
|
|
|
# we have a bit of asymmetry when it comes to equalities.
|
|
|
|
args = [False, room_id]
|
|
|
|
if direction == 'b':
|
|
|
|
order = "DESC"
|
|
|
|
bounds = upper_bound(
|
|
|
|
RoomStreamToken.parse(from_key), self.database_engine
|
|
|
|
)
|
|
|
|
if to_key:
|
|
|
|
bounds = "%s AND %s" % (bounds, lower_bound(
|
|
|
|
RoomStreamToken.parse(to_key), self.database_engine
|
|
|
|
))
|
|
|
|
else:
|
|
|
|
order = "ASC"
|
|
|
|
bounds = lower_bound(
|
|
|
|
RoomStreamToken.parse(from_key), self.database_engine
|
|
|
|
)
|
|
|
|
if to_key:
|
|
|
|
bounds = "%s AND %s" % (bounds, upper_bound(
|
|
|
|
RoomStreamToken.parse(to_key), self.database_engine
|
|
|
|
))
|
|
|
|
|
|
|
|
filter_clause, filter_args = filter_to_clause(event_filter)
|
|
|
|
|
|
|
|
if filter_clause:
|
|
|
|
bounds += " AND " + filter_clause
|
|
|
|
args.extend(filter_args)
|
|
|
|
|
|
|
|
if int(limit) > 0:
|
|
|
|
args.append(int(limit))
|
|
|
|
limit_str = " LIMIT ?"
|
|
|
|
else:
|
|
|
|
limit_str = ""
|
|
|
|
|
|
|
|
sql = (
|
|
|
|
"SELECT * FROM events"
|
|
|
|
" WHERE outlier = ? AND room_id = ? AND %(bounds)s"
|
|
|
|
" ORDER BY topological_ordering %(order)s,"
|
|
|
|
" stream_ordering %(order)s %(limit)s"
|
|
|
|
) % {
|
|
|
|
"bounds": bounds,
|
|
|
|
"order": order,
|
|
|
|
"limit": limit_str
|
|
|
|
}
|
|
|
|
|
|
|
|
def f(txn):
|
|
|
|
txn.execute(sql, args)
|
|
|
|
|
|
|
|
rows = self.cursor_to_dict(txn)
|
|
|
|
|
|
|
|
if rows:
|
|
|
|
topo = rows[-1]["topological_ordering"]
|
|
|
|
toke = rows[-1]["stream_ordering"]
|
|
|
|
if direction == 'b':
|
|
|
|
# Tokens are positions between events.
|
|
|
|
# This token points *after* the last event in the chunk.
|
|
|
|
# We need it to point to the event before it in the chunk
|
|
|
|
# when we are going backwards so we subtract one from the
|
|
|
|
# stream part.
|
|
|
|
toke -= 1
|
|
|
|
next_token = str(RoomStreamToken(topo, toke))
|
|
|
|
else:
|
|
|
|
# TODO (erikj): We should work out what to do here instead.
|
|
|
|
next_token = to_key if to_key else from_key
|
|
|
|
|
|
|
|
return rows, next_token,
|
|
|
|
|
|
|
|
rows, token = yield self.runInteraction("paginate_room_events", f)
|
|
|
|
|
|
|
|
events = yield self._get_events(
|
|
|
|
[r["event_id"] for r in rows],
|
|
|
|
get_prev_content=True
|
|
|
|
)
|
|
|
|
|
|
|
|
self._set_before_and_after(events, rows)
|
|
|
|
|
|
|
|
defer.returnValue((events, token))
|