On Tue, Feb 04, 2020 at 06:58:32AM -0800, Christoph Hellwig wrote: > On Mon, Feb 03, 2020 at 07:39:15PM -0800, Satya Tangirala wrote: > > Wouldn't that mean that all the other requests in the queue, even ones that > > don't even need any inline encryption, also don't get processed until the > > queue is woken up again? > > For the basic implementation yes. > > > And if so, are we really ok with that? > > That depends on the use cases. With the fscrypt setup are we still > going to see unencrypted I/O to the device as well? If so we'll need > to refine the setup and only queue up unencrypted requests. But I'd > still try to dumb version first and then refine it. Definitely, for several reasons: - Not all files on the filesystem are necessarily encrypted. - Filesystem metadata is not encrypted (except for filenames, but those don't use inline encryption). - Encryption isn't necessarily being used on all partitions on the disk. It's also not just about unencrypted vs. encrypted, since just because someone is waiting for one keyslot doesn't mean we should pause all encrypted I/O to the device for all keyslots. > > > As you said, we'd need the queue to wake up once a keyslot is available. > > It's possible that only some hardware queues and not others get blocked > > because of keyslot programming, so ideally, we could somehow make the > > correct hardware queue(s) wake up once a keyslot is freed. But the keyslot > > manager can't assume that it's actually blk-mq that's being used > > underneath, > > Why? The legacy requet code is long gone. > > > Also I forgot to mention this in my previous mail, but there may be some > > drivers/devices whose keyslots cannot be programmed from an atomic context, > > so this approach which might make things difficult in those situations (the > > UFS v2.1 spec, which I followed while implementing support for inline > > crypto for UFS, does not care whether we're in an atomic context or not, > > but there might be specifications for other drivers, or even some > > particular UFS inline encryption hardware that do). > > We have an option to never call ->queue_rq from atomic context > (BLK_MQ_F_BLOCKING). But do you know of existing hardware that behaves > like this or is it just hypothetical? Maybe -- check the Qualcomm ICE (Inline Crypto Engine) driver I posted at https://lkml.kernel.org/linux-block/20200110061634.46742-1-ebiggers@xxxxxxxxxx/. The hardware requires vendor-specific SMC calls to program keys, rather than the UFS standard way. It's currently blocking, since the code to make the SMC calls in drivers/firmware/qcom_scm*.c uses GFP_KERNEL and mutex_lock(). I'll test whether it can work in atomic context by using GFP_ATOMIC and qcom_scm_call_atomic() instead. (Adding a spinlock might be needed too.) - Eric