In the present invention, for each set of blocks [#(0) to #(N−1)] storing update data, a history block [#(N)] storing an update state value, for example, a generation, time or check code, showing an update state is provided, constituting a set of management data as a check object. When writing update data on a disk, a new update state value is calculated for the same set of management data and stored in memory as update state confirmation value. The new update state value is also set as write data in the history block in the same set of management data, and the entire of the set of management data including update data and update state value are written onto a disk. The history block is read and disk write omissions are detected by comparing the update state value and the update state confirmation value stored in memory.