不使用任何（局部）静态或全局的非const变量。
不返回任何（局部）静态或全局的非const变量的指针。
仅依赖与调用方提供的参数。
不依赖任何单个资源的锁（mutex等）。
不调用任何不可重入的函数。