github.com/whtcorpsinc/MilevaDB-Prod@v0.0.0-20211104133533-f57f4be3b597/dbs/memristed/meta/autoid/autoid_test.go

// Copyright 2020 WHTCORPS INC, Inc.
//
// 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,
// See the License for the specific language governing permissions and
// limitations under the License.

package autoid_test

import (
	"fmt"
	"math"
	"math/rand"
	"sync"
	"testing"
	"time"

	"github.com/whtcorpsinc/BerolinaSQL/perceptron"
	. "github.com/whtcorpsinc/check"
	"github.com/whtcorpsinc/errors"
	"github.com/whtcorpsinc/failpoint"
	"github.com/whtcorpsinc/milevadb/causetstore/mockstore"
	"github.com/whtcorpsinc/milevadb/ekv"
	"github.com/whtcorpsinc/milevadb/spacetime"
	"github.com/whtcorpsinc/milevadb/spacetime/autoid"
)

func TestT(t *testing.T) {
	CustomVerboseFlag = true
	TestingT(t)
}

var _ = SerialSuites(&testSuite{})

type testSuite struct {
}

func (*testSuite) TestT(c *C) {
	c.Assert(failpoint.Enable("github.com/whtcorpsinc/milevadb/spacetime/autoid/mockAutoIDChange", `return(true)`), IsNil)
	defer func() {
		c.Assert(failpoint.Disable("github.com/whtcorpsinc/milevadb/spacetime/autoid/mockAutoIDChange"), IsNil)
	}()

	causetstore, err := mockstore.NewMockStore()
	c.Assert(err, IsNil)
	defer causetstore.Close()

	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err = m.CreateDatabase(&perceptron.DBInfo{ID: 1, Name: perceptron.NewCIStr("a")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 1, Name: perceptron.NewCIStr("t")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 2, Name: perceptron.NewCIStr("t1")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 3, Name: perceptron.NewCIStr("t1")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 4, Name: perceptron.NewCIStr("t2")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 5, Name: perceptron.NewCIStr("t3")})
		c.Assert(err, IsNil)
		return nil
	})
	c.Assert(err, IsNil)

	// Since the test here is applicable to any type of allocators, autoid.RowIDAllocType is chosen.
	alloc := autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)

	globalAutoID, err := alloc.NextGlobalAutoID(1)
	c.Assert(err, IsNil)
	c.Assert(globalAutoID, Equals, int64(1))
	_, id, err := alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(1))
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(2))
	_, _, err = alloc.Alloc(0, 1, 1, 1)
	c.Assert(err, NotNil)
	globalAutoID, err = alloc.NextGlobalAutoID(1)
	c.Assert(err, IsNil)
	c.Assert(globalAutoID, Equals, autoid.GetStep()+1)

	// rebase
	err = alloc.Rebase(1, int64(1), true)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(3))
	err = alloc.Rebase(1, int64(3), true)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(4))
	err = alloc.Rebase(1, int64(10), true)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(11))
	err = alloc.Rebase(1, int64(3010), true)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(3011))

	alloc = autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, autoid.GetStep()+1)

	alloc = autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	err = alloc.Rebase(2, int64(1), false)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(2, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(2))

	alloc = autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	err = alloc.Rebase(3, int64(3210), false)
	c.Assert(err, IsNil)
	alloc = autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	err = alloc.Rebase(3, int64(3000), false)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(3, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(3211))
	err = alloc.Rebase(3, int64(6543), false)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(3, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(6544))

	// Test the MaxInt64 is the upper bound of `alloc` function but not `rebase`.
	err = alloc.Rebase(3, int64(math.MaxInt64-1), true)
	c.Assert(err, IsNil)
	_, _, err = alloc.Alloc(3, 1, 1, 1)
	c.Assert(alloc, NotNil)
	err = alloc.Rebase(3, int64(math.MaxInt64), true)
	c.Assert(err, IsNil)

	// alloc N for signed
	alloc = autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	globalAutoID, err = alloc.NextGlobalAutoID(4)
	c.Assert(err, IsNil)
	c.Assert(globalAutoID, Equals, int64(1))
	min, max, err := alloc.Alloc(4, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(1))
	c.Assert(min+1, Equals, int64(1))

	min, max, err = alloc.Alloc(4, 2, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(2))
	c.Assert(min+1, Equals, int64(2))
	c.Assert(max, Equals, int64(3))

	min, max, err = alloc.Alloc(4, 100, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(100))
	expected := int64(4)
	for i := min + 1; i <= max; i++ {
		c.Assert(i, Equals, expected)
		expected++
	}

	err = alloc.Rebase(4, int64(1000), false)
	c.Assert(err, IsNil)
	min, max, err = alloc.Alloc(4, 3, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(3))
	c.Assert(min+1, Equals, int64(1001))
	c.Assert(min+2, Equals, int64(1002))
	c.Assert(max, Equals, int64(1003))

	lastRemainOne := alloc.End()
	err = alloc.Rebase(4, alloc.End()-2, false)
	c.Assert(err, IsNil)
	min, max, err = alloc.Alloc(4, 5, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(5))
	c.Assert(min+1, Greater, lastRemainOne)

	// Test for increment & offset for signed.
	alloc = autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)

	increment := int64(2)
	offset := int64(100)
	c.Assert(err, IsNil)
	c.Assert(globalAutoID, Equals, int64(1))
	min, max, err = alloc.Alloc(5, 1, increment, offset)
	c.Assert(err, IsNil)
	c.Assert(min, Equals, int64(99))
	c.Assert(max, Equals, int64(100))

	min, max, err = alloc.Alloc(5, 2, increment, offset)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(4))
	c.Assert(max-min, Equals, autoid.CalcNeededBatchSize(100, 2, increment, offset, false))
	c.Assert(min, Equals, int64(100))
	c.Assert(max, Equals, int64(104))

	increment = int64(5)
	min, max, err = alloc.Alloc(5, 3, increment, offset)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(11))
	c.Assert(max-min, Equals, autoid.CalcNeededBatchSize(104, 3, increment, offset, false))
	c.Assert(min, Equals, int64(104))
	c.Assert(max, Equals, int64(115))
	firstID := autoid.SeekToFirstAutoIDSigned(104, increment, offset)
	c.Assert(firstID, Equals, int64(105))

	increment = int64(15)
	min, max, err = alloc.Alloc(5, 2, increment, offset)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(30))
	c.Assert(max-min, Equals, autoid.CalcNeededBatchSize(115, 2, increment, offset, false))
	c.Assert(min, Equals, int64(115))
	c.Assert(max, Equals, int64(145))
	firstID = autoid.SeekToFirstAutoIDSigned(115, increment, offset)
	c.Assert(firstID, Equals, int64(130))

	offset = int64(200)
	min, max, err = alloc.Alloc(5, 2, increment, offset)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(16))
	// offset-1 > base will cause alloc rebase to offset-1.
	c.Assert(max-min, Equals, autoid.CalcNeededBatchSize(offset-1, 2, increment, offset, false))
	c.Assert(min, Equals, int64(199))
	c.Assert(max, Equals, int64(215))
	firstID = autoid.SeekToFirstAutoIDSigned(offset-1, increment, offset)
	c.Assert(firstID, Equals, int64(200))
}

