以太坊多合约账户并发机制及交易执行相关技术问询

一、“以太坊中不存在并发，它是单线程的”含义 #

以太坊的交易执行遵循全局串行化规则：所有被打包进区块链的交易，会按照区块内的排列顺序，由每个节点以单线程模式依次执行。不存在多交易同时并行修改链上状态的情况，每笔交易执行时，看到的都是上一笔交易执行完成后的最新全局状态，从根源上避免了“同时读写”的并发冲突。

二、假设场景是否可能发生？ #

你描述的交易执行步骤交错的情况不可能发生，核心原因是以太坊交易的原子性与串行执行机制：

• 每一笔交易都是完整执行后才会被确认打包，不存在“T1执行到一半暂停，让T2先执行”的情况。
• 如果T2被打包进区块n，T1被打包进区块n+1，那么T1执行时读取的是区块n完成后的全局状态——也就是账户A已经是a2，T1会用a2来更新B，而非你假设的a1。
• 若T1先被打包进区块n，T2进n+1，T2看到的是T1未修改的账户A状态（若T1未改动A），再将A更新为a2。

简言之，交易的执行是原子性的，不可能出现部分执行、中途插入其他交易的情况。

三、不同合约/同一合约的交易执行差异 #

1. T1和T2是同一智能合约实例的两个不同函数调用 #

执行规则和跨合约场景完全一致：所有交易按区块内顺序串行执行，后执行的交易总能看到前序交易完成后的合约状态。比如合约有读状态函数X和改状态函数Y，若Y先被打包执行，X读取的就是Y修改后的状态；反之则读取修改前的状态，不存在函数调用交错执行的情况。

2. T1和T2是同一智能合约实例的同一函数执行的两笔交易 #

情况与上述无差别：依然是串行执行，先完成的交易修改合约状态后，后执行的交易基于修改后的状态运行。比如同一转账函数的两笔交易，先执行的会先扣减目标账户余额，后执行的交易看到的是扣减后的余额，不会出现并发扣减导致的余额异常。

四、以太坊多账户/多智能合约的并发机制 #

以太坊仅在交易池阶段存在“并发”：多笔交易可以同时在网络中传播、处于待打包状态，但一旦进入区块，就会被串行执行。针对多账户或多合约场景：

• 哪怕交易涉及完全独立的账户或合约，它们依然会按区块内的顺序逐个执行，不存在并行修改不同账户状态的情况。
• 以太坊没有状态锁机制，完全依靠串行执行保证状态一致性：后执行的交易总能获取前序交易完成后的最新状态，自然避免了并发冲突。

五、核心问题：T1Contract的T1()与T2Contract的T2()是否可以交错执行？ #

绝对不可能，原因如下：

• 每一笔交易对应一个完整的函数调用逻辑（即使包含内部合约调用，整个交易依然是原子性的），T1()是一笔交易的完整执行流程，T2()是另一笔交易的完整执行流程。
• 这两笔交易要么在同一区块内按顺序执行，要么分属不同区块，但无论哪种情况，都是一笔交易完整执行完毕后，才会启动下一笔交易的执行。
• 即使T1()内部包含“耗时操作”（比如复杂计算），整个交易也会一次性执行完成，不会中途暂停让T2()先运行。

附：Solidity代码示例 #

contract T2Contract {
    uint public s1;
    function T2(uint updated) public {
        s1 = updated;
    }
}

contract T1Contract {
    uint public s2;
    address t2Address;
    constructor(address _t2Addr) {
        t2Address = _t2Addr;
    }

    function T1() public {
        uint updated = T2Contract(t2Address).s1();
        // do something takes long time
        s2 = s2 + updated;
    }
}

内容的提问来源于stack exchange，提问作者You We Cho