I'm going to steal Dalibor's diary format :)
I had wanted to finish the last section of the bytecode verifier (pass 3b) this past weekend, but the haze of 4th of July (damn the British! ;>) alcohol clouding my mind made it pretty freaking difficult to concentrate on anything. My goal for today is to finish up most of pass 3b, excepting subroutines.
I'm actually trying out an experimental way of dealing with subroutines. Most verifiers use really basic algorithms that make pretty unfair assumptions about the code, such as that a subroutine block contains no branches out of the block itself. In Java programs this isn't a problem as subroutines are generally only put into code by a compiler for handling try-finally clauses. However, it's still pretty restrictive. I want my code to be able to handle more complex subroutine situations using stacks of simulated operand stacks and local variables arrays during merging instead of using just one simulated set per instruction (or per basic block).
Prepping for China
In September I leave the US for Switzerland. I'm going to work my way over land from there to Beijing. This week my goal is to purchase health insurance and start getting the shots I need to get. Last year I went to Sumatra, Indonesia for a month and received most of the necessary boosters, but didn't have time to get the Japanese Encephalytis (sp?) vaccine, which is a big worry during certain seasons in some parts of China.