storage revision 1.17
11.17Sjdolecek$NetBSD: storage,v 1.17 2016/09/16 15:02:23 jdolecek Exp $
21.1Sagc
31.1SagcNetBSD Storage Roadmap
41.1Sagc======================
51.1Sagc
61.1SagcThis is a small roadmap document, and deals with the storage and file
71.10Sdhollandsystems side of the operating system. It discusses elements, projects,
81.10Sdhollandand goals that are under development or under discussion; and it is
91.10Sdhollanddivided into three categories based on perceived priority.
101.10Sdholland
111.10SdhollandThe following elements, projects, and goals are considered strategic
121.10Sdhollandpriorities for the project:
131.10Sdholland
141.10Sdholland 1. Improving iscsi
151.10Sdholland 2. nfsv4 support
161.10Sdholland 3. A better journaling file system solution
171.10Sdholland 4. Getting zfs working for real
181.10Sdholland 5. Seamless full-disk encryption
191.11Sdholland 6. Finish tls-maxphys
201.10Sdholland
211.10SdhollandThe following elements, projects, and goals are not strategic
221.10Sdhollandpriorities but are still important undertakings worth doing:
231.10Sdholland
241.11Sdholland 7. nvme support
251.11Sdholland 8. lfs64
261.11Sdholland 9. Per-process namespaces
271.11Sdholland 10. lvm tidyup
281.11Sdholland 11. Flash translation layer
291.11Sdholland 12. Shingled disk support
301.11Sdholland 13. ext3/ext4 support
311.11Sdholland 14. Port hammer from Dragonfly
321.11Sdholland 15. afs maintenance
331.11Sdholland 16. execute-in-place
341.15Schristos 17. extended attributes for acl and capability storage
351.10Sdholland
361.10SdhollandThe following elements, projects, and goals are perhaps less pressing;
371.10Sdhollandthis doesn't mean one shouldn't work on them but the expected payoff
381.10Sdhollandis perhaps less than for other things:
391.1Sagc
401.15Schristos 18. coda maintenance
411.1Sagc
421.8Sagc
431.10SdhollandExplanations
441.10Sdholland============
451.1Sagc
461.10Sdholland1. Improving iscsi
471.10Sdholland------------------
481.1Sagc
491.10SdhollandBoth the existing iscsi target and initiator are fairly bad code, and
501.10Sdhollandneither works terribly well. Fixing this is fairly important as iscsi
511.10Sdhollandis where it's at for remote block devices. Note that there appears to
521.10Sdhollandbe no compelling reason to move the target to the kernel or otherwise
531.10Sdhollandmake major architectural changes.
541.10Sdholland
551.10Sdholland - As of November 2015 nobody is known to be working on this.
561.10Sdholland - There is currently no clear timeframe or release target.
571.10Sdholland - Contact agc for further information.
581.10Sdholland
591.10Sdholland
601.10Sdholland2. nfsv4 support
611.10Sdholland----------------
621.10Sdholland
631.10Sdhollandnfsv4 is at this point the de facto standard for FS-level (as opposed
641.10Sdhollandto block-level) network volumes in production settings. The legacy nfs
651.10Sdhollandcode currently in NetBSD only supports nfsv2 and nfsv3.
661.10Sdholland
671.10SdhollandThe intended plan is to port FreeBSD's nfsv4 code, which also includes
681.10Sdhollandnfsv2 and nfsv3 support, and eventually transition to it completely,
691.10Sdhollanddropping our current nfs code. (Which is kind of a mess.) So far the
701.10Sdhollandonly step that has been taken is to import the code from FreeBSD. The
711.10Sdhollandnext step is to update that import (since it was done a while ago now)
721.10Sdhollandand then work on getting it to configure and compile.
731.10Sdholland
741.10Sdholland - As of November 2015 nobody is working on this, and a volunteer to
751.10Sdholland   take charge is urgently needed.
761.10Sdholland - There is no clear timeframe or release target, although having an
771.10Sdholland   experimental version ready for -8 would be great.
781.10Sdholland - Contact dholland for further information.
791.10Sdholland
801.10Sdholland
811.10Sdholland3. A better journaling file system solution
821.10Sdholland-------------------------------------------
831.10Sdholland
841.10SdhollandWAPBL, the journaling FFS that NetBSD rolled out some time back, has a
851.10Sdhollandcritical problem: it does not address the historic ffs behavior of
861.10Sdhollandallowing stale on-disk data to leak into user files in crashes. And
871.10Sdhollandbecause it runs faster, this happens more often and with more data.
881.10SdhollandThis situation is both a correctness and a security liability. Fixing
891.10Sdhollandit has turned out to be difficult. It is not really clear what the
901.10Sdhollandbest option at this point is:
911.10Sdholland
921.10Sdholland+ Fixing WAPBL (e.g. to flush newly allocated/newly written blocks to
931.10Sdhollanddisk early) has been examined by several people who know the code base
941.13Sdhollandand judged difficult. Also, some other problems have come to light
951.13Sdhollandmore recently; e.g. PR 50725, PR 47146, and a problem where truncating
961.16Sjdoleceklarge sparse files takes ~forever in PR 49175. Also see PR 45676. Still,
971.16Sjdolecekit might be the best way forward.
981.10Sdholland
991.10Sdholland+ There is another journaling FFS; the Harvard one done by Margo
1001.10SdhollandSeltzer's group some years back. We have a copy of this, but as it was
1011.10Sdhollandwritten in BSD/OS circa 1999 it needs a lot of merging, and then will
1021.10Sdhollandundoubtedly also need a certain amount of polishing to be ready for
1031.10Sdhollandproduction use. It does record-based rather than block-based
1041.10Sdhollandjournaling and does not share the stale data problem.
1051.10Sdholland
1061.10Sdholland+ We could bring back softupdates (in the softupdates-with-journaling
1071.10Sdhollandform found today in FreeBSD) -- this code is even more complicated
1081.10Sdhollandthan the softupdates code we removed back in 2009, and it's not clear
1091.10Sdhollandthat it's any more robust either. However, it would solve the stale
1101.10Sdhollanddata problem if someone wanted to port it over. It isn't clear that
1111.10Sdhollandthis would be any less work than getting the Harvard journaling FFS
1121.10Sdhollandrunning... or than writing a whole new file system either.
1131.10Sdholland
1141.10Sdholland+ We could write a whole new journaling file system. (That is, not
1151.10SdhollandFFS. Doing a new journaling FFS implementation is probably not
1161.10Sdhollandsensible relative to merging the Harvard journaling FFS.) This is a
1171.10Sdhollandbig project.
1181.10Sdholland
1191.10SdhollandRight now it is not clear which of these avenues is the best way
1201.10Sdhollandforward. Given the general manpower shortage, it may be that the best
1211.10Sdhollandway is whatever looks best to someone who wants to work on the
1221.10Sdhollandproblem.
1231.10Sdholland
1241.16Sjdolecek - There has been some interest in the Harvard journaling FFS but no
1251.16Sjdolecek   significant progress. Nobody is known to be working on or particularly
1261.10Sdholland   interested in porting softupdates-with-journaling. And, while
1271.10Sdholland   dholland has been mumbling for some time about a plan for a
1281.10Sdholland   specific new file system to solve this problem, there isn't any
1291.10Sdholland   realistic prospect of significant progress on that in the
1301.10Sdholland   foreseeable future, and nobody else is known to have or be working
1311.10Sdholland   on even that much.
1321.10Sdholland - There is no clear timeframe or release target; but given that WAPBL
1331.10Sdholland   has been disabled by default for new installs in -7 this problem
1341.10Sdholland   can reasonably be said to have become critical.
1351.16Sjdolecek - jdolecek is working on fixing WAPBL, goal is to get WAPBL fixed
1361.16Sjdolecek   enough to be safe to re-enable as default for -8
1371.10Sdholland - Contact joerg or martin regarding WAPBL; contact dholland regarding
1381.10Sdholland   the Harvard journaling FFS.
1391.10Sdholland
1401.10Sdholland
1411.10Sdholland4. Getting zfs working for real
1421.10Sdholland-------------------------------
1431.10Sdholland
1441.10SdhollandZFS has been almost working for years now. It is high time we got it
1451.10Sdhollandreally working. One of the things this entails is updating the ZFS
1461.10Sdhollandcode, as what we have is rather old. The Illumos version is probably
1471.10Sdhollandwhat we want for this.
1481.10Sdholland
1491.10Sdholland - There has been intermittent work on zfs, but as of November 2015
1501.10Sdholland   nobody is known to be actively working on it
1511.10Sdholland - There is no clear timeframe or release target.
1521.10Sdholland - Contact riastradh or ?? for further information.
1531.1Sagc
1541.1Sagc
1551.10Sdholland5. Seamless full-disk encryption
1561.10Sdholland--------------------------------
1571.1Sagc
1581.10Sdholland(This is only sort of a storage issue.) We have cgd, and it is
1591.10Sdhollandbelieved to still be cryptographically suitable, at least for the time
1601.10Sdhollandbeing. However, we don't have any of the following things:
1611.1Sagc
1621.10Sdholland+ An easy way to install a machine with full-disk encryption. It
1631.10Sdhollandshould really just be a checkbox item in sysinst, or not much more
1641.10Sdhollandthan that.
1651.5Sagc
1661.10Sdholland+ Ideally, also an easy way to turn on full-disk encryption for a
1671.10Sdhollandmachine that's already been installed, though this is harder.
1681.1Sagc
1691.10Sdholland+ A good story for booting off a disk that is otherwise encrypted;
1701.10Sdhollandobviously one cannot encrypt the bootblocks, but it isn't clear where
1711.10Sdhollandin boot the encrypted volume should take over, or how to make a best
1721.10Sdhollandeffort at protecting the unencrypted elements needed to boot. (At
1731.10Sdhollandleast, in the absence of something like UEFI secure boot combined with
1741.10Sdhollandan cryptographic oracle to sign your bootloader image so UEFI will
1751.10Sdhollandaccept it.) There's also the question of how one runs cgdconfig(8) and
1761.10Sdhollandwhere the cgdconfig binary comes from.
1771.1Sagc
1781.10Sdholland+ A reasonable way to handle volume passphrases. MacOS apparently uses
1791.10Sdhollandlogin passwords for this (or as passphrases for secondary keys, or
1801.10Sdhollandsomething) and this seems to work well enough apart from the somewhat
1811.10Sdhollandsurreal experience of sometimes having to log in twice. However, it
1821.10Sdhollandwill complicate the bootup story.
1831.1Sagc
1841.10SdhollandGiven the increasing regulatory-level importance of full-disk
1851.10Sdhollandencryption, this is at least a de facto requirement for using NetBSD
1861.10Sdhollandon laptops in many circumstances.
1871.1Sagc
1881.10Sdholland - As of November 2015 nobody is known to be working on this.
1891.10Sdholland - There is no clear timeframe or release target.
1901.10Sdholland - Contact dholland for further information.
1911.5Sagc
1921.5Sagc
1931.11Sdholland6. Finish tls-maxphys
1941.11Sdholland---------------------
1951.11Sdholland
1961.11SdhollandThe tls-maxphys branch changes MAXPHYS (the maximum size of a single
1971.11SdhollandI/O request) from a global fixed constant to a value that's probed
1981.11Sdhollandseparately for each particular I/O channel based on its
1991.11Sdhollandcapabilities. Large values are highly desirable for e.g. feeding large
2001.11Sdhollanddisk arrays but do not work with all hardware.
2011.11Sdholland
2021.11SdhollandThe code is nearly done and just needs more testing and support in
2031.11Sdhollandmore drivers.
2041.11Sdholland
2051.11Sdholland - As of November 2015 nobody is known to be working on this.
2061.11Sdholland - There is no clear timeframe or release target.
2071.11Sdholland - Contact tls for further information.
2081.11Sdholland
2091.11Sdholland
2101.11Sdholland7. nvme suppport
2111.11Sdholland----------------
2121.11Sdholland
2131.11Sdhollandnvme ("NVM Express") is a hardware interface standard for PCI-attached
2141.12SdhollandSSDs. NetBSD now has a driver for these; however, it was ported from
2151.12SdhollandOpenBSD and is not (yet) MPSAFE. This is, unfortunately, a fairly
2161.12Sdhollandserious limitation given the point and nature of nvme devices.
2171.11Sdholland
2181.11SdhollandRelatedly, the I/O path needs to be restructured to avoid software
2191.11Sdhollandbottlenecks on the way to an nvme device: they are fast enough that
2201.11Sdhollandthings like disksort() do not make sense.
2211.11Sdholland
2221.11SdhollandSemi-relatedly, it is also time for scsipi to become MPSAFE.
2231.11Sdholland
2241.12Sdholland - As of May 2016 a port of OpenBSD's driver has been commited. This
2251.12Sdholland   will be in -8.
2261.14Smlelstv - The nvme driver is a backend to ld(4) which is MPSAFE, but we still
2271.14Smlelstv   need to attend to I/O path bottlenecks. Better instrumentation
2281.14Smlelstv   is needed.
2291.12Sdholland - There is no clear timeframe or release target for these points.
2301.11Sdholland - Contact msaitoh or agc for further information.
2311.11Sdholland
2321.11Sdholland
2331.11Sdholland8. lfs64
2341.10Sdholland--------
2351.5Sagc
2361.10SdhollandLFS currently only supports volumes up to 2 TB. As LFS is of interest
2371.10Sdhollandfor use on shingled disks (which are larger than 2 TB) and also for
2381.10Sdhollanduse on disk arrays (ditto) this is something of a problem. A 64-bit
2391.10Sdhollandversion of LFS for large volumes is in the works.
2401.5Sagc
2411.10Sdholland - As of November 2015 dholland is working on this.
2421.10Sdholland - It is close to being ready for at least experimental use and is
2431.10Sdholland   expected to be in 8.0.
2441.10Sdholland - Responsible: dholland
2451.5Sagc
2461.8Sagc
2471.11Sdholland9. Per-process namespaces
2481.10Sdholland-------------------------
2491.5Sagc
2501.10SdhollandSupport for per-process variation of the file system namespace enables
2511.10Sdhollanda number of things; more flexible chroots, for example, and also
2521.10Sdhollandpotentially more efficient pkgsrc builds. dholland thought up a
2531.10Sdhollandsomewhat hackish but low-footprint way to implement this.
2541.5Sagc
2551.10Sdholland - As of November 2015 dholland is working on this.
2561.10Sdholland - It is scheduled to be in 8.0.
2571.10Sdholland - Responsible: dholland
2581.5Sagc
2591.8Sagc
2601.11Sdholland10. lvm tidyup
2611.11Sdholland--------------
2621.5Sagc
2631.10Sdholland[agc says someone should look at our lvm stuff; XXX fill this in]
2641.5Sagc
2651.10Sdholland - As of November 2015 nobody is known to be working on this.
2661.10Sdholland - There is no clear timeframe or release target.
2671.10Sdholland - Contact agc for further information.
2681.5Sagc
2691.1Sagc
2701.11Sdholland11. Flash translation layer
2711.11Sdholland---------------------------
2721.9Sagc
2731.10SdhollandSSDs ship with firmware called a "flash translation layer" that
2741.10Sdhollandarbitrates between the block device software expects to see and the
2751.10Sdhollandraw flash chips. FTLs handle wear leveling, lifetime management, and
2761.10Sdhollandalso internal caching, striping, and other performance concerns. While
2771.10SdhollandNetBSD has a file system for raw flash (chfs), it seems that given
2781.10Sdhollandthings NetBSD is often used for it ought to come with a flash
2791.10Sdhollandtranslation layer as well.
2801.10Sdholland
2811.10SdhollandNote that this is an area where writing your own is probably a bad
2821.10Sdhollandplan; it is a complicated area with a lot of prior art that's also
2831.10Sdhollandreportedly full of patent mines. There are a couple of open FTL
2841.10Sdhollandimplementations that we might be able to import.
2851.10Sdholland
2861.10Sdholland - As of November 2015 nobody is known to be working on this.
2871.10Sdholland - There is no clear timeframe or release target.
2881.10Sdholland - Contact dholland for further information.
2891.10Sdholland
2901.10Sdholland
2911.11Sdholland12. Shingled disk support
2921.10Sdholland-------------------------
2931.10Sdholland
2941.10SdhollandShingled disks (or more technically, disks with "shingled magnetic
2951.10Sdhollandrecording" or SMR) can only write whole tracks at once. Thus, to
2961.10Sdhollandoperate effectively they require translation support similar to the
2971.10Sdhollandflash translation layers found in SSDs. The nature and structure of
2981.10Sdhollandshingle translation layers is still being researched; however, at some
2991.10Sdhollandpoint we will want to support these things in NetBSD.
3001.10Sdholland
3011.10Sdholland - As of November 2015 one of dholland's coworkers is looking at this.
3021.10Sdholland - There is no clear timeframe or release target.
3031.10Sdholland - Contact dholland for further information.
3041.10Sdholland
3051.10Sdholland
3061.11Sdholland13. ext3/ext4 support
3071.10Sdholland---------------------
3081.10Sdholland
3091.10SdhollandWe would like to be able to read and write Linux ext3fs and ext4fs
3101.10Sdhollandvolumes. (We can already read clean ext3fs volumes as they're the same
3111.10Sdhollandas ext2fs, modulo volume features our ext2fs code does not support;
3121.10Sdhollandbut we can't write them.)
3131.10Sdholland
3141.10SdhollandIdeally someone would write ext3 and/or ext4 code, whether integrated
3151.10Sdhollandwith or separate from the ext2 code we already have. It might also
3161.10Sdhollandmake sense to port or wrap the Linux ext3 or ext4 code so it can be
3171.10Sdhollandloaded as a GPL'd kernel module; it isn't clear if that would be more
3181.10Sdhollandor less work than doing an implementation.
3191.10Sdholland
3201.10SdhollandNote however that implementing ext3 has already defeated several
3211.10Sdhollandpeople; this is a harder project than it looks.
3221.10Sdholland
3231.17Sjdolecek - GSoc 2016 brought support for extents, and also ro support for dir
3241.17Sjdolecek   hashes; jdolecek also implemented several frequently used ext4 features
3251.17Sjdolecek   so most contemporary ext filesystems should be possible to mount
3261.17Sjdolecek   read-write
3271.17Sjdolecek - still need rw dir_nhash and xattr (semi-easy), and eventually journalling
3281.17Sjdolecek   (hard)
3291.10Sdholland - There is no clear timeframe or release target.
3301.17Sjdolecek - jdolecek is working on improving ext3/ext4 support (particularily
3311.17Sjdolecek   journalling) 
3321.10Sdholland
3331.10Sdholland
3341.11Sdholland14. Port hammer from Dragonfly
3351.10Sdholland------------------------------
3361.10Sdholland
3371.10SdhollandWhile the motivation for and role of hammer isn't perhaps super
3381.10Sdhollandpersuasive, it would still be good to have it. Porting it from
3391.10SdhollandDragonfly is probably not that painful (compared to, say, zfs) but as
3401.10Sdhollandthe Dragonfly and NetBSD VFS layers have diverged in different
3411.10Sdhollanddirections from the original 4.4BSD, may not be entirely trivial
3421.10Sdhollandeither.
3431.10Sdholland
3441.10Sdholland - As of November 2015 nobody is known to be working on this.
3451.10Sdholland - There is no clear timeframe or release target.
3461.10Sdholland - There probably isn't any particular person to contact; for VFS
3471.10Sdholland   concerns contact dholland or hannken.
3481.10Sdholland
3491.10Sdholland
3501.11Sdholland15. afs maintenance
3511.10Sdholland-------------------
3521.10Sdholland
3531.10SdhollandAFS needs periodic care and feeding to continue working as NetBSD
3541.10Sdhollandchanges, because the kernel-level bits aren't kept in the NetBSD tree
3551.10Sdhollandand don't get updated with other things. This is an ongoing issue that
3561.10Sdhollandalways seems to need more manpower than it gets. It might make sense
3571.10Sdhollandto import some of the kernel AFS code, or maybe even just some of the
3581.10Sdhollandglue layer that it uses, in order to keep it more current.
3591.10Sdholland
3601.10Sdholland - jakllsch sometimes works on this.
3611.10Sdholland - We would like every release to have working AFS by the time it's
3621.10Sdholland   released.
3631.10Sdholland - Contact jakllsch or gendalia about AFS; for VFS concerns contact
3641.10Sdholland   dholland or hannken.
3651.10Sdholland
3661.10Sdholland
3671.11Sdholland16. execute-in-place
3681.10Sdholland--------------------
3691.10Sdholland
3701.10SdhollandIt is likely that the future includes non-volatile storage (so-called
3711.10Sdholland"nvram") that looks like RAM from the perspective of software. Most
3721.10Sdhollandimportantly: the storage is memory-mapped rather than looking like a
3731.10Sdhollanddisk controller. There are a number of things NetBSD ought to have to
3741.10Sdhollandbe ready for this, of which probably the most important is
3751.10Sdholland"execute-in-place": when an executable is run from such storage, and
3761.10Sdhollandmapped into user memory with mmap, the storage hardware pages should
3771.10Sdhollandbe able to appear directly in user memory. Right now they get
3781.10Sdhollandgratuitously copied into RAM, which is slow and wasteful. There are
3791.10Sdhollandalso other reasons (e.g. embedded device ROMs) to want execute-in-
3801.10Sdhollandplace support.
3811.10Sdholland
3821.10SdhollandNote that at the implementation level this is a UVM issue rather than
3831.10Sdhollandstrictly a storage issue. 
3841.10Sdholland
3851.10SdhollandAlso note that one does not need access to nvram hardware to work on
3861.10Sdhollandthis issue; given the performance profiles touted for nvram
3871.10Sdhollandtechnologies, a plain RAM disk like md(4) is sufficient both
3881.10Sdhollandstructurally and for performance analysis.
3891.10Sdholland
3901.10Sdholland - As of November 2015 nobody is known to be working on this. Some
3911.10Sdholland   time back, uebayasi wrote some preliminary patches, but they were
3921.10Sdholland   rejected by the UVM maintainers.
3931.10Sdholland - There is no clear timeframe or release target.
3941.10Sdholland - Contact dholland for further information.
3951.10Sdholland
3961.10Sdholland
3971.15Schristos17. use extended attributes for ACL and capability storage
3981.15Schristos----------------------------------------------------------
3991.15Schristos
4001.15SchristosCurrently there is some support for extended attributes in ffs,
4011.15Schristosbut nothing really uses it. I would be nice if we came up with
4021.15Schristosa standard format to store ACL's and capabilities like Linux has.
4031.15SchristosThe various tools must be modified to understand this and be able
4041.15Schristosto copy them if requested. Also tools to manipulate the data will
4051.15Schristosneed to be written.
4061.15Schristos
4071.15Schristos18. coda maintenance
4081.10Sdholland--------------------
4091.10Sdholland
4101.10SdhollandCoda only sort of works. [And I think it's behind relative to
4111.10Sdhollandupstream, or something of the sort; XXX fill this in.] Also the code
4121.10Sdhollandappears to have an ugly incestuous relationship with FFS. This should
4131.10Sdhollandreally be cleaned up. That or maybe it's time to remove Coda.
4141.10Sdholland
4151.10Sdholland - As of November 2015 nobody is known to be working on this.
4161.10Sdholland - There is no clear timeframe or release target.
4171.10Sdholland - There isn't anyone in particular to contact.
4181.15Schristos - Circa 2012 christos made it work read-write and split it
4191.15Schristos   into modules. Since then christos has not tested it.
4201.9Sagc
4211.9SagcAlistair Crooks, David Holland
4221.10SdhollandFri Nov 20 02:17:53 EST 2015
4231.12SdhollandSun May  1 16:50:42 EDT 2016 (some updates)
4241.12Sdholland
425