-
Notifications
You must be signed in to change notification settings - Fork 3.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat(store): Parallel write in the CacheMultiStore
#20817
Changes from 6 commits
99e6319
da99cd8
b8d3211
0e5be9f
7bd8653
d1970ba
bdf02c0
f9baf60
f19c252
a8908fe
f415034
5ac069e
146866b
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change | ||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
@@ -0,0 +1,63 @@ | ||||||||||||||||||||||||||||||||||||||||||||||||||||
package cachemulti | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
import ( | ||||||||||||||||||||||||||||||||||||||||||||||||||||
"fmt" | ||||||||||||||||||||||||||||||||||||||||||||||||||||
"testing" | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
"cosmossdk.io/core/log" | ||||||||||||||||||||||||||||||||||||||||||||||||||||
"cosmossdk.io/store/iavl" | ||||||||||||||||||||||||||||||||||||||||||||||||||||
"cosmossdk.io/store/types" | ||||||||||||||||||||||||||||||||||||||||||||||||||||
dbm "github.com/cosmos/cosmos-db" | ||||||||||||||||||||||||||||||||||||||||||||||||||||
"github.com/stretchr/testify/require" | ||||||||||||||||||||||||||||||||||||||||||||||||||||
) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
func setupStore(b *testing.B, storeCount uint) (Store, map[string]types.StoreKey) { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
db := dbm.NewMemDB() | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
storeKeys := make(map[string]types.StoreKey) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
stores := make(map[types.StoreKey]types.CacheWrapper) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
Comment on lines
+20
to
+21
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Preallocate maps to improve performance. Preallocating the - storeKeys := make(map[string]types.StoreKey)
- stores := make(map[types.StoreKey]types.CacheWrapper)
+ storeKeys := make(map[string]types.StoreKey, storeCount)
+ stores := make(map[types.StoreKey]types.CacheWrapper, storeCount) Committable suggestion
Suggested change
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
for i := uint(0); i < storeCount; i++ { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
key := types.NewKVStoreKey(fmt.Sprintf("store%d", i)) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
storeKeys[key.Name()] = key | ||||||||||||||||||||||||||||||||||||||||||||||||||||
sdb := dbm.NewPrefixDB(db, []byte(key.Name())) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
istore, err := iavl.LoadStore(sdb, log.NewNopLogger(), key, types.CommitID{}, 1000, false, nil) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
require.NoError(b, err) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
stores[key] = types.KVStore(istore) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
return NewStore(db, stores, storeKeys, nil, types.TraceContext{}), storeKeys | ||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
func benchmarkStore(b *testing.B, storeCount, keyCount uint) { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
store, storeKeys := setupStore(b, storeCount) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
b.ResetTimer() | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
b.ReportAllocs() | ||||||||||||||||||||||||||||||||||||||||||||||||||||
for i := 0; i < b.N; i++ { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
b.StopTimer() | ||||||||||||||||||||||||||||||||||||||||||||||||||||
for _, key := range storeKeys { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
cstore := store.GetKVStore(key) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
for j := uint(0); j < keyCount; j++ { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
dataKey := fmt.Sprintf("key%s-%d", key.Name(), j) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
dataValue := fmt.Sprintf("value%s-%d", key.Name(), j) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
cstore.Set([]byte(dataKey), []byte(dataValue)) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
b.StartTimer() | ||||||||||||||||||||||||||||||||||||||||||||||||||||
store.Write() | ||||||||||||||||||||||||||||||||||||||||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Improve readability and performance of timer management in benchmarks. Moving the - for i := 0; i < b.N; i++ {
- b.StopTimer()
- for _, key := range storeKeys {
- cstore := store.GetKVStore(key)
- for j := uint(0); j < keyCount; j++ {
- dataKey := fmt.Sprintf("key%s-%d", key.Name(), j)
- dataValue := fmt.Sprintf("value%s-%d", key.Name(), j)
- cstore.Set([]byte(dataKey), []byte(dataValue))
- }
- }
- b.StartTimer()
- store.Write()
- }
+ for i := 0; i < b.N; i++ {
+ for _, key := range storeKeys {
+ cstore := store.GetKVStore(key)
+ b.StopTimer()
+ for j := uint(0); j < keyCount; j++ {
+ dataKey := fmt.Sprintf("key%s-%d", key.Name(), j)
+ dataValue := fmt.Sprintf("value%s-%d", key.Name(), j)
+ cstore.Set([]byte(dataKey), []byte(dataValue))
+ }
+ b.StartTimer()
+ }
+ store.Write()
+ } Committable suggestion
Suggested change
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
func BenchmarkCacheMultiStore(b *testing.B) { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
storeCounts := []uint{2, 4, 8, 16, 32} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
keyCounts := []uint{100, 1000, 10000} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
for _, storeCount := range storeCounts { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
for _, keyCount := range keyCounts { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
b.Run(fmt.Sprintf("storeCount=%d/keyCount=%d", storeCount, keyCount), func(sub *testing.B) { | ||||||||||||||||||||||||||||||||||||||||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. One argument was that there will be a number of untouched stores where the Go routine may add significant overhead. It would be good to add that to your test for a fair comparison. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I think it can be covered by the |
||||||||||||||||||||||||||||||||||||||||||||||||||||
benchmarkStore(sub, storeCount, keyCount) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
}) | ||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
} |
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -3,6 +3,7 @@ | |
import ( | ||
"fmt" | ||
"io" | ||
"sync" | ||
|
||
dbm "github.com/cosmos/cosmos-db" | ||
|
||
|
@@ -122,9 +123,15 @@ | |
// Write calls Write on each underlying store. | ||
func (cms Store) Write() { | ||
cms.db.Write() | ||
wg := sync.WaitGroup{} | ||
wg.Add(len(cms.stores)) | ||
for _, store := range cms.stores { | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. should there be a concurrency limit? or is it good enough to delegate this work completely to the go scheduler? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. we should do some benchmarks with databases and come up with a optimal number of runners There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. as we can see in #20817 (comment), from 8 stores, there is not much improvement, let me benchmark with limited number of runners |
||
store.Write() | ||
go func(s types.CacheWrap) { | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. most of the time, the dirty writes are small or even empty, does it justify the overhead of goroutine? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. IMO, it would be helpful if there were only two meaningful writes (two stores), since WorkingHash requires the iavl tree re-building and root hash (one of bottlenecks) There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. we should get some benchmarks. |
||
defer wg.Done() | ||
s.Write() | ||
}(store) | ||
|
||
} | ||
wg.Wait() | ||
} | ||
|
||
// Implements CacheWrapper. | ||
|
Original file line number | Diff line number | Diff line change | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
@@ -116,7 +116,7 @@ func TestCacheMultiStoreWithVersion(t *testing.T) { | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
// require we cannot commit (write) to a cache-versioned multi-store | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
require.Panics(t, func() { | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
kvStore.Set(k, []byte("newValue")) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
cms.Write() | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
kvStore.(types.CacheWrap).Write() | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. hmm, I realized recovering panics from multi goroutines is tricky, @alpe have you any idea? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I assume, you want to test for There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. good point! |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
}) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
@@ -1032,3 +1032,40 @@ func TestCommitStores(t *testing.T) { | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
}) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
func TestCacheMultiStoreWrite(t *testing.T) { | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
// for testing the cacheMultiStore parallel write, file based db is used | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
db, err := dbm.NewDB("test", dbm.GoLevelDBBackend, t.TempDir()) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
require.NoError(t, err) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ms := newMultiStoreWithMounts(db, pruningtypes.NewPruningOptions(pruningtypes.PruningNothing)) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
require.NoError(t, ms.LoadLatestVersion()) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
cacheMulti := ms.CacheMultiStore() | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
toVersion := int64(100) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
keyCount := 100 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
storeKeys := []types.StoreKey{testStoreKey1, testStoreKey2, testStoreKey3} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
for i := int64(1); i <= toVersion; i++ { | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
for _, storeKey := range storeKeys { | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
store := cacheMulti.GetKVStore(storeKey) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
for j := 0; j < keyCount; j++ { | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
store.Set([]byte(fmt.Sprintf("key-%d-%d", i, j)), []byte(fmt.Sprintf("value-%d-%d", i, j))) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
cacheMulti.Write() | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ms.Commit() | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Comment on lines
+1045
to
+1054
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Enhance readability by extracting the nested loops into a helper function. This will make the test function more concise and easier to understand. + func populateStore(t *testing.T, cacheMulti types.CacheMultiStore, storeKeys []types.StoreKey, toVersion int64, keyCount int) {
+ for i := int64(1); i <= toVersion; i++ {
+ for _, storeKey := range storeKeys {
+ store := cacheMulti.GetKVStore(storeKey)
+ for j := 0; j < keyCount; j++ {
+ store.Set([]byte(fmt.Sprintf("key-%d-%d", i, j)), []byte(fmt.Sprintf("value-%d-%d", i, j)))
+ }
+ }
+ cacheMulti.Write()
+ ms.Commit()
+ }
+ }
for i := int64(1); i <= toVersion; i++ {
for _, storeKey := range storeKeys {
store := cacheMulti.GetKVStore(storeKey)
for j := 0; j < keyCount; j++ {
store.Set([]byte(fmt.Sprintf("key-%d-%d", i, j)), []byte(fmt.Sprintf("value-%d-%d", i, j)))
}
}
cacheMulti.Write()
ms.Commit()
} Committable suggestion
Suggested change
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
// check the data | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
for _, storeKey := range storeKeys { | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
store := cacheMulti.GetKVStore(storeKey) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
for i := int64(1); i <= toVersion; i++ { | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
for j := 0; j < keyCount; j++ { | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
key := []byte(fmt.Sprintf("key-%d-%d", i, j)) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
value := store.Get(key) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
require.Equal(t, []byte(fmt.Sprintf("value-%d-%d", i, j)), value) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Comment on lines
+1056
to
+1066
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Enhance readability by extracting the verification loop into a helper function. This will make the test function more concise and easier to understand. + func verifyStoreData(t *testing.T, cacheMulti types.CacheMultiStore, storeKeys []types.StoreKey, toVersion int64, keyCount int) {
+ for _, storeKey := range storeKeys {
+ store := cacheMulti.GetKVStore(storeKey)
+ for i := int64(1); i <= toVersion; i++ {
+ for j := 0; j < keyCount; j++ {
+ key := []byte(fmt.Sprintf("key-%d-%d", i, j))
+ value := store.Get(key)
+ require.Equal(t, []byte(fmt.Sprintf("value-%d-%d", i, j)), value)
+ }
+ }
+ }
+ }
for _, storeKey := range storeKeys {
store := cacheMulti.GetKVStore(storeKey)
for i := int64(1); i <= toVersion; i++ {
for j := 0; j < keyCount; j++ {
key := []byte(fmt.Sprintf("key-%d-%d", i, j))
value := store.Get(key)
require.Equal(t, []byte(fmt.Sprintf("value-%d-%d", i, j)), value)
}
}
} Committable suggestion
Suggested change
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Testing against a LSM db would be more illustrative of performance improvements, let's try leveldb and pebbledb?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
it is not for i/o, mostly for tree updates in memory, in WorkingHash liefcycle