奇怪的代码

cjdao

下面的代码是linux内核内存管理初始化时的一个函数，感觉zone_type这个变量的操作有点奇怪。

/*
* Builds allocation fallback zone lists.
*
* Add all populated zones of a node to the zonelist.
*/
static int build_zonelists_node(pg_data_t *pgdat, struct zonelist *zonelist,
                                int nr_zones, enum zone_type zone_type)
{
        struct zone *zone;

        BUG_ON(zone_type >= MAX_NR_ZONES);
        zone_type++;

        do {
                zone_type--;
                zone = pgdat->node_zones + zone_type;
                if (populated_zone(zone)) {
                        zoneref_set_zone(zone,
                                &zonelist->_zonerefs[nr_zones++]);
                        check_highest_zone(zone_type);
                }

        } while (zone_type);
        return nr_zones;
}

改写如下不是更好理解么，哪位可以指点一下上面的代码是不是有什么深层次的原因呢

static int build_zonelists_node(pg_data_t *pgdat, struct zonelist *zonelist,
                                int nr_zones, enum zone_type zone_type)
{
        struct zone *zone;

        BUG_ON(zone_type >= MAX_NR_ZONES);
        //zone_type++;
        do {
                //zone_type--;
                zone = pgdat->node_zones + zone_type;
                if (populated_zone(zone)) {
                        zonelist->zones[nr_zones++] = zone;
                        check_highest_zone(zone_type);
                }
                zone_type--;
        } while (zone_type);
        return nr_zones;
}

firkraag

If the code is written as you imagined, when the 'zone_type' parameter is passed as 0(enum,right? it could be treated as int), the do_while loop will be a deadloop.

cjdao

thanks 回复 2# firkraag


   

leftip

git log 一下发现本来是和楼主改的差不多的，后来zone_type改成enum后不得不改成这副蹩脚的样子了