All of lore.kernel.org
 help / color / mirror / Atom feed
From: Cathal Mullaney <chuckleberryfinn@gmail.com>
To: david.kershner@unisys.com
Cc: Timothy.Sell@unisys.com, gregkh@linuxfoundation.org,
	sparmaintainer@unisys.com, devel@driverdev.osuosl.org,
	linux-kernel@vger.kernel.org,
	Cathal Mullaney <chuckleberryfinn@gmail.com>
Subject: [PATCH v2] staging: unisys: visorbus: visorchannel: Refactor locking code to be statically deterministic.
Date: Wed, 19 Oct 2016 22:43:25 +0100	[thread overview]
Message-ID: <1476913405-4151-1-git-send-email-chuckleberryfinn@gmail.com> (raw)
In-Reply-To: <1476876643-3708-1-git-send-email-chuckleberryfinn@gmail.com>

This patch makes locking in visorchannel_signalempty statically
deterministic.
As a result this patch fixes the sparse warning:
Context imbalance in 'visorchannel_signalempty' - different lock
contexts for basic block.

The logic of the locking code doesn't change but the layout of the
original code is "frowned upon"
according to mails on sparse context checking.
Refactoring removes the warning and makes the code more readable.

Signed-off-by: Cathal Mullaney <chuckleberryfinn@gmail.com>
---
V2: Removed unnecessary variable initialization, as suggested by Tim Sell <Timothy.Sell@unisys.com>.

 drivers/staging/unisys/visorbus/visorchannel.c | 30 ++++++++++++++++----------
 1 file changed, 19 insertions(+), 11 deletions(-)

diff --git a/drivers/staging/unisys/visorbus/visorchannel.c b/drivers/staging/unisys/visorbus/visorchannel.c
index a1381eb..a411157 100644
--- a/drivers/staging/unisys/visorbus/visorchannel.c
+++ b/drivers/staging/unisys/visorbus/visorchannel.c
@@ -300,22 +300,30 @@ EXPORT_SYMBOL_GPL(visorchannel_signalremove);
  * Return: boolean indicating whether any messages in the designated
  *         channel/queue are present
  */
+
+static bool
+queue_empty(struct visorchannel *channel, u32 queue)
+{
+	struct signal_queue_header sig_hdr;
+
+	if (sig_read_header(channel, queue, &sig_hdr))
+		return true;
+
+	return (sig_hdr.head == sig_hdr.tail);
+}
+
 bool
 visorchannel_signalempty(struct visorchannel *channel, u32 queue)
 {
-	unsigned long flags = 0;
-	struct signal_queue_header sig_hdr;
-	bool rc = false;
+	bool rc;
+	unsigned long flags;
 
-	if (channel->needs_lock)
-		spin_lock_irqsave(&channel->remove_lock, flags);
+	if (!channel->needs_lock)
+		return queue_empty(channel, queue);
 
-	if (sig_read_header(channel, queue, &sig_hdr))
-		rc = true;
-	if (sig_hdr.head == sig_hdr.tail)
-		rc = true;
-	if (channel->needs_lock)
-		spin_unlock_irqrestore(&channel->remove_lock, flags);
+	spin_lock_irqsave(&channel->remove_lock, flags);
+	rc = queue_empty(channel, queue);
+	spin_unlock_irqrestore(&channel->remove_lock, flags);
 
 	return rc;
 }
-- 
2.7.4

  parent reply	other threads:[~2016-10-19 21:44 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-10-19 11:30 [PATCH] staging: unisys: visorbus: visorchannel: Refactor locking code to be statically deterministic Cathal Mullaney
2016-10-19 17:00 ` Sell, Timothy C
2016-10-19 21:56   ` Chuckleberryfinn
2016-10-19 21:43 ` Cathal Mullaney [this message]
2016-10-20  0:04   ` [PATCH v2] " Kershner, David A
2016-10-20  3:10     ` Sell, Timothy C

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1476913405-4151-1-git-send-email-chuckleberryfinn@gmail.com \
    --to=chuckleberryfinn@gmail.com \
    --cc=Timothy.Sell@unisys.com \
    --cc=david.kershner@unisys.com \
    --cc=devel@driverdev.osuosl.org \
    --cc=gregkh@linuxfoundation.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=sparmaintainer@unisys.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.