storage revision 1.16
11.16Sjdolecek$NetBSD: storage,v 1.16 2016/09/16 14:55:28 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.12Sdholland - As of May 2016 there is a GSoC project to implement read-only ext4 3241.12Sdholland support, but (it not being summer yet) no particular progress. 3251.10Sdholland - There is no clear timeframe or release target. 3261.10Sdholland - Contact ?? for further information. 3271.10Sdholland 3281.10Sdholland 3291.11Sdholland14. Port hammer from Dragonfly 3301.10Sdholland------------------------------ 3311.10Sdholland 3321.10SdhollandWhile the motivation for and role of hammer isn't perhaps super 3331.10Sdhollandpersuasive, it would still be good to have it. Porting it from 3341.10SdhollandDragonfly is probably not that painful (compared to, say, zfs) but as 3351.10Sdhollandthe Dragonfly and NetBSD VFS layers have diverged in different 3361.10Sdhollanddirections from the original 4.4BSD, may not be entirely trivial 3371.10Sdhollandeither. 3381.10Sdholland 3391.10Sdholland - As of November 2015 nobody is known to be working on this. 3401.10Sdholland - There is no clear timeframe or release target. 3411.10Sdholland - There probably isn't any particular person to contact; for VFS 3421.10Sdholland concerns contact dholland or hannken. 3431.10Sdholland 3441.10Sdholland 3451.11Sdholland15. afs maintenance 3461.10Sdholland------------------- 3471.10Sdholland 3481.10SdhollandAFS needs periodic care and feeding to continue working as NetBSD 3491.10Sdhollandchanges, because the kernel-level bits aren't kept in the NetBSD tree 3501.10Sdhollandand don't get updated with other things. This is an ongoing issue that 3511.10Sdhollandalways seems to need more manpower than it gets. It might make sense 3521.10Sdhollandto import some of the kernel AFS code, or maybe even just some of the 3531.10Sdhollandglue layer that it uses, in order to keep it more current. 3541.10Sdholland 3551.10Sdholland - jakllsch sometimes works on this. 3561.10Sdholland - We would like every release to have working AFS by the time it's 3571.10Sdholland released. 3581.10Sdholland - Contact jakllsch or gendalia about AFS; for VFS concerns contact 3591.10Sdholland dholland or hannken. 3601.10Sdholland 3611.10Sdholland 3621.11Sdholland16. execute-in-place 3631.10Sdholland-------------------- 3641.10Sdholland 3651.10SdhollandIt is likely that the future includes non-volatile storage (so-called 3661.10Sdholland"nvram") that looks like RAM from the perspective of software. Most 3671.10Sdhollandimportantly: the storage is memory-mapped rather than looking like a 3681.10Sdhollanddisk controller. There are a number of things NetBSD ought to have to 3691.10Sdhollandbe ready for this, of which probably the most important is 3701.10Sdholland"execute-in-place": when an executable is run from such storage, and 3711.10Sdhollandmapped into user memory with mmap, the storage hardware pages should 3721.10Sdhollandbe able to appear directly in user memory. Right now they get 3731.10Sdhollandgratuitously copied into RAM, which is slow and wasteful. There are 3741.10Sdhollandalso other reasons (e.g. embedded device ROMs) to want execute-in- 3751.10Sdhollandplace support. 3761.10Sdholland 3771.10SdhollandNote that at the implementation level this is a UVM issue rather than 3781.10Sdhollandstrictly a storage issue. 3791.10Sdholland 3801.10SdhollandAlso note that one does not need access to nvram hardware to work on 3811.10Sdhollandthis issue; given the performance profiles touted for nvram 3821.10Sdhollandtechnologies, a plain RAM disk like md(4) is sufficient both 3831.10Sdhollandstructurally and for performance analysis. 3841.10Sdholland 3851.10Sdholland - As of November 2015 nobody is known to be working on this. Some 3861.10Sdholland time back, uebayasi wrote some preliminary patches, but they were 3871.10Sdholland rejected by the UVM maintainers. 3881.10Sdholland - There is no clear timeframe or release target. 3891.10Sdholland - Contact dholland for further information. 3901.10Sdholland 3911.10Sdholland 3921.15Schristos17. use extended attributes for ACL and capability storage 3931.15Schristos---------------------------------------------------------- 3941.15Schristos 3951.15SchristosCurrently there is some support for extended attributes in ffs, 3961.15Schristosbut nothing really uses it. I would be nice if we came up with 3971.15Schristosa standard format to store ACL's and capabilities like Linux has. 3981.15SchristosThe various tools must be modified to understand this and be able 3991.15Schristosto copy them if requested. Also tools to manipulate the data will 4001.15Schristosneed to be written. 4011.15Schristos 4021.15Schristos18. coda maintenance 4031.10Sdholland-------------------- 4041.10Sdholland 4051.10SdhollandCoda only sort of works. [And I think it's behind relative to 4061.10Sdhollandupstream, or something of the sort; XXX fill this in.] Also the code 4071.10Sdhollandappears to have an ugly incestuous relationship with FFS. This should 4081.10Sdhollandreally be cleaned up. That or maybe it's time to remove Coda. 4091.10Sdholland 4101.10Sdholland - As of November 2015 nobody is known to be working on this. 4111.10Sdholland - There is no clear timeframe or release target. 4121.10Sdholland - There isn't anyone in particular to contact. 4131.15Schristos - Circa 2012 christos made it work read-write and split it 4141.15Schristos into modules. Since then christos has not tested it. 4151.9Sagc 4161.9SagcAlistair Crooks, David Holland 4171.10SdhollandFri Nov 20 02:17:53 EST 2015 4181.12SdhollandSun May 1 16:50:42 EDT 2016 (some updates) 4191.12Sdholland 420