On Fri, Sep 01, 2017 at 11:37:37PM +0000, Richard Wareing wrote: > > > On Sep 1, 2017, at 3:55 PM, Dave Chinner <david@xxxxxxxxxxxxx> wrote: > > > > [satuday morning here, so just a quick comment] > > > > On Fri, Sep 01, 2017 at 08:36:53PM +0000, Richard Wareing wrote: > >>> On Sep 1, 2017, at 12:32 PM, Brian Foster <bfoster@xxxxxxxxxx> wrote: > >>> > >>> On Fri, Sep 01, 2017 at 06:39:09PM +0000, Richard Wareing wrote: > >>>> Thanks for the quick feedback Dave! My comments are in-line below. > >>>> > >>>> > >>>>> On Aug 31, 2017, at 9:31 PM, Dave Chinner <david@xxxxxxxxxxxxx> wrote: > >>>>> > >>>>> Hi Richard, > >>>>> > >>>>> On Thu, Aug 31, 2017 at 06:00:21PM -0700, Richard Wareing wrote: > >>> ... > >>>>>> add > >>>>>> support for the more sophisticated AG based block allocator to RT > >>>>>> (bitmapped version works well for us, but multi-threaded use-cases > >>>>>> might not do as well). > >>>>> > >>>>> That's a great big can of worms - not sure we want to open it. The > >>>>> simplicity of the rt allocator is one of it's major benefits to > >>>>> workloads that require deterministic allocation behaviour... > >>>> > >>>> Agreed, I took a quick look at what it might take and came to a similar conclusion, but I can dream :). > >>>> > >>> > >>> Just a side point based on the discussion so far... I kind of get the > >>> impression that the primary reason for using realtime support here is > >>> for the simple fact that it's a separate physical device. That provides > >>> a basic mechanism to split files across fast and slow physical storage > >>> based on some up-front heuristic. The fact that the realtime feature > >>> uses a separate allocation algorithm is actually irrelevant (and > >>> possibly a problem in the future). > >>> > >>> Is that an accurate assessment? If so, it makes me wonder whether it's > >>> worth thinking about if there are ways to get the same behavior using > >>> traditional functionality. This ignores Dave's question about how much > >>> of the performance actually comes from simply separating out the log, > >>> but for example suppose we had a JBOD block device made up of a > >>> combination of spinning and solid state disks via device-mapper with the > >>> requirement that a boundary from fast -> slow and vice versa was always > >>> at something like a 100GB alignment. Then if you formatted that device > >>> with XFS using 100GB AGs (or whatever to make them line up), and could > >>> somehow tag each AG as "fast" or "slow" based on the known underlying > >>> device mapping, > > > > Not a new idea. :) > > Yeah (what ever is? :P).. I know we've discussed having more controls or attributes of AGs for various things in the past. I'm not trying to propose a particular design here, but rather trying to step back from the focus on RT and understand what the general requirements are (multi-device, tiering, etc.). I've not seen the pluggable allocation stuff before, but it sounds like that could suit this use case perfectly. > > I've got old xfs_spaceman patches sitting around somewhere for > > ioctls to add such information to individual AGs. I think I called > > them "concat groups" to allow multiple AGs to sit inside a single > > concatenation, and they added a policy layer over the top of AGs > > to control things like metadata placement.... > > Yeah, the alignment thing is just the first thing that popped in my head for a thought experiment. Programmatic knobs on AGs via ioctl() or sysfs is certainly a more legitimate solution. > >>> could you potentially get the same results by using the > >>> same heuristics to direct files to particular sets of AGs rather than > >>> between two physical devices? > > > > That's pretty much what I was working on back at SGI in 2007. i.e. > > providing a method for configuring AGs with difference > > characteristics and a userspace policy interface to configure and > > make use of it.... > > > > https://urldefense.proofpoint.com/v2/url?u=http-3A__oss.sgi.com_archives_xfs_2009-2D02_msg00250.html&d=DwIBAg&c=5VD0RTtNlTh3ycd41b3MUw&r=qJ8Lp7ySfpQklq3QZr44Iw&m=2aGIpGJVnKOtPKDQQRfM52Rv5NTAwoK15WHcQIodIG4&s=bAOVWOrDuWm92j4tTCxZnZOQxhUP1EVlj-JSHpC1yoA&e= > > > > > >>> Obviously there are some differences like > >>> metadata being spread across the fast/slow devices (though I think we > >>> had such a thing as metadata only AGs), etc. > > > > We have "metadata preferred" AGs, and that is what the inode32 > > policy uses to place all the inodes and directory/atribute metadata > > in the 32bit inode address space. It doesn't get used for data > > unless the rest of the filesystem is ENOSPC. > > Ah, right. Thanks. > >>> I'm just handwaving here to > >>> try and better understand the goal. > > > > We've been down these paths many times - the problem has always been > > that the people who want complex, configurable allocation policies > > for their workload have never provided the resources needed to > > implement past "here's a mount option hack that works for us"..... > > Yep. To be fair, I think what Richard is doing is an interesting and useful experiment. If one wants to determine whether there's value in directing files across separate devices via file size in a constrained workload, it makes sense to hack up things like RT and fallocate() because they provide the basic mechanisms you'd want to take advantage of without having to reimplement that stuff just to prove a concept. The challenge of course is then realizing when you're done that this is not a generic solution. It abuses features/interfaces in ways they were not designed for, disrupts traditional functionality, makes assumptions that may not be valid for all users (i.e., file size based filtering, number of devices, device to device ratios), etc. So we have to step back and try to piece together a more generic, upstream-worthy approach. To your point, it would be nice if those exploring these kind of hacks would contribute more to that upstream process rather than settle on running the "custom fit" hack until upstream comes around with something better on its own. ;) (Though sending it out is still better than not, so thanks for that. :) > >> Sorry I forgot to clarify the origins of the performance wins > >> here. This is obviously very workload dependent (e.g. > >> write/flush/inode updatey workloads benefit the most) but for our > >> use case about ~65% of the IOP savings (~1/3 journal + slightly > >> less than 1/3 sync of metadata from journal, slightly less as some > >> journal entries get canceled), the remainder 1/3 of the win comes > >> from reading small files from the SSD vs. HDDs (about 25-30% of > >> our file population is <=256k; depending on the cluster). To be > >> clear, we don't split files, we store all data blocks of the files > >> either entirely on the SSD (e.g. small files <=256k) and the rest > >> on the real-time HDD device. The basic principal here being that, > >> larger files MIGHT have small IOPs to them (in our use-case this > >> happens to be rare, but not impossible), but small files always > >> do, and when 25-30% of your population is small...that's a big > >> chunk of your IOPs. > > > > So here's a test for you. Make a device with a SSD as the first 1TB, > > and you HDD as the rest (use dm to do this). Then use the inode32 > > allocator (mount option) to split metadata from data. The filesysetm > > will keep inodes/directories on the SSD and file data on the HDD > > automatically. > > > > Better yet: have data allocations smaller than stripe units target > > metadata prefferred AGs (i.e. the SSD region) and allocations larger > > than stripe unit target the data-preferred AGs. Set the stripe unit > > to match your SSD/HDD threshold.... > > > > [snip] > > > >> The AG based could work, though it's going to be a very hard sell > >> to use dm mapper, this isn't code we have ever used in our storage > >> stack. At our scale, there are important operational reasons we > >> need to keep the storage stack simple (less bugs to hit), so > >> keeping the solution contained within XFS is a necessary > >> requirement for us. > > I am obviously not at all familiar with your storage stack and the requirements of your environment and whatnoat. It's certainly possible that there's some technical reason you can't use dm, but I find it very hard to believe that reason is "there might be bugs" if you're instead willing to hack up and deploy a barely tested feature such as XFS RT. Using dm for basic linear mapping (i.e., partitioning) seems pretty much ubiquitous in the Linux world these days. > > Modifying the filesysetm on-disk format is far more complex than > > adding dm to your stack. Filesystem modifications are difficult and > > time consuming because if we screw up, users lose all their data. > > > > If you can solve the problem with DM and a little bit of additional > > in-memory kernel code to categorise and select which AG to use for > > what (i.e. policy stuff that can be held in userspace), then that is > > the pretty much the only answer that makes sense from a filesystem > > developer's point of view.... > > Yep, agreed. > > Start by thinking about exposing AG behaviour controls through sysfs > > objects and configuring them at mount time through udev event > > notifications. > > > > Very cool idea. A detail which I left out which might complicate this, is we only use 17GB of SSD for each ~8-10TB HDD (we share just a small 256G SSD for about 15 drives), and even then we don't even use 50% of the SSD for these partitions. We also want to be very selective about what data we let touch the SSD, we don't want folks who write large files by doing small IO to touch the SSD, only IO to small files (which are immutable in our use-case). > I think Dave's more after the data point of how much basic metadata/data separation helps your workload. This is an experiment you can run to get that behavior without having to write any code (maybe a little for the stripe unit thing ;). If there's a physical device size limitation, perhaps you can do something crazy like create a sparse 1TB file on the SSD, map that to a block device over loop or something and proceed from there. Though I guess that since this is a performance experiment, a better idea may be to find a bigger SSD or concat 4 of the 256GB devices into 1TB and use that, assuming you're able to procure enough devices to run an informative test. Brian > On an unrelated note, after talking to Omar Sandoval & Chris Mason over here, I'm reworking rtdefault to change it to "rtdisable" which gives the same operational outcome vs. rtdefault w/o setting inheritance bits (see prior e-mail). This way folks have a kill switch of sorts, yet otherwise maintains the existing "persistent" behavior. > > > > Cheers, > > > > Dave. > > -- > > Dave Chinner > > david@xxxxxxxxxxxxx > > -- > To unsubscribe from this list: send the line "unsubscribe linux-xfs" in > the body of a message to majordomo@xxxxxxxxxxxxxxx > More majordomo info at http://vger.kernel.org/majordomo-info.html -- To unsubscribe from this list: send the line "unsubscribe linux-xfs" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
