An Incremental Garbage Collection for an Object Heap on Flash Memory and A Memory Model For Flash