Skip to content
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

fix(blockchain): sequential blob Persist() DB writes #2258

Merged
merged 8 commits into from
Dec 17, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
33 changes: 15 additions & 18 deletions da/store/store.go
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,9 @@ import (
"context"

"github.com/berachain/beacon-kit/da/types"
"github.com/berachain/beacon-kit/errors"
"github.com/berachain/beacon-kit/log"
"github.com/berachain/beacon-kit/primitives/common"
"github.com/berachain/beacon-kit/primitives/math"
"github.com/sourcegraph/conc/iter"
)

// Store is the default implementation of the AvailabilityStore.
Expand Down Expand Up @@ -94,22 +92,21 @@ func (s *Store[BeaconBlockT]) Persist(
return nil
}

// Store each sidecar in parallel.
if err := errors.Join(iter.Map(
sidecars.Sidecars,
func(sidecar **types.BlobSidecar) error {
if *sidecar == nil {
return ErrAttemptedToStoreNilSidecar
}
sc := *sidecar
bz, err := sc.MarshalSSZ()
if err != nil {
return err
}
return s.Set(slot.Unwrap(), sc.KzgCommitment[:], bz)
},
)...); err != nil {
return err
// Store each sidecar sequentially. The store's underlying RangeDB is not
// built to handle concurrent writes.
for _, sidecar := range sidecars.Sidecars {
sc := sidecar
if sc == nil {
return ErrAttemptedToStoreNilSidecar
}
bz, err := sc.MarshalSSZ()
if err != nil {
return err
}
err = s.Set(slot.Unwrap(), sc.KzgCommitment[:], bz)
if err != nil {
return err
}
}

s.logger.Info("Successfully stored all blob sidecars 🚗",
Expand Down
83 changes: 83 additions & 0 deletions da/store/store_test.go
Original file line number Diff line number Diff line change
@@ -0,0 +1,83 @@
// SPDX-License-Identifier: BUSL-1.1
//
// Copyright (C) 2024, Berachain Foundation. All rights reserved.
// Use of this software is governed by the Business Source License included
// in the LICENSE file of this repository and at www.mariadb.com/bsl11.
//
// ANY USE OF THE LICENSED WORK IN VIOLATION OF THIS LICENSE WILL AUTOMATICALLY
// TERMINATE YOUR RIGHTS UNDER THIS LICENSE FOR THE CURRENT AND ALL OTHER
// VERSIONS OF THE LICENSED WORK.
//
// THIS LICENSE DOES NOT GRANT YOU ANY RIGHT IN ANY TRADEMARK OR LOGO OF
// LICENSOR OR ITS AFFILIATES (PROVIDED THAT YOU MAY USE A TRADEMARK OR LOGO OF
// LICENSOR AS EXPRESSLY REQUIRED BY THIS LICENSE).
//
// TO THE EXTENT PERMITTED BY APPLICABLE LAW, THE LICENSED WORK IS PROVIDED ON
// AN “AS IS” BASIS. LICENSOR HEREBY DISCLAIMS ALL WARRANTIES AND CONDITIONS,
// EXPRESS OR IMPLIED, INCLUDING (WITHOUT LIMITATION) WARRANTIES OF
// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, AND
// TITLE.

package store_test

import (
"os"
"testing"

"cosmossdk.io/log"
"github.com/berachain/beacon-kit/config/spec"
"github.com/berachain/beacon-kit/consensus-types/types"
"github.com/berachain/beacon-kit/da/store"
datypes "github.com/berachain/beacon-kit/da/types"
"github.com/berachain/beacon-kit/storage/filedb"
"github.com/stretchr/testify/require"
)

func TestStore_PersistRace(t *testing.T) {
// This test case needs to be run with the '-race' flag
tmpFilePath := "/tmp/store_test"

logger := log.NewNopLogger()
chainSpec, err := spec.DevnetChainSpec()
require.NoError(t, err)

// Remove DB when we're done
defer os.RemoveAll(tmpFilePath)

// Create the DB
s := store.New[*types.BeaconBlockBody](
filedb.NewRangeDB(
filedb.NewDB(filedb.WithRootDirectory(tmpFilePath),
filedb.WithFileExtension("ssz"),
filedb.WithDirectoryPermissions(0700),
filedb.WithLogger(logger),
),
),
logger.With("service", "da-store"),
chainSpec,
)

// This many blobs is not currently possible, but it doesn't hurt eh
sc := make([]*datypes.BlobSidecar, 20)
for i := range sc {
sc[i] = &datypes.BlobSidecar{
Index: uint64(i),
BeaconBlockHeader: &types.BeaconBlockHeader{},
}
}
sidecars := datypes.BlobSidecars{
Sidecars: sc,
}

// Multiple writes to DB
err = s.Persist(0, &sidecars)
require.NoError(t, err)
err = s.Persist(1, &sidecars)
require.NoError(t, err)

// Pruning here primes the race condition for db.firstNonNilIndex
err = s.Prune(0, 1)
require.NoError(t, err)
err = s.Persist(0, &sidecars)
require.NoError(t, err)
}
2 changes: 1 addition & 1 deletion scripts/build/testing.mk
Original file line number Diff line number Diff line change
Expand Up @@ -257,7 +257,7 @@ test:
test-unit: ## run golang unit tests
@echo "Running unit tests..."
@go list -f '{{.Dir}}/...' -m | xargs \
go test
go test -race

test-unit-cover: ## run golang unit tests with coverage
@echo "Running unit tests with coverage..."
Expand Down
Loading