Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
IronPort-SDR: 6MmkG1eYLvY4xIcGhxEzzlZ+n/KrIgQEESM1HCpjO67qY03MISTr+8zkHofF+i/7K3t3V4kgi+
 w7cCoirfx95g==
IronPort-SDR: l587vt9oR3DkJX5XcAWCiL+vK5dHiIkq56gRFCVVK8HgFd1pQdRe/IIclgivKIVyOLM9A7AJJa
 uLAckmraF4ZA==
From:   "Xia, Hui" <hui.xia@intel.com>
To:     Leo Yan <leo.yan@linaro.org>, lkp <lkp@intel.com>
CC:     "kbuild-all@lists.01.org" <kbuild-all@lists.01.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        "Greg Kroah-Hartman" <gregkh@linuxfoundation.org>,
        Jeffrey Hugo <jeffrey.l.hugo@gmail.com>
Subject: RE: [kbuild-all] Re: include/asm-generic/qspinlock.h:94:9: sparse:
 sparse: context imbalance in '__msm_console_write' - unexpected unlock
Thread-Topic: [kbuild-all] Re: include/asm-generic/qspinlock.h:94:9: sparse:
 sparse: context imbalance in '__msm_console_write' - unexpected unlock
Thread-Index: AQHWfzBc6NdaYy5SM02hSOvychdzNalVAIIw
Date:   Wed, 2 Sep 2020 08:07:28 +0000
Message-ID: <MWHPR11MB16130694AD99D997B7120128E52F0@MWHPR11MB1613.namprd11.prod.outlook.com>
References: <202008290845.9m3df1TL%lkp@intel.com>
 <20200831004636.GB4715@leoy-ThinkPad-X240s>
In-Reply-To: <20200831004636.GB4715@leoy-ThinkPad-X240s>
Accept-Language: en-US
Content-Language: en-US
dlp-product: dlpe-windows
dlp-reaction: no-action
dlp-version: 11.5.1.3
Content-Type: text/plain; charset="iso-2022-jp"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: 7d3d3b0a-2dba-4196-dc12-08d84f173c26
X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Sep 2020 08:07:28.2358
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: fRZjbnEVXTlYAtX+yS0YvPBNC1Jd5z6ZLx/xcl7y0zrT49YZK5EMrHkABxwyc35tV8xnI7TnrXjisRbo1HAsMw==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MW3PR11MB4588
X-OriginatorOrg: intel.com
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org


>-----Original Message-----
>From: Leo Yan <leo.yan@linaro.org>
>Sent: 2020=1B$BG/=1B(B8=1B$B7n=1B(B31=1B$BF|=1B(B 8:47
>To: lkp <lkp@intel.com>
>Cc: kbuild-all@lists.01.org; linux-kernel@vger.kernel.org; Greg Kroah-Hart=
man
><gregkh@linuxfoundation.org>; Jeffrey Hugo <jeffrey.l.hugo@gmail.com>
>Subject: [kbuild-all] Re: include/asm-generic/qspinlock.h:94:9: sparse: sp=
arse:
>context imbalance in '__msm_console_write' - unexpected unlock
>
>Hi,
>
>On Sat, Aug 29, 2020 at 08:27:03AM +0800, kernel test robot wrote:
>> tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.g=
it master
>> head:   005c53447a63cbce10de37406975a34d7bdc8704
>> commit: 0e4f7f920a5c6bfe5e851e989f27b35a0cc7fb7e tty: serial: msm_serial=
:
>Fix lockup for sysrq and oops
>> date:   9 months ago
>> config: arm64-randconfig-s031-20200829 (attached as .config)
>> compiler: aarch64-linux-gcc (GCC) 9.3.0
>> reproduce:
>>         wget https://raw.githubusercontent.com/intel/lkp-
>tests/master/sbin/make.cross -O ~/bin/make.cross
>>         chmod +x ~/bin/make.cross
>>         # apt-get install sparse
>>         # sparse version: v0.6.2-191-g10164920-dirty
>>         git checkout 0e4f7f920a5c6bfe5e851e989f27b35a0cc7fb7e
>>         # save the attached .config to linux build tree
>>         COMPILER_INSTALL_PATH=3D$HOME/0day COMPILER=3Dgcc-9.3.0 make.cro=
ss
>> C=3D1 CF=3D'-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=3Darm64
>>
>> If you fix the issue, kindly add following tag as appropriate
>> Reported-by: kernel test robot <lkp@intel.com>
>>
>>
>> sparse warnings: (new ones prefixed by >>)
>>
>>    drivers/tty/serial/msm_serial.c:736:25: sparse: sparse: context imbal=
ance in
>'msm_handle_rx_dm' - unexpected unlock
>>    drivers/tty/serial/msm_serial.c:802:28: sparse: sparse: context imbal=
ance in
>'msm_handle_rx' - unexpected unlock
>>    drivers/tty/serial/msm_serial.c:1100:12: sparse: sparse: context imba=
lance in
>'msm_set_baud_rate' - unexpected unlock
>>    drivers/tty/serial/msm_serial.c: note: in included file (through
>arch/arm64/include/generated/asm/qspinlock.h,
>arch/arm64/include/asm/spinlock.h, include/linux/spinlock.h, ...):
>> >> include/asm-generic/qspinlock.h:94:9: sparse: sparse: context
>> >> imbalance in '__msm_console_write' - unexpected unlock
>
>I think this is a false positive report.  Let's see the locking relevant c=
ode in
>__msm_console_write():
Hi Yan,

Thanks for the clarification. Please ignore this report.
It was sent out unexpected. We will fix the robot bug soon.

Best Regards,
Hui
>
>  __msm_console_write() {
>
>      int locked =3D 1;
>
>      [...]
>
>      if (port->sysrq)
>          locked =3D 0;
>      else if (oops_in_progress)
>          locked =3D spin_trylock(&port->lock);
>      else
>          spin_lock(&port->lock);
>
>      [...]
>
>      if (locked)
>          spin_unlock(&port->lock);
>  }
>
>Since we need to handle oops and sysrq as special cases, it uses 'locked' =
to
>indicate the spinlock has been acquired and later will release spinlock if=
 'locked' is
>true.  So locking and unlocking are paired and I don't see what's the reas=
on the
>robot reports the context imbalance.
>
>BTW, this report is not only for msm_serial driver, it also might be appli=
ed to
>many other serial drivers, e.g.
>
>  drivers/tty/serial/amba-pl011.c
>  drivers/tty/serial/xilinx_uartps.c
>  drivers/tty/serial/stm32-usart.c
>
>Maybe I miss something at here, if so please let me know.
>
>Thanks,
>Leo
>
>> #
>> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/com
>> mit/?id=3D0e4f7f920a5c6bfe5e851e989f27b35a0cc7fb7e
>> git remote add linus
>> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
>> git fetch --no-tags linus master
>> git checkout 0e4f7f920a5c6bfe5e851e989f27b35a0cc7fb7e
>> vim +/__msm_console_write +94 include/asm-generic/qspinlock.h
>>
>> a33fda35e3a765 Waiman Long 2015-04-24  83
>> a33fda35e3a765 Waiman Long 2015-04-24  84  #ifndef queued_spin_unlock
>> a33fda35e3a765 Waiman Long 2015-04-24  85  /**
>> a33fda35e3a765 Waiman Long 2015-04-24  86   * queued_spin_unlock - relea=
se
>a queued spinlock
>> a33fda35e3a765 Waiman Long 2015-04-24  87   * @lock : Pointer to queued
>spinlock structure
>> a33fda35e3a765 Waiman Long 2015-04-24  88   */
>> a33fda35e3a765 Waiman Long 2015-04-24  89  static __always_inline void
>> queued_spin_unlock(struct qspinlock *lock)
>> a33fda35e3a765 Waiman Long 2015-04-24  90  {
>> a33fda35e3a765 Waiman Long 2015-04-24  91  	/*
>> ca50e426f96c90 Pan Xinhui  2016-06-03  92  	 * unlock() needs release
>semantics:
>> a33fda35e3a765 Waiman Long 2015-04-24  93  	 */
>> 626e5fbc143589 Will Deacon 2018-04-26 @94
>	smp_store_release(&lock->locked, 0);
>> a33fda35e3a765 Waiman Long 2015-04-24  95  }
>> a33fda35e3a765 Waiman Long 2015-04-24  96  #endif
>> a33fda35e3a765 Waiman Long 2015-04-24  97
>>
>> :::::: The code at line 94 was first introduced by commit
>> :::::: 626e5fbc14358901ddaa90ce510e0fbeab310432 locking/qspinlock: Use
>> smp_store_release() in queued_spin_unlock()
>>
>> :::::: TO: Will Deacon <will.deacon@arm.com>
>> :::::: CC: Ingo Molnar <mingo@kernel.org>
>>
>> ---
>> 0-DAY CI Kernel Test Service, Intel Corporation
>> https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
>
>_______________________________________________
>kbuild-all mailing list -- kbuild-all@lists.01.org To unsubscribe send an =
email to
>kbuild-all-leave@lists.01.org