Checkpoint/restart is an important mechanism for system fault tolerance. It saves the state of an executing program periodically and recovers it after a failure. As many applications involve file operations, supporting file rollbacks is essential for checkpoint/restart. Complete backup can restore files to the correct state, but its cost is too high. In this paper we propose a behavior based file checkpointing strategy (BBFC), which provides a correct recovery of file data and ensures consistency between file state and other states of a process when a rollback is done by restarting the program from the last checkpoint. BBFC classifies details of the file operation behaviors and provides a guidance on what to be saved during file checkpointing according to those behaviors. It dramatically minimizes the overhead of file checkpointing due to the reduction of file data which need to be saved. And it is transparent and easy to use.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

According to Van der Waerden, the sum of two natural numbers is defined as &x*1=x& &x*y^+= x*y+x& (for every x and every y) The product of two natural numbers is recursively defined as &x*1=x& &x*y^+= x*y+x& (for every x and every y) x^+ ( y^+ ) here means the successor(consequent) of x( y) in the set of natural numbers.