feat: region procedure service (#137)

* feat: adds region service and procedure service * refactor: adds procedure service for ddl and region task * feat: adds QueryProcedureRequest * feat: improve ProcedureStateResponse and MigrateRegionRequest * fix: forgot headers * fix: remove cluster_id in MigrateRegionRequest * refactor: rename Procedure to ProcedureService * chore: rename peer * fix: forgot java Procedure
2024-02-02 22:56:40 +08:00
parent 188153f55e
commit 96f1f0404f
30 changed files with 12486 additions and 1205 deletions
@@ -73,3 +73,8 @@ message KeyValue {
  // value is the value held by the key, in bytes.
  bytes value = 2;
 }
+
+// Procedure identifer
+message ProcedureId {
+  bytes key = 1;
+}