Page MenuHomePhabricator

[avalanche] Add wrappers to add and remove a proof from a proof pool
ClosedPublic

Authored by Fabien on Nov 24 2021, 16:24.

Details

Reviewers
deadalnix
Group Reviewers
Restricted Project
Maniphest Tasks
Restricted Maniphest Task
Commits
rABC799f65f976aa: [avalanche] Add wrappers to add and remove a proof from a proof pool
Summary

This will make it easier to use the ProofPool structure to store the orphans. It makes the ProofPool a class, but the internal container is kept public to avoid bloating the diff with more changes. Accessors can be added as needed later to make it private. There is no change in behavior.

Ref T1854.

Depends on D10582.

Test Plan
ninja all check-all

Diff Detail

Repository
rABC Bitcoin ABC
Branch
avalanche_peermanager_addToPool
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 17335
Build 34498: Build Difflint-circular-dependencies · build-diff · build-without-wallet · build-clang-tidy · build-debug · build-clang
Build 34497: arc lint + arc unit

Event Timeline

Fabien requested review of this revision.Nov 24 2021, 16:24
deadalnix requested changes to this revision.Nov 25 2021, 22:17
deadalnix added a subscriber: deadalnix.

Is it something we want at all now that we don't want to store the orphan in the proof pool? Also, it seems like you are slowly recreating fetchOrCreatePeer with extra steps.

src/avalanche/peermanager.cpp
162

This whole contraption doesn't make a lot of sense does it? state is passed down, but it's useless, because it is captured by the lambda. I assume you wanted WITH_LOCK

264

You really want to check if this thing is in the pool. If it already is, then addToPool will remove it.

291

I you pass a reference from a proof that is itself within the proof pool, you might destroy it before this function terminates. It's probably best to take by value - and add a comment about this.

301

I was wondering WTF was going on there, until I read was isValid does. Needless to say, it doesn't check the validity of the proof id.

This revision now requires changes to proceed.Nov 25 2021, 22:17
src/avalanche/peermanager.cpp
173

Move this into createPeer.

264

Check if the proof is present in the pool, return a tristate: already present, added and conflicted. Make conflicted 0 so that it is falsy.

301

Do the call addToPool here. If it is added, you failed to add, or it was already present, return.

Fabien edited the summary of this revision. (Show Details)

Make the ProofPool a struct, and replace addToPool/removeFromPool with addProof/removeProof methods.
This removes the need for passing the ProofPool as a parameter, and makes the API cleaner.

src/avalanche/peermanager.cpp
162

Updated in D10556

301

Renamed in D10557

src/avalanche/proofpool.h
71 ↗(On Diff #31119)

I don't know if there is a more idiomatic way of doing a tristate in c++ (without pulling boost::tribool). I started with std::optional<bool> but this makes the code very confusing due to the implicit bool conversion provided by std::optional, so I went the naive and verbose way.

deadalnix requested changes to this revision.Nov 29 2021, 22:08
deadalnix added inline comments.
src/avalanche/peermanager.cpp
259 ↗(On Diff #31130)

This if cascade calls for a switch. With no default, it'll warn on missing enums cases.

This revision now requires changes to proceed.Nov 29 2021, 22:08
src/avalanche/proofpool.cpp
10 ↗(On Diff #31130)

You probably want to assert the proof is not null here.

Use a switch on the AddProofStatus, and assert the proof is not nullptr in addProof()

Invert the proofs sequences in the test. This has no impact on the test actually but will later make it obvious that the behavior changed in D10524.

Tail of the build log:

rpc_signmessage.py                      | ✓ Passed  | 1 s
rpc_signrawtransaction.py               | ✓ Passed  | 2 s
rpc_txoutproof.py                       | ✓ Passed  | 1 s
rpc_uptime.py                           | ✓ Passed  | 1 s
rpc_users.py                            | ✓ Passed  | 5 s
rpc_whitelist.py                        | ✓ Passed  | 1 s
tool_wallet.py                          | ✓ Passed  | 4 s
wallet_abandonconflict.py               | ✓ Passed  | 12 s
wallet_address_types.py                 | ✓ Passed  | 13 s
wallet_avoidreuse.py                    | ✓ Passed  | 4 s
wallet_avoidreuse.py --descriptors      | ✓ Passed  | 5 s
wallet_backup.py                        | ✓ Passed  | 25 s
wallet_balance.py                       | ✓ Passed  | 11 s
wallet_basic.py                         | ✓ Passed  | 21 s
wallet_coinbase_category.py             | ✓ Passed  | 1 s
wallet_create_tx.py                     | ✓ Passed  | 5 s
wallet_createwallet.py                  | ✓ Passed  | 2 s
wallet_createwallet.py --usecli         | ✓ Passed  | 3 s
wallet_descriptor.py                    | ✓ Passed  | 8 s
wallet_disable.py                       | ✓ Passed  | 1 s
wallet_dump.py                          | ✓ Passed  | 5 s
wallet_encryption.py                    | ✓ Passed  | 5 s
wallet_encryption.py --descriptors      | ✓ Passed  | 5 s
wallet_hd.py                            | ✓ Passed  | 7 s
wallet_hd.py --descriptors              | ✓ Passed  | 6 s
wallet_import_rescan.py                 | ✓ Passed  | 5 s
wallet_import_with_label.py             | ✓ Passed  | 1 s
wallet_importdescriptors.py             | ✓ Passed  | 7 s
wallet_importmulti.py                   | ✓ Passed  | 4 s
wallet_importprunedfunds.py             | ✓ Passed  | 2 s
wallet_keypool.py                       | ✓ Passed  | 3 s
wallet_keypool_topup.py                 | ✓ Passed  | 3 s
wallet_keypool_topup.py --descriptors   | ✓ Passed  | 3 s
wallet_labels.py                        | ✓ Passed  | 2 s
wallet_labels.py --descriptors          | ✓ Passed  | 2 s
wallet_listreceivedby.py                | ✓ Passed  | 15 s
wallet_listsinceblock.py                | ✓ Passed  | 3 s
wallet_listtransactions.py              | ✓ Passed  | 29 s
wallet_multiwallet.py --usecli          | ✓ Passed  | 11 s
wallet_reorgsrestore.py                 | ✓ Passed  | 4 s
wallet_resendwallettransactions.py      | ✓ Passed  | 1 s
wallet_send.py                          | ✓ Passed  | 8 s
wallet_startup.py                       | ✓ Passed  | 3 s
wallet_txn_clone.py                     | ✓ Passed  | 3 s
wallet_txn_clone.py --mineblock         | ✓ Passed  | 5 s
wallet_txn_doublespend.py               | ✓ Passed  | 2 s
wallet_txn_doublespend.py --mineblock   | ✓ Passed  | 5 s
wallet_watchonly.py                     | ✓ Passed  | 1 s
wallet_watchonly.py --usecli            | ✓ Passed  | 1 s

ALL                                     | ✓ Passed  | 971 s (accumulated) 
Runtime: 195 s

----------------------------------------------------------------------
Ran 10 tests in 0.093s

OK

ninja: build stopped: cannot make progress due to previous errors.
Build build-diff failed with exit code 1

yet another unrelated failure, restarted the build.

deadalnix added inline comments.
src/avalanche/peermanager.cpp
269 ↗(On Diff #31169)

break ? And why braces?

This revision is now accepted and ready to land.Nov 30 2021, 16:39
src/avalanche/peermanager.cpp
269 ↗(On Diff #31169)

We have a mix of braces/no braces in the codebase. It seems that braces are added to the most recent code, but it's not consistent.