Re: srfs - a new file system.

Nir Tzachar
2003-10-25T10:36:39Z

> You lost me here. First, why is the number of errors finite when the
> execution time is infinite? Second, how does that mean the errors are
> transient? I'd think the relationship is exactly the opposite: If the
> errors are permanent, then there's a limit to how many can occur
> regardless of time.

first, transient means short-lived, not permanent (from the dict. )
now, you can describe a model of a file system as an infinite execution of
file operations. [we use infinite sequences to prove correctness]
im not talking about execution time, but an infinite number of separate
operations.

when striving to achieve self stabilization, you need to prove that as
long as at some point you will get no more errors (hence, transient
errors) the system will stabilize and keep on working correctly.

--
========================================================================
nir.