Существуют ли какие-либо проблемы параллелизма с одним потоком, читающим из одного индекса массива, в то время как другой поток записывает в другой индекс массива, если индексы разные?
например (этот пример не обязательно рекомендуется для реального использования, только для иллюстрации моей точки зрения)
class Test1
{
static final private int N = 4096;
final private int[] x = new int[N];
final private AtomicInteger nwritten = new AtomicInteger(0);
// invariant:
// all values x[i] where 0 <= i < nwritten.get() are immutable
// read() is not synchronized since we want it to be fast
int read(int index) {
if (index >= nwritten.get())
throw new IllegalArgumentException();
return x[index];
}
// write() is synchronized to handle multiple writers
// (using compare-and-set techniques to avoid blocking algorithms
// is nontrivial)
synchronized void write(int x_i) {
int index = nwriting.get();
if (index >= N)
throw SomeExceptionThatIndicatesArrayIsFull();
x[index] = x_i;
// from this point forward, x[index] is fixed in stone
nwriting.set(index+1);
}
}
изменить: критика этого примера - не мой вопрос, я буквально просто хочу знать, создает ли доступ массива к одному индексу одновременно с доступом к другому индексу проблемы параллелизма, не мог придумать простой пример.
