2020-06-02 22:37:10 +00:00
|
|
|
package stream
|
|
|
|
|
|
|
|
import (
|
|
|
|
"context"
|
|
|
|
fmt "fmt"
|
|
|
|
"testing"
|
|
|
|
time "time"
|
|
|
|
|
|
|
|
"github.com/stretchr/testify/require"
|
|
|
|
)
|
|
|
|
|
|
|
|
func TestEventSnapshot(t *testing.T) {
|
|
|
|
// Setup a dummy state that we can manipulate easily. The properties we care
|
|
|
|
// about are that we publish some sequence of events as a snapshot and then
|
2020-06-05 23:36:31 +00:00
|
|
|
// follow them up with "live updates". We control the interleaving. Our state
|
2020-06-02 22:37:10 +00:00
|
|
|
// consists of health events (only type fully defined so far) for service
|
|
|
|
// instances with consecutive ID numbers starting from 0 (e.g. test-000,
|
|
|
|
// test-001). The snapshot is delivered at index 1000. updatesBeforeSnap
|
|
|
|
// controls how many updates are delivered _before_ the snapshot is complete
|
|
|
|
// (with an index < 1000). updatesBeforeSnap controls the number of updates
|
|
|
|
// delivered after (index > 1000).
|
|
|
|
//
|
|
|
|
// In all cases the invariant should be that we end up with all of the
|
|
|
|
// instances in the snapshot, plus any delivered _after_ the snapshot index,
|
|
|
|
// but none delivered _before_ the snapshot index otherwise we may have an
|
|
|
|
// inconsistent snapshot.
|
|
|
|
cases := []struct {
|
|
|
|
name string
|
|
|
|
snapshotSize int
|
|
|
|
updatesBeforeSnap int
|
|
|
|
updatesAfterSnap int
|
|
|
|
}{
|
|
|
|
{
|
|
|
|
name: "snapshot with subsequent mutations",
|
|
|
|
snapshotSize: 10,
|
|
|
|
updatesBeforeSnap: 0,
|
|
|
|
updatesAfterSnap: 10,
|
|
|
|
},
|
|
|
|
{
|
|
|
|
name: "snapshot with concurrent mutations",
|
|
|
|
snapshotSize: 10,
|
|
|
|
updatesBeforeSnap: 5,
|
|
|
|
updatesAfterSnap: 5,
|
|
|
|
},
|
|
|
|
{
|
|
|
|
name: "empty snapshot with subsequent mutations",
|
|
|
|
snapshotSize: 0,
|
|
|
|
updatesBeforeSnap: 0,
|
|
|
|
updatesAfterSnap: 10,
|
|
|
|
},
|
|
|
|
{
|
|
|
|
name: "empty snapshot with concurrent mutations",
|
|
|
|
snapshotSize: 0,
|
|
|
|
updatesBeforeSnap: 5,
|
|
|
|
updatesAfterSnap: 5,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
|
|
|
snapIndex := uint64(1000)
|
|
|
|
|
|
|
|
for _, tc := range cases {
|
|
|
|
tc := tc
|
|
|
|
t.Run(tc.name, func(t *testing.T) {
|
|
|
|
require.True(t, tc.updatesBeforeSnap < 999,
|
|
|
|
"bad test param updatesBeforeSnap must be less than the snapshot"+
|
|
|
|
" index (%d) minus one (%d), got: %d", snapIndex, snapIndex-1,
|
|
|
|
tc.updatesBeforeSnap)
|
|
|
|
|
|
|
|
// Create a snapshot func that will deliver registration events.
|
|
|
|
snFn := testHealthConsecutiveSnapshotFn(tc.snapshotSize, snapIndex)
|
|
|
|
|
|
|
|
// Create a topic buffer for updates
|
2020-07-06 21:29:45 +00:00
|
|
|
tb := newEventBuffer()
|
2020-06-02 22:37:10 +00:00
|
|
|
|
|
|
|
// Capture the topic buffer head now so updatesBeforeSnap are "concurrent"
|
2020-07-06 21:29:45 +00:00
|
|
|
// and are seen by the eventSnapshot once it completes the snap.
|
2020-06-02 22:37:10 +00:00
|
|
|
tbHead := tb.Head()
|
|
|
|
|
|
|
|
// Deliver any pre-snapshot events simulating updates that occur after the
|
|
|
|
// topic buffer is captured during a Subscribe call, but before the
|
|
|
|
// snapshot is made of the FSM.
|
|
|
|
for i := tc.updatesBeforeSnap; i > 0; i-- {
|
|
|
|
index := snapIndex - uint64(i)
|
|
|
|
// Use an instance index that's unique and should never appear in the
|
|
|
|
// output so we can be sure these were not included as they came before
|
|
|
|
// the snapshot.
|
2020-06-05 23:36:31 +00:00
|
|
|
tb.Append([]Event{newDefaultHealthEvent(index, 10000+i)})
|
2020-06-02 22:37:10 +00:00
|
|
|
}
|
|
|
|
|
2020-10-01 17:51:55 +00:00
|
|
|
es := newEventSnapshot()
|
|
|
|
es.appendAndSplice(SubscribeRequest{}, snFn, tbHead)
|
2020-06-02 22:37:10 +00:00
|
|
|
|
|
|
|
// Deliver any post-snapshot events simulating updates that occur
|
|
|
|
// logically after snapshot. It doesn't matter that these might actually
|
|
|
|
// be appended before the snapshot fn executes in another goroutine since
|
|
|
|
// it's operating an a possible stale "snapshot". This is the same as
|
|
|
|
// reality with the state store where updates that occur after the
|
|
|
|
// snapshot is taken but while the SnapFnis still running must be captured
|
|
|
|
// correctly.
|
|
|
|
for i := 0; i < tc.updatesAfterSnap; i++ {
|
|
|
|
index := snapIndex + 1 + uint64(i)
|
|
|
|
// Use an instance index that's unique.
|
2020-06-05 23:36:31 +00:00
|
|
|
tb.Append([]Event{newDefaultHealthEvent(index, 20000+i)})
|
2020-06-02 22:37:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Now read the snapshot buffer until we've received everything we expect.
|
|
|
|
// Don't wait too long in case we get stuck.
|
|
|
|
ctx, cancel := context.WithTimeout(context.Background(), 5*time.Second)
|
|
|
|
defer cancel()
|
|
|
|
|
|
|
|
snapIDs := make([]string, 0, tc.snapshotSize)
|
|
|
|
updateIDs := make([]string, 0, tc.updatesAfterSnap)
|
|
|
|
snapDone := false
|
2020-10-01 17:51:55 +00:00
|
|
|
curItem := es.First
|
2020-06-02 22:37:10 +00:00
|
|
|
var err error
|
|
|
|
RECV:
|
|
|
|
for {
|
2020-07-08 04:31:22 +00:00
|
|
|
curItem, err = curItem.Next(ctx, nil)
|
2020-06-02 22:37:10 +00:00
|
|
|
// This error is typically timeout so dump the state to aid debugging.
|
|
|
|
require.NoError(t, err,
|
|
|
|
"current state: snapDone=%v snapIDs=%s updateIDs=%s", snapDone,
|
|
|
|
snapIDs, updateIDs)
|
2020-07-20 22:20:02 +00:00
|
|
|
if len(curItem.Events) == 0 {
|
|
|
|
// An item without an error or events is a bufferItem.NextLink event.
|
|
|
|
// A subscription handles this by proceeding to the next item,
|
|
|
|
// so we do the same here.
|
|
|
|
continue
|
|
|
|
}
|
2020-06-02 22:37:10 +00:00
|
|
|
e := curItem.Events[0]
|
2020-06-05 23:36:31 +00:00
|
|
|
switch {
|
|
|
|
case snapDone:
|
2020-10-27 18:40:06 +00:00
|
|
|
payload, ok := e.Payload.(simplePayload)
|
2020-06-05 23:36:31 +00:00
|
|
|
require.True(t, ok, "want health event got: %#v", e.Payload)
|
2020-10-27 18:40:06 +00:00
|
|
|
updateIDs = append(updateIDs, payload.value)
|
2020-06-02 22:37:10 +00:00
|
|
|
if len(updateIDs) == tc.updatesAfterSnap {
|
|
|
|
// We're done!
|
|
|
|
break RECV
|
|
|
|
}
|
2020-06-15 22:49:00 +00:00
|
|
|
case e.IsEndOfSnapshot():
|
2020-06-02 22:37:10 +00:00
|
|
|
snapDone = true
|
2020-06-05 23:36:31 +00:00
|
|
|
default:
|
2020-10-27 18:40:06 +00:00
|
|
|
payload, ok := e.Payload.(simplePayload)
|
2020-06-05 23:36:31 +00:00
|
|
|
require.True(t, ok, "want health event got: %#v", e.Payload)
|
2020-10-27 18:40:06 +00:00
|
|
|
snapIDs = append(snapIDs, payload.value)
|
2020-06-02 22:37:10 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Validate the event IDs we got delivered.
|
|
|
|
require.Equal(t, genSequentialIDs(0, tc.snapshotSize), snapIDs)
|
|
|
|
require.Equal(t, genSequentialIDs(20000, 20000+tc.updatesAfterSnap), updateIDs)
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func genSequentialIDs(start, end int) []string {
|
|
|
|
ids := make([]string, 0, end-start)
|
|
|
|
for i := start; i < end; i++ {
|
2020-06-05 23:36:31 +00:00
|
|
|
ids = append(ids, fmt.Sprintf("test-event-%03d", i))
|
2020-06-02 22:37:10 +00:00
|
|
|
}
|
|
|
|
return ids
|
|
|
|
}
|
|
|
|
|
2020-07-14 23:23:44 +00:00
|
|
|
func testHealthConsecutiveSnapshotFn(size int, index uint64) SnapshotFunc {
|
|
|
|
return func(req SubscribeRequest, buf SnapshotAppender) (uint64, error) {
|
2020-06-02 22:37:10 +00:00
|
|
|
for i := 0; i < size; i++ {
|
|
|
|
// Event content is arbitrary we are just using Health because it's the
|
|
|
|
// first type defined. We just want a set of things with consecutive
|
|
|
|
// names.
|
2020-06-05 23:36:31 +00:00
|
|
|
buf.Append([]Event{newDefaultHealthEvent(index, i)})
|
2020-06-02 22:37:10 +00:00
|
|
|
}
|
|
|
|
return index, nil
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-06-05 23:36:31 +00:00
|
|
|
func newDefaultHealthEvent(index uint64, n int) Event {
|
|
|
|
return Event{
|
|
|
|
Index: index,
|
2020-07-07 00:04:24 +00:00
|
|
|
Topic: testTopic,
|
2020-10-27 18:40:06 +00:00
|
|
|
Payload: simplePayload{value: fmt.Sprintf("test-event-%03d", n)},
|
2020-06-02 22:37:10 +00:00
|
|
|
}
|
|
|
|
}
|