mirrors/synapse
1
0
Fork 0
mirror of https://github.com/element-hq/synapse.git synced 2024-12-20 19:10:45 +03:00
Code Issues Projects Releases Packages Wiki Activity

Fix up stats_separated1.sql

Browse source 
Signed-off-by: Olivier Wilkinson (reivilibre) <olivier@librepush.net>
This commit is contained in:
Olivier Wilkinson (reivilibre) 2019-08-13 15:32:14 +01:00
parent 16e2ffd166
commit 96fa239b8a
1 changed files with 2 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
synapse/storage/schema/delta/56/stats_separated1.sql
View file

@ -87,13 +87,6 @@ CREATE TABLE IF NOT EXISTS room_stats_current (
CONSTRAINT timestamp_nullity_equality CHECK ((start_ts IS NULL) = (end_ts IS NULL)) CONSTRAINT timestamp_nullity_equality CHECK ((start_ts IS NULL) = (end_ts IS NULL))
); );
-- TODO check: make it easier to find dirty rows
-- TODO check we specify 'AND start_ts IS NOT NULL' in old collector, to take
-- advantage of optimisations.
-- TODO check: make it easier to find incomplete rows
-- represents HISTORICAL room statistics for a room -- represents HISTORICAL room statistics for a room
CREATE TABLE IF NOT EXISTS room_stats_historical ( CREATE TABLE IF NOT EXISTS room_stats_historical (
@ -113,7 +106,7 @@ CREATE TABLE IF NOT EXISTS room_stats_historical (
PRIMARY KEY (room_id, end_ts) PRIMARY KEY (room_id, end_ts)
); );
-- We use this index to speed up deletion of old user stats. -- We use this index to speed up deletion of ancient room stats.
CREATE INDEX IF NOT EXISTS room_stats_historical_end_ts ON room_stats_historical (end_ts); CREATE INDEX IF NOT EXISTS room_stats_historical_end_ts ON room_stats_historical (end_ts);
-- We don't need an index on (room_id, end_ts) because PRIMARY KEY sorts that -- We don't need an index on (room_id, end_ts) because PRIMARY KEY sorts that
@ -137,13 +130,6 @@ CREATE TABLE IF NOT EXISTS user_stats_current (
completed_delta_stream_id BIGINT completed_delta_stream_id BIGINT
); );
CREATE INDEX IF NOT EXISTS user_stats_current_dirty ON user_stats_current (start_ts)
WHERE start_ts IS NOT NULL;
-- TODO check: make it easier to find incomplete rows
CREATE INDEX IF NOT EXISTS user_stats_not_complete ON user_stats_current (user_id)
WHERE completed_delta_stream_id IS NULL;
-- represents HISTORICAL statistics for a user -- represents HISTORICAL statistics for a user
CREATE TABLE IF NOT EXISTS user_stats_historical ( CREATE TABLE IF NOT EXISTS user_stats_historical (
user_id TEXT NOT NULL, user_id TEXT NOT NULL,
@ -156,7 +142,7 @@ CREATE TABLE IF NOT EXISTS user_stats_historical (
PRIMARY KEY (user_id, end_ts) PRIMARY KEY (user_id, end_ts)
); );
-- We use this index to speed up deletion of old user stats. -- We use this index to speed up deletion of ancient user stats.
CREATE INDEX IF NOT EXISTS user_stats_historical_end_ts ON user_stats_historical (end_ts); CREATE INDEX IF NOT EXISTS user_stats_historical_end_ts ON user_stats_historical (end_ts);
-- We don't need an index on (user_id, end_ts) because PRIMARY KEY sorts that -- We don't need an index on (user_id, end_ts) because PRIMARY KEY sorts that