2015-07-01 04:41:55 -06:00
|
|
|
# -*- coding: utf-8 -*-
|
|
|
|
# Copyright 2014, 2015 OpenMarket 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.
|
|
|
|
|
2015-08-11 10:59:32 -06:00
|
|
|
from ._base import SQLBaseStore
|
2015-08-14 08:06:22 -06:00
|
|
|
from synapse.util.caches.descriptors import cachedInlineCallbacks, cachedList
|
2015-08-13 09:58:23 -06:00
|
|
|
from synapse.util.caches import cache_counter, caches_by_name
|
2015-07-01 04:41:55 -06:00
|
|
|
|
|
|
|
from twisted.internet import defer
|
|
|
|
|
2015-07-08 08:35:00 -06:00
|
|
|
from blist import sorteddict
|
2015-07-07 08:25:30 -06:00
|
|
|
import logging
|
2015-07-09 04:39:30 -06:00
|
|
|
import ujson as json
|
2015-07-07 08:25:30 -06:00
|
|
|
|
|
|
|
|
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
2015-07-01 04:41:55 -06:00
|
|
|
|
2015-07-07 03:55:31 -06:00
|
|
|
class ReceiptsStore(SQLBaseStore):
|
2015-07-08 08:35:00 -06:00
|
|
|
def __init__(self, hs):
|
|
|
|
super(ReceiptsStore, self).__init__(hs)
|
|
|
|
|
|
|
|
self._receipts_stream_cache = _RoomStreamChangeCache()
|
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
2015-07-14 03:19:07 -06:00
|
|
|
def get_linearized_receipts_for_rooms(self, room_ids, to_key, from_key=None):
|
2015-07-13 06:30:43 -06:00
|
|
|
"""Get receipts for multiple rooms for sending to clients.
|
2015-07-14 03:19:07 -06:00
|
|
|
|
|
|
|
Args:
|
|
|
|
room_ids (list): List of room_ids.
|
|
|
|
to_key (int): Max stream id to fetch receipts upto.
|
|
|
|
from_key (int): Min stream id to fetch receipts from. None fetches
|
|
|
|
from the start.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
list: A list of receipts.
|
2015-07-13 06:30:43 -06:00
|
|
|
"""
|
2015-07-08 08:35:00 -06:00
|
|
|
room_ids = set(room_ids)
|
|
|
|
|
|
|
|
if from_key:
|
|
|
|
room_ids = yield self._receipts_stream_cache.get_rooms_changed(
|
|
|
|
self, room_ids, from_key
|
|
|
|
)
|
|
|
|
|
2015-08-14 08:06:22 -06:00
|
|
|
results = yield self._get_linearized_receipts_for_rooms(
|
|
|
|
room_ids, to_key, from_key=from_key
|
|
|
|
)
|
2015-07-08 08:35:00 -06:00
|
|
|
|
2015-08-14 08:06:22 -06:00
|
|
|
defer.returnValue([ev for res in results.values() for ev in res])
|
2015-07-01 04:41:55 -06:00
|
|
|
|
2015-08-14 08:06:22 -06:00
|
|
|
@cachedInlineCallbacks(num_args=3, max_entries=5000)
|
2015-07-14 03:19:07 -06:00
|
|
|
def get_linearized_receipts_for_room(self, room_id, to_key, from_key=None):
|
2015-07-13 06:30:43 -06:00
|
|
|
"""Get receipts for a single room for sending to clients.
|
2015-07-14 03:19:07 -06:00
|
|
|
|
|
|
|
Args:
|
|
|
|
room_ids (str): The room id.
|
|
|
|
to_key (int): Max stream id to fetch receipts upto.
|
|
|
|
from_key (int): Min stream id to fetch receipts from. None fetches
|
|
|
|
from the start.
|
|
|
|
|
|
|
|
Returns:
|
|
|
|
list: A list of receipts.
|
2015-07-13 06:30:43 -06:00
|
|
|
"""
|
2015-07-07 08:25:30 -06:00
|
|
|
def f(txn):
|
2015-07-08 03:54:01 -06:00
|
|
|
if from_key:
|
|
|
|
sql = (
|
|
|
|
"SELECT * FROM receipts_linearized WHERE"
|
|
|
|
" room_id = ? AND stream_id > ? AND stream_id <= ?"
|
|
|
|
)
|
|
|
|
|
|
|
|
txn.execute(
|
|
|
|
sql,
|
|
|
|
(room_id, from_key, to_key)
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
sql = (
|
|
|
|
"SELECT * FROM receipts_linearized WHERE"
|
|
|
|
" room_id = ? AND stream_id <= ?"
|
|
|
|
)
|
|
|
|
|
|
|
|
txn.execute(
|
|
|
|
sql,
|
|
|
|
(room_id, to_key)
|
|
|
|
)
|
2015-07-07 08:25:30 -06:00
|
|
|
|
|
|
|
rows = self.cursor_to_dict(txn)
|
|
|
|
|
|
|
|
return rows
|
|
|
|
|
|
|
|
rows = yield self.runInteraction(
|
|
|
|
"get_linearized_receipts_for_room", f
|
2015-07-01 04:41:55 -06:00
|
|
|
)
|
|
|
|
|
2015-07-08 08:35:00 -06:00
|
|
|
if not rows:
|
|
|
|
defer.returnValue([])
|
|
|
|
|
|
|
|
content = {}
|
2015-07-01 04:41:55 -06:00
|
|
|
for row in rows:
|
2015-07-08 08:35:00 -06:00
|
|
|
content.setdefault(
|
2015-07-01 04:41:55 -06:00
|
|
|
row["event_id"], {}
|
|
|
|
).setdefault(
|
2015-07-09 04:39:30 -06:00
|
|
|
row["receipt_type"], {}
|
|
|
|
)[row["user_id"]] = json.loads(row["data"])
|
2015-07-01 04:41:55 -06:00
|
|
|
|
2015-07-08 08:35:00 -06:00
|
|
|
defer.returnValue([{
|
|
|
|
"type": "m.receipt",
|
|
|
|
"room_id": room_id,
|
|
|
|
"content": content,
|
|
|
|
}])
|
2015-07-01 04:41:55 -06:00
|
|
|
|
2015-08-14 08:06:22 -06:00
|
|
|
@cachedList(cache=get_linearized_receipts_for_room.cache, list_name="room_ids",
|
|
|
|
num_args=3, inlineCallbacks=True)
|
|
|
|
def _get_linearized_receipts_for_rooms(self, room_ids, to_key, from_key=None):
|
|
|
|
if not room_ids:
|
|
|
|
defer.returnValue({})
|
|
|
|
|
|
|
|
def f(txn):
|
|
|
|
if from_key:
|
|
|
|
sql = (
|
|
|
|
"SELECT * FROM receipts_linearized WHERE"
|
|
|
|
" room_id IN (%s) AND stream_id > ? AND stream_id <= ?"
|
|
|
|
) % (
|
|
|
|
",".join(["?"] * len(room_ids))
|
|
|
|
)
|
|
|
|
args = list(room_ids)
|
|
|
|
args.extend([from_key, to_key])
|
|
|
|
|
|
|
|
txn.execute(sql, args)
|
|
|
|
else:
|
|
|
|
sql = (
|
|
|
|
"SELECT * FROM receipts_linearized WHERE"
|
|
|
|
" room_id IN (%s) AND stream_id <= ?"
|
|
|
|
) % (
|
|
|
|
",".join(["?"] * len(room_ids))
|
|
|
|
)
|
|
|
|
|
|
|
|
args = list(room_ids)
|
|
|
|
args.append(to_key)
|
|
|
|
|
|
|
|
txn.execute(sql, args)
|
|
|
|
|
|
|
|
return self.cursor_to_dict(txn)
|
|
|
|
|
|
|
|
txn_results = yield self.runInteraction(
|
|
|
|
"_get_linearized_receipts_for_rooms", f
|
|
|
|
)
|
|
|
|
|
|
|
|
results = {}
|
|
|
|
for row in txn_results:
|
2015-08-18 03:49:23 -06:00
|
|
|
# We want a single event per room, since we want to batch the
|
|
|
|
# receipts by room, event and type.
|
|
|
|
room_event = results.setdefault(row["room_id"], {
|
2015-08-14 08:06:22 -06:00
|
|
|
"type": "m.receipt",
|
|
|
|
"room_id": row["room_id"],
|
|
|
|
"content": {},
|
2015-08-18 03:49:23 -06:00
|
|
|
})
|
|
|
|
|
|
|
|
# The content is of the form:
|
|
|
|
# {"$foo:bar": { "read": { "@user:host": <receipt> }, .. }, .. }
|
2015-08-18 04:54:03 -06:00
|
|
|
event_entry = room_event["content"].setdefault(row["event_id"], {})
|
|
|
|
receipt_type = event_entry.setdefault(row["receipt_type"], {})
|
2015-08-18 03:49:23 -06:00
|
|
|
|
|
|
|
receipt_type[row["user_id"]] = json.loads(row["data"])
|
2015-08-14 08:06:22 -06:00
|
|
|
|
|
|
|
results = {
|
|
|
|
room_id: [results[room_id]] if room_id in results else []
|
|
|
|
for room_id in room_ids
|
|
|
|
}
|
|
|
|
defer.returnValue(results)
|
|
|
|
|
2015-07-07 08:25:30 -06:00
|
|
|
def get_max_receipt_stream_id(self):
|
|
|
|
return self._receipts_id_gen.get_max_token(self)
|
|
|
|
|
2015-07-27 06:57:29 -06:00
|
|
|
@cachedInlineCallbacks()
|
2015-07-01 04:41:55 -06:00
|
|
|
def get_graph_receipts_for_room(self, room_id):
|
2015-07-13 06:30:43 -06:00
|
|
|
"""Get receipts for sending to remote servers.
|
|
|
|
"""
|
2015-07-01 04:41:55 -06:00
|
|
|
rows = yield self._simple_select_list(
|
|
|
|
table="receipts_graph",
|
|
|
|
keyvalues={"room_id": room_id},
|
|
|
|
retcols=["receipt_type", "user_id", "event_id"],
|
|
|
|
desc="get_linearized_receipts_for_room",
|
|
|
|
)
|
|
|
|
|
|
|
|
result = {}
|
|
|
|
for row in rows:
|
|
|
|
result.setdefault(
|
|
|
|
row["user_id"], {}
|
|
|
|
).setdefault(
|
|
|
|
row["receipt_type"], []
|
|
|
|
).append(row["event_id"])
|
|
|
|
|
|
|
|
defer.returnValue(result)
|
|
|
|
|
|
|
|
def insert_linearized_receipt_txn(self, txn, room_id, receipt_type,
|
2015-07-09 04:39:30 -06:00
|
|
|
user_id, event_id, data, stream_id):
|
2015-07-07 08:25:30 -06:00
|
|
|
|
|
|
|
# We don't want to clobber receipts for more recent events, so we
|
|
|
|
# have to compare orderings of existing receipts
|
|
|
|
sql = (
|
|
|
|
"SELECT topological_ordering, stream_ordering, event_id FROM events"
|
|
|
|
" INNER JOIN receipts_linearized as r USING (event_id, room_id)"
|
|
|
|
" WHERE r.room_id = ? AND r.receipt_type = ? AND r.user_id = ?"
|
|
|
|
)
|
|
|
|
|
|
|
|
txn.execute(sql, (room_id, receipt_type, user_id))
|
|
|
|
results = txn.fetchall()
|
|
|
|
|
|
|
|
if results:
|
|
|
|
res = self._simple_select_one_txn(
|
|
|
|
txn,
|
|
|
|
table="events",
|
|
|
|
retcols=["topological_ordering", "stream_ordering"],
|
|
|
|
keyvalues={"event_id": event_id},
|
|
|
|
)
|
|
|
|
topological_ordering = int(res["topological_ordering"])
|
|
|
|
stream_ordering = int(res["stream_ordering"])
|
|
|
|
|
|
|
|
for to, so, _ in results:
|
|
|
|
if int(to) > topological_ordering:
|
|
|
|
return False
|
|
|
|
elif int(to) == topological_ordering and int(so) >= stream_ordering:
|
|
|
|
return False
|
|
|
|
|
2015-07-01 04:41:55 -06:00
|
|
|
self._simple_delete_txn(
|
|
|
|
txn,
|
|
|
|
table="receipts_linearized",
|
|
|
|
keyvalues={
|
|
|
|
"room_id": room_id,
|
|
|
|
"receipt_type": receipt_type,
|
|
|
|
"user_id": user_id,
|
|
|
|
}
|
|
|
|
)
|
|
|
|
|
|
|
|
self._simple_insert_txn(
|
|
|
|
txn,
|
|
|
|
table="receipts_linearized",
|
|
|
|
values={
|
2015-07-07 03:55:31 -06:00
|
|
|
"stream_id": stream_id,
|
2015-07-01 04:41:55 -06:00
|
|
|
"room_id": room_id,
|
|
|
|
"receipt_type": receipt_type,
|
|
|
|
"user_id": user_id,
|
|
|
|
"event_id": event_id,
|
2015-07-09 04:39:30 -06:00
|
|
|
"data": json.dumps(data),
|
2015-07-01 04:41:55 -06:00
|
|
|
}
|
|
|
|
)
|
|
|
|
|
2015-07-07 08:25:30 -06:00
|
|
|
return True
|
|
|
|
|
2015-07-01 04:41:55 -06:00
|
|
|
@defer.inlineCallbacks
|
2015-07-09 04:39:30 -06:00
|
|
|
def insert_receipt(self, room_id, receipt_type, user_id, event_ids, data):
|
2015-07-13 06:30:43 -06:00
|
|
|
"""Insert a receipt, either from local client or remote server.
|
|
|
|
|
|
|
|
Automatically does conversion between linearized and graph
|
|
|
|
representations.
|
|
|
|
"""
|
2015-07-01 04:41:55 -06:00
|
|
|
if not event_ids:
|
|
|
|
return
|
|
|
|
|
|
|
|
if len(event_ids) == 1:
|
|
|
|
linearized_event_id = event_ids[0]
|
|
|
|
else:
|
|
|
|
# we need to points in graph -> linearized form.
|
2015-07-09 09:14:46 -06:00
|
|
|
# TODO: Make this better.
|
2015-07-01 04:41:55 -06:00
|
|
|
def graph_to_linear(txn):
|
|
|
|
query = (
|
|
|
|
"SELECT event_id WHERE room_id = ? AND stream_ordering IN ("
|
|
|
|
" SELECT max(stream_ordering) WHERE event_id IN (%s)"
|
|
|
|
")"
|
|
|
|
) % (",".join(["?"] * len(event_ids)))
|
|
|
|
|
|
|
|
txn.execute(query, [room_id] + event_ids)
|
|
|
|
rows = txn.fetchall()
|
|
|
|
if rows:
|
|
|
|
return rows[0][0]
|
|
|
|
else:
|
2015-07-09 09:14:46 -06:00
|
|
|
raise RuntimeError("Unrecognized event_ids: %r" % (event_ids,))
|
2015-07-01 04:41:55 -06:00
|
|
|
|
|
|
|
linearized_event_id = yield self.runInteraction(
|
2015-07-07 03:55:31 -06:00
|
|
|
"insert_receipt_conv", graph_to_linear
|
2015-07-01 04:41:55 -06:00
|
|
|
)
|
|
|
|
|
2015-07-07 03:55:31 -06:00
|
|
|
stream_id_manager = yield self._receipts_id_gen.get_next(self)
|
|
|
|
with stream_id_manager as stream_id:
|
2015-07-08 08:35:00 -06:00
|
|
|
yield self._receipts_stream_cache.room_has_changed(
|
|
|
|
self, room_id, stream_id
|
|
|
|
)
|
2015-07-07 08:25:30 -06:00
|
|
|
have_persisted = yield self.runInteraction(
|
2015-07-07 03:55:31 -06:00
|
|
|
"insert_linearized_receipt",
|
2015-07-01 04:41:55 -06:00
|
|
|
self.insert_linearized_receipt_txn,
|
|
|
|
room_id, receipt_type, user_id, linearized_event_id,
|
2015-07-09 04:39:30 -06:00
|
|
|
data,
|
2015-07-01 04:41:55 -06:00
|
|
|
stream_id=stream_id,
|
|
|
|
)
|
|
|
|
|
2015-07-07 08:25:30 -06:00
|
|
|
if not have_persisted:
|
|
|
|
defer.returnValue(None)
|
|
|
|
|
2015-07-01 04:41:55 -06:00
|
|
|
yield self.insert_graph_receipt(
|
2015-07-09 04:39:30 -06:00
|
|
|
room_id, receipt_type, user_id, event_ids, data
|
2015-07-01 04:41:55 -06:00
|
|
|
)
|
|
|
|
|
|
|
|
max_persisted_id = yield self._stream_id_gen.get_max_token(self)
|
|
|
|
defer.returnValue((stream_id, max_persisted_id))
|
|
|
|
|
2015-07-09 04:39:30 -06:00
|
|
|
def insert_graph_receipt(self, room_id, receipt_type, user_id, event_ids,
|
|
|
|
data):
|
2015-07-01 04:41:55 -06:00
|
|
|
return self.runInteraction(
|
2015-07-07 03:55:31 -06:00
|
|
|
"insert_graph_receipt",
|
2015-07-01 04:41:55 -06:00
|
|
|
self.insert_graph_receipt_txn,
|
2015-07-09 04:39:30 -06:00
|
|
|
room_id, receipt_type, user_id, event_ids, data
|
2015-07-01 04:41:55 -06:00
|
|
|
)
|
|
|
|
|
|
|
|
def insert_graph_receipt_txn(self, txn, room_id, receipt_type,
|
2015-07-09 04:39:30 -06:00
|
|
|
user_id, event_ids, data):
|
2015-07-01 04:41:55 -06:00
|
|
|
self._simple_delete_txn(
|
|
|
|
txn,
|
|
|
|
table="receipts_graph",
|
|
|
|
keyvalues={
|
|
|
|
"room_id": room_id,
|
|
|
|
"receipt_type": receipt_type,
|
|
|
|
"user_id": user_id,
|
|
|
|
}
|
|
|
|
)
|
2015-07-09 04:39:30 -06:00
|
|
|
self._simple_insert_txn(
|
2015-07-01 04:41:55 -06:00
|
|
|
txn,
|
|
|
|
table="receipts_graph",
|
2015-07-09 04:39:30 -06:00
|
|
|
values={
|
|
|
|
"room_id": room_id,
|
|
|
|
"receipt_type": receipt_type,
|
|
|
|
"user_id": user_id,
|
|
|
|
"event_ids": json.dumps(event_ids),
|
|
|
|
"data": json.dumps(data),
|
|
|
|
}
|
2015-07-01 04:41:55 -06:00
|
|
|
)
|
2015-07-08 08:35:00 -06:00
|
|
|
|
|
|
|
|
|
|
|
class _RoomStreamChangeCache(object):
|
|
|
|
"""Keeps track of the stream_id of the latest change in rooms.
|
|
|
|
|
|
|
|
Given a list of rooms and stream key, it will give a subset of rooms that
|
|
|
|
may have changed since that key. If the key is too old then the cache
|
|
|
|
will simply return all rooms.
|
|
|
|
"""
|
2015-07-18 12:07:33 -06:00
|
|
|
def __init__(self, size_of_cache=10000):
|
2015-07-08 08:35:00 -06:00
|
|
|
self._size_of_cache = size_of_cache
|
|
|
|
self._room_to_key = {}
|
|
|
|
self._cache = sorteddict()
|
|
|
|
self._earliest_key = None
|
2015-08-13 09:58:23 -06:00
|
|
|
self.name = "ReceiptsRoomChangeCache"
|
|
|
|
caches_by_name[self.name] = self._cache
|
2015-07-08 08:35:00 -06:00
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def get_rooms_changed(self, store, room_ids, key):
|
2015-07-14 03:19:07 -06:00
|
|
|
"""Returns subset of room ids that have had new receipts since the
|
|
|
|
given key. If the key is too old it will just return the given list.
|
|
|
|
"""
|
2015-07-08 08:35:00 -06:00
|
|
|
if key > (yield self._get_earliest_key(store)):
|
|
|
|
keys = self._cache.keys()
|
|
|
|
i = keys.bisect_right(key)
|
|
|
|
|
|
|
|
result = set(
|
|
|
|
self._cache[k] for k in keys[i:]
|
|
|
|
).intersection(room_ids)
|
2015-08-14 08:06:22 -06:00
|
|
|
|
|
|
|
cache_counter.inc_hits(self.name)
|
2015-07-08 08:35:00 -06:00
|
|
|
else:
|
|
|
|
result = room_ids
|
2015-08-14 08:06:22 -06:00
|
|
|
cache_counter.inc_misses(self.name)
|
2015-08-13 09:58:23 -06:00
|
|
|
|
2015-07-08 08:35:00 -06:00
|
|
|
defer.returnValue(result)
|
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def room_has_changed(self, store, room_id, key):
|
2015-07-14 03:19:07 -06:00
|
|
|
"""Informs the cache that the room has been changed at the given key.
|
|
|
|
"""
|
2015-07-08 08:35:00 -06:00
|
|
|
if key > (yield self._get_earliest_key(store)):
|
|
|
|
old_key = self._room_to_key.get(room_id, None)
|
|
|
|
if old_key:
|
|
|
|
key = max(key, old_key)
|
|
|
|
self._cache.pop(old_key, None)
|
|
|
|
self._cache[key] = room_id
|
|
|
|
|
|
|
|
while len(self._cache) > self._size_of_cache:
|
|
|
|
k, r = self._cache.popitem()
|
|
|
|
self._earliest_key = max(k, self._earliest_key)
|
|
|
|
self._room_to_key.pop(r, None)
|
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def _get_earliest_key(self, store):
|
|
|
|
if self._earliest_key is None:
|
|
|
|
self._earliest_key = yield store.get_max_receipt_stream_id()
|
|
|
|
self._earliest_key = int(self._earliest_key)
|
|
|
|
|
|
|
|
defer.returnValue(self._earliest_key)
|