大家好我有一个不可变的数组实现,如下所示:
public static final class FixedArray {
private final T[] array;
public final int Length;
@SafeVarargs
public FixedArray(T... args) {
array = args;
Length = args.length;
}
public T Get(int index) {
return array[index];
}
}
public static final class FixedIntArray {
private final int[] array;
public final int Length;
public FixedIntArray(int... args) {
array = args;
Length = args.length;
}
public int Get(int index) {
return array[index];
}
}
public static final class FixedLongArray {
private final long[] array;
public final int Length;
public FixedLongArray(long... args) {
array = args;
Length = args.length;
}
public long Get(int index) {
return array[index];
}
}
最初我认为它保证是线程安全的.但在阅读了关于不可变数组和Java内存模型的the discussion后,我相信,我无法确定.
我没有使用防御性副本,与调用代码“做正确的事”的合同(和往常一样,如果它不遵循合同,则行为未定义).
调用方法如下所示:
public static void main(String args[]) {
int[] ints = new int[10000];
FixedIntArray fixed_ints = new FixedIntArray(ints);
SendToThreadA(fixed_ints);
SendToThreadB(fixed_ints);
SendToThreadC(fixed_ints);
SendToThreadD(fixed_ints);
//caller (which is this method) does the right thing, ints goes out of scope without anyone trying to modify it.
}
我想知道上面的代码是否保证是线程安全的?
解决方法:
没关系.您可以要求呼叫者将阵列“切换”给您.如有必要,呼叫者可以克隆一个.
内存写入通常是程序中最昂贵的东西(没有外部IO).
不是每个人都是傻瓜.您只需要足够防御以保护目标用户群.
标签:java,thread-safety
来源: https://codeday.me/bug/20190902/1793125.html