Data structures for limited oblivious execution of programs while preserving locality of reference