[Devel] [PATCH] fuse kio: Add comment about why we need to wait pending read requests

Kirill Tkhai ktkhai at virtuozzo.com
Tue Oct 23 13:23:02 MSK 2018


On 23.10.2018 13:19, Kirill Tkhai wrote:
> On 23.10.2018 13:15, Pavel Butsykin wrote:
>>
>>
>> On 23.10.2018 13:01, Kirill Tkhai wrote:
>>> Signed-off-by: Kirill Tkhai <ktkhai at virtuozzo.com>
>>> ---
>>>   fs/fuse/kio/pcs/pcs_fuse_kdirect.c |    7 ++++++-
>>>   1 file changed, 6 insertions(+), 1 deletion(-)
>>>
>>> diff --git a/fs/fuse/kio/pcs/pcs_fuse_kdirect.c b/fs/fuse/kio/pcs/pcs_fuse_kdirect.c
>>> index 3940d6c255ba..9b45fcbf8941 100644
>>> --- a/fs/fuse/kio/pcs/pcs_fuse_kdirect.c
>>> +++ b/fs/fuse/kio/pcs/pcs_fuse_kdirect.c
>>> @@ -1081,7 +1081,12 @@ static void pcs_kio_setattr_handle(struct fuse_inode *fi, struct fuse_req *req)
>>>   	r->end = req->end;
>>>   	if (di->size.op == PCS_SIZE_SHRINK) {
>>>   		BUG_ON(!mutex_is_locked(&req->io_inode->i_mutex));
>>> -		/* wait for aio reads in flight */
>>> +		/*
>>> +		 * Wait for already submitted aio reads. Further reads
>>> +		 * (including already queued to bg_queue) will be stopped
>>> +		 * by wait_shrink(), and they will be processed from
>>> +		 * _pcs_shrink_end().
>>> +		 */
>>
>> Why do we have to wait already submitted aio reads ?
> 
> Because there could be grow requests. This place is broken, I'm fixing that at the moment.
> One-dimensional size.op is not enough to drive race between grow and shrink, we need to
> convert PCS_SIZE_* into bit fields like it used to be before.

We need something like the below (WIP):

diff --git a/fs/fuse/kio/pcs/pcs_client_types.h b/fs/fuse/kio/pcs/pcs_client_types.h
index 9ddce5cff3f5..3ab19348c0f9 100644
--- a/fs/fuse/kio/pcs/pcs_client_types.h
+++ b/fs/fuse/kio/pcs/pcs_client_types.h
@@ -47,11 +47,9 @@ struct pcs_mapping {
 };
 
 
-typedef enum {
-	PCS_SIZE_INACTION,
-	PCS_SIZE_GROW,
-	PCS_SIZE_SHRINK,
-} size_op_t;
+#define PCS_SIZE_INACTION 	0
+#define PCS_SIZE_GROW		(1 << 0)
+#define PCS_SIZE_SHRINK		(1 << 1)
 
 struct fuse_inode;
 struct pcs_dentry_info {
@@ -65,7 +63,7 @@ struct pcs_dentry_info {
 		struct work_struct	work;
 		struct list_head	queue;
 		unsigned long long	required;
-		size_op_t op;
+		u16 op;
 	} size;
 	struct fuse_inode	*inode;
 };
diff --git a/fs/fuse/kio/pcs/pcs_fuse_kdirect.c b/fs/fuse/kio/pcs/pcs_fuse_kdirect.c
index 9b45fcbf8941..46ca1a892dcb 100644
--- a/fs/fuse/kio/pcs/pcs_fuse_kdirect.c
+++ b/fs/fuse/kio/pcs/pcs_fuse_kdirect.c
@@ -726,7 +726,7 @@ static void fuse_size_grow_work(struct work_struct *w)
 	LIST_HEAD(pending_reqs);
 
 	spin_lock(&di->lock);
-	BUG_ON(di->size.op != PCS_SIZE_INACTION);
+	BUG_ON(di->size.op & PCS_SIZE_GROW);
 
 	old_size = DENTRY_SIZE(di);
 	size = di->size.required;
@@ -739,13 +739,13 @@ static void fuse_size_grow_work(struct work_struct *w)
 	BUG_ON(old_size >= size);
 
 	list_splice_tail_init(&di->size.queue, &pending_reqs);
-	di->size.op = PCS_SIZE_GROW;
+	di->size.op |= PCS_SIZE_GROW;
 	spin_unlock(&di->lock);
 
 	err = submit_size_grow(inode, size);
 	if (err) {
 		spin_lock(&di->lock);
-		di->size.op = PCS_SIZE_INACTION;
+		di->size.op &= ~PCS_SIZE_GROW;
 		list_splice_tail_init(&di->size.queue, &pending_reqs);
 		di->size.required = 0;
 		spin_unlock(&di->lock);
@@ -756,7 +756,7 @@ static void fuse_size_grow_work(struct work_struct *w)
 
 	spin_lock(&di->lock);
 	BUG_ON(di->size.required < size);
-	di->size.op = PCS_SIZE_INACTION;
+	di->size.op &= PCS_SIZE_GROW;
 
 	list_for_each_entry_safe(ireq, next, &di->size.queue, list) {
 		struct pcs_fuse_req *r = container_of(ireq, struct pcs_fuse_req, exec.ireq);
@@ -792,7 +792,7 @@ static void wait_grow(struct pcs_fuse_req *r, struct pcs_dentry_info *di, unsign
 	assert_spin_locked(&di->lock);
 	BUG_ON(r->exec.size_required);
 	BUG_ON(r->req.in.h.opcode != FUSE_WRITE && r->req.in.h.opcode != FUSE_FALLOCATE);
-	BUG_ON(di->size.op != PCS_SIZE_INACTION && di->size.op != PCS_SIZE_GROW);
+	BUG_ON(di->size.op != PCS_SIZE_INACTION && !(di->size.op & PCS_SIZE_GROW));
 
 	TRACE("insert ino:%ld->required:%lld r(%p)->required:%lld\n", r->req.io_inode->i_ino,
 	      di->size.required, r, required);
@@ -1073,13 +1073,13 @@ static void pcs_kio_setattr_handle(struct fuse_inode *fi, struct fuse_req *req)
 	di = pcs_inode_from_fuse(fi);
 	spin_lock(&di->lock);
 	if (inarg->size < di->fileinfo.attr.size) {
-		BUG_ON(di->size.op != PCS_SIZE_INACTION);
-		di->size.op = PCS_SIZE_SHRINK;
+		BUG_ON(di->size.op & PCS_SIZE_SHRINK);
+		di->size.op |= PCS_SIZE_SHRINK;
 	}
 	spin_unlock(&di->lock);
 
 	r->end = req->end;
-	if (di->size.op == PCS_SIZE_SHRINK) {
+	if (di->size.op & PCS_SIZE_SHRINK) {
 		BUG_ON(!mutex_is_locked(&req->io_inode->i_mutex));
 		/*
 		 * Wait for already submitted aio reads. Further reads
@@ -1088,6 +1088,7 @@ static void pcs_kio_setattr_handle(struct fuse_inode *fi, struct fuse_req *req)
 		 * _pcs_shrink_end().
 		 */
 		inode_dio_wait(req->io_inode);
+		BUG_ON(di->size.op != PCS_SIZE_SHRINK);
 		/*
 		 * Writebackcache was flushed already so it is safe to
 		 * drop pcs_mapping



More information about the Devel mailing list