feat: region lease (#49)

* feat: region lease * feat: region lease * feat: region lease
2023-06-14 19:33:35 +08:00
parent 4398d20c56
commit abb1d0a8f3
4 changed files with 322 additions and 122 deletions
@@ -55,6 +55,11 @@ message TableName {
  string table_name = 3;
 }

+message TableIdent {
+  uint32 table_id = 1;
+  TableName table_name = 2;
+}
+
 message TimeInterval {
  // The unix timestamp in millis of the start of this period.
  int64 start_timestamp_millis = 1;
@@ -97,6 +97,14 @@ message HeartbeatResponse {
  ResponseHeader header = 1;

  MailboxMessage mailbox_message = 2;
+  repeated RegionLease region_leases = 3;
+}
+
+message RegionLease {
+  TableIdent table_ident = 1;
+  repeated uint32 regions = 2;
+  int64 last_heartbeat_time_millis = 3;
+  uint64 lease_seconds = 4;
 }

 message AskLeaderRequest { RequestHeader header = 1; }