storage revision 1.18
11.18Sjdolecek$NetBSD: storage,v 1.18 2016/09/21 20:32:47 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.18SjdolecekSSDs. NetBSD now has a driver for these.
2151.18Sjdolecek
2161.18SjdolecekDriver is now MPSAFE and uses bufq fcfs (i.e. no disksort()) already,
2171.18Sjdolecekso the most obvious software bottlenecks were treated. It still needs
2181.18Sjdolecekmore testing on real hardware, and it may be good to investigate some further
2191.18Sjdolecekoptimizations, such as DragonFly pbuf(9) or something similar.
2201.11Sdholland
2211.11SdhollandSemi-relatedly, it is also time for scsipi to become MPSAFE.
2221.11Sdholland
2231.12Sdholland - As of May 2016 a port of OpenBSD's driver has been commited. This
2241.12Sdholland   will be in -8.
2251.14Smlelstv - The nvme driver is a backend to ld(4) which is MPSAFE, but we still
2261.14Smlelstv   need to attend to I/O path bottlenecks. Better instrumentation
2271.14Smlelstv   is needed.
2281.18Sjdolecek - Flush cache commands via DIOCCACHESYNC is currently implemented using polled
2291.18Sjdolecek   commands for simplicity, limiting speed to about 10 milliseconds due to use
2301.18Sjdolecek   of delay(9); investigate if it's worth changing this to a cv to avoid
2311.18Sjdolecek   the delay, especially for journalled/heavy fsync scenarios
2321.18Sjdolecek - NVMe controllers supports write cache administration via GET/SET FEATURE, but
2331.18Sjdolecek   driver doesn't currently implement the cache ioctls, leading to somewhat
2341.18Sjdolecek   ugly dkctl(1) output; it would be fairly simple to add this, but would
2351.18Sjdolecek   require small changes to ld(4) attachment code
2361.12Sdholland - There is no clear timeframe or release target for these points.
2371.11Sdholland - Contact msaitoh or agc for further information.
2381.11Sdholland
2391.11Sdholland
2401.11Sdholland8. lfs64
2411.10Sdholland--------
2421.5Sagc
2431.10SdhollandLFS currently only supports volumes up to 2 TB. As LFS is of interest
2441.10Sdhollandfor use on shingled disks (which are larger than 2 TB) and also for
2451.10Sdhollanduse on disk arrays (ditto) this is something of a problem. A 64-bit
2461.10Sdhollandversion of LFS for large volumes is in the works.
2471.5Sagc
2481.10Sdholland - As of November 2015 dholland is working on this.
2491.10Sdholland - It is close to being ready for at least experimental use and is
2501.10Sdholland   expected to be in 8.0.
2511.10Sdholland - Responsible: dholland
2521.5Sagc
2531.8Sagc
2541.11Sdholland9. Per-process namespaces
2551.10Sdholland-------------------------
2561.5Sagc
2571.10SdhollandSupport for per-process variation of the file system namespace enables
2581.10Sdhollanda number of things; more flexible chroots, for example, and also
2591.10Sdhollandpotentially more efficient pkgsrc builds. dholland thought up a
2601.10Sdhollandsomewhat hackish but low-footprint way to implement this.
2611.5Sagc
2621.10Sdholland - As of November 2015 dholland is working on this.
2631.10Sdholland - It is scheduled to be in 8.0.
2641.10Sdholland - Responsible: dholland
2651.5Sagc
2661.8Sagc
2671.11Sdholland10. lvm tidyup
2681.11Sdholland--------------
2691.5Sagc
2701.10Sdholland[agc says someone should look at our lvm stuff; XXX fill this in]
2711.5Sagc
2721.10Sdholland - As of November 2015 nobody is known to be working on this.
2731.10Sdholland - There is no clear timeframe or release target.
2741.10Sdholland - Contact agc for further information.
2751.5Sagc
2761.1Sagc
2771.11Sdholland11. Flash translation layer
2781.11Sdholland---------------------------
2791.9Sagc
2801.10SdhollandSSDs ship with firmware called a "flash translation layer" that
2811.10Sdhollandarbitrates between the block device software expects to see and the
2821.10Sdhollandraw flash chips. FTLs handle wear leveling, lifetime management, and
2831.10Sdhollandalso internal caching, striping, and other performance concerns. While
2841.10SdhollandNetBSD has a file system for raw flash (chfs), it seems that given
2851.10Sdhollandthings NetBSD is often used for it ought to come with a flash
2861.10Sdhollandtranslation layer as well.
2871.10Sdholland
2881.10SdhollandNote that this is an area where writing your own is probably a bad
2891.10Sdhollandplan; it is a complicated area with a lot of prior art that's also
2901.10Sdhollandreportedly full of patent mines. There are a couple of open FTL
2911.10Sdhollandimplementations that we might be able to import.
2921.10Sdholland
2931.10Sdholland - As of November 2015 nobody is known to be working on this.
2941.10Sdholland - There is no clear timeframe or release target.
2951.10Sdholland - Contact dholland for further information.
2961.10Sdholland
2971.10Sdholland
2981.11Sdholland12. Shingled disk support
2991.10Sdholland-------------------------
3001.10Sdholland
3011.10SdhollandShingled disks (or more technically, disks with "shingled magnetic
3021.10Sdhollandrecording" or SMR) can only write whole tracks at once. Thus, to
3031.10Sdhollandoperate effectively they require translation support similar to the
3041.10Sdhollandflash translation layers found in SSDs. The nature and structure of
3051.10Sdhollandshingle translation layers is still being researched; however, at some
3061.10Sdhollandpoint we will want to support these things in NetBSD.
3071.10Sdholland
3081.10Sdholland - As of November 2015 one of dholland's coworkers is looking at this.
3091.10Sdholland - There is no clear timeframe or release target.
3101.10Sdholland - Contact dholland for further information.
3111.10Sdholland
3121.10Sdholland
3131.11Sdholland13. ext3/ext4 support
3141.10Sdholland---------------------
3151.10Sdholland
3161.10SdhollandWe would like to be able to read and write Linux ext3fs and ext4fs
3171.10Sdhollandvolumes. (We can already read clean ext3fs volumes as they're the same
3181.10Sdhollandas ext2fs, modulo volume features our ext2fs code does not support;
3191.10Sdhollandbut we can't write them.)
3201.10Sdholland
3211.10SdhollandIdeally someone would write ext3 and/or ext4 code, whether integrated
3221.10Sdhollandwith or separate from the ext2 code we already have. It might also
3231.10Sdhollandmake sense to port or wrap the Linux ext3 or ext4 code so it can be
3241.10Sdhollandloaded as a GPL'd kernel module; it isn't clear if that would be more
3251.10Sdhollandor less work than doing an implementation.
3261.10Sdholland
3271.10SdhollandNote however that implementing ext3 has already defeated several
3281.10Sdhollandpeople; this is a harder project than it looks.
3291.10Sdholland
3301.17Sjdolecek - GSoc 2016 brought support for extents, and also ro support for dir
3311.17Sjdolecek   hashes; jdolecek also implemented several frequently used ext4 features
3321.17Sjdolecek   so most contemporary ext filesystems should be possible to mount
3331.17Sjdolecek   read-write
3341.17Sjdolecek - still need rw dir_nhash and xattr (semi-easy), and eventually journalling
3351.17Sjdolecek   (hard)
3361.10Sdholland - There is no clear timeframe or release target.
3371.17Sjdolecek - jdolecek is working on improving ext3/ext4 support (particularily
3381.17Sjdolecek   journalling) 
3391.10Sdholland
3401.10Sdholland
3411.11Sdholland14. Port hammer from Dragonfly
3421.10Sdholland------------------------------
3431.10Sdholland
3441.10SdhollandWhile the motivation for and role of hammer isn't perhaps super
3451.10Sdhollandpersuasive, it would still be good to have it. Porting it from
3461.10SdhollandDragonfly is probably not that painful (compared to, say, zfs) but as
3471.10Sdhollandthe Dragonfly and NetBSD VFS layers have diverged in different
3481.10Sdhollanddirections from the original 4.4BSD, may not be entirely trivial
3491.10Sdhollandeither.
3501.10Sdholland
3511.10Sdholland - As of November 2015 nobody is known to be working on this.
3521.10Sdholland - There is no clear timeframe or release target.
3531.10Sdholland - There probably isn't any particular person to contact; for VFS
3541.10Sdholland   concerns contact dholland or hannken.
3551.10Sdholland
3561.10Sdholland
3571.11Sdholland15. afs maintenance
3581.10Sdholland-------------------
3591.10Sdholland
3601.10SdhollandAFS needs periodic care and feeding to continue working as NetBSD
3611.10Sdhollandchanges, because the kernel-level bits aren't kept in the NetBSD tree
3621.10Sdhollandand don't get updated with other things. This is an ongoing issue that
3631.10Sdhollandalways seems to need more manpower than it gets. It might make sense
3641.10Sdhollandto import some of the kernel AFS code, or maybe even just some of the
3651.10Sdhollandglue layer that it uses, in order to keep it more current.
3661.10Sdholland
3671.10Sdholland - jakllsch sometimes works on this.
3681.10Sdholland - We would like every release to have working AFS by the time it's
3691.10Sdholland   released.
3701.10Sdholland - Contact jakllsch or gendalia about AFS; for VFS concerns contact
3711.10Sdholland   dholland or hannken.
3721.10Sdholland
3731.10Sdholland
3741.11Sdholland16. execute-in-place
3751.10Sdholland--------------------
3761.10Sdholland
3771.10SdhollandIt is likely that the future includes non-volatile storage (so-called
3781.10Sdholland"nvram") that looks like RAM from the perspective of software. Most
3791.10Sdhollandimportantly: the storage is memory-mapped rather than looking like a
3801.10Sdhollanddisk controller. There are a number of things NetBSD ought to have to
3811.10Sdhollandbe ready for this, of which probably the most important is
3821.10Sdholland"execute-in-place": when an executable is run from such storage, and
3831.10Sdhollandmapped into user memory with mmap, the storage hardware pages should
3841.10Sdhollandbe able to appear directly in user memory. Right now they get
3851.10Sdhollandgratuitously copied into RAM, which is slow and wasteful. There are
3861.10Sdhollandalso other reasons (e.g. embedded device ROMs) to want execute-in-
3871.10Sdhollandplace support.
3881.10Sdholland
3891.10SdhollandNote that at the implementation level this is a UVM issue rather than
3901.10Sdhollandstrictly a storage issue. 
3911.10Sdholland
3921.10SdhollandAlso note that one does not need access to nvram hardware to work on
3931.10Sdhollandthis issue; given the performance profiles touted for nvram
3941.10Sdhollandtechnologies, a plain RAM disk like md(4) is sufficient both
3951.10Sdhollandstructurally and for performance analysis.
3961.10Sdholland
3971.10Sdholland - As of November 2015 nobody is known to be working on this. Some
3981.10Sdholland   time back, uebayasi wrote some preliminary patches, but they were
3991.10Sdholland   rejected by the UVM maintainers.
4001.10Sdholland - There is no clear timeframe or release target.
4011.10Sdholland - Contact dholland for further information.
4021.10Sdholland
4031.10Sdholland
4041.15Schristos17. use extended attributes for ACL and capability storage
4051.15Schristos----------------------------------------------------------
4061.15Schristos
4071.15SchristosCurrently there is some support for extended attributes in ffs,
4081.15Schristosbut nothing really uses it. I would be nice if we came up with
4091.15Schristosa standard format to store ACL's and capabilities like Linux has.
4101.15SchristosThe various tools must be modified to understand this and be able
4111.15Schristosto copy them if requested. Also tools to manipulate the data will
4121.15Schristosneed to be written.
4131.15Schristos
4141.15Schristos18. coda maintenance
4151.10Sdholland--------------------
4161.10Sdholland
4171.10SdhollandCoda only sort of works. [And I think it's behind relative to
4181.10Sdhollandupstream, or something of the sort; XXX fill this in.] Also the code
4191.10Sdhollandappears to have an ugly incestuous relationship with FFS. This should
4201.10Sdhollandreally be cleaned up. That or maybe it's time to remove Coda.
4211.10Sdholland
4221.10Sdholland - As of November 2015 nobody is known to be working on this.
4231.10Sdholland - There is no clear timeframe or release target.
4241.10Sdholland - There isn't anyone in particular to contact.
4251.15Schristos - Circa 2012 christos made it work read-write and split it
4261.15Schristos   into modules. Since then christos has not tested it.
4271.9Sagc
4281.9SagcAlistair Crooks, David Holland
4291.10SdhollandFri Nov 20 02:17:53 EST 2015
4301.12SdhollandSun May  1 16:50:42 EDT 2016 (some updates)
4311.12Sdholland
432