Realtime Kernel on CISCs - do they still exist?

Hi, I develope a Sequencer as I revised threading model using conditional locks I experienced in strange behaviour. It seemed as a calculations like addition and subtraction weren't safe. May be just a Programming mistake. But by they way what kind of processors are in recent apple mac book pro?

I've added my kernel configuration file and output of `lspci -vv` and `lscpu`.