дык кто мешает построить те или иные формальные модели в памяти, удобные для параллельного доступа? Речь же не о том, как нам атомарно увеличить ячейку, на которую указывает другая изменяемая ячейка. Речь о том, как правильно (и быстро тоже) решать нужные нам задачи, алгоритмы писать (конечно, если GUI или embedded soft можно назвать "алгоритмом".