操作系统ucore实验_lab2_debug

    一个小bug,半天了才找到啊,主要是qemu+gdb的调试没搞定,加上对实验的理解不深刻,连蒙带猜......总之是个值得警醒的bug了,bug是写lab2第一部分代码出现的,在default_pmm.c中

     
bug代码如下:

62 //按地址从低到高入链表
 63 static void
 64 list_seq_add(list_entry_t *pl)
 65 {
 66     list_entry_t *le = &free_list;
 67 
 68     while((le = list_next(le)) < pl )            // bug: 链表头&free_list是不能参与比较的
 69     {
 70         if(le == &free_list)
 71         {
 72             le = list_next(le);
 73             break;
 74         }
 75     }
 76     
 77     list_add_before(le,pl);
 78 }                              

修改后如下

62 //按地址从低到高入链表
 63 static void
 64 list_seq_add(list_entry_t *pl)
 65 {
 66     list_entry_t *le = &free_list;
 67 
 68     while((le = list_next(le)) != &free_list)
 69     {
 70         if(le > pl)
 71         {
 72             list_add_before(le,pl);
 73             break;
 74         }
 75     }
 76     if(le == &free_list)
 77         list_add(le,pl);
 78 }   

其实一开始就想这么写的,后来想把代码写短一点.....结果就是个教训了......

顺便吐曹下清华的指导书............说的太含蓄了,对我这个小菜鸟来说,.

后记:明显逗比了.........唉

正确如下:

 62 //按地址从低到高入链表
 63 static void
 64 list_seq_add(list_entry_t *pl)
 65 {
 66     list_entry_t *le = &free_list;
 67 
 68     while((le = list_next(le)) != &free_list)
 69     {
 70         if(le > pl)
 71         {
 72             break;
 73         }
 74     }
 75     list_add_before(le,pl);         //无论是到链表头还是break出来的 都存在其前面
 76 
 77 }

当然,我最后写的是这样

 62 //按地址从低到高入链表
 63 static void
 64 list_seq_add(list_entry_t *pl)
 65 {
 66     list_entry_t *le = &free_list;
 67 
 68     while(le > pl
 69         && (le = list_next(le)) != &free_list)
 70     {
 71 
 72     }
 73     list_add_before(le,pl);                                                                                                       
 74     
 75 }   

我开始觉得,这是病啊,得治!