feat: remote dyn filter (#314)

* feat: remote dyn filter

Signed-off-by: discord9 <discord9@163.com>

* make all

Signed-off-by: discord9 <discord9@163.com>

---------

Signed-off-by: discord9 <discord9@163.com>
This commit is contained in:
discord9
2026-05-13 20:12:10 +08:00
committed by GitHub
parent a107830d0c
commit dfd2a6d7d3
7 changed files with 5829 additions and 639 deletions
+20
View File
@@ -61,6 +61,7 @@ message RegionRequest {
ListMetadataRequest list_metadata = 18;
BuildIndexRequest build_index = 19;
ApplyStagingManifestRequest apply_staging_manifest = 20;
RemoteDynFilterRequest remote_dyn_filter = 21;
}
}
@@ -303,3 +304,22 @@ message ApplyStagingManifestRequest {
// Path to the staging manifest file.
string manifest_path = 4;
}
message RemoteDynFilterRequest {
string query_id = 1;
oneof action {
RemoteDynFilterUpdate update = 2;
RemoteDynFilterUnregister unregister = 3;
}
}
message RemoteDynFilterUpdate {
string filter_id = 1;
bytes payload = 2;
uint64 generation = 3;
bool is_complete = 4;
}
message RemoteDynFilterUnregister {
string filter_id = 1;
}