File System Startup Verification Using Transaction Segmentation

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Traditional transaction-based file systems require time and resource-intensive verification processes during startup to ensure file system integrity after interruptions, such as power outages, which can slow down system recovery.

Innovation Solution

The proposed system optimizes startup verification by distinguishing between transaction records affecting file data and metadata, verifying only metadata records to ensure consistency, and limiting verification to the header sections of transaction records, thereby reducing the need for extensive data section verification and skipping verification of erased or incomplete transactions.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If complete verification of all transaction records is performed during startup, then file system integrity is ensured, but startup time and resource consumption increase

Engineering Contradiction:
Improvefile system integrityVSAvoidstartup time
Core Design Contradiction:
ReliabilityVSLoss of time

Solution Approach 1:

The patent segments the verification process by dividing transaction records into two categories: metadata records (requiring full verification) and file data records (requiring minimal or no verification). This segmentation allows the system to focus verification resources on critical integrity points while skipping non-critical data, thereby reducing overall startup time while maintaining file system consistency.

Inventive Principle:
Principle #1Segmentation

Solution Approach 2:

The patent applies different verification strictness levels to different parts of the transaction log. Metadata records receive thorough verification to ensure file system structural integrity, while file data records receive minimal verification. This local quality approach ensures that critical integrity points are protected without subjecting all data to equally resource-intensive verification processes.

Inventive Principle:
Principle #3Local quality

2Reliability

If verification of all transaction record data sections is performed, then data integrity is confirmed, but processing resources are consumed

Engineering Contradiction:
Improvedata integrityVSAvoidprocessing resources
Core Design Contradiction:
ReliabilityVSUse of energy by moving object

Solution Approach 1:

The patent extracts and verifies only the essential metadata portions of transaction records during startup, separating this critical verification from the optional file data verification. By taking out only the necessary integrity-checking operations (metadata verification) and leaving out non-essential operations (file data verification), the system reduces processing resource consumption while maintaining core data integrity.

Inventive Principle:
Principle #2Taking out (Extraction)

3Reliability

If extensive verification processes are executed during startup, then file system consistency is ensured, but system recovery speed decreases

Engineering Contradiction:
Improvefile system consistencyVSAvoidsystem recovery speed
Core Design Contradiction:
ReliabilityVSSpeed

Solution Approach 1:

The patent applies partial verification action by performing complete verification only on metadata records and minimal or no verification on file data records. This partial action approach provides sufficient verification to ensure file system consistency (enough verification on critical paths) while avoiding excessive verification that would slow down recovery. The system does what is necessary for consistency without doing more than required.

Inventive Principle:
Principle #16Partial or excessive action

Data Source

PatentEP1744247B1Optimized startup verification of file system integrity
Publication Date: 2013.04.17 QNX SOFTWARE SYST
  • EP1744247B1 patent drawingFigure 1
  • EP1744247B1 patent drawingFigure 2
  • EP1744247B1 patent drawingFigure 3

AI summary

A computer system that may be used in implementing a transaction based file system is disclosed. The computer system includes a processor, random access memory that may be accessible by the processor, and a persistent data storage device that is likewise accessible by the processor. The computer system also may include file system software. The file system software may be executed by the processor and operates to manage the file data and the file system structure of the files stored on the persistent data storage device. Additionally, the file system software may maintain a transaction file that includes a plurality of transaction records. Each of the transaction records has a header section and a data section. The header section of each transaction record may include one or more fields that are designated to store information corresponding to a file transaction that is represented by the transaction record. If the operation of the file system software is interrupted, the file system software may resume its execution using a startup process in which a reconstructed file system may be generated in the random access memory. During system restart, the startup process may skip verification of the data section of a transaction record when the transaction record meets one or more predetermined criterion. For example, the startup process may make a distinction between transaction records merely affecting file data versus transaction records that affect the metadata of the file system. As transactions are found during the startup process, the file system software may identify whether a transaction impacts file data or metadata. Since only the metadata is required to ensure that the file system is in a consistent state after startup, the transaction records relating to metadata may be selected as the only subset of transaction records that are subject to complete verification. Verification of other transaction records may, for example, be limited to a check of the information contained in the header section of each remaining transaction record.