如果每个线程都保证只读/写入数组的特定子集,则多个线程可以在不使用关键部分等的同一(静态)数组上工作?
编辑 – 这是针对非参考计数类型和记录/打包记录数组的具体情况.
如果是,任何注意事项?
我的直觉是肯定的,但我的直觉有时可能是不可靠的信息来源.
解决方法
假设:
>你有一个单一的数组实例(静态或动态),和
>数组的元素是纯值类型(即不包含引用),和
>每个线程在不相交的子数组上进行操作
>系统中的其他任何东西都会在线程正在运行时写入阵列.
有了这些条件,我相信您的数据结构和线程模式可以满足,所有算法都是线程安全的.