Come gestisce Tezos il suo mempool?

Question

Come gestisce Tezos il suo mempool?

- 7
- 182 2019-02-01
Ho sentito da @ArthurB che lagestione dimempool è uno degli aspettifondamentali dello sviluppo di unanuovablockchain. Questo a sua volta èinfluenzato dalla scelta di come rappresentarei saldinella catena,ovvero UTXO rispetto almodello di conto.

Poiché Tezos è una catenain grado digestire contrattiintelligenti,ci sonobuoni argomenti sulmotivoper cuiilmodello di account èpiùespressivoperfacilitare leinterazionitra utentie contratti. Vedi quiperesempio

UTXO rispetto almodello di account

Sul rovescio dellamedaglia quando sitratta digestione dimempool,ho sentito che UTXO rendepiùfacileper unminer scegliere qualsiasi sottoinsieme ditransazioni daincludereperché lo stato della catenafinale èindifferente all'ordine di quegli UTXO applicatimentrein un accountmodellare l'ordine ditransazione di un contrattopuòinfluire sul suo statofinale.

La "non commutatività" dimempool dovuta almodello di account crea sfideper la strategia digestione dimempoolin 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
- fonte
- Ezy

- perfavore accetta la risposta se hai scoperto cheti hafornito leinformazioninecessarie
  
  please accept the answer if you've found that it has provided you the necessary information
  - 2
  - 2019-02-03
  - Sm00g15

1 risposta

voti

Amit Panghal · Answer 1 · 2019-02-02

4

2019-02-02

Certo,la "non commutatività" ha le sue sfide.Lagestione di Mempool è strettamente allineata almeccanismo diincentivazionee quindi alla strategia delpanettiere.Intezos,per quantone so,le operazioni diendorsement hannomaggioreprecedenza (preferite daifornai)in quanto determinano l'idoneità delblocco che stannoperprodurree quindi lapossibilità chefacciaparte della catena canonica.

In questomomento,altre operazioni vengono quindi aggiunte alblocco utilizzando lo zaino con vincoli sulla dimensione delbloccoe massimizzando la commissione ditransazione.Quindi èil casoin cui l'ordinein cui vengono applicate le operazionipuòinvalidare alcune operazioniin mempool.

Grazie!Potresti approfondire cosa è knapstack?Inoltre qual è laposizionenel codice ditezos che si riferisce allagestione dimempool,se lo conosci?

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
Nota anche che hai rispostoperché alcune operazioni sarebberopreferite daifornai rispetto ad altre (sponsorizzazioni,commissionielevate)manon ho ancora capito completamente dallatua risposta come lanon commutatività venga affrontatanellapratica.

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
I dettagli dello zainopossonoesseretrovati qui (https://en.wikipedia.org/wiki/Knapsack_problem).impacchettare quantepiù operazioniin bloccoentroil limite di dimensione delbloccoe massimizzare latariffa ditrasmissionetotale.Le operazioni "Trattare connon commutatività" da un singolo account sono semprein ordine (account +nonce),solo una delle operazioni (con lo stessononce) verràeseguita,altrenon saranno valide.È solo l'ordinein cui l'operazioneentranella catena canonica.Ipanettierinonbasano la loro decisione diincludere l'operazionein base ai loroeffetti sullo stato.

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