¿Cómo gestiona Tezos su mempool?

Question

¿Cómo gestiona Tezos su mempool?

- 7
- 182 2019-02-01
Escuché de @ArthurB que lagestión demempooles uno de los aspectos centrales del desarrollo de unanueva cadena debloques. Esto,a su vez,se ve afectadopor laelección de cómo representar los saldosen la cadena,es decir,UTXOfrente almodelo de cuenta.

Dado que Tezoses una cadena quepuede administrar contratosinteligentes,existenbuenos argumentos sobrepor quéelmodelo de cuentaesmásexpresivoparafacilitar lasinteraccionesentre usuarios y contratos. Vea aquíporejemplo

UTXO vsmodelo de cuenta

Por otro lado,cuando setrata de la administración demempool,heescuchado que UTXO hace que seamásfácilpara unmineroelegir cualquier subconjunto detransaccionesparaincluirporqueelestadofinal de la cadenaesindiferente al orden deesos UTXO que seestán aplicandoen una cuentamodelarel orden de latransacción quegolpea un contratopuede afectar suestadofinal.

¿La "no conmutatividad" delmempool debido almodelo de cuenta crea desafíospara laestrategia degestión demempoolen 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
- fuente
- Ezy

- porfavor acepte la respuesta si haencontrado que le haproporcionado lainformaciónnecesaria
  
  please accept the answer if you've found that it has provided you the necessary information
  - 2
  - 2019-02-03
  - Sm00g15

1 respuesta

votos

Amit Panghal · Answer 1 · 2019-02-02

4

2019-02-02

Seguro,la "no conmutatividad"tiene sus desafíos.Lagestión de Mempoolestáestrechamente alineada conelmecanismo deincentivos y,portanto,con laestrategia delpanadero.Entezos,hasta donde yo sé,las operaciones deendosotienen mayorprecedencia (preferidaspor lospanaderos) ya que determinan laidoneidad delbloque que van aproducir ypor lotanto laposibilidad de queformeparte de la cadena canónica.

Enestemomento,luego se agregan otras operaciones albloque usando lamochila con restriccionesen eltamaño delbloque ymaximizando latarifa detransacción.Entoncesesel caso de queel ordenen que se apliquen las operacionespuedeinvalidar algunas operacionesen mempool.

¡Gracias!¿Podría ampliar lo quees lapila defichas?Además,¿cuáles la ubicaciónen el códigobase detezos que se relaciona con lagestión demempool siestáfamiliarizado con él?

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
Tengaen cuentatambién que ha respondidopor qué lospanaderospreferirían ciertas operaciones antes que otras (endosos,tarifas altas),pero aúnnoentiendo completamente de su respuesta cómo setrata lano conmutatividaden lapráctica.

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
Los detalles de lamochila sepuedenencontrar aquí (https://en.wikipedia.org/wiki/Knapsack_problem).empaqueesencialtantas operacionesen bloque dentro del límite detamaño debloque ymaximización de latarifatotal detx.Las operaciones "Tratar con lano conmutatividad" de una sola cuentaestán siempreen un orden (cuenta +nonce),solo seejecutará una de las operaciones (conelmismononce),otras se vuelveninválidas.Es simplementeel ordenen el que la operacióningresa a la cadena canónica.Lospanaderos realmentenobasan su decisión deincluir la operaciónen función de susefectosen elestado.

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