Method and system for use in an on-line database system for dynamically expanding a file without suppression of job execution

A dynamic file expansion method for a file management system providing efficient operations of storing records in a file, renewing, deleting, and referring to records stored in the file, said dynamic file expansion method comprising the steps of:

• registering information of an allocated expansion space to be added to said file upon occurrence of insufficient space therein, and registering information of a remaining empty space of said file whereby an expansion timing indicating a need for file expansion is set;
• detecting whether actual remaining space of said file becomes equal to or less than said registered remaining empty space at which said expansion timing is set, to issue a file expansion request;
• in response to said file expansion request, expanding a file by generating and holding new space management information in accordance with said registered allocated expansion space information, expanding a space to the file, initializing said expanded space to the file in parallel with record input/output processing relative to the already existing space and interrupting said second input/output processing before said file expansion;
• during execution of said file expanding step, executing said record input/output processing relative to said already existing space by using old before expansion space management information, in accordance with a record input/output process;
• and
• informing said record input/output process of a completion of said file expanding process and the amount of after-expansion space to logically set said held space management information as after-expansion space management information;
• wherein said detecting step monitors, without setting said remaining empty space at which said expansion timing is set, an amount of increased used space of said file at intervals of a predetermined time period, estimates from a maximum value of said increased used space amount, a time period during which said remaining empty space is entirely used, and issues said file expansion request upon detecting that said estimated time period becomes equal to or less than a time period necessary for file expansion by said registered allocated expansion space.

A dynamic file expansion system for a file management system providing efficient operations of storing records in a file, renewing, deleting, and referring records stored in the file, said dynamic file expansion system comprising:

• a file expansion information register for registering information of an allocated expansion space to be added to said file upon occurrence of insufficient space therein, and registering information of a remaining empty space of said file whereby an expansion timing indicating a need for file expansion is set;
• a file expansion timing detector for detecting whether actual remaining space of said file becomes equal to or less than said registered remaining empty space at which said expansion timing is set to issue a file expansion request;
• an asynchronos file expander, responsive to said file expansion request issued from said file expansion timing detector, for expanding a file by generating and storing in a space management information store memory, new space management information in accordance with said registered allocated expansion space information, executing a space expanding process and an initializing process to said file, in parallel with a record input/output process and interrupting said record input/output process before file expansion;
• a record input/output processor for executing said record input/output process relative to said already existing space by using old before expansion space management information;
• a file expansion information informer for informing said record input/output processor of a completion of the file expanding process and the amount of after-expansion space, to logical set said space management information stored in said memory as after expansion space management information;
• a file expansion completion detector for resuming said record input/output process after said file expansion, when said record input/output process detects an insufficient empty space prior to completing said file expansion;
• and
• a dynamic file information integrator for matching space management information for a particular file management system with actual file space management information after a file expansion executed by another file management system, when an inconsistency is detected between the file capacity as said space management information given to said file management system and an actual capacity of said file.

A dynamic file expansion method for a file management system providing efficient operations of storing records in a file, renewing, deleting, and referring records stored in the file, said dynamic file expansion method comprising the steps of:

• registering information of an allocated expansion space to be added to said file upon occurrence of insufficient space therein, and registering information of a remaining empty space of said file whereby an expansion timing indicated a need for file expansion is set;
• detecting whether actual remaining space of said file becomes equal to or less than said registered remaining empty space at which said expansion timing is set, to issue a file expansion request;
• in response to said file expansion request, expanding a file by generating and holding new space management information in accordance with said registered allocated expansion space information, expanding a space to the file, and initializing said expanded space to the file, in parallel with record input/output processing relative to the already existing space before said file expansion;
• during execution of said file expanding step, executing said record input/output processing relative to said already existing space by using old before expansion space management information, in accordance with a record input/output process;
• informing said record input/output process of a completion of said file expanding step and the amount of after-expansion space, to logically set said held space management information as after-expansion space management information;
• time sequentially acquiring to a journal file, space management information at file expansion start and completion, when a file is dynamically expanded;
• executing again the file expanding step relative to a backup copy of said file generated at an optional time, in accordance with file expansion history information, after said optional time, recovered from said journal file;
• detecting an interception of said file expanding step by checking a pair of file expansion start and completion history information obtained from said journal file;
• and
• temporarily inhibiting dynamically expanding said file in response to detection of said interception.

A dynamic file expansion system for a file management system providing efficient operations of storing records in a file, renewing, deleting, and referring records stored in the file, said dynamic file expansion system comprising:

• a file expansion information register for registering information of an allocated expansion space to be added to said file upon occurrence of insufficient space therein, and registering information of a remaining empty space of said file whereby an expansion timing indicating a need for file expansion is set;
• a file expansion timing detector for detecting whether actual remaining space of said file becomes equal to or less than said registered remaining empty space at which said expansion timing is set to issue a file expansion request;
• an asynchronous file expander, responsive to said file expansion request issued from said file expansion timing detector, for expanding a file by generating and storing in a space management information store memory, new space management information in accordance with said registered allocated expansion space information, and executing a space expanding process and an initializing process to said file, in parallel with a record input/output process;
• a record input/output processor for executing said record input/output process relative to said already existing space by using old before expansion space management information;
• a file expansion information informer for informing said record input/output processor of a completion of the file expanding process and the amount of after-expansion space, to logically set said space management information stored in said memory as after expansion space management information;
• a file expansion history acquiring unit, having a journal file, for time sequentially acquiring to said journal file space management information at file expansion start and completion, when a file is dynamically expanded;
• an expanded file recover unit for executing again a file expansion process relative to a backup copy of said file generated at an optional time, in accordance file expansion history information, after said optional time, recovered from said journal file;
• a file expansion interception detector for detecting an interception of the file expansion process by checking a pair of file expansion start and completion history information obtained from said journal file;
• and
• a file expansion inhibitor for temporarily stopping dynamic expansion of said file in accordance with the check result by said file expansion interception detector.