1. A method comprising: while speculatively executing a given one of a plurality of transactions concurrently executing on a computer: carrying out write operations in a local data block; automatically creating an entry in a checkpoint log when reading from a shared memory; continuously conflict checking during read and tentative commit operations; and carrying out a partial rollback upon detection of a conflict in the conflict checking step, the partial rollback being based upon the checkpoint log.