print_verification_stats

Name:print_verification_stats

Proto:static void print_verification_stats(struct bpf_verifier_env *env)

Type:void

Parameter:

Type	Parameter	Name
struct bpf_verifier_env *	env

9496

If level & BPF_LOG_STATS Then

9497

verbose(env, "verification time %lld usec\n", div_u64 - unsigned 64bit divide with 32bit divisor*@dividend: unsigned 64bit dividend*@divisor: unsigned 32bit divisor* This is the most common 64bit divide and should be used if possible,* as many 32bit archs can optimize this variant better than a full )

9499

verbose(env, "stack depth ")

9500

When i < subprog_cnt cycle

9501

depth = max. stack depth used by this function

9503

verbose(env, "%d", depth)

9504

If i + 1 < subprog_cnt Then verbose(env, "+")

9507

verbose(env, "\n")

9509

verbose(env, "processed %d insns (limit %d) max_states_per_insn %d total_states %d peak_states %d mark_read %d\n", umber of instructions analyzed by the verifier , yes. 1M insns , maximum number of verifier states kept in 'branching' instructions , al number of allocated verifier states , some states are freed during program analysis.* this is peak number of states. this number dominates kernel* memory consumption during verification, longest register parentage chain walked for liveness marking )

**Caller**
Name	Describe
bpf_check

Source code conversion tool public plug-in interface	X
Support c/c++/esqlc/java Oracle/Informix/Mysql Plug-in can realize: logical Report Code generation and batch code conversion