[charleslmunger]

Metering also doesn't require a branch if you implement it with page faults. See "Implicit suspend checks" in https://android-developers.googleblog.com/2023/11/the-secret...

[kouteiheika]

Yep. That's a nice trick; unfortunately it's non-deterministic.

[csjh]

How's it nondeterministic?