about 和 for 的区别？

Posted 2023-04-13

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了about 和 for 的区别？相关的知识，希望对你有一定的参考价值。

about是一个英语单词，介词、形容词、副词，作介词时意思是“关于；目的是；针对；忙于；因为；在……到处；在……四处；在……附近；在……（具有某种品质）；围绕；为……感到”，作形容词时意思是“在场的，可得到的；就要……的；四处走动的；有证据的，在起作用的”，作副词时意思是“大约；将近；到处；（特定位置）四下；闲着；周围；掉头”。
for（单词）for后加动名词，人称用宾格。
for循环：编程中用于循环处理的语句。Java的for语句形式有两种：一种是和C语言中的for语句形式一样，另一种形式用于在集合和数组之中进行迭代。有时候把这种形式称为增强的for(enhanced for)语句，它可以使循环更加紧凑和容易阅读。它的一般形式为： for语句；初始化总是一个赋值语句，它用来给循环控制变量赋初值；条件表达式是一个关系表达式，它决定什么时候退出循环；增量定义循环控制变量每循环一次后按什么方式变化。这三个部分之间用";"分开。参考技术A on,at,to,about,for的区别？ about、for、of、on、with表示关于的意思时它们的用法区别为：意思不同、用法不同、侧重点不同。1、about：关于，对于，目的是。2、for：以帮助，为了，关于。3、of：属于(某人)，关于(某人)。4、on：(覆盖、附着)在…上。5、with：和…在一起。

论文笔记All about Eve: Execute-Verify Replication for Multi-Core Servers

本文理解来自论文All about Eve: Execute-Verify Replication for Multi-Core Servers

Eve是为了适应多核服务器而诞生的distributed replication方案。State machine replication旨在实现fault tolerance。

由于让所有的replicas执行一样顺序的请求很困难，Eve采取的措施是消除所有replicas必须执行一样顺序的请求的限制，但这并不是说不对请求的并行执行做准备，否则就会达不到一致性。

Eve采取的措施是将请求划分成一个一个batch，一个batch中的所有请求之间互不影响，这样就可以大胆并行执行一个batch中的所有请求。

传统上，要实现一致性，replicas需要在请求执行顺序上达成一致再去执行，而在Eve上，先并行执行请求，再验证它们是否达到一致性，如果出现divergence（分歧），Eve会进行roll back，然后重新串行执行请求序列。

为了减少divergence的出现，Eve使用了mixer，实际上是它使得组与组之间（还是组内？）的请求在并行执行时不会相互干扰，并且会让修复更有效。

Eve的execute-verify模型可以进行crash tolerant和Byzantine tolerant。

Eve的鲁棒性来自两个方面：首先，Eve的mixer会减少触发潜在concurrency bugs的可能性，因为在mixer的作用下，并行执行的是互不干扰的请求。

►Why not deterministic execution?

多线程一般情况下会出现不确定性，如何实现确定性的多线程（deterministic multithreading）是当前的关键。

其实解决方案不只限于让所有的replicas处理同样序列的输入，其实还有一种思路是：利用请求的语义（semantics）实现replica coordination。例如，对于读类型的请求，SMR系统不必要求replicas用同一种顺序来处理，因为读类型的请求不会修改replicated application的state。所以如果我们能判断出它是读请求，那么就可以放手去并行执行它，但对于一些类型的请求还是要达成一个统一的处理顺序。

让读请求只在首选的法定数目的replicas上执行，而不是在所有的replicas上执行，这是为什么呢？

►Synchronous primary-backup

Primary会接受请求并将请求划分成一个一个batch，如果一个batch B形成了，它就会发送信息 <EXECUTE-BATCH, n, B, ND> 给backup，

n是这个batch的序号，
ND是不确定性调用如random() 和 gettimeofday() 为了保证一致性执行的数据。

Backup就会根据这个信息去执行请求，并返回一个token给primary，primary会把它传来的token和自己的进行比较，

如果一致，说明没有发生divergence，primary会将这个batch的序号标记为稳定；
如果不一致，说明出现了divergence，此时primary就会roll back到上一个稳定的batch序号，并让backup也roll back到上一个稳定的batch序号，即放弃刚刚传来的batch。

►Evaluation

Eve的mixer会对性能有怎样的影响，Eve的吞吐率如何，相比于unreplicated multithreaded execution性能如何，Eve如何处理concurrency bugs？希望通过一个键值存储程序和H2 数据库引擎来告诉我们答案。

Eve现在的prototype存在的limitations有：

(i) not implementing extra protection mode optimization for our asynchronous configurations.

(ii) our current implementation does not handle applications that include objects for which Java’s finalize method modifies state that need to be consistent across replicas.

(iii) our current prototype only supports in-memory application state.

Eve的advantages是：在使用16个线程后，Eve会获得6.5倍于顺序执行的加速。

Eve还有一个limitation：As the workload gets lighter (the execution time per request reduces), the overhead of Eve becomes more pronounced（明显）.

Eve为了有一个好的性能，需要一个好的mixer。

但是对Eve来说构造一个能检测所有的conflicts并允许较大量的并行存在的mixer是容易的。