func (*testSuite) TestUnsignedAutoid(c *C) {
	c.Assert(failpoint.Enable("github.com/whtcorpsinc/milevadb/spacetime/autoid/mockAutoIDChange", `return(true)`), IsNil)
	defer func() {
		c.Assert(failpoint.Disable("github.com/whtcorpsinc/milevadb/spacetime/autoid/mockAutoIDChange"), IsNil)
	}()

	causetstore, err := mockstore.NewMockStore()
	c.Assert(err, IsNil)
	defer causetstore.Close()

	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err = m.CreateDatabase(&perceptron.DBInfo{ID: 1, Name: perceptron.NewCIStr("a")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 1, Name: perceptron.NewCIStr("t")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 2, Name: perceptron.NewCIStr("t1")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 3, Name: perceptron.NewCIStr("t1")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 4, Name: perceptron.NewCIStr("t2")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 5, Name: perceptron.NewCIStr("t3")})
		c.Assert(err, IsNil)
		return nil
	})
	c.Assert(err, IsNil)

	alloc := autoid.NewSlabPredictor(causetstore, 1, true, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)

	globalAutoID, err := alloc.NextGlobalAutoID(1)
	c.Assert(err, IsNil)
	c.Assert(globalAutoID, Equals, int64(1))
	_, id, err := alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(1))
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(2))
	_, _, err = alloc.Alloc(0, 1, 1, 1)
	c.Assert(err, NotNil)
	globalAutoID, err = alloc.NextGlobalAutoID(1)
	c.Assert(err, IsNil)
	c.Assert(globalAutoID, Equals, autoid.GetStep()+1)

	// rebase
	err = alloc.Rebase(1, int64(1), true)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(3))
	err = alloc.Rebase(1, int64(3), true)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(4))
	err = alloc.Rebase(1, int64(10), true)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(11))
	err = alloc.Rebase(1, int64(3010), true)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(3011))

	alloc = autoid.NewSlabPredictor(causetstore, 1, true, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	_, id, err = alloc.Alloc(1, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, autoid.GetStep()+1)

	alloc = autoid.NewSlabPredictor(causetstore, 1, true, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	err = alloc.Rebase(2, int64(1), false)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(2, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(2))

	alloc = autoid.NewSlabPredictor(causetstore, 1, true, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	err = alloc.Rebase(3, int64(3210), false)
	c.Assert(err, IsNil)
	alloc = autoid.NewSlabPredictor(causetstore, 1, true, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	err = alloc.Rebase(3, int64(3000), false)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(3, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(3211))
	err = alloc.Rebase(3, int64(6543), false)
	c.Assert(err, IsNil)
	_, id, err = alloc.Alloc(3, 1, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(id, Equals, int64(6544))

	// Test the MaxUint64 is the upper bound of `alloc` func but not `rebase`.
	var n uint64 = math.MaxUint64 - 1
	un := int64(n)
	err = alloc.Rebase(3, un, true)
	c.Assert(err, IsNil)
	_, _, err = alloc.Alloc(3, 1, 1, 1)
	c.Assert(err, NotNil)
	un = int64(n + 1)
	err = alloc.Rebase(3, un, true)
	c.Assert(err, IsNil)

	// alloc N for unsigned
	alloc = autoid.NewSlabPredictor(causetstore, 1, true, autoid.RowIDAllocType)
	c.Assert(alloc, NotNil)
	globalAutoID, err = alloc.NextGlobalAutoID(4)
	c.Assert(err, IsNil)
	c.Assert(globalAutoID, Equals, int64(1))

	min, max, err := alloc.Alloc(4, 2, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(2))
	c.Assert(min+1, Equals, int64(1))
	c.Assert(max, Equals, int64(2))

	err = alloc.Rebase(4, int64(500), true)
	c.Assert(err, IsNil)
	min, max, err = alloc.Alloc(4, 2, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(2))
	c.Assert(min+1, Equals, int64(501))
	c.Assert(max, Equals, int64(502))

	lastRemainOne := alloc.End()
	err = alloc.Rebase(4, alloc.End()-2, false)
	c.Assert(err, IsNil)
	min, max, err = alloc.Alloc(4, 5, 1, 1)
	c.Assert(err, IsNil)
	c.Assert(max-min, Equals, int64(5))
	c.Assert(min+1, Greater, lastRemainOne)

	// Test increment & offset for unsigned. Using AutoRandomType to avoid valid range check for increment and offset.
	alloc = autoid.NewSlabPredictor(causetstore, 1, true, autoid.AutoRandomType)
	c.Assert(alloc, NotNil)
	c.Assert(err, IsNil)
	c.Assert(globalAutoID, Equals, int64(1))

	increment := int64(2)
	n = math.MaxUint64 - 100
	offset := int64(n)

	min, max, err = alloc.Alloc(5, 2, increment, offset)
	c.Assert(err, IsNil)
	c.Assert(uint64(min), Equals, uint64(math.MaxUint64-101))
	c.Assert(uint64(max), Equals, uint64(math.MaxUint64-98))

	c.Assert(max-min, Equals, autoid.CalcNeededBatchSize(int64(uint64(offset)-1), 2, increment, offset, true))
	firstID := autoid.SeekToFirstAutoIDUnSigned(uint64(min), uint64(increment), uint64(offset))
	c.Assert(firstID, Equals, uint64(math.MaxUint64-100))

}

// TestConcurrentAlloc is used for the test that
// multiple allocators allocate ID with the same causet ID concurrently.
func (*testSuite) TestConcurrentAlloc(c *C) {
	causetstore, err := mockstore.NewMockStore()
	c.Assert(err, IsNil)
	defer causetstore.Close()
	autoid.SetStep(100)
	defer func() {
		autoid.SetStep(5000)
	}()

	dbID := int64(2)
	tblID := int64(100)
	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err = m.CreateDatabase(&perceptron.DBInfo{ID: dbID, Name: perceptron.NewCIStr("a")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(dbID, &perceptron.BlockInfo{ID: tblID, Name: perceptron.NewCIStr("t")})
		c.Assert(err, IsNil)
		return nil
	})
	c.Assert(err, IsNil)

	var mu sync.Mutex
	wg := sync.WaitGroup{}
	m := map[int64]struct{}{}
	count := 10
	errCh := make(chan error, count)

	allocIDs := func() {
		alloc := autoid.NewSlabPredictor(causetstore, dbID, false, autoid.RowIDAllocType)
		for j := 0; j < int(autoid.GetStep())+5; j++ {
			_, id, err1 := alloc.Alloc(tblID, 1, 1, 1)
			if err1 != nil {
				errCh <- err1
				break
			}

			mu.Lock()
			if _, ok := m[id]; ok {
				errCh <- fmt.Errorf("duplicate id:%v", id)
				mu.Unlock()
				break
			}
			m[id] = struct{}{}
			mu.Unlock()

			//test Alloc N
			N := rand.Uint64() % 100
			min, max, err1 := alloc.Alloc(tblID, N, 1, 1)
			if err1 != nil {
				errCh <- err1
				break
			}

			errFlag := false
			mu.Lock()
			for i := min + 1; i <= max; i++ {
				if _, ok := m[i]; ok {
					errCh <- fmt.Errorf("duplicate id:%v", i)
					errFlag = true
					mu.Unlock()
					break
				}
				m[i] = struct{}{}
			}
			if errFlag {
				break
			}
			mu.Unlock()
		}
	}
	for i := 0; i < count; i++ {
		wg.Add(1)
		go func(num int) {
			defer wg.Done()
			time.Sleep(time.Duration(num%10) * time.Microsecond)
			allocIDs()
		}(i)
	}
	wg.Wait()

	close(errCh)
	err = <-errCh
	c.Assert(err, IsNil)
}

// TestRollbackAlloc tests that when the allocation transaction commit failed,
// the local variable base and end doesn't change.
func (*testSuite) TestRollbackAlloc(c *C) {
	causetstore, err := mockstore.NewMockStore()
	c.Assert(err, IsNil)
	defer causetstore.Close()
	dbID := int64(1)
	tblID := int64(2)
	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err = m.CreateDatabase(&perceptron.DBInfo{ID: dbID, Name: perceptron.NewCIStr("a")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(dbID, &perceptron.BlockInfo{ID: tblID, Name: perceptron.NewCIStr("t")})
		c.Assert(err, IsNil)
		return nil
	})
	c.Assert(err, IsNil)

	injectConf := new(ekv.InjectionConfig)
	injectConf.SetCommitError(errors.New("injected"))
	injectedStore := ekv.NewInjectedStore(causetstore, injectConf)
	alloc := autoid.NewSlabPredictor(injectedStore, 1, false, autoid.RowIDAllocType)
	_, _, err = alloc.Alloc(2, 1, 1, 1)
	c.Assert(err, NotNil)
	c.Assert(alloc.Base(), Equals, int64(0))
	c.Assert(alloc.End(), Equals, int64(0))

	err = alloc.Rebase(2, 100, true)
	c.Assert(err, NotNil)
	c.Assert(alloc.Base(), Equals, int64(0))
	c.Assert(alloc.End(), Equals, int64(0))
}

// TestNextStep tests generate next auto id step.
func (*testSuite) TestNextStep(c *C) {
	nextStep := autoid.NextStep(2000000, 1*time.Nanosecond)
	c.Assert(nextStep, Equals, int64(2000000))
	nextStep = autoid.NextStep(678910, 10*time.Second)
	c.Assert(nextStep, Equals, int64(678910))
	nextStep = autoid.NextStep(50000, 10*time.Minute)
	c.Assert(nextStep, Equals, int64(30000))
}

func BenchmarkSlabPredictor_Alloc(b *testing.B) {
	b.StopTimer()
	causetstore, err := mockstore.NewMockStore()
	if err != nil {
		return
	}
	defer causetstore.Close()
	dbID := int64(1)
	tblID := int64(2)
	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err = m.CreateDatabase(&perceptron.DBInfo{ID: dbID, Name: perceptron.NewCIStr("a")})
		if err != nil {
			return err
		}
		err = m.CreateBlockOrView(dbID, &perceptron.BlockInfo{ID: tblID, Name: perceptron.NewCIStr("t")})
		if err != nil {
			return err
		}
		return nil
	})
	if err != nil {
		return
	}
	alloc := autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	b.StartTimer()
	for i := 0; i < b.N; i++ {
		alloc.Alloc(2, 1, 1, 1)
	}
}

func BenchmarkSlabPredictor_SequenceAlloc(b *testing.B) {
	b.StopTimer()
	causetstore, err := mockstore.NewMockStore()
	if err != nil {
		return
	}
	defer causetstore.Close()
	var seq *perceptron.SequenceInfo
	var sequenceBase int64
	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err = m.CreateDatabase(&perceptron.DBInfo{ID: 1, Name: perceptron.NewCIStr("a")})
		if err != nil {
			return err
		}
		seq = &perceptron.SequenceInfo{
			Start:      1,
			Cycle:      true,
			Cache:      false,
			MinValue:   -10,
			MaxValue:   math.MaxInt64,
			Increment:  2,
			CacheValue: 2000000,
		}
		seqBlock := &perceptron.BlockInfo{
			ID:       1,
			Name:     perceptron.NewCIStr("seq"),
			Sequence: seq,
		}
		sequenceBase = seq.Start - 1
		err = m.CreateSequenceAndSetSeqValue(1, seqBlock, sequenceBase)
		return err
	})
	if err != nil {
		return
	}
	alloc := autoid.NewSequenceSlabPredictor(causetstore, 1, seq)
	b.StartTimer()
	for i := 0; i < b.N; i++ {
		_, _, _, err := alloc.AllocSeqCache(1)
		if err != nil {
			fmt.Println("err")
		}
	}
}

func BenchmarkSlabPredictor_Seek(b *testing.B) {
	base := int64(21421948021)
	offset := int64(-351354365326)
	increment := int64(3)
	b.StartTimer()
	for i := 0; i < b.N; i++ {
		autoid.CalcSequenceBatchSize(base, 3, increment, offset, math.MinInt64, math.MaxInt64)
	}
}

func (*testSuite) TestSequenceAutoid(c *C) {
	causetstore, err := mockstore.NewMockStore()
	c.Assert(err, IsNil)
	defer causetstore.Close()

	var seq *perceptron.SequenceInfo
	var sequenceBase int64
	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err = m.CreateDatabase(&perceptron.DBInfo{ID: 1, Name: perceptron.NewCIStr("a")})
		c.Assert(err, IsNil)
		seq = &perceptron.SequenceInfo{
			Start:      1,
			Cycle:      true,
			Cache:      true,
			MinValue:   -10,
			MaxValue:   10,
			Increment:  2,
			CacheValue: 3,
		}
		seqBlock := &perceptron.BlockInfo{
			ID:       1,
			Name:     perceptron.NewCIStr("seq"),
			Sequence: seq,
		}
		sequenceBase = seq.Start - 1
		err = m.CreateSequenceAndSetSeqValue(1, seqBlock, sequenceBase)
		c.Assert(err, IsNil)
		return nil
	})
	c.Assert(err, IsNil)

	alloc := autoid.NewSequenceSlabPredictor(causetstore, 1, seq)
	c.Assert(alloc, NotNil)

	// allocate sequence cache.
	base, end, round, err := alloc.AllocSeqCache(1)
	c.Assert(err, IsNil)
	c.Assert(base, Equals, int64(0))
	c.Assert(end, Equals, int64(5))
	c.Assert(round, Equals, int64(0))

	// test the sequence batch size.
	offset := seq.Start
	size, err := autoid.CalcSequenceBatchSize(sequenceBase, seq.CacheValue, seq.Increment, offset, seq.MinValue, seq.MaxValue)
	c.Assert(err, IsNil)
	c.Assert(size, Equals, end-base)

	// simulate the next value allocation.
	nextVal, ok := autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	c.Assert(ok, Equals, true)
	c.Assert(nextVal, Equals, int64(1))
	base = nextVal

	nextVal, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	c.Assert(ok, Equals, true)
	c.Assert(nextVal, Equals, int64(3))
	base = nextVal

	nextVal, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	c.Assert(ok, Equals, true)
	c.Assert(nextVal, Equals, int64(5))

	base, end, round, err = alloc.AllocSeqCache(1)
	c.Assert(err, IsNil)
	c.Assert(base, Equals, int64(5))
	c.Assert(end, Equals, int64(10))
	c.Assert(round, Equals, int64(0))

	// test the sequence batch size.
	size, err = autoid.CalcSequenceBatchSize(sequenceBase, seq.CacheValue, seq.Increment, offset, seq.MinValue, seq.MaxValue)
	c.Assert(err, IsNil)
	c.Assert(size, Equals, end-base)

	nextVal, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	c.Assert(ok, Equals, true)
	c.Assert(nextVal, Equals, int64(7))
	base = nextVal

	nextVal, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	c.Assert(ok, Equals, true)
	c.Assert(nextVal, Equals, int64(9))
	base = nextVal

	_, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	// the rest in cache in not enough for next value.
	c.Assert(ok, Equals, false)

	base, end, round, err = alloc.AllocSeqCache(1)
	c.Assert(err, IsNil)
	c.Assert(base, Equals, int64(-11))
	c.Assert(end, Equals, int64(-6))
	// the round is already in cycle.
	c.Assert(round, Equals, int64(1))

	// test the sequence batch size.
	size, err = autoid.CalcSequenceBatchSize(sequenceBase, seq.CacheValue, seq.Increment, offset, seq.MinValue, seq.MaxValue)
	c.Assert(err, IsNil)
	c.Assert(size, Equals, end-base)

	offset = seq.MinValue
	nextVal, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	c.Assert(ok, Equals, true)
	c.Assert(nextVal, Equals, int64(-10))
	base = nextVal

	nextVal, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	c.Assert(ok, Equals, true)
	c.Assert(nextVal, Equals, int64(-8))
	base = nextVal

	nextVal, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	c.Assert(ok, Equals, true)
	c.Assert(nextVal, Equals, int64(-6))
	base = nextVal

	_, ok = autoid.SeekToFirstSequenceValue(base, seq.Increment, offset, base, end)
	// the cache is already empty.
	c.Assert(ok, Equals, false)
}

func (*testSuite) TestConcurrentAllocSequence(c *C) {
	causetstore, err := mockstore.NewMockStore()
	c.Assert(err, IsNil)
	defer causetstore.Close()

	var seq *perceptron.SequenceInfo
	var sequenceBase int64
	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err1 := m.CreateDatabase(&perceptron.DBInfo{ID: 2, Name: perceptron.NewCIStr("a")})
		c.Assert(err1, IsNil)
		seq = &perceptron.SequenceInfo{
			Start:      100,
			Cycle:      false,
			Cache:      true,
			MinValue:   -100,
			MaxValue:   100,
			Increment:  -2,
			CacheValue: 3,
		}
		seqBlock := &perceptron.BlockInfo{
			ID:       2,
			Name:     perceptron.NewCIStr("seq"),
			Sequence: seq,
		}
		if seq.Increment >= 0 {
			sequenceBase = seq.Start - 1
		} else {
			sequenceBase = seq.Start + 1
		}
		err1 = m.CreateSequenceAndSetSeqValue(2, seqBlock, sequenceBase)
		c.Assert(err1, IsNil)
		return nil
	})
	c.Assert(err, IsNil)

	var mu sync.Mutex
	wg := sync.WaitGroup{}
	m := map[int64]struct{}{}
	count := 10
	errCh := make(chan error, count)

	allocSequence := func() {
		alloc := autoid.NewSequenceSlabPredictor(causetstore, 2, seq)
		for j := 0; j < 3; j++ {
			base, end, _, err1 := alloc.AllocSeqCache(2)
			if err1 != nil {
				errCh <- err1
				break
			}

			errFlag := false
			mu.Lock()
			// sequence is negative-growth here.
			for i := base - 1; i >= end; i-- {
				if _, ok := m[i]; ok {
					errCh <- fmt.Errorf("duplicate id:%v", i)
					errFlag = true
					mu.Unlock()
					break
				}
				m[i] = struct{}{}
			}
			if errFlag {
				break
			}
			mu.Unlock()
		}
	}
	for i := 0; i < count; i++ {
		wg.Add(1)
		go func(num int) {
			time.Sleep(time.Duration(num%10) * time.Microsecond)
			allocSequence()
			wg.Done()
		}(i)
	}
	wg.Wait()

	close(errCh)
	err = <-errCh
	c.Assert(err, IsNil)
}

// Fix a computation logic bug in allocator computation.
func (*testSuite) TestAllocComputationIssue(c *C) {
	c.Assert(failpoint.Enable("github.com/whtcorpsinc/milevadb/spacetime/autoid/mockAutoIDCustomize", `return(true)`), IsNil)
	defer func() {
		c.Assert(failpoint.Disable("github.com/whtcorpsinc/milevadb/spacetime/autoid/mockAutoIDCustomize"), IsNil)
	}()

	causetstore, err := mockstore.NewMockStore()
	c.Assert(err, IsNil)
	defer causetstore.Close()

	err = ekv.RunInNewTxn(causetstore, false, func(txn ekv.Transaction) error {
		m := spacetime.NewMeta(txn)
		err = m.CreateDatabase(&perceptron.DBInfo{ID: 1, Name: perceptron.NewCIStr("a")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 1, Name: perceptron.NewCIStr("t")})
		c.Assert(err, IsNil)
		err = m.CreateBlockOrView(1, &perceptron.BlockInfo{ID: 2, Name: perceptron.NewCIStr("t1")})
		c.Assert(err, IsNil)
		return nil
	})
	c.Assert(err, IsNil)

	// Since the test here is applicable to any type of allocators, autoid.RowIDAllocType is chosen.
	unsignedAlloc := autoid.NewSlabPredictor(causetstore, 1, true, autoid.RowIDAllocType)
	c.Assert(unsignedAlloc, NotNil)
	signedAlloc := autoid.NewSlabPredictor(causetstore, 1, false, autoid.RowIDAllocType)
	c.Assert(signedAlloc, NotNil)

	// the next valid two value must be 13 & 16, batch size = 6.
	err = unsignedAlloc.Rebase(1, 10, false)
	c.Assert(err, IsNil)
	// the next valid two value must be 10 & 13, batch size = 6.
	err = signedAlloc.Rebase(2, 7, false)
	c.Assert(err, IsNil)
	// Simulate the rest cache is not enough for next batch, assuming 10 & 13, batch size = 4.
	autoid.TestModifyBaseAndEndInjection(unsignedAlloc, 9, 9)
	// Simulate the rest cache is not enough for next batch, assuming 10 & 13, batch size = 4.
	autoid.TestModifyBaseAndEndInjection(signedAlloc, 4, 6)

	// Here will recompute the new allocator batch size base on new base = 10, which will get 6.
	min, max, err := unsignedAlloc.Alloc(1, 2, 3, 1)
	c.Assert(err, IsNil)
	c.Assert(min, Equals, int64(10))
	c.Assert(max, Equals, int64(16))
	min, max, err = signedAlloc.Alloc(2, 2, 3, 1)
	c.Assert(err, IsNil)
	c.Assert(min, Equals, int64(7))
	c.Assert(max, Equals, int64(13))
}