Association for Computing Machinery
The authors present the design and implementation of TINYSTORE, a persistent, transactional, garbage-collected memory-management system, designed to be called from the Java virtual machine of a java card. The system is designed for flash-based implementations of java card, a variant of the java platform for smart cards. In the java card platform, objects are persistent by default. The platform supports transactions: a sequence of accesses to objects can be explicitly declared to constitute a transaction.