Closed welkin22 closed 1 month ago
When a read operation is accompanied by a write operation, there is no need to include it in the readSet because it will be filtered out later. We only need to record pure read operations.
Description
When a read operation is accompanied by a write operation, there is no need to include it in the readSet because it will be filtered out later. We only need to record pure read operations.