Subject: Porting Hammerfs (fwd)
To: None <tech-kern@NetBSD.org>
From: Mark Weinem <mark.weinem@alumni.uni-due.de>
List: tech-kern
Date: 12/09/2007 20:44:01
Matthew Dillon about the state of the HAMMER filesystem and about
porting to other systems:
---------- Forwarded message ----------
[...]
:> I'm not on the netbsd list, someone forwarded this to me, but yes,
:> HAMMER is still under very heavy development and will probably not
:> be considered 'complete' until mid next year.
:>
:> It is expected to reach alpha or early beta quality by our 2.0 release
:> in Mid january 2008. All the primary OS interfaces are in place at
:> this time, but large chunks of the filesystem's backend must still
:> be written.
[...]
Yes, please feel free to forward that, and this.
With regards to the OS interface, HAMMER uses 16K filesystem buffers
and it shouldn't be too hard to port that part of it. DragonFly uses
64 bit byte offsets for its buffer cache buffers rather than block
numbers. There is one big gotcha, though, and that is I am using an
augmented softupdates callback API to allow buffer cache buffers to be
passively associated with HAMMER's in-memory structures. When the OS
wants to flush or discard/reuse a buffer, it makes a callback and
HAMMER then has the ability to tell the OS NOT to do that by setting
B_LOCKED in the bp. HAMMER can also decide to disassociate the bp from
internal HAMMER structures and let the OS proceed. In this way all
of HAMMER's in-memory tracking structures can passively cache pointers
into buffer cache data buffers plus also leech off of the OS's buffer
cache management system instead of rolling its own.
The VOP interface is a different story. DragonFly uses a direct
OS-level namecache locking model to resolve path components so, for
example, instead of having VOP_LOOKUP which passes a locked directory vp
and a name component we have VOP_NRESOLVE which passes an unlocked
directory vp and a locked namecache handle. MKDIR, RENAME, REMOVE, and
so forth work the same way. The DFly APIs are greatly simplified over
the traditional BSD VOP APIs though so porting would not be too difficult.
We also have a VOP_NLOOKUPDOTDOT now and filesystem code is no longer
responsible for resolving "." or ".." (beyond the addition of that VOP).
--
Current state of HAMMER: HAMMER breaks the filesystem storage up
into 64MB 'clusters'. Each cluster maintains a portion of the
filesystem-wide B-Tree. The code has progressed to the point where
I can do most filesystem ops, including historical as-of accesses,
within a single cluster and I am now working on the 'spike' code which
is basically responsible for glueing the B-Tree between clusters together.
Still TODO:
* Spike code for glueing multiple 64MB clusters in the filesystem-wide
B-Tree.
* Balancing code. It's easy to spike new clusters in for expansion but
once the filesystem starts to get full balancing code is required
to free up whole clusters as space is recovered.
HAMMER is designed for very large filesystems and consequently optimal
operation will depend on there being enough free space to absorb short
term (e.g. ~12 hour) inefficiencies in space utilization.
* Recovery code. B-Tree's are per-cluster and can be reconstructed
by scanning the cluster's record array, allowing all B-Tree ops to
be asynchronous and for recovery to occur live on a cluster-by-cluster
basis. But the recovery code itself still needs to be written and
there are some performance issues in the design which I have to work
out (including possibly increasing the maximum cluster size to
something much larger then 64MB so I can have a synchronous 'unsynced'
flag in the cluster header).
* Mirroring and backup streaming support.
* Historical retention policy support and vacuuming code. e.g. to be
able to say 'retain history on 60 second boundaries for 60
minutes, then 30 minutes boundaries for 24 hours, then 12 hour
boundaries for a week, then ....'.
So you can see, I still have a lot of work to do.
At the moment I do not have any endian-neutral coding in place but the
FS is specifically designed to allow detection of the endian mode for
future endian-neutral operation. It's something I very much want, but
as you probably know endian-neutral coding takes a lot of time to do
properly, especially when the basic functional design is still being
coded. So I'm holding off on that aspect of the filesystem until its
more complete.
-Matt
Matthew Dillon
<dillon@backplane.com>