Alexei Fedotov wrote: > Tim, > Thank you for explanations. > > I'm not suggesting to reject a contribution. I like an idea of > Mikhail's algorithm which checks data flow, though I failed to > understand how subroutine boundaries in one pass. I missed any > reference to this in documentation as well. > >> Accepting here does not mean this contribution will be the one and only >> bytecode verifier going forward. > > We agreed to keep duplication out of Harmony. I personally believe we > need strong arguments for any duplication, and I do not see enough > arguments to have two verifiers.
No we didn't -- we have two JITs and two GCs, and we maintain the ability to run on multiple VMs. Sometimes having a choice is good. We may not want two verifiers, but this vote is not deciding that. Regards, Tim
