C++线程安全分析

C++线程安全分析 除了通过code review或者test来检测线程安全,有没有其它更好的办法? 答案是存在的,通过clang即可以进行这种检测,编译器对存在的线程安全问题会给出警告。 这种分析方法由Google开发,已经被Google大规模应用,参考 https://static.googleusercontent.com/media/research.google.com/zh-CN//pubs/archive/42958.pdf 示例example.cpp: #include “mutex.h” class BankAccount { private: Mutex mu; int balance GUARDED_BY(mu); void depositImpl(int amount) { balance += amount; // WARNING! Cannot write balance without locking mu. } void withdrawImpl(int amount) REQUIRES(mu) { balance -= amount; // OK. Caller must have locked mu. } public: void withdraw(int amount) {…

bitcoin源码分析 – 交易验证

Transaction — Verify 交易验证是bitcoin的核心逻辑之一。交易验证包含两个问题: (1)验证的时机 (2)如何验证。 when and where 交易 区块 how AcceptToMemoryPoolWorker VerifyScript when and where 交易 当交易即将放如交易内存池中时, 将进行交易的验证。 调用时机: init(即程序启动时): LoadMempool 交易消息: NetMsgType::TX Wallet: (1)CommitTransaction (2)ReacceptWalletTransactions (3)ResendWalletTransactionsBefore UpdateMempoolForReorg AcceptToMemoryPool函数调用栈如下: AcceptToMemoryPool: AcceptToMemoryPoolWithTime AcceptToMemoryPoolWorker CheckInputs VerifyScript 其中AcceptToMemoryPoolWorker交易验证最核心的函数。 区块 (1)当ConnectBlock(新块产生或收到新块)时, 会对区块包含的所有交易进行验证。 init: CVerifyDB::VerifyDB(需checklevel4,默认为3,故默认不执行) TestBlockValidity(miner.cpp里BlockAssembler::CreateNewBlock调用) CChainState::ConnectTip 部分代码如下所示: CChainState::ConnectBlock: for (unsigned int i = 0; i < block.vtx.size();…

bitcoin源码分析 – 区块操作

Block — 操作 区块产生 区块网络消息 区块回滚 区块序列化 区块产生 ProcessNewBlock 区块网络消息 区块回滚 (1) init: ReplayBlocks (2) ActivateBestChain() ActivateBestChain() ActivateBestChainStep() chainActive.FindFork // Disconnect active blocks which are no longer in the best chain. DisconnectTip DisconnectBlock UndoReadFromDisk // Build list of new blocks to connect. ConnectTip ConnectBlock WriteUndoDataForBlock 孤立块保留多长时间? setBlockIndexCandidates 区块序列化

bitcoin源码分析 – 区块数据

Block — 数据 区块数据结构 区块与交易硬盘数据 区块与交易内存数据 区块数据结构 block.h block.cpp class CBlockHeader { public: // header int32_t nVersion; uint256 hashPrevBlock; uint256 hashMerkleRoot; uint32_t nTime; uint32_t nBits; uint32_t nNonce; nTime表示时间戳, 如果当前区块的时间戳大于前11个区块的平均时间戳, 并且小于网络调整时间(Network Adjust Time)+2小时, 则认为该时间戳是有效的; 网络调整时间是指与之连接的所有节点的平均时间。 Adjust Time相关源码可以参考: NetMsgType::VERSION AddTimeData相关部分。 nBits即target, 表示挖矿难度。 nNonce表示随机数, 用来产生hash。 class CBlock : public CBlockHeader { public:     // network and disk…

bitcoin源码分析 – 初始化

main函数主流程(bitcoind)     AppInit         AppInitBasicSetup             // ************************************ Step 1: setup注册网络及Signal         AppInitParameterInteraction             // ************************************ Step 2: parameter interactions 交互参数             // ************************************ Step 3: parameter-to-internal-flags 内部参数         AppInitSanityChecks…