According to the Raspberry Pi 4 Model B specs the SoC used is BCM2711. The BCM2711 uses an ARM Cortex-A72 core. Does this have simultaneous multi-threading (SMT), like Intel cores with hyperthreading? I have read somewhere that some newer ARM processors do.
Related: software threads vs hardware threads