You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// ResourceID is calculated based on the source of this resource health information.
3127
+
// For DevicePlugin:
3128
+
//
3129
+
// deviceplugin:DeviceID, where DeviceID is from the Device structure of DevicePlugin's ListAndWatchResponse type: https://github.com/kubernetes/kubernetes/blob/eda1c780543a27c078450e2f17d674471e00f494/staging/src/k8s.io/kubelet/pkg/apis/deviceplugin/v1alpha/api.proto#L61-L73
3130
+
//
3131
+
// DevicePlugin ID is usually a constant for the lifetime of a Node and typically can be used to uniquely identify the device on the node.
3132
+
// For DRA:
3133
+
//
3134
+
// dra:<driver name>/<pool name>/<device name>: such a device can be looked up in the information published by that DRA driver to learn more about it. It is designed to be globally unique in a cluster.
3135
+
typeResourceIDstring
3136
+
3137
+
// ResourceHealth represents the health of a resource. It has the latest device health information.
3138
+
// This is a part of KEP https://kep.k8s.io/4680 and historical health changes are planned to be added in future iterations of a KEP.
3139
+
typeResourceHealthstruct {
3140
+
// ResourceID is the unique identifier of the resource. See the ResourceID type for more information.
0 commit comments