2020-01-23 18:51:10 +01:00
// 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.
package routing
import (
"context"
2020-03-06 15:31:12 +01:00
"fmt"
2023-01-17 10:08:23 +01:00
"math"
2020-01-23 18:51:10 +01:00
"net/http"
"sort"
2022-08-11 18:23:35 +02:00
"time"
2020-01-23 18:51:10 +01:00
2022-08-05 14:27:27 +02:00
"github.com/matrix-org/gomatrixserverlib"
2023-04-19 16:50:33 +02:00
"github.com/matrix-org/gomatrixserverlib/spec"
2022-08-05 14:27:27 +02:00
"github.com/matrix-org/util"
"github.com/sirupsen/logrus"
2022-04-22 11:38:29 +02:00
"github.com/matrix-org/dendrite/internal/caching"
2022-09-30 13:48:10 +02:00
"github.com/matrix-org/dendrite/internal/sqlutil"
2020-01-23 18:51:10 +01:00
"github.com/matrix-org/dendrite/roomserver/api"
2023-04-27 13:54:20 +02:00
rstypes "github.com/matrix-org/dendrite/roomserver/types"
2020-12-02 18:41:00 +01:00
"github.com/matrix-org/dendrite/setup/config"
2022-08-11 18:23:35 +02:00
"github.com/matrix-org/dendrite/syncapi/internal"
2020-01-23 18:51:10 +01:00
"github.com/matrix-org/dendrite/syncapi/storage"
2020-12-16 18:31:03 +01:00
"github.com/matrix-org/dendrite/syncapi/sync"
2023-04-04 19:16:53 +02:00
"github.com/matrix-org/dendrite/syncapi/synctypes"
2020-01-23 18:51:10 +01:00
"github.com/matrix-org/dendrite/syncapi/types"
2020-10-02 18:08:13 +02:00
userapi "github.com/matrix-org/dendrite/userapi/api"
2020-01-23 18:51:10 +01:00
)
type messagesReq struct {
ctx context . Context
db storage . Database
2022-09-30 13:48:10 +02:00
snapshot storage . DatabaseTransaction
2022-05-05 10:56:03 +02:00
rsAPI api . SyncRoomserverAPI
2020-08-10 15:18:04 +02:00
cfg * config . SyncAPI
2020-01-23 18:51:10 +01:00
roomID string
2020-05-13 13:14:50 +02:00
from * types . TopologyToken
to * types . TopologyToken
2020-10-02 18:08:13 +02:00
device * userapi . Device
2023-08-15 13:37:04 +02:00
deviceUserID spec . UserID
2020-01-23 18:51:10 +01:00
wasToProvided bool
backwardOrdering bool
2023-04-04 19:16:53 +02:00
filter * synctypes . RoomEventFilter
2023-07-13 14:18:37 +02:00
didBackfill bool
2020-01-23 18:51:10 +01:00
}
type messagesResp struct {
2023-04-04 19:16:53 +02:00
Start string ` json:"start" `
StartStream string ` json:"start_stream,omitempty" ` // NOTSPEC: used by Cerulean, so clients can hit /messages then immediately /sync with a latest sync token
End string ` json:"end,omitempty" `
Chunk [ ] synctypes . ClientEvent ` json:"chunk" `
State [ ] synctypes . ClientEvent ` json:"state,omitempty" `
2020-01-23 18:51:10 +01:00
}
// OnIncomingMessagesRequest implements the /messages endpoint from the
// client-server API.
// See: https://matrix.org/docs/spec/client_server/latest.html#get-matrix-client-r0-rooms-roomid-messages
2023-02-07 14:31:23 +01:00
// nolint:gocyclo
2020-01-23 18:51:10 +01:00
func OnIncomingMessagesRequest (
2020-10-02 18:08:13 +02:00
req * http . Request , db storage . Database , roomID string , device * userapi . Device ,
2022-05-05 10:56:03 +02:00
rsAPI api . SyncRoomserverAPI ,
2020-08-10 15:18:04 +02:00
cfg * config . SyncAPI ,
2020-12-16 18:31:03 +01:00
srp * sync . RequestPool ,
2022-05-06 15:33:34 +02:00
lazyLoadCache caching . LazyLoadCache ,
2020-01-23 18:51:10 +01:00
) util . JSONResponse {
var err error
2023-08-15 13:37:04 +02:00
deviceUserID , err := spec . NewUserID ( device . UserID , true )
if err != nil {
util . GetLogger ( req . Context ( ) ) . WithError ( err ) . Error ( "device.UserID invalid" )
return util . JSONResponse {
Code : http . StatusInternalServerError ,
JSON : spec . Unknown ( "internal server error" ) ,
}
}
2022-09-30 13:48:10 +02:00
// NewDatabaseTransaction is used here instead of NewDatabaseSnapshot as we
// expect to be able to write to the database in response to a /messages
// request that requires backfilling from the roomserver or federation.
snapshot , err := db . NewDatabaseTransaction ( req . Context ( ) )
if err != nil {
2023-05-17 02:33:27 +02:00
return util . JSONResponse {
Code : http . StatusInternalServerError ,
JSON : spec . InternalServerError { } ,
}
2022-09-30 13:48:10 +02:00
}
var succeeded bool
defer sqlutil . EndTransactionWithCheck ( snapshot , & succeeded , & err )
2020-11-05 11:19:23 +01:00
// check if the user has already forgotten about this room
2022-10-24 17:03:04 +02:00
membershipResp , err := getMembershipForUser ( req . Context ( ) , roomID , device . UserID , rsAPI )
2020-11-05 11:19:23 +01:00
if err != nil {
2023-05-17 02:33:27 +02:00
return util . JSONResponse {
Code : http . StatusInternalServerError ,
JSON : spec . InternalServerError { } ,
}
2020-11-05 11:19:23 +01:00
}
2022-10-24 17:03:04 +02:00
if ! membershipResp . RoomExists {
2022-05-11 12:29:23 +02:00
return util . JSONResponse {
Code : http . StatusForbidden ,
2023-05-10 00:46:49 +02:00
JSON : spec . Forbidden ( "room does not exist" ) ,
2022-05-11 12:29:23 +02:00
}
}
2020-11-05 11:19:23 +01:00
2022-10-24 17:03:04 +02:00
if membershipResp . IsRoomForgotten {
2020-11-05 11:19:23 +01:00
return util . JSONResponse {
Code : http . StatusForbidden ,
2023-05-10 00:46:49 +02:00
JSON : spec . Forbidden ( "user already forgot about this room" ) ,
2020-11-05 11:19:23 +01:00
}
}
2022-03-01 15:39:56 +01:00
filter , err := parseRoomEventFilter ( req )
if err != nil {
return util . JSONResponse {
Code : http . StatusBadRequest ,
2023-05-10 00:46:49 +02:00
JSON : spec . InvalidParam ( "unable to parse filter" ) ,
2022-03-01 15:39:56 +01:00
}
}
2020-01-23 18:51:10 +01:00
// Extract parameters from the request's URL.
// Pagination tokens.
2020-05-13 13:14:50 +02:00
var fromStream * types . StreamingToken
2020-12-16 18:31:03 +01:00
fromQuery := req . URL . Query ( ) . Get ( "from" )
2022-03-18 11:40:01 +01:00
toQuery := req . URL . Query ( ) . Get ( "to" )
2020-12-16 19:10:39 +01:00
emptyFromSupplied := fromQuery == ""
if emptyFromSupplied {
2020-12-16 18:31:03 +01:00
// NOTSPEC: We will pretend they used the latest sync token if no ?from= was provided.
// We do this to allow clients to get messages without having to call `/sync` e.g Cerulean
currPos := srp . Notifier . CurrentPosition ( )
fromQuery = currPos . String ( )
}
2020-01-23 18:51:10 +01:00
// Direction to return events from.
dir := req . URL . Query ( ) . Get ( "dir" )
if dir != "b" && dir != "f" {
return util . JSONResponse {
Code : http . StatusBadRequest ,
2023-05-10 00:46:49 +02:00
JSON : spec . MissingParam ( "Bad or missing dir query parameter (should be either 'b' or 'f')" ) ,
2020-01-23 18:51:10 +01:00
}
}
// A boolean is easier to handle in this case, especially since dir is sure
// to have one of the two accepted values (so dir == "f" <=> !backwardOrdering).
backwardOrdering := ( dir == "b" )
2022-03-18 11:40:01 +01:00
from , err := types . NewTopologyTokenFromString ( fromQuery )
if err != nil {
var streamToken types . StreamingToken
if streamToken , err = types . NewStreamTokenFromString ( fromQuery ) ; err != nil {
return util . JSONResponse {
Code : http . StatusBadRequest ,
2023-05-10 00:46:49 +02:00
JSON : spec . InvalidParam ( "Invalid from parameter: " + err . Error ( ) ) ,
2022-03-18 11:40:01 +01:00
}
} else {
fromStream = & streamToken
2022-09-30 13:48:10 +02:00
from , err = snapshot . StreamToTopologicalPosition ( req . Context ( ) , roomID , streamToken . PDUPosition , backwardOrdering )
2022-03-18 11:40:01 +01:00
if err != nil {
logrus . WithError ( err ) . Errorf ( "Failed to get topological position for streaming token %v" , streamToken )
2023-05-17 02:33:27 +02:00
return util . JSONResponse {
Code : http . StatusInternalServerError ,
JSON : spec . InternalServerError { } ,
}
2022-03-18 11:40:01 +01:00
}
}
}
2020-01-23 18:51:10 +01:00
// Pagination tokens. To is optional, and its default value depends on the
// direction ("b" or "f").
2020-05-13 13:14:50 +02:00
var to types . TopologyToken
2020-01-23 18:51:10 +01:00
wasToProvided := true
2022-03-18 11:40:01 +01:00
if len ( toQuery ) > 0 {
to , err = types . NewTopologyTokenFromString ( toQuery )
2020-01-23 18:51:10 +01:00
if err != nil {
2022-03-18 11:40:01 +01:00
var streamToken types . StreamingToken
if streamToken , err = types . NewStreamTokenFromString ( toQuery ) ; err != nil {
return util . JSONResponse {
Code : http . StatusBadRequest ,
2023-05-10 00:46:49 +02:00
JSON : spec . InvalidParam ( "Invalid to parameter: " + err . Error ( ) ) ,
2022-03-18 11:40:01 +01:00
}
} else {
2022-09-30 13:48:10 +02:00
to , err = snapshot . StreamToTopologicalPosition ( req . Context ( ) , roomID , streamToken . PDUPosition , ! backwardOrdering )
2022-03-18 11:40:01 +01:00
if err != nil {
logrus . WithError ( err ) . Errorf ( "Failed to get topological position for streaming token %v" , streamToken )
2023-05-17 02:33:27 +02:00
return util . JSONResponse {
Code : http . StatusInternalServerError ,
JSON : spec . InternalServerError { } ,
}
2022-03-18 11:40:01 +01:00
}
2020-01-23 18:51:10 +01:00
}
}
} else {
// If "to" isn't provided, it defaults to either the earliest stream
// position (if we're going backward) or to the latest one (if we're
// going forward).
2023-01-17 10:08:23 +01:00
to = types . TopologyToken { Depth : math . MaxInt64 , PDUPosition : math . MaxInt64 }
if backwardOrdering {
// go 1 earlier than the first event so we correctly fetch the earliest event
// this is because Database.GetEventsInTopologicalRange is exclusive of the lower-bound.
to = types . TopologyToken { }
2020-01-23 18:51:10 +01:00
}
wasToProvided = false
}
// TODO: Implement filtering (#587)
// Check the room ID's format.
if _ , _ , err = gomatrixserverlib . SplitID ( '!' , roomID ) ; err != nil {
return util . JSONResponse {
Code : http . StatusBadRequest ,
2023-05-10 00:46:49 +02:00
JSON : spec . MissingParam ( "Bad room ID: " + err . Error ( ) ) ,
2020-01-23 18:51:10 +01:00
}
}
2022-10-24 17:03:04 +02:00
// If the user already left the room, grep events from before that
2023-04-19 16:50:33 +02:00
if membershipResp . Membership == spec . Leave {
2022-10-24 17:03:04 +02:00
var token types . TopologyToken
token , err = snapshot . EventPositionInTopology ( req . Context ( ) , membershipResp . EventID )
if err != nil {
return util . JSONResponse {
Code : http . StatusInternalServerError ,
}
}
if backwardOrdering {
from = token
}
}
2020-01-23 18:51:10 +01:00
mReq := messagesReq {
ctx : req . Context ( ) ,
db : db ,
2022-09-30 13:48:10 +02:00
snapshot : snapshot ,
2020-05-01 11:48:17 +02:00
rsAPI : rsAPI ,
2020-01-23 18:51:10 +01:00
cfg : cfg ,
roomID : roomID ,
2020-05-13 13:14:50 +02:00
from : & from ,
to : & to ,
2020-01-23 18:51:10 +01:00
wasToProvided : wasToProvided ,
2022-03-01 15:39:56 +01:00
filter : filter ,
2020-01-23 18:51:10 +01:00
backwardOrdering : backwardOrdering ,
2020-10-02 18:08:13 +02:00
device : device ,
2023-08-15 13:37:04 +02:00
deviceUserID : * deviceUserID ,
2020-01-23 18:51:10 +01:00
}
2023-06-06 22:55:18 +02:00
clientEvents , start , end , err := mReq . retrieveEvents ( req . Context ( ) , rsAPI )
2020-01-23 18:51:10 +01:00
if err != nil {
2020-03-02 17:20:44 +01:00
util . GetLogger ( req . Context ( ) ) . WithError ( err ) . Error ( "mreq.retrieveEvents failed" )
2023-05-17 02:33:27 +02:00
return util . JSONResponse {
Code : http . StatusInternalServerError ,
JSON : spec . InternalServerError { } ,
}
2020-01-23 18:51:10 +01:00
}
2020-06-17 18:41:45 +02:00
2023-07-08 11:45:44 +02:00
// If start and end are equal, we either reached the beginning or something else
2023-07-13 14:18:37 +02:00
// is wrong. If we have nothing to return set end to 0.
if start == end || len ( clientEvents ) == 0 {
2023-07-08 11:45:44 +02:00
end = types . TopologyToken { }
}
2020-03-24 13:20:10 +01:00
util . GetLogger ( req . Context ( ) ) . WithFields ( logrus . Fields {
2023-07-13 14:18:37 +02:00
"request_from" : from . String ( ) ,
"request_to" : to . String ( ) ,
"limit" : filter . Limit ,
"backwards" : backwardOrdering ,
"response_start" : start . String ( ) ,
"response_end" : end . String ( ) ,
"backfilled" : mReq . didBackfill ,
2020-03-24 13:20:10 +01:00
} ) . Info ( "Responding" )
2020-01-23 18:51:10 +01:00
2020-12-16 19:10:39 +01:00
res := messagesResp {
Chunk : clientEvents ,
Start : start . String ( ) ,
End : end . String ( ) ,
2022-06-29 10:49:12 +02:00
}
2023-02-07 14:31:23 +01:00
if filter . LazyLoadMembers {
membershipEvents , err := applyLazyLoadMembers ( req . Context ( ) , device , snapshot , roomID , clientEvents , lazyLoadCache )
if err != nil {
util . GetLogger ( req . Context ( ) ) . WithError ( err ) . Error ( "failed to apply lazy loading" )
2023-05-17 02:33:27 +02:00
return util . JSONResponse {
Code : http . StatusInternalServerError ,
JSON : spec . InternalServerError { } ,
}
2023-02-07 14:31:23 +01:00
}
2023-06-14 16:23:46 +02:00
res . State = append ( res . State , synctypes . ToClientEvents ( gomatrixserverlib . ToPDUs ( membershipEvents ) , synctypes . FormatAll , func ( roomID spec . RoomID , senderID spec . SenderID ) ( * spec . UserID , error ) {
2023-06-06 22:55:18 +02:00
return rsAPI . QueryUserIDForSender ( req . Context ( ) , roomID , senderID )
} ) ... )
2023-02-07 14:31:23 +01:00
}
2022-06-29 10:49:12 +02:00
2022-03-18 11:40:01 +01:00
if fromStream != nil {
2020-12-16 19:10:39 +01:00
res . StartStream = fromStream . String ( )
}
2020-01-23 18:51:10 +01:00
// Respond with the events.
2022-09-30 13:48:10 +02:00
succeeded = true
2020-01-23 18:51:10 +01:00
return util . JSONResponse {
Code : http . StatusOK ,
2020-12-16 19:10:39 +01:00
JSON : res ,
2020-01-23 18:51:10 +01:00
}
}
2022-10-24 17:03:04 +02:00
func getMembershipForUser ( ctx context . Context , roomID , userID string , rsAPI api . SyncRoomserverAPI ) ( resp api . QueryMembershipForUserResponse , err error ) {
2023-06-12 13:19:25 +02:00
fullUserID , err := spec . NewUserID ( userID , true )
if err != nil {
return resp , err
}
2020-11-05 11:19:23 +01:00
req := api . QueryMembershipForUserRequest {
RoomID : roomID ,
2023-06-12 13:19:25 +02:00
UserID : * fullUserID ,
2020-11-05 11:19:23 +01:00
}
if err := rsAPI . QueryMembershipForUser ( ctx , & req , & resp ) ; err != nil {
2022-10-24 17:03:04 +02:00
return api . QueryMembershipForUserResponse { } , err
2020-11-05 11:19:23 +01:00
}
2022-10-24 17:03:04 +02:00
return resp , nil
2020-11-05 11:19:23 +01:00
}
2020-09-27 23:23:42 +02:00
// retrieveEvents retrieves events from the local database for a request on
2020-01-23 18:51:10 +01:00
// /messages. If there's not enough events to retrieve, it asks another
// homeserver in the room for older events.
// Returns an error if there was an issue talking to the database or with the
// remote homeserver.
2023-06-06 22:55:18 +02:00
func ( r * messagesReq ) retrieveEvents ( ctx context . Context , rsAPI api . SyncRoomserverAPI ) (
2023-04-04 19:16:53 +02:00
clientEvents [ ] synctypes . ClientEvent , start ,
2020-05-13 13:14:50 +02:00
end types . TopologyToken , err error ,
2020-01-23 18:51:10 +01:00
) {
2023-06-02 15:48:04 +02:00
emptyToken := types . TopologyToken { }
2020-01-23 18:51:10 +01:00
// Retrieve the events from the local database.
2023-07-13 14:18:37 +02:00
streamEvents , _ , end , err := r . snapshot . GetEventsInTopologicalRange ( r . ctx , r . from , r . to , r . roomID , r . filter , r . backwardOrdering )
2020-01-23 18:51:10 +01:00
if err != nil {
2020-03-18 13:48:51 +01:00
err = fmt . Errorf ( "GetEventsInRange: %w" , err )
2023-07-13 14:18:37 +02:00
return [ ] synctypes . ClientEvent { } , * r . from , emptyToken , err
2020-01-23 18:51:10 +01:00
}
2023-07-13 14:18:37 +02:00
end . Decrement ( )
2020-01-23 18:51:10 +01:00
2023-04-27 13:54:20 +02:00
var events [ ] * rstypes . HeaderedEvent
2022-10-24 17:03:04 +02:00
util . GetLogger ( r . ctx ) . WithFields ( logrus . Fields {
"start" : r . from ,
"end" : r . to ,
"backwards" : r . backwardOrdering ,
} ) . Infof ( "Fetched %d events locally" , len ( streamEvents ) )
2020-01-23 18:51:10 +01:00
// There can be two reasons for streamEvents to be empty: either we've
// reached the oldest event in the room (or the most recent one, depending
// on the ordering), or we've reached a backward extremity.
if len ( streamEvents ) == 0 {
if events , err = r . handleEmptyEventsSlice ( ) ; err != nil {
2023-07-13 14:18:37 +02:00
return [ ] synctypes . ClientEvent { } , * r . from , emptyToken , err
2020-01-23 18:51:10 +01:00
}
} else {
if events , err = r . handleNonEmptyEventsSlice ( streamEvents ) ; err != nil {
2023-07-13 14:18:37 +02:00
return [ ] synctypes . ClientEvent { } , * r . from , emptyToken , err
2020-01-23 18:51:10 +01:00
}
}
// If we didn't get any event, we don't need to proceed any further.
if len ( events ) == 0 {
2023-07-13 14:18:37 +02:00
return [ ] synctypes . ClientEvent { } , * r . from , emptyToken , nil
2020-01-23 18:51:10 +01:00
}
2023-07-13 14:18:37 +02:00
// Apply room history visibility filter
startTime := time . Now ( )
2023-08-15 13:37:04 +02:00
filteredEvents , err := internal . ApplyHistoryVisibilityFilter ( r . ctx , r . snapshot , r . rsAPI , events , nil , r . deviceUserID , "messages" )
2022-08-11 18:23:35 +02:00
if err != nil {
2023-07-13 14:18:37 +02:00
return [ ] synctypes . ClientEvent { } , * r . from , * r . to , nil
}
logrus . WithFields ( logrus . Fields {
"duration" : time . Since ( startTime ) ,
"room_id" : r . roomID ,
"events_before" : len ( events ) ,
"events_after" : len ( filteredEvents ) ,
} ) . Debug ( "applied history visibility (messages)" )
// No events left after applying history visibility
if len ( filteredEvents ) == 0 {
return [ ] synctypes . ClientEvent { } , * r . from , emptyToken , nil
}
// If we backfilled in the process of getting events, we need
// to re-fetch the start/end positions
if r . didBackfill {
_ , end , err = r . getStartEnd ( filteredEvents )
if err != nil {
return [ ] synctypes . ClientEvent { } , * r . from , * r . to , err
}
2022-08-11 18:23:35 +02:00
}
2021-01-13 13:59:29 +01:00
2020-04-15 17:10:18 +02:00
// Sort the events to ensure we send them in the right order.
2020-01-23 18:51:10 +01:00
if r . backwardOrdering {
2023-07-13 14:18:37 +02:00
if events [ len ( events ) - 1 ] . Type ( ) == spec . MRoomCreate {
// NOTSPEC: We've hit the beginning of the room so there's really nowhere
// else to go. This seems to fix Element iOS from looping on /messages endlessly.
end = types . TopologyToken { }
}
2020-04-15 17:10:18 +02:00
// This reverses the array from old->new to new->old
2023-04-27 13:54:20 +02:00
reversed := func ( in [ ] * rstypes . HeaderedEvent ) [ ] * rstypes . HeaderedEvent {
out := make ( [ ] * rstypes . HeaderedEvent , len ( in ) )
2020-05-01 17:41:13 +02:00
for i := 0 ; i < len ( in ) ; i ++ {
out [ i ] = in [ len ( in ) - i - 1 ]
}
return out
}
2023-07-13 14:18:37 +02:00
filteredEvents = reversed ( filteredEvents )
2020-10-02 18:08:13 +02:00
}
2020-01-23 18:51:10 +01:00
2023-07-13 14:18:37 +02:00
start = * r . from
2023-06-14 16:23:46 +02:00
return synctypes . ToClientEvents ( gomatrixserverlib . ToPDUs ( filteredEvents ) , synctypes . FormatAll , func ( roomID spec . RoomID , senderID spec . SenderID ) ( * spec . UserID , error ) {
2023-06-06 22:55:18 +02:00
return rsAPI . QueryUserIDForSender ( ctx , roomID , senderID )
2023-07-13 14:18:37 +02:00
} ) , start , end , nil
2020-10-02 18:08:13 +02:00
}
2023-04-27 13:54:20 +02:00
func ( r * messagesReq ) getStartEnd ( events [ ] * rstypes . HeaderedEvent ) ( start , end types . TopologyToken , err error ) {
2021-01-13 13:59:29 +01:00
if r . backwardOrdering {
start = * r . from
2023-04-19 16:50:33 +02:00
if events [ len ( events ) - 1 ] . Type ( ) == spec . MRoomCreate {
2021-01-13 13:59:29 +01:00
// NOTSPEC: We've hit the beginning of the room so there's really nowhere
2021-07-20 10:45:40 +02:00
// else to go. This seems to fix Element iOS from looping on /messages endlessly.
2021-01-13 13:59:29 +01:00
end = types . TopologyToken { }
} else {
2022-09-30 13:48:10 +02:00
end , err = r . snapshot . EventPositionInTopology (
2021-01-13 13:59:29 +01:00
r . ctx , events [ 0 ] . EventID ( ) ,
)
2020-06-17 18:41:45 +02:00
// A stream/topological position is a cursor located between two events.
// While they are identified in the code by the event on their right (if
// we consider a left to right chronological order), tokens need to refer
// to them by the event on their left, therefore we need to decrement the
// end position we send in the response if we're going backward.
end . Decrement ( )
}
2021-01-13 13:59:29 +01:00
} else {
start = * r . from
2022-09-30 13:48:10 +02:00
end , err = r . snapshot . EventPositionInTopology (
2021-01-13 13:59:29 +01:00
r . ctx , events [ len ( events ) - 1 ] . EventID ( ) ,
)
}
if err != nil {
err = fmt . Errorf ( "EventPositionInTopology: for end event %s: %w" , events [ len ( events ) - 1 ] . EventID ( ) , err )
return
2020-01-23 18:51:10 +01:00
}
2020-06-17 18:41:45 +02:00
return
2020-01-23 18:51:10 +01:00
}
// handleEmptyEventsSlice handles the case where the initial request to the
// database returned an empty slice of events. It does so by checking whether
// the set is empty because we've reached a backward extremity, and if that is
// the case, by retrieving as much events as requested by backfilling from
// another homeserver.
// Returns an error if there was an issue talking with the database or
// backfilling.
func ( r * messagesReq ) handleEmptyEventsSlice ( ) (
2023-04-27 13:54:20 +02:00
events [ ] * rstypes . HeaderedEvent , err error ,
2020-01-23 18:51:10 +01:00
) {
2022-09-30 13:48:10 +02:00
backwardExtremities , err := r . snapshot . BackwardExtremitiesForRoom ( r . ctx , r . roomID )
2020-01-23 18:51:10 +01:00
// Check if we have backward extremities for this room.
if len ( backwardExtremities ) > 0 {
// If so, retrieve as much events as needed through backfilling.
2022-03-01 15:39:56 +01:00
events , err = r . backfill ( r . roomID , backwardExtremities , r . filter . Limit )
2020-01-23 18:51:10 +01:00
if err != nil {
return
}
2023-07-13 14:18:37 +02:00
r . didBackfill = true
2020-01-23 18:51:10 +01:00
} else {
// If not, it means the slice was empty because we reached the room's
// creation, so return an empty slice.
2023-04-27 13:54:20 +02:00
events = [ ] * rstypes . HeaderedEvent { }
2020-01-23 18:51:10 +01:00
}
return
}
// handleNonEmptyEventsSlice handles the case where the initial request to the
// database returned a non-empty slice of events. It does so by checking whether
// events are missing from the expected result, and retrieve missing events
// through backfilling if needed.
// Returns an error if there was an issue while backfilling.
func ( r * messagesReq ) handleNonEmptyEventsSlice ( streamEvents [ ] types . StreamEvent ) (
2023-04-27 13:54:20 +02:00
events [ ] * rstypes . HeaderedEvent , err error ,
2020-01-23 18:51:10 +01:00
) {
// Check if we have enough events.
2022-03-01 15:39:56 +01:00
isSetLargeEnough := len ( streamEvents ) >= r . filter . Limit
2020-03-24 13:20:10 +01:00
if ! isSetLargeEnough {
// it might be fine we don't have up to 'limit' events, let's find out
2020-01-23 18:51:10 +01:00
if r . backwardOrdering {
if r . wasToProvided {
// The condition in the SQL query is a strict "greater than" so
// we need to check against to-1.
streamPos := types . StreamPosition ( streamEvents [ len ( streamEvents ) - 1 ] . StreamPosition )
2020-12-10 19:57:10 +01:00
isSetLargeEnough = ( r . to . PDUPosition - 1 == streamPos )
2020-01-23 18:51:10 +01:00
}
} else {
streamPos := types . StreamPosition ( streamEvents [ 0 ] . StreamPosition )
2020-12-10 19:57:10 +01:00
isSetLargeEnough = ( r . from . PDUPosition - 1 == streamPos )
2020-01-23 18:51:10 +01:00
}
}
// Check if the slice contains a backward extremity.
2022-09-30 13:48:10 +02:00
backwardExtremities , err := r . snapshot . BackwardExtremitiesForRoom ( r . ctx , r . roomID )
2020-01-23 18:51:10 +01:00
if err != nil {
return
}
// Backfill is needed if we've reached a backward extremity and need more
// events. It's only needed if the direction is backward.
if len ( backwardExtremities ) > 0 && ! isSetLargeEnough && r . backwardOrdering {
2023-04-27 13:54:20 +02:00
var pdus [ ] * rstypes . HeaderedEvent
2020-01-23 18:51:10 +01:00
// Only ask the remote server for enough events to reach the limit.
2022-03-01 15:39:56 +01:00
pdus , err = r . backfill ( r . roomID , backwardExtremities , r . filter . Limit - len ( streamEvents ) )
2020-01-23 18:51:10 +01:00
if err != nil {
return
}
2023-07-13 14:18:37 +02:00
r . didBackfill = true
2020-01-23 18:51:10 +01:00
// Append the PDUs to the list to send back to the client.
events = append ( events , pdus ... )
}
// Append the events ve previously retrieved locally.
2023-06-07 19:14:35 +02:00
events = append ( events , r . snapshot . StreamEventsToEvents ( r . ctx , nil , streamEvents , r . rsAPI ) ... )
2020-05-01 17:41:13 +02:00
sort . Sort ( eventsByDepth ( events ) )
2020-01-23 18:51:10 +01:00
return
}
2023-04-27 13:54:20 +02:00
type eventsByDepth [ ] * rstypes . HeaderedEvent
2020-05-01 17:41:13 +02:00
func ( e eventsByDepth ) Len ( ) int {
return len ( e )
}
func ( e eventsByDepth ) Swap ( i , j int ) {
e [ i ] , e [ j ] = e [ j ] , e [ i ]
}
func ( e eventsByDepth ) Less ( i , j int ) bool {
return e [ i ] . Depth ( ) < e [ j ] . Depth ( )
}
2020-01-23 18:51:10 +01:00
// backfill performs a backfill request over the federation on another
// homeserver in the room.
// See: https://matrix.org/docs/spec/server_server/latest#get-matrix-federation-v1-backfill-roomid
// It also stores the PDUs retrieved from the remote homeserver's response to
// the database.
// Returns with an empty string if the remote homeserver didn't return with any
// event, or if there is no remote homeserver to contact.
// Returns an error if there was an issue with retrieving the list of servers in
// the room or sending the request.
2023-04-27 13:54:20 +02:00
func ( r * messagesReq ) backfill ( roomID string , backwardsExtremities map [ string ] [ ] string , limit int ) ( [ ] * rstypes . HeaderedEvent , error ) {
2020-06-11 20:50:40 +02:00
var res api . PerformBackfillResponse
err := r . rsAPI . PerformBackfill ( context . Background ( ) , & api . PerformBackfillRequest {
2020-05-20 17:04:31 +02:00
RoomID : roomID ,
BackwardsExtremities : backwardsExtremities ,
Limit : limit ,
ServerName : r . cfg . Matrix . ServerName ,
2022-11-15 16:05:23 +01:00
VirtualHost : r . device . UserDomain ( ) ,
2020-04-28 12:46:47 +02:00
} , & res )
2020-03-24 13:20:10 +01:00
if err != nil {
2020-06-11 20:50:40 +02:00
return nil , fmt . Errorf ( "PerformBackfill failed: %w" , err )
2020-03-24 13:20:10 +01:00
}
2020-04-28 12:46:47 +02:00
util . GetLogger ( r . ctx ) . WithField ( "new_events" , len ( res . Events ) ) . Info ( "Storing new events from backfill" )
2020-03-24 13:20:10 +01:00
2020-04-28 12:46:47 +02:00
// TODO: we should only be inserting events into the database from the roomserver's kafka output stream.
// Currently, this can race with live events for the room and cause problems. It's also just a bit unclear
// when you have multiple entry points to write events.
2020-03-24 13:20:10 +01:00
2020-05-01 17:41:13 +02:00
// we have to order these by depth, starting with the lowest because otherwise the topology tokens
// will skip over events that have the same depth but different stream positions due to the query which is:
// - anything less than the depth OR
// - anything with the same depth and a lower stream position.
sort . Sort ( eventsByDepth ( res . Events ) )
2020-03-24 13:20:10 +01:00
// Store the events in the database, while marking them as unfit to show
// up in responses to sync requests.
2022-08-19 11:04:26 +02:00
if res . HistoryVisibility == "" {
res . HistoryVisibility = gomatrixserverlib . HistoryVisibilityShared
}
2023-07-13 14:18:37 +02:00
events := res . Events
for i := range events {
events [ i ] . Visibility = res . HistoryVisibility
2020-05-01 17:41:13 +02:00
_ , err = r . db . WriteEvent (
2020-10-05 12:06:31 +02:00
context . Background ( ) ,
2023-07-13 14:18:37 +02:00
events [ i ] ,
2023-04-27 13:54:20 +02:00
[ ] * rstypes . HeaderedEvent { } ,
2020-03-24 13:20:10 +01:00
[ ] string { } ,
[ ] string { } ,
nil , true ,
2023-07-13 14:18:37 +02:00
events [ i ] . Visibility ,
2020-05-01 17:41:13 +02:00
)
if err != nil {
2020-03-24 13:20:10 +01:00
return nil , err
}
}
2020-05-19 19:42:55 +02:00
// we may have got more than the requested limit so resize now
if len ( events ) > limit {
// last `limit` events
events = events [ len ( events ) - limit : ]
}
return events , nil
2020-01-23 18:51:10 +01:00
}