Comment Tezos gère-t-il sa mémoire Mempool?

Question

Comment Tezos gère-t-il sa mémoire Mempool?

- 7
- 182 2019-02-01
J'aientenduparler de @Arthurb que Mempool Managementest l'un des aspectsessentiels du développement d'unnouveaublockchain. Celaest à sontourtouchépar le choix de lamanière de représenter des soldes dans la chaîne,à savoir lemodèle de compte UXO VS.

Étant donné que Tezosest une chaîne quipeutgérer des contratsintelligents,ilexiste debons arguments sur lesquels lemodèle de compteestplusexpressifpourfaciliter lesinteractionsentre les utilisateurset les contrats. Voiriciparexemple

modèle de compte uxo vs

sur leflipside En ce qui concerne lagestion de la Mempool,j'aientendu dire que UTXOfacilite latâche d'unmineur de choisirtout sous-ensemble detransactions àinclure,car l'état de la chaînefinaleestindifférent à l'ordre de ces utxo appliqués alors que dans un compte. Modèle L'ordre detransactionfrapper un contratpeut avoir unimpact sur son étatfinal.

Est-ce que "non-commutativité" de lamémoire MEMPOOLen raison dumodèle de compte crée des défispour la stratégie degestion MEMPOOL à Tezos?

I heard from @ArthurB that mempool management is one of the core aspects of developing a new blockchain. This in turn is impacted by the choice of how to represent balances in the chain, namely UTXO vs account model.

Since Tezos is a chain that can manage smart contracts there are good arguments on why account model is more expressive to facilitate interactions between users and contracts. See here for example

UTXO vs account model

On the flipside when it comes to mempool management i have heard that UTXO makes it easier for a miner to choose any subset of transactions to include because the final chain state is indifferent to the order of those UTXO being applied whereas in an account model the order of transaction hitting a contract may impact its final state.

Does "non-commutativity" of the mempool due to account model create challenges for the mempool management strategy in Tezos ?

mempool utxo account

- Veuillez accepter la réponse si vous avez constaté qu'il vous afourni lesinformationsnécessaires.
  
  please accept the answer if you've found that it has provided you the necessary information
  - 2
  - 2019-02-03
  - Sm00g15

1 réponses

votes

Amit Panghal · Answer 1 · 2019-02-02

4

2019-02-02

Bien sûr,"non-commutativité" a ses défis.La direction de MEMPOOLest étroitement alignée sur lemécanisme d'incitationet donc la stratégie duboulanger.À Tezos,aussi loin queje sache,les opérations d'endossement ont uneprioritéplus élevée (préféréespar lesboulangers) lorsqu'ils déterminent laformephysique dubloc qu'ils vontproduireet donc la chance defairepartie de la chaîne canonique.

À l'heure actuelle,d'autres opérations sontensuite ajoutéespourbloquer à l'aide du sac à dos avec des contraintes detaille deblocet demaximiser lesfrais detransaction.C'est donc le cas que l'ordre dans lequel les opérations sont appliquéespeutinvalider certaines opérations dans MEMPOOL.

Merci!Pourriez-vous s'il vousplaît développer ce quiest Knapstack?En outre,quelest l'emplacement dans labase de code de Tezos qui concerne lagestion MEMPOOL si vous le connaissezbien?

Thanks! Could you please expand on what is knapstack ? Also what is the location in the code base of tezos that relates to the mempool management if you are familiar with it ?
- 0
- 2019-02-02
- Ezy
Notez également que vous avez répondu à la raisonpour laquelle certaines opérations seraientpréféréespar lesboulangers avant d'autres (endossements,frais élevés),maisje ne saisispas complètement votre réponse à lamanière dont lanon-négutativitéesttraitée dans lapratique.

Note also that you have answered why certain operations would be preferred by bakers before others (endorsements, high fees) but i don't fully grasp yet from your answer how non-commutativity is dealt with in practice.
- 0
- 2019-02-02
- Ezy
Détails Knapsackpeut êtretrouvéici (https://fr.wikipedia.org/wiki/knapsack_problem).Emballageessentiel Autant d'opérationsen bloc dans lataille de lataille desblocset maximiser lesfrais TXtotaux."Traitement de lanon-commutativité" L'opération àpartir d'un seul compteesttoujours dans une commande (compte +nonce),une seule des opérations (avec lamêmenonce) seraexécutée,d'autres deviennentinvalides.C'est vraiment l'ordre dans lequel l'opérationentre dans la chaîne canonique.Les Bakersne fondentpas vraiment leur décision d'inclure une opérationen fonction de leurseffets sur l'état.

Details Knapsack can be found here (https://en.wikipedia.org/wiki/Knapsack_problem) . essential packing as many operations in block within block size limit and maximizing total tx fee. "Dealing with non commutativity" operation from a single account are always in a order (account + nonce), only one of the operations (with same nonce) will be executed, others become invalid. It is just really the order in which operation enter the canonical chain. Bakers don't really base their decision to include operation based on their effects on state.
- 2
- 2019-02-02
- Amit Panghal