坚固循环再入

Question

我的函数可以根据循环的结果将值分配给令牌。

pragma solidity ^0.8.0;

        function generateId(uint myclassid) public
        {
            (found_,id_)=getAvailableId(myclassid);
             importantMapping[_id]=important_value;                
        }

        function getAvailableId(uint256 _tokenClassId) internal  returns (bool found,uint256 ext_id) 
        {
            //loop the avialble
            //if it is not 0, break and return 
            // if 0
            ext_id=0;
            uint256[] storage availables=tokenClass[_tokenClassId].available_list;
            found=false;
            for (uint i ; i < availables.length;) 
            {
                uint256 val=tokenClass[_tokenClassId].available_list[i];
                if (val!=0)
                {
                    tokenClass[_tokenClassId].available_list[i]=0;
                    ext_id=val;
                    found=true;
                    break;
                }
                unchecked { ++i ;}

            }
            return (found,ext_id);

        }

此功能由任何人都可以访问的公共功能调用。

这里的每个Tokenclass [_tokenclassID]是一个struct，able_list是一个阵列，它具有[0,0,0,50,20,30]之类的值，

此循环只是返回第一个非零值并将其更改为0。

但是，我的问题是重新进入风险。如果循环同时有2个条目，会发生什么……它会返回相同的ext_id，因为当它们都进入时，第一个非零的时间将相同。还是内部有任何防止这种情况发生的措施？

一个简单的重新进入警卫会保护或会产生更多问题？

Answer 1

如果同时有2个循环条目

您的功能不会实现任何方法来超越它（例如，一旦开始执行，请呼叫其他功能或另一个合同），这使其免受重新入侵的攻击。至少在此问题所示的上下文中。

EVM以串联执行所有交易 - 不平行。因此，即使有2个用户同时提交了执行此功能的交易，并且他们的两个交易都在同一块中开采，矿工仍将分别执行其交易，而不会相互影响。