软件构造复习小知识点总结（3）

问题1.
以下关于ADT ThreadSafe的说法，不正确的是__

A 任何对外发布的ADT都必须要做到thread safe
B 不管怎么time slicing和interleaving，一个线程安全的ADT对象的RI要始终为真
C 在不同的机器上、不同的OS上执行关于该ADT的程序，都不应该出现RI被违反的情况
D 任何immutable的ADT都是threadsafe的
E 做到ThreadSafe与否，只与ADT自己的内部rep和内部方法实现有关，与client是否应遵循特定条件有关

正确答案：AD
答案解析：

A选项：不一定，例如JDK里就有不少在多线程程序里不安全的ADT。这种情况可以在spec里写清楚即可。但是，最好提供与之相对应的threadsafe的ADT。

B、C、E选项都是在表达ThreadSafe的一个重要约束：threadsafe与你的程序在什么软硬件环境下运行、被谁的程序所调用，没有关系。

D：beneficent mutation

个人分析：
这道题的E选项应该写错了，应更正为“做到ThreadSafe与否，只与ADT自己的内部rep和内部方法实现有关，与client是否应遵循特定条件无关”，这样才与答案解析能对应上
然后对于D选项，PPT原文：

这里是通常，因为不可变类型的定义太松了，为了确信不可变数据类型在没有锁的情况下是线程安全的，我们需要一个更强的不可变定义：
–无突变方法
–所有字段都是私有的和最终的
–无代表性曝光
–代表中的可变对象没有任何变异
–甚至不是有益的突变

问题2.
针对Strategy 2: Immutability，不正确的说法是__

A 该策略思想是：多线程之间共享数据时，使用不可变数据类型和不可变引用，以避免多线程之间的race condition
B 如果多线程共享的是mutable的数据类型，可以通过在线程中禁用其mutator方法来达到threadsafe
C 如果ADT的rep里所有属性都是final的，那么它在任何多线程场景下都可以做到threadafe
D 如果ADT的rep里存在public类型的属性，那么它就无法确保做到threadsafe

正确答案：BC
答案解析：

B选项：threadsafe不能要求client作什么，一定是你ADT的职责

C选项：光final还不够，指向的对象还得是immutable的。否则多线程就可以对其值的修改产生race condition

D选项：public属性意味着rep exposure，那线程就可以修改其rep，就可能产生race condition

个人分析：
这道题的D选项，我感觉可以让public类型的属性，同时是immutable和final，这样即使是public，也是不可被改变的。所以感觉D也是错误的。后来咨询了某位学神，他直接给了我三种解释：
1.pubilic且final且immutable这样的数据类型没有意义。因为这样的数据只能读，不能写，不是多线程的本意
2.D说的是无法确保，就是说有可能不能保证线程安全，就是说可能线程安全，也可能线程不安全，所以D这样说没问题。。。
3.还有一种说法是：rep暴露就是不安全，线程安全的前提要先保证rep不泄露

虽然总感觉都有点牵强，但总而言之都是可以接受的

习题来源：
https://blog.csdn.net/HITcs_Sxf/article/details/90473259