Scheduling while atomic with real time kernel linux

 * Cinnamon version 4.4.8
   - Please specify if you are using the daily builds PPA
     No, built from github repository after checking out tag 4.4.8
 * Distribution - Debian 10.2 (X86-64), Real Time Kernel: 4.19.94-rt38 x86_64
 * Graphics hardware *and* driver used
  -System:    Host: debian Kernel: 4.19.94-rt38 x86_64 bits: 64 compiler: gcc v: 8.3.0 
           Desktop: Cinnamon 4.4.8 wm: muffin dm: LightDM Distro: Debian GNU/Linux 10 (buster) 
  -Machine:   Type: Vmware System: VMware product: VMware Virtual Platform v: N/A serial: <filter> 
           Chassis: No Enclosure type: 1 serial: <filter> 
           Mobo: Intel model: 440BX Desktop Reference Platform serial: <filter> BIOS: Phoenix 
           v: 6.00 date: 07/29/2019 
  -CPU:       Topology: 8-Core model: Intel Core i7-3840QM bits: 64 type: MCP arch: Ivy Bridge rev: 9 
           L2 cache: 8192 KiB 
           flags: lm nx pae sse sse2 sse3 sse4_1 sse4_2 ssse3 bogomips: 44800 
           Speed: 2800 MHz min/max: N/A Core speeds (MHz): 1: 2800 2: 2800 3: 2800 4: 2800 5: 2800 
           6: 2800 7: 2800 8: 2800 
  -Graphics:  Device-1: VMware SVGA II Adapter driver: vmwgfx v: 2.15.0.0 bus ID: 00:0f.0 
           chip ID: 15ad:0405 
           Display: x11 server: X.Org 1.20.4 driver: vmware unloaded: fbdev,modesetting,vesa 
           compositor: muffin resolution: 1914x884~60Hz 
           OpenGL: renderer: SVGA3D; build v: 3.3 Mesa 18.3.6 direct render: Yes 
  -Audio:     Device-1: Ensoniq ES1371/ES1373 / Creative Labs CT2518 driver: snd_ens1371 v: kernel 
           bus ID: 02:02.0 chip ID: 1274:1371 
           Sound Server: ALSA v: k4.19.94-rt38 
  -Network:   Device-1: Intel 82371AB/EB/MB PIIX4 ACPI vendor: VMware Virtual Machine 
           type: network bridge driver: N/A port: 1060 bus ID: 00:07.3 chip ID: 8086:7113 
           Device-2: Intel 82545EM Gigabit Ethernet vendor: VMware PRO/1000 MT Single Port 
           driver: e1000 v: 7.3.21-k8-NAPI port: 2000 bus ID: 02:01.0 chip ID: 8086:100f 
           IF: ens33 state: up speed: 1000 Mbps duplex: full mac: <filter> 
  -Drives:    Local Storage: total: 120.00 GiB used: 26.10 GiB (21.8%) 
           ID-1: /dev/sda vendor: VMware model: Virtual S size: 120.00 GiB serial: N/A 
  -Partition: ID-1: / size: 101.87 GiB used: 26.10 GiB (25.6%) fs: ext4 dev: /dev/sda1 
           ID-2: swap-1 size: 16.00 GiB used: 0 KiB (0.0%) fs: swap dev: /dev/sda5 
  -Sensors:   Message: No sensors data was found. Is sensors configured? 
  -Info:      Processes: 357 Uptime: 38m Memory: 11.71 GiB used: 3.35 GiB (28.6%) Init: systemd 
           v: 241 runlevel: 5 Compilers: gcc: 8.3.0 alt: 8 Client: Unknown python3.7 client 
           inxi: 3.0.32 
 * 64 bit
 * /var/log/syslog: please see the attached files

Issue

The cinnamon desktop freezes sometimes and has to be killed and restarted remotely to work again.

There is one line in the messages printed by: sudo dmesg:

  BUG: scheduling while atomic: cinnamon/1306/0x00000002

The detailed trace info from sudo dmesg is in the attached traces.log file.

Steps to reproduce It wasn't very predictable

Expected behaviour The desktop freezes

Other information The kernel is a real time linux kernel

Attachment

linuxmint / cinnamon

Scheduling while atomic with real time kernel linux #9149