マネージャーの操作結果：適用|バックトラック|失敗しました|スキップ

Question

マネージャーの操作結果：適用|バックトラック|失敗しました|スキップ

- 4
- 83 2020-02-23
Appliedは自明ですが、他のものは実際にはありません.ただし、ソースコードには少し手がかりがあります.ファイルとして apply_results.mli は言います

[スキップ]のものは常にテールにあり、シングルの後にある必要があります [失敗]

では、どの場合に失敗してバックトラックで使用され、その逆も同様ですか?また、オペレーション内のトランザクションのグループ全体で常にアトミック性が保証されますか?

Applied is self explanatory but the others really arent. The source code gives a bit of clues though; as file apply_results.mli says

[Skipped] ones should always be at the tail, and after a single [Failed]

So in which cases would failed be used over backtracked, and vice-versa? And will we always have guaranteed atomicity on the entire group of transactions in an operation?

operation

- 推測ですが、内部トランザクションB CおよびDを生成したトランザクションAがあるとします.Cが失敗した場合、Cは失敗し、AおよびBはバックトラックされ、Dはスキップされます.
  
  Just a guess, but say we have transactions A that generated internal transactions B C and D. If C, fails, then C is Failed, A and B are Backtracked and D is Skipped.
  - 0
  - 2020-02-23
  - arvidj

1 回答

投票

Groxan · Accepted Answer · 2020-02-24

5

2020-02-24

アイデアは非常に単純です:

failed-特定のエラー(バランスが不十分、ガス制限など)で失敗した操作.
backtracked-成功したが、同じ操作グループ内の次の操作のいずれかが原因で元に戻された操作が失敗しました.
skipped-失敗した後のすべての操作.

ただし、Babylonの更新後、一部のエラーにより、操作はbacktrackedとしてマークされますが、failedとしてはマークされません.たとえば、送信者が割り当て料金を支払うことができない場合.

つまり、次のようになります:

 Operation group:
  backtracked
  backtracked
  backtracked
  failed (or backtracked)    <-- here is the actual error
  skipped
  skipped
  skipped

はい、同じ操作グループ内のすべての操作はアトミックです.

The idea is pretty simple:

failed - operations which failed with some particular error (not enough balance, gas limit, etc);
backtracked - operations which were successful but reverted due to one of the following operations in the same operation group was failed;
skipped - all the operations after the failed one.

However, after Babylon update some errors cause the operation to be marked as backtracked, but not failed. For example, when sender can't pay allocation fee.

So, it looks like this:

Operation group:
  backtracked
  backtracked
  backtracked
  failed (or backtracked)    <-- here is the actual error
  skipped
  skipped
  skipped

And yes, all operations in the same operation group are atomic.