Persistent transactional memory metadata-based buffer caches

A method, comprising:

• during a pre-commit phase of a first transaction that performs a write to an input/output (I/O) system, verifying that a first set of resources acquired by the first transaction do not have logical termination times that precede a current state of the I/O system as defined by committed transactions across resources, including the first set of resources, associated with the I/O system;
• generating copies of the first set of resources for modification by the first transaction;
• responsive at least to successfully verifying durinq the pre-commit phase of the first transaction, executing a commit phase of the first transaction;
• obtaining a lock on the I/O system at a start of the commit phase of the first transaction;
• and
• during the commit phase of the first transaction, verifying that the logical termination times of the first set of resources do not precede the current state of the I/O system before publishing one or more modifications to the first set of resources to the I/O system;
• wherein the method is executed by at least one device including a hardware processor.

An apparatus, comprising:

• one or more processors;
• and
• memory storing instructions that, when executed by the one or more processors, cause the apparatus to:
• during a pre-commit phase of a first transaction that performs a write to an input/output (I/O) system, verifying that a first set of resources acquired by the first transaction do not have logical termination times that precede a current state of the I/O system as defined by committed transactions across resources, including the first set of resources, associated with the I/O system;
• generating copies of the first set of resources for modification by the first transaction;
• responsive at least to successfully verifying during the pre-commit phase of the first transaction, executing a commit phase of the first transaction;
• obtaining a lock on the I/O system at a start of the commit phase of the first transaction;
• and
• during the commit phase of the first transaction, verifying that the logical termination times of the first set of resources do not precede the current state of the I/O system before publishing one or more modifications to the first set of resources to the I/O system.