解读Dart虚拟机的参数列表

一、概述

在third_party/dart/runtime/vm/flag_list.h定义了Dart虚拟机中所有标志的列表，标志分为以下几大类别：

• Product标记：可以在任何部署模式中设置，包括Product模式
• Release标志：通常可用的标志，除Product模式以外
• Precompile标志：通常可用的标志，除Product模式或已预编译的运行时以外
• Debug标志：只能在启用C++断言的VM调试模式中设置

Product、Release、Precompile、Debug这四类可控参数，可使用的范围逐次递减，比如Product flags可用于所有模式，Debug flags只能用于调试模式。Dart虚拟机总共有106个flags参数

二、flags参数

2.1 Product flags

用法：PRODUCT_FLAG_MARCO（名称，类型，默认值，注解）

optimization_level这是一个可以尝试的参数

2.2 Release flags

用法：RELEASE_FLAG_MARCO（名称，product_value，类型，默认值，注解）

2.3 Precompile flags

用法：PRECOMPILE_FLAG_MARCO（名称，precompiled_value，product_value，类型，默认值，注释）

2.4 Debug flags

用法：DEBUG_FLAG_MARCO（名称，类型，默认值，注解）

默认值全部都为false，

三、实现原理

3.1 FLAG_LIST

[-> third_party/dart/runtime/vm/flags.cc]

1FLAG_LIST(PRODUCT_FLAG_MARCO,
2          RELEASE_FLAG_MARCO,
3          DEBUG_FLAG_MARCO,
4          PRECOMPILE_FLAG_MARCO) 

FLAG_LIST列举了所有的宏定义，这里有四种不同的宏，接下来逐一展开说明

3.2 flag宏定义

[-> third_party/dart/runtime/vm/flags.cc]

1// (1) Product标记：可以在任何部署模式中设置
2#define PRODUCT_FLAG_MARCO(name, type, default_value, comment)                 \
3  type FLAG_##name = Flags::Register_##type(&FLAG_##name, #name, default_value, comment);
4
5// (2) Release标志：通常可用的标志，除Product模式以外
6#if !defined(PRODUCT)
7#define RELEASE_FLAG_MARCO(name, product_value, type, default_value, comment)  \
8  type FLAG_##name = Flags::Register_##type(&FLAG_##name, #name, default_value, comment);
9
10// (3) Precompile标志：通常可用的标志，除Product模式或已预编译的运行时以外
11#if !defined(PRODUCT) && !defined(DART_PRECOMPILED_RUNTIME)
12#define PRECOMPILE_FLAG_MARCO(name, pre_value, product_value, type, default_value, comment) \
13  type FLAG_##name = Flags::Register_##type(&FLAG_##name, #name, default_value, comment);
14
15// (4) Debug标志：只能在debug调试模式运行
16#if defined(DEBUG)  
17#define DEBUG_FLAG_MARCO(name, type, default_value, comment)                   \
18  type FLAG_##name =  Flags::Register_##type(&FLAG_##name, #name, default_value, comment); 

这里涉及到3个宏定义：

• PRODUCT：代表Product模式；
• DART_PRECOMPILED_RUNTIME：代表运行时已预编译模式；
• DEBUG：代表调试模式；

可见，宏定义最终都是调用Flags::Register_XXX()方法，这里以FLAG_LIST中的其中一条定义来展开说明：

1P(collect_code, bool, false, "Attempt to GC infrequently used code.")
2//展开后等价如下
3type FLAG_collect_code = Flags::Register_bool(&FLAG_collect_code, collect_code, false,
4    "Attempt to GC infrequently used code."); 

3.3 Flags::Register_bool

[-> third_party/dart/runtime/vm/flags.cc]

1bool Flags::Register_bool(bool* addr,
2                          const char* name,
3                          bool default_value,
4                          const char* comment) {
5  Flag* flag = Lookup(name);  //[见小节3.4]
6  if (flag != NULL) {
7    return default_value;
8  }
9  flag = new Flag(name, comment, addr, Flag::kBoolean);
10  AddFlag(flag);
11  return default_value;
12} 

3.4 Flags::Lookup

[-> third_party/dart/runtime/vm/flags.cc]

1Flag* Flags::Lookup(const char* name) {
2  //遍历flags_来查找是否已存在
3  for (intptr_t i = 0; i < num_flags_; i++) {
4    Flag* flag = flags_[i];
5    if (strcmp(flag->name_, name) == 0) {
6      return flag;
7    }
8  }
9  return NULL;
10} 

Flags类中有3个重要的静态成员变量：

1static Flag** flags_; //记录所有的flags对象指针
2static intptr_t capacity_;  //代表数组的容量大小
3static intptr_t num_flags_;  //代表当前flags对象指针的个数 

3.5 Flag初始化

[-> third_party/dart/runtime/vm/flags.cc]

1class Flag {
2  Flag(const char* name, const char* comment, void* addr, FlagType type)
3      : name_(name), comment_(comment), addr_(addr), type_(type) {}
4
5  const char* name_;
6  const char* comment_;
7  union {
8    void* addr_;
9    bool* bool_ptr_;
10    int* int_ptr_;
11    uint64_t* uint64_ptr_;
12    charp* charp_ptr_;
13    FlagHandler flag_handler_;
14    OptionHandler option_handler_;
15  };
16  FlagType type_;
17} 

3.6 Flags::AddFlag

[-> third_party/dart/runtime/vm/flags.cc]

1class Flag {
2
3  void Flags::AddFlag(Flag* flag) {
4    if (num_flags_ == capacity_) {
5      if (flags_ == NULL) {
6        capacity_ = 256;  //初始化大小为256
7        flags_ = new Flag*[capacity_];
8      } else {
9        intptr_t new_capacity = capacity_ * 2; //扩容
10        Flag** new_flags = new Flag*[new_capacity];
11        for (intptr_t i = 0; i < num_flags_; i++) {
12          new_flags[i] = flags_[i];
13        }
14        delete[] flags_;
15        flags_ = new_flags;
16        capacity_ = new_capacity;
17      }
18    }
19    //将flag记录到flags_
20    flags_[num_flags_++] = flag;
21  }
22} 

最终，所有的flag信息都记录在Flags类的静态成员变量flags_中。

四、总结

• Product标记：可以在任何部署模式中设置
• Release标志：通常可用的标志，除Product模式以外
• Precompile标志：通常可用的标志，除Product模式或已预编译的运行时以外
• Debug标志：只能在启用C++断言的VM调试模式中设置