storage revision 1.20
11.20Sjdolecek$NetBSD: storage,v 1.20 2016/11/10 21:28:15 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.20Sjdolecekmore recently; e.g. PR 50725, and 45676. Still, it might be the best
961.20Sjdolecekway forward.
971.10Sdholland
981.10Sdholland+ There is another journaling FFS; the Harvard one done by Margo
991.10SdhollandSeltzer's group some years back. We have a copy of this, but as it was
1001.10Sdhollandwritten in BSD/OS circa 1999 it needs a lot of merging, and then will
1011.10Sdhollandundoubtedly also need a certain amount of polishing to be ready for
1021.10Sdhollandproduction use. It does record-based rather than block-based
1031.10Sdhollandjournaling and does not share the stale data problem.
1041.10Sdholland
1051.10Sdholland+ We could bring back softupdates (in the softupdates-with-journaling
1061.10Sdhollandform found today in FreeBSD) -- this code is even more complicated
1071.10Sdhollandthan the softupdates code we removed back in 2009, and it's not clear
1081.10Sdhollandthat it's any more robust either. However, it would solve the stale
1091.10Sdhollanddata problem if someone wanted to port it over. It isn't clear that
1101.10Sdhollandthis would be any less work than getting the Harvard journaling FFS
1111.10Sdhollandrunning... or than writing a whole new file system either.
1121.10Sdholland
1131.10Sdholland+ We could write a whole new journaling file system. (That is, not
1141.10SdhollandFFS. Doing a new journaling FFS implementation is probably not
1151.10Sdhollandsensible relative to merging the Harvard journaling FFS.) This is a
1161.10Sdhollandbig project.
1171.10Sdholland
1181.10SdhollandRight now it is not clear which of these avenues is the best way
1191.10Sdhollandforward. Given the general manpower shortage, it may be that the best
1201.10Sdhollandway is whatever looks best to someone who wants to work on the
1211.10Sdhollandproblem.
1221.10Sdholland
1231.16Sjdolecek - There has been some interest in the Harvard journaling FFS but no
1241.16Sjdolecek   significant progress. Nobody is known to be working on or particularly
1251.10Sdholland   interested in porting softupdates-with-journaling. And, while
1261.10Sdholland   dholland has been mumbling for some time about a plan for a
1271.10Sdholland   specific new file system to solve this problem, there isn't any
1281.10Sdholland   realistic prospect of significant progress on that in the
1291.10Sdholland   foreseeable future, and nobody else is known to have or be working
1301.10Sdholland   on even that much.
1311.10Sdholland - There is no clear timeframe or release target; but given that WAPBL
1321.10Sdholland   has been disabled by default for new installs in -7 this problem
1331.10Sdholland   can reasonably be said to have become critical.
1341.16Sjdolecek - jdolecek is working on fixing WAPBL, goal is to get WAPBL fixed
1351.16Sjdolecek   enough to be safe to re-enable as default for -8
1361.10Sdholland - Contact joerg or martin regarding WAPBL; contact dholland regarding
1371.10Sdholland   the Harvard journaling FFS.
1381.10Sdholland
1391.10Sdholland
1401.10Sdholland4. Getting zfs working for real
1411.10Sdholland-------------------------------
1421.10Sdholland
1431.10SdhollandZFS has been almost working for years now. It is high time we got it
1441.10Sdhollandreally working. One of the things this entails is updating the ZFS
1451.10Sdhollandcode, as what we have is rather old. The Illumos version is probably
1461.10Sdhollandwhat we want for this.
1471.10Sdholland
1481.10Sdholland - There has been intermittent work on zfs, but as of November 2015
1491.10Sdholland   nobody is known to be actively working on it
1501.10Sdholland - There is no clear timeframe or release target.
1511.10Sdholland - Contact riastradh or ?? for further information.
1521.1Sagc
1531.1Sagc
1541.10Sdholland5. Seamless full-disk encryption
1551.10Sdholland--------------------------------
1561.1Sagc
1571.10Sdholland(This is only sort of a storage issue.) We have cgd, and it is
1581.10Sdhollandbelieved to still be cryptographically suitable, at least for the time
1591.10Sdhollandbeing. However, we don't have any of the following things:
1601.1Sagc
1611.10Sdholland+ An easy way to install a machine with full-disk encryption. It
1621.10Sdhollandshould really just be a checkbox item in sysinst, or not much more
1631.10Sdhollandthan that.
1641.5Sagc
1651.10Sdholland+ Ideally, also an easy way to turn on full-disk encryption for a
1661.10Sdhollandmachine that's already been installed, though this is harder.
1671.1Sagc
1681.10Sdholland+ A good story for booting off a disk that is otherwise encrypted;
1691.10Sdhollandobviously one cannot encrypt the bootblocks, but it isn't clear where
1701.10Sdhollandin boot the encrypted volume should take over, or how to make a best
1711.10Sdhollandeffort at protecting the unencrypted elements needed to boot. (At
1721.10Sdhollandleast, in the absence of something like UEFI secure boot combined with
1731.10Sdhollandan cryptographic oracle to sign your bootloader image so UEFI will
1741.10Sdhollandaccept it.) There's also the question of how one runs cgdconfig(8) and
1751.10Sdhollandwhere the cgdconfig binary comes from.
1761.1Sagc
1771.10Sdholland+ A reasonable way to handle volume passphrases. MacOS apparently uses
1781.10Sdhollandlogin passwords for this (or as passphrases for secondary keys, or
1791.10Sdhollandsomething) and this seems to work well enough apart from the somewhat
1801.10Sdhollandsurreal experience of sometimes having to log in twice. However, it
1811.10Sdhollandwill complicate the bootup story.
1821.1Sagc
1831.10SdhollandGiven the increasing regulatory-level importance of full-disk
1841.10Sdhollandencryption, this is at least a de facto requirement for using NetBSD
1851.10Sdhollandon laptops in many circumstances.
1861.1Sagc
1871.10Sdholland - As of November 2015 nobody is known to be working on this.
1881.10Sdholland - There is no clear timeframe or release target.
1891.10Sdholland - Contact dholland for further information.
1901.5Sagc
1911.5Sagc
1921.11Sdholland6. Finish tls-maxphys
1931.11Sdholland---------------------
1941.11Sdholland
1951.11SdhollandThe tls-maxphys branch changes MAXPHYS (the maximum size of a single
1961.11SdhollandI/O request) from a global fixed constant to a value that's probed
1971.11Sdhollandseparately for each particular I/O channel based on its
1981.11Sdhollandcapabilities. Large values are highly desirable for e.g. feeding large
1991.11Sdhollanddisk arrays but do not work with all hardware.
2001.11Sdholland
2011.11SdhollandThe code is nearly done and just needs more testing and support in
2021.11Sdhollandmore drivers.
2031.11Sdholland
2041.11Sdholland - As of November 2015 nobody is known to be working on this.
2051.11Sdholland - There is no clear timeframe or release target.
2061.11Sdholland - Contact tls for further information.
2071.11Sdholland
2081.11Sdholland
2091.11Sdholland7. nvme suppport
2101.11Sdholland----------------
2111.11Sdholland
2121.11Sdhollandnvme ("NVM Express") is a hardware interface standard for PCI-attached
2131.18SjdolecekSSDs. NetBSD now has a driver for these.
2141.18Sjdolecek
2151.18SjdolecekDriver is now MPSAFE and uses bufq fcfs (i.e. no disksort()) already,
2161.18Sjdolecekso the most obvious software bottlenecks were treated. It still needs
2171.18Sjdolecekmore testing on real hardware, and it may be good to investigate some further
2181.18Sjdolecekoptimizations, such as DragonFly pbuf(9) or something similar.
2191.11Sdholland
2201.11SdhollandSemi-relatedly, it is also time for scsipi to become MPSAFE.
2211.11Sdholland
2221.12Sdholland - As of May 2016 a port of OpenBSD's driver has been commited. This
2231.12Sdholland   will be in -8.
2241.14Smlelstv - The nvme driver is a backend to ld(4) which is MPSAFE, but we still
2251.14Smlelstv   need to attend to I/O path bottlenecks. Better instrumentation
2261.14Smlelstv   is needed.
2271.19Sjdolecek - Flush cache commands via DIOCCACHESYNC currently doesn't wait for completion;
2281.19Sjdolecek   it must not poll since that corrupts command queue, but it should use
2291.19Sjdolecek   a condition variable to wait for the flush to actually finish
2301.18Sjdolecek - NVMe controllers supports write cache administration via GET/SET FEATURE, but
2311.18Sjdolecek   driver doesn't currently implement the cache ioctls, leading to somewhat
2321.18Sjdolecek   ugly dkctl(1) output; it would be fairly simple to add this, but would
2331.19Sjdolecek   require ld(4) attachment code changed to support passing arbitrary ioctls
2341.19Sjdolecek   to attachments
2351.12Sdholland - There is no clear timeframe or release target for these points.
2361.11Sdholland - Contact msaitoh or agc for further information.
2371.11Sdholland
2381.11Sdholland
2391.11Sdholland8. lfs64
2401.10Sdholland--------
2411.5Sagc
2421.10SdhollandLFS currently only supports volumes up to 2 TB. As LFS is of interest
2431.10Sdhollandfor use on shingled disks (which are larger than 2 TB) and also for
2441.10Sdhollanduse on disk arrays (ditto) this is something of a problem. A 64-bit
2451.10Sdhollandversion of LFS for large volumes is in the works.
2461.5Sagc
2471.10Sdholland - As of November 2015 dholland is working on this.
2481.10Sdholland - It is close to being ready for at least experimental use and is
2491.10Sdholland   expected to be in 8.0.
2501.10Sdholland - Responsible: dholland
2511.5Sagc
2521.8Sagc
2531.11Sdholland9. Per-process namespaces
2541.10Sdholland-------------------------
2551.5Sagc
2561.10SdhollandSupport for per-process variation of the file system namespace enables
2571.10Sdhollanda number of things; more flexible chroots, for example, and also
2581.10Sdhollandpotentially more efficient pkgsrc builds. dholland thought up a
2591.10Sdhollandsomewhat hackish but low-footprint way to implement this.
2601.5Sagc
2611.10Sdholland - As of November 2015 dholland is working on this.
2621.10Sdholland - It is scheduled to be in 8.0.
2631.10Sdholland - Responsible: dholland
2641.5Sagc
2651.8Sagc
2661.11Sdholland10. lvm tidyup
2671.11Sdholland--------------
2681.5Sagc
2691.10Sdholland[agc says someone should look at our lvm stuff; XXX fill this in]
2701.5Sagc
2711.10Sdholland - As of November 2015 nobody is known to be working on this.
2721.10Sdholland - There is no clear timeframe or release target.
2731.10Sdholland - Contact agc for further information.
2741.5Sagc
2751.1Sagc
2761.11Sdholland11. Flash translation layer
2771.11Sdholland---------------------------
2781.9Sagc
2791.10SdhollandSSDs ship with firmware called a "flash translation layer" that
2801.10Sdhollandarbitrates between the block device software expects to see and the
2811.10Sdhollandraw flash chips. FTLs handle wear leveling, lifetime management, and
2821.10Sdhollandalso internal caching, striping, and other performance concerns. While
2831.10SdhollandNetBSD has a file system for raw flash (chfs), it seems that given
2841.10Sdhollandthings NetBSD is often used for it ought to come with a flash
2851.10Sdhollandtranslation layer as well.
2861.10Sdholland
2871.10SdhollandNote that this is an area where writing your own is probably a bad
2881.10Sdhollandplan; it is a complicated area with a lot of prior art that's also
2891.10Sdhollandreportedly full of patent mines. There are a couple of open FTL
2901.10Sdhollandimplementations that we might be able to import.
2911.10Sdholland
2921.10Sdholland - As of November 2015 nobody is known to be working on this.
2931.10Sdholland - There is no clear timeframe or release target.
2941.10Sdholland - Contact dholland for further information.
2951.10Sdholland
2961.10Sdholland
2971.11Sdholland12. Shingled disk support
2981.10Sdholland-------------------------
2991.10Sdholland
3001.10SdhollandShingled disks (or more technically, disks with "shingled magnetic
3011.10Sdhollandrecording" or SMR) can only write whole tracks at once. Thus, to
3021.10Sdhollandoperate effectively they require translation support similar to the
3031.10Sdhollandflash translation layers found in SSDs. The nature and structure of
3041.10Sdhollandshingle translation layers is still being researched; however, at some
3051.10Sdhollandpoint we will want to support these things in NetBSD.
3061.10Sdholland
3071.10Sdholland - As of November 2015 one of dholland's coworkers is looking at this.
3081.10Sdholland - There is no clear timeframe or release target.
3091.10Sdholland - Contact dholland for further information.
3101.10Sdholland
3111.10Sdholland
3121.11Sdholland13. ext3/ext4 support
3131.10Sdholland---------------------
3141.10Sdholland
3151.10SdhollandWe would like to be able to read and write Linux ext3fs and ext4fs
3161.10Sdhollandvolumes. (We can already read clean ext3fs volumes as they're the same
3171.10Sdhollandas ext2fs, modulo volume features our ext2fs code does not support;
3181.10Sdhollandbut we can't write them.)
3191.10Sdholland
3201.10SdhollandIdeally someone would write ext3 and/or ext4 code, whether integrated
3211.10Sdhollandwith or separate from the ext2 code we already have. It might also
3221.10Sdhollandmake sense to port or wrap the Linux ext3 or ext4 code so it can be
3231.10Sdhollandloaded as a GPL'd kernel module; it isn't clear if that would be more
3241.10Sdhollandor less work than doing an implementation.
3251.10Sdholland
3261.10SdhollandNote however that implementing ext3 has already defeated several
3271.10Sdhollandpeople; this is a harder project than it looks.
3281.10Sdholland
3291.17Sjdolecek - GSoc 2016 brought support for extents, and also ro support for dir
3301.17Sjdolecek   hashes; jdolecek also implemented several frequently used ext4 features
3311.17Sjdolecek   so most contemporary ext filesystems should be possible to mount
3321.17Sjdolecek   read-write
3331.17Sjdolecek - still need rw dir_nhash and xattr (semi-easy), and eventually journalling
3341.17Sjdolecek   (hard)
3351.10Sdholland - There is no clear timeframe or release target.
3361.17Sjdolecek - jdolecek is working on improving ext3/ext4 support (particularily
3371.17Sjdolecek   journalling) 
3381.10Sdholland
3391.10Sdholland
3401.11Sdholland14. Port hammer from Dragonfly
3411.10Sdholland------------------------------
3421.10Sdholland
3431.10SdhollandWhile the motivation for and role of hammer isn't perhaps super
3441.10Sdhollandpersuasive, it would still be good to have it. Porting it from
3451.10SdhollandDragonfly is probably not that painful (compared to, say, zfs) but as
3461.10Sdhollandthe Dragonfly and NetBSD VFS layers have diverged in different
3471.10Sdhollanddirections from the original 4.4BSD, may not be entirely trivial
3481.10Sdhollandeither.
3491.10Sdholland
3501.10Sdholland - As of November 2015 nobody is known to be working on this.
3511.10Sdholland - There is no clear timeframe or release target.
3521.10Sdholland - There probably isn't any particular person to contact; for VFS
3531.10Sdholland   concerns contact dholland or hannken.
3541.10Sdholland
3551.10Sdholland
3561.11Sdholland15. afs maintenance
3571.10Sdholland-------------------
3581.10Sdholland
3591.10SdhollandAFS needs periodic care and feeding to continue working as NetBSD
3601.10Sdhollandchanges, because the kernel-level bits aren't kept in the NetBSD tree
3611.10Sdhollandand don't get updated with other things. This is an ongoing issue that
3621.10Sdhollandalways seems to need more manpower than it gets. It might make sense
3631.10Sdhollandto import some of the kernel AFS code, or maybe even just some of the
3641.10Sdhollandglue layer that it uses, in order to keep it more current.
3651.10Sdholland
3661.10Sdholland - jakllsch sometimes works on this.
3671.10Sdholland - We would like every release to have working AFS by the time it's
3681.10Sdholland   released.
3691.10Sdholland - Contact jakllsch or gendalia about AFS; for VFS concerns contact
3701.10Sdholland   dholland or hannken.
3711.10Sdholland
3721.10Sdholland
3731.11Sdholland16. execute-in-place
3741.10Sdholland--------------------
3751.10Sdholland
3761.10SdhollandIt is likely that the future includes non-volatile storage (so-called
3771.10Sdholland"nvram") that looks like RAM from the perspective of software. Most
3781.10Sdhollandimportantly: the storage is memory-mapped rather than looking like a
3791.10Sdhollanddisk controller. There are a number of things NetBSD ought to have to
3801.10Sdhollandbe ready for this, of which probably the most important is
3811.10Sdholland"execute-in-place": when an executable is run from such storage, and
3821.10Sdhollandmapped into user memory with mmap, the storage hardware pages should
3831.10Sdhollandbe able to appear directly in user memory. Right now they get
3841.10Sdhollandgratuitously copied into RAM, which is slow and wasteful. There are
3851.10Sdhollandalso other reasons (e.g. embedded device ROMs) to want execute-in-
3861.10Sdhollandplace support.
3871.10Sdholland
3881.10SdhollandNote that at the implementation level this is a UVM issue rather than
3891.10Sdhollandstrictly a storage issue. 
3901.10Sdholland
3911.10SdhollandAlso note that one does not need access to nvram hardware to work on
3921.10Sdhollandthis issue; given the performance profiles touted for nvram
3931.10Sdhollandtechnologies, a plain RAM disk like md(4) is sufficient both
3941.10Sdhollandstructurally and for performance analysis.
3951.10Sdholland
3961.10Sdholland - As of November 2015 nobody is known to be working on this. Some
3971.10Sdholland   time back, uebayasi wrote some preliminary patches, but they were
3981.10Sdholland   rejected by the UVM maintainers.
3991.10Sdholland - There is no clear timeframe or release target.
4001.10Sdholland - Contact dholland for further information.
4011.10Sdholland
4021.10Sdholland
4031.15Schristos17. use extended attributes for ACL and capability storage
4041.15Schristos----------------------------------------------------------
4051.15Schristos
4061.15SchristosCurrently there is some support for extended attributes in ffs,
4071.15Schristosbut nothing really uses it. I would be nice if we came up with
4081.15Schristosa standard format to store ACL's and capabilities like Linux has.
4091.15SchristosThe various tools must be modified to understand this and be able
4101.15Schristosto copy them if requested. Also tools to manipulate the data will
4111.15Schristosneed to be written.
4121.15Schristos
4131.15Schristos18. coda maintenance
4141.10Sdholland--------------------
4151.10Sdholland
4161.10SdhollandCoda only sort of works. [And I think it's behind relative to
4171.10Sdhollandupstream, or something of the sort; XXX fill this in.] Also the code
4181.10Sdhollandappears to have an ugly incestuous relationship with FFS. This should
4191.10Sdhollandreally be cleaned up. That or maybe it's time to remove Coda.
4201.10Sdholland
4211.10Sdholland - As of November 2015 nobody is known to be working on this.
4221.10Sdholland - There is no clear timeframe or release target.
4231.10Sdholland - There isn't anyone in particular to contact.
4241.15Schristos - Circa 2012 christos made it work read-write and split it
4251.15Schristos   into modules. Since then christos has not tested it.
4261.9Sagc
4271.9SagcAlistair Crooks, David Holland
4281.10SdhollandFri Nov 20 02:17:53 EST 2015
4291.12SdhollandSun May  1 16:50:42 EDT 2016 (some updates)
4301.12Sdholland
431