内核对象kobject和sysfs（4）——kset分析
内核对象kobject和sysfs（4）——kset分析
从狭义上来说，kset就是kobj的一个再封装而已。在封装之后，提供了针对kset之下所有kobj统一管理的一些方法。
我们还是从结构说起：
168 struct kset {
169 struct list_head list;
170 spinlock_t list_lock;
171 struct kobject kobj;
172 const struct kset_uevent_ops *uevent_ops;
173 };
由结构体看见，kset不过是内嵌了一个kobj，在此基础上额外提供了别的操作。在后面统一设备模型中，会讲到类设备就是采用这种方式进行操作的。
由于kset内嵌kobj，那么其操作方法必然和kobj类似。kset的初始化和注册函数合并成了一个函数：
810 int kset_register(struct kset *k)
811 {
812 int err;
813
814 if (!k)
815 return -EINVAL;
816
817 kset_init(k);
818 err = kobject_add_internal(&k->kobj);
819 if (err)
820 return err;
821 kobject_uevent(&k->kobj, KOBJ_ADD);
822 return 0;
823 }
824 EXPORT_SYMBOL(kset_register);
767 void kset_init(struct kset *k)
768 {
769 kobject_init_internal(&k->kobj);
770 INIT_LIST_HEAD(&k->list);
771 spin_lock_init(&k->list_lock);
772 }
可以看出来，在821行之前，kset的行为和kobj一模一样。kobj相关内容在上一篇有过详细分析，这里重点就变成了分析kset的额外部分。kobject_uevent最终调用kobject_uevent_env，这个函数旨在通过环境变量发送一个uevent事件。下面展开这个函数：
164 int kobject_uevent_env(struct kobject *kobj, enum kobject_action action,
165 char *envp_ext[])
166 {
167 struct kobj_uevent_env *env;
168 const char *action_string = kobject_actions[action];
169 const char *devpath = NULL;
170 const char *subsystem;
171 struct kobject *top_kobj;
172 struct kset *kset;
173 const struct kset_uevent_ops *uevent_ops;
174 int i = 0;
175 int retval = 0;
176 #ifdef CONFIG_NET
177 struct uevent_sock *ue_sk;
178 #endif
179
180 pr_debug("kobject: '%s' (%p): %s\n",
181 kobject_name(kobj), kobj, __func__);
182
183 /* search the kset we belong to */
184 top_kobj = kobj;
185 while (!top_kobj->kset && top_kobj->parent)
186 top_kobj = top_kobj->parent;
187
188 if (!top_kobj->kset) {
189 pr_debug("kobject: '%s' (%p): %s: attempted to send uevent "
190 "without kset!\n", kobject_name(kobj), kobj,
191 __func__);
192 return -EINVAL;
193 }
194
195 kset = top_kobj->kset;
196 uevent_ops = kset->uevent_ops;
197
198 /* skip the event, if uevent_suppress is set*/
199 if (kobj->uevent_suppress) {
200 pr_debug("kobject: '%s' (%p): %s: uevent_suppress "
201 "caused the event to drop!\n",
202 kobject_name(kobj), kobj, __func__);
203 return 0;
204 }
205 /* skip the event, if the filter returns zero. */
206 if (uevent_ops && uevent_ops->filter)
207 if (!uevent_ops->filter(kset, kobj)) {
208 pr_debug("kobject: '%s' (%p): %s: filter function "
209 "caused the event to drop!\n",
210 kobject_name(kobj), kobj, __func__);
211 return 0;
212 }
213
214 /* originating subsystem */
215 if (uevent_ops && uevent_ops->name)
216 subsystem = uevent_ops->name(kset, kobj);
217 else
218 subsystem = kobject_name(&kset->kobj);
219 if (!subsystem) {
220 pr_debug("kobject: '%s' (%p): %s: unset subsystem caused the "
221 "event to drop!\n", kobject_name(kobj), kobj,
222 __func__);
223 return 0;
224 }
225
226 /* environment buffer */
227 env = kzalloc(sizeof(struct kobj_uevent_env), GFP_KERNEL);
228 if (!env)
229 return -ENOMEM;
230
231 /* complete object path */
232 devpath = kobject_get_path(kobj, GFP_KERNEL);
233 if (!devpath) {
234 retval = -ENOENT;
235 goto exit;
236 }
237
238 /* default keys */
239 retval = add_uevent_var(env, "ACTION=%s", action_string);
240 if (retval)
241 goto exit;
242 retval = add_uevent_var(env, "DEVPATH=%s", devpath);
243 if (retval)
244 goto exit;
245 retval = add_uevent_var(env, "SUBSYSTEM=%s", subsystem);
246 if (retval)
247 goto exit;
248
249 /* keys passed in from the caller */
250 if (envp_ext) {
251 for (i = 0; envp_ext[i]; i++) {
252 retval = add_uevent_var(env, "%s", envp_ext[i]);
253 if (retval)
254 goto exit;
255 }
256 }
257
258 /* let the kset specific function add its stuff */
259 if (uevent_ops && uevent_ops->uevent) {
260 retval = uevent_ops->uevent(kset, kobj, env);
261 if (retval) {
262 pr_debug("kobject: '%s' (%p): %s: uevent() returned "
263 "%d\n", kobject_name(kobj), kobj,
264 __func__, retval);
265 goto exit;
266 }
267 }
268
269 /*
270 * Mark "add" and "remove" events in the object to ensure proper
271 * events to userspace during automatic cleanup. If the object did
272 * send an "add" event, "remove" will automatically generated by
273 * the core, if not already done by the caller.
274 */
275 if (action == KOBJ_ADD)
276 kobj->state_add_uevent_sent = 1;
277 else if (action == KOBJ_REMOVE)
278 kobj->state_remove_uevent_sent = 1;
279
280 mutex_lock(&uevent_sock_mutex);
281 /* we will send an event, so request a new sequence number */
282 retval = add_uevent_var(env, "SEQNUM=%llu", (unsigned long long)++uevent_seqnum);
283 if (retval) {
284 mutex_unlock(&uevent_sock_mutex);
285 goto exit;
286 }
355
356 exit:
357 kfree(devpath);
358 kfree(env);
359 return retval;
360 }
函数中删除了部分由宏定义控制的非关键代码。
185行的循环表示从当前的对象，一直向根查找，直到查找到某个内核对象包含有kset为止。我们先忽略kset内部嵌入的kobj，把kset和kobj看成是两个独立的类型。那么情况就变得简单了。即该代码假定，需要发送uevent事件，必须依赖于kset，如果本对象没有kset，那么就向上查找kset为止，这样的循环把kset下的所有内核模块，包括该内核模块下的内核模块也都包括在一个集合内。这种模型，也遵循就近选择kset的原则。
如上图所示的关系：
如果寻找kobj5的kset，将会找到kset2，如果寻找kobj3的kset，将会找到kset1.
简单的把kobj和kset看成两个独立的概念，问题迎刃而解。但是实际情况却是kset内嵌一个kobj，这又怎么理解呢？这就回到文章开始提到的，把kset当做是一种特殊的kobj。kset有自己的功能去实现，但是需要借用kobj与sysfs交互的功能以及kobj的层次关系建立起自己的下属成员。
在上述的循环里，还有一个问题。那就是，我们的这次发送uevent事件是在注册的时候发送的，那kset内部的kobj向上找，又能找到什么kset呢？其实，这个就开发者自己去赋值了。在调用kset_register之前，一定要对内嵌的内嵌的kobj的kset指向相应的kset。这样，关系就变成了下图：
在内核中，kset1一般指的是顶层的kset，没有kset类的父类，即不受管制，例如class、pci下的devices。因此，开发人员开发也是从kset2开始开发。当然，如果你希望开发出1个直接在sysfs目录下的kset，当然也可以。但是这时候，while循环将找不到对应的kset，将导致无法发送事件。发送事件错误在注册kset的过程中，不是致命的。毕竟，第一个kset无法向上发送事件，这很好理解。
而如果某个kobj的kset域不为空，将在kobject_add的时候，将自身的连接件链入kset中的head域。kset也是通过该头找到它所管理的所有的kobj，包括自身内嵌的那个kobj。
如果创建的是kset2。那么196行我们看到，kset2将继承kset1的操作方法。该数据结构展开如下：
132 struct kset_uevent_ops {
133 int (* const filter)(struct kset *kset, struct kobject *kobj);
134 const char *(* const name)(struct kset *kset, struct kobject *kobj);
135 int (* const uevent)(struct kset *kset, struct kobject *kobj,
136 struct kobj_uevent_env *env);
137 };
138
由此也可以推断，一个kset内实现的方法，是由其下级的内核模块或kset使用的。在之后，就由具体的上级实现的操作集合里的方法，辅助加以处理逻辑，这里不再赘述。
总结一下：kobj通过parent的逻辑关系，形成了sysfs内的层级分明的目录。kset利用内嵌的kobj也形成了自己在sysfs内的层级分明的目录。但是这并不是kset本身的父子关系。kset的作用是对集合内的其他kobj有统一管理的能力。于是，kset就通过内嵌的kobj内的kset指针指向来确定自己的父亲。如果为NULL，表示自己不受管理。
