On Tue, Nov 28, 2023 at 04:12:24PM +0300, Dan Carpenter wrote:
> Hello Tony Luck,
>
> The patch b041b525dab9: "x86/split_lock: Make life miserable for
> split lockers" from Mar 10, 2022 (linux-next), leads to the following
> Smatch static checker warning:
>
> arch/x86/kernel/cpu/intel.c:1179 split_lock_warn()
> warn: sleeping in atomic context
>
> arch/x86/kernel/cpu/intel.c
> 1158 static void split_lock_warn(unsigned long ip)
> 1159 {
> 1160 struct delayed_work *work;
> 1161 int cpu;
> 1162
> 1163 if (!current->reported_split_lock)
> 1164 pr_warn_ratelimited("#AC: %s/%d took a split_lock trap at address: 0x%lx\n",
> 1165 current->comm, current->pid, ip);
> 1166 current->reported_split_lock = 1;
> 1167
> 1168 if (sysctl_sld_mitigate) {
> 1169 /*
> 1170 * misery factor #1:
> 1171 * sleep 10ms before trying to execute split lock.
> 1172 */
> 1173 if (msleep_interruptible(10) > 0)
> 1174 return;
> 1175 /*
> 1176 * Misery factor #2:
> 1177 * only allow one buslocked disabled core at a time.
> 1178 */
> --> 1179 if (down_interruptible(&buslock_sem) == -EINTR)
> 1180 return;
> 1181 work = &sl_reenable_unlock;
> 1182 } else {
> 1183 work = &sl_reenable;
> 1184 }
> 1185
> 1186 cpu = get_cpu();
> 1187 schedule_delayed_work_on(cpu, work, 2);
> 1188
> 1189 /* Disable split lock detection on this CPU to make progress */
> 1190 sld_update_msr(false);
> 1191 put_cpu();
> 1192 }
>
> The call tree is:
>
> kernel_exc_vmm_communication() <- disables preempt
> -> vc_raw_handle_exception()
> -> vc_forward_exception()
> -> exc_alignment_check()
> -> __exc_alignment_check()
> -> handle_user_split_lock()
> -> split_lock_warn()
>
> I think maybe the mismatch is that kernel_exc_vmm_communication() calls
> irqentry_nmi_enter(regs); which disable preemption but exc_alignment_check()
> does local_irq_enable() which doesn't enable it.
I think we need some arch/x86/kernel/sev.c expertise to explain the
preemption requirements in that stack trace. Adding Tom Lendacky.
> Also why does arch/x86 not have a dedicated mailing list?
Good question. X86 was once the default architecture. So everything went to
linux-kernel@xxxxxxxxxxxxxxx. I'll add that to Cc: for this. But maybe
it's time for an x86 specific list?
> regards,
> dan carpenter
-Tony
