Linux內核鏈表 - 和排序

Question

我正在實現一些主要用於維護進程列表的系統調用，以及每個進程的打開文件列表。 但是我很難調試代碼，這需要一遍又一遍地重新編譯。

這可能是我的主要問題：

1. 何時以及如何初始化保持流程的列表？ 目前我在初始化之前檢查列表是否為空，但它不起作用。 我也嘗試過head == head->prev->next但是失敗了。

2. 考慮到相關的“比較”功能，調用list_sort的正確方法是什么？ 我收到了錯誤

[1827.710802] BUG：無法在fffff550處理內核分頁請求

[1827.710808] IP：[]比較+ 0x8 / 0x20

[1827.710814] * pde = 00a32067 * pte = 00000000

這是代碼。 我非常感謝你審閱它，尤其是init系統調用，其他人依賴它的正確行為。

#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/sched.h>
#include <linux/pid.h>
#include <linux/list.h>
#include <linux/fs.h>
#include <linux/proc_fs.h>
#include <linux/fdtable.h>
#include <linux/list_sort.h>
#include <linux/slab.h>


struct fileDescriptor {
    int fd;
    struct list_head list;
};

struct processInfo {
    struct task_struct task;
    int len_files;
    struct fileDescriptor listHead;
    struct list_head list;
};

struct processInfo listHead;

int compare(void* priv, struct list_head *a, struct list_head *b)
{
    struct processInfo *p1 = container_of(a, struct processInfo, list);
    struct processInfo *p2 = container_of(b, struct processInfo, list);

    if (p1->task.pid > p2->task.pid) return -1;
    else return 1;
}


asmlinkage long sys_init_process_list(pid_t p)
{   
    struct pid* pid;
    struct task_struct *task;
    struct files_struct *processFiles;
    struct fdtable *filesTable;
    struct processInfo *newProcess;

    if(list_empty(&listHead.list))
    {
        printk("____list_empty_____\n");
        INIT_LIST_HEAD(&listHead.list);
    }
    else
        printk("____list_not_empty_____\n");


    pid = find_get_pid(p);
    if (pid == NULL)
    {
        sys_init_process_list(1);
        return 1;
    }
    else 
    {
        struct list_head *list;
        struct task_struct *childTask;
        struct fileDescriptor *newfd;
        int i = 0;
        task = pid_task(pid, PIDTYPE_PID);
        newProcess = (struct processInfo*) kmalloc(sizeof(*newProcess), GFP_KERNEL);
        //copy task structure
        newProcess->task = *task;
        //adding file descriptors
        INIT_LIST_HEAD(&(newProcess->listHead).list);
        processFiles = task->files;
        filesTable = files_fdtable(processFiles);
        while (filesTable->fd[i] != NULL)
        {
            newfd = (struct fileDescriptor*) kmalloc(sizeof(*newfd), GFP_KERNEL);
            newfd->fd = i;
            INIT_LIST_HEAD(&newfd->list);
            list_add_tail(&(newfd->list), &(newProcess->listHead).list);
            i++;
        }
        newProcess->len_files = i;
        INIT_LIST_HEAD(&newProcess->list);
        // add the new node to mylist
        list_add_tail(&(newProcess->list), &(listHead.list));        
        //adding childern
        list_for_each(list, &task->children)
        {
            childTask = list_entry(list, struct task_struct, sibling);
            sys_init_process_list(childTask->pid);
        }
        return 0;
    }
}
//////////////////////////////////////////
asmlinkage long sys_sort_process_list(void)
{
    if(list_empty(&listHead.list))
    {
        printk("empty list\n");
        return 1;
    }
    list_sort(NULL, &listHead.list, compare);
    return 0;
}
////////////////////////////////////////
asmlinkage long sys_print_process_list(void)
{

    struct processInfo *aProcess;

    if (sys_sort_process_list())
    {
        printk("empty list\n");
        return 1;
    }

    list_for_each_entry(aProcess, &listHead.list, list)
    {
        printk("%d, %d\n", (aProcess->task).pid, aProcess->len_files);
    }
    return 0;
}
//////////////////////////////////////////////////
asmlinkage long sys_clear_process_list(void)
{   
    struct processInfo *aProcess, *tmp;

    if(list_empty(&listHead.list))
    {
        printk("empty list\n");
        return 1;
    }

    printk("deleting the list");

    list_for_each_entry_safe(aProcess, tmp, &listHead.list, list)
    {
        printk("freeing %d", (aProcess->task).pid);
        list_del(&aProcess->list);
        kfree(aProcess);
    }

    return 0;
}

編輯：我設法以某種方式用'靜態定義'來解決我的問題，這是在編譯時完成的，即我轉向了

struct processInfo listHead;

至

struct processInfo listHead =
{
    .list = LIST_HEAD_INIT(listHead.list)
}

現在一切似乎都運轉得很好。 我不確定這是否是最好的方式，所以我將保持問題開放，以便可以添加其他可能的解決方案。

Answer 1

與許多其他對象不同，鏈表的零初始化使其處於無效狀態 。 也就是說，鏈表的功能都不能用於零初始化列表。 甚至list_empty一個。

鏈表的正確初始化包括LIST_HEAD_INIT （作為結構初始化器）或INIT_LIST_HEAD （在運行時）。