条件的内存库存的向量处理器的内存访问冲突

Question

轩尼诗 - 帕特森书中对计算机体系结构（定量方法5天）说，在与多个存储体的矢量架构，可如果满足以下条件时发生银行冲突（第279 5天）：

（银行数）银行/最小公倍数（数，步幅）<银行忙时

不过，我觉得应该是GreatestCommonFactor代替LCM，因为内存冲突会发生，如果有效银行数量你已经少于繁忙时间。通过有效的银行数量，我的意思是说 - 假设你有8家银行，而且有2家银行。然后有效地你有4家银行，因为存储访问只会排在四家银行（例如，假设你的访问都是偶数，从0开始，那么你的访问将排在银行0,2,4,6）。

事实上，这个公式甚至失败右它下面给出的例子。 假设我们有8个存储体，其中6个时钟周期的忙时间，总存储器延迟时间为12个时钟周期，需要多长时间才能完成64步矢量加载，步长为1？ - 这里他们计算时间为12 + 64 = 76个时钟周期。但是，根据给定的条件会发生内存银行冲突，所以我们显然不能在每个周期访问一次（方程式中的64）。

上午我得到它错了，或者有错误的公式设法生存5个版本本书的（不太可能）？

Answer 1

GCD（银行，步幅）应该进入;你对此的争论是正确的。

让我们试试这个几个不同的进展，看看我们得到什么， 为b = 8银行的数量=。

# generated with the calc(1) function 
define f(s) { print s, "  | ", lcm(s,8), " | ", gcd(s,8), " | ", 8/lcm(s,8), "  | ", 8/gcd(s,8) }` 

stride | LCM(s,b) | GCF(s,b) | b/LCM(s,b) | b/GCF(s,b) 
1  | 8  | 1  | 1  | 8  # 8 < 6 = false: no conflict 
2  | 8  | 2  | 1  | 4  # 4 < 6 = true: conflict 
3  | 24 | 1  | ~0.333 | 8  # 8 < 6 = false: no conflict 
4  | 8  | 4  | 1  | 2  # 2 < 6 = true: conflict 
5  | 40 | 1  | 0.2  | 8 
6  | 24 | 2  | ~0.333 | 4 
7  | 56 | 1  | ~0.143 | 8 
8  | 8  | 8  | 1  | 1 
9  | 72 | 1  | ~0.111 | 8 

x   >=8  2^0..3  <=1   1 2 4 or 8 

B/LCM（S，B）总是< = 1，所以它总是预测冲突。

我认为GCF（又名GCD）寻找适合我看了到目前为止步幅值。如果步幅没有将访问权限分配给所有银行，那么您只会遇到问题，这就是b/GCF（s，b）告诉您的。

---

步幅= 8应该是最坏的情况，每次使用同一个库。 gcd（8,8）= 1cm（8,8）= 8。因此，这两个表达式都给出8/8 = 1，这比银行忙/恢复时间少，从而正确预测冲突。

步幅= 1当然是最好的情况下（不存在冲突，如果存在足够的银行隐藏的忙碌时间）。 gcd（8,1）= 1正确地预测没有冲突：（8/1 = 8，不小于6）。 lcm（8,1）= 8（8/8 < 6为true）会错误地预测冲突。