体系结构 云计算论文随笔

云计算
论文
Hyracks一个灵活的和可扩展的基础数据密集型计算

DAG：Database Availability Group

The
Stratosphere platform for big data analytics
The “BigData”
software ecosystem includes distributed file systems [29],
parallel data analysis platforms [8,12,15,22,44,70,74], data
programming languages [13,19,37,57,69], and more specialized
tools for specific data domains [53,54].

体系结构 论文 ILP（Instruction-Level Parallelism）

指令级并行 ILP（Instruction-Level Parallelism）

“指令级并行 ILP”的含义是：如果程序中相邻的一组指令是相互独立的，即不竞争同一个功能部件、不相互等待对方的运算结果、不访问同一个存储单元，那么它们就可以在处理器内部并行地执行。

超标量（Superscalar）技术 和 超长指令字（Very Long Instruction Word, VLIW）技术是目前最基本的两类指令级并行技术。
前者的特点是采用普通的指令，设置多条并行工作的指令流水线；后者的特点是：将若干条普通指令组装在一起，形成一条“超级指令”。这条“超级指令”包含多个不同操作码，这些操作码分别处理不同的操作数。对应这些操作码，一一对应地设置相应的功能部件。这样，只要取指令一次、分析指令一次，VLIW 技术就可以实现对多个不同的操作数，同时进行不同的处理/计算。
Intel 公司的 Pentium 微处理器的实现采用了超标量技术，设置了两条相同的整数流水线（分别叫 U 流水线和 V 流水线）和一条浮点数流水线。浮点数流水线中又进一步采用多功能部件的思想，设置了加法器、乘法器和除法器。
目前，主流的微处理器都采用了超标量技术。

6 racemob:crowd sourced data race detection
. Ｋａｓｉｋｃｉ　Ｂ，Ｚａｍｆｉｒ　Ｃ，Ｃａｎｄｅａ　Ｇ．ＲａｃｅＭｏｂ：Ｃｒｏｗｄ　ｓｏｕｒｃｅｄ
ｄａｔａ　ｒａｃｅ　ｄｅｔｅｃｔｉｏｎ［Ｃ］∥Ｐｒｏｃ　ｏｆ　ＳＯＳＰ’１３，２０１３：４０６－４２２

1.software:practice and experience
accurate and efficient detection of fata races
Ｘｉｅ　Ｘ，Ｘｕｅ　Ｊ，Ｚｈａｎｇ　Ｊ．Ａｃｃｕｌｏｃｋ：Ａｃｃｕｒａｔｅ　ａｎｄ　ｅｆｆｉｃｉｅｎｔ　ｄｅｔｅｃｔｉｏｎ
　ｏｆ　ｄａｔａ　ｒａｃｅｓ［Ｊ］．Ｓｏｆｔｗａｒｅ：Ｐｒａｃｔｉｃｅ　ａｎｄ　Ｅｘｐｅｒｉｅｎｃｅ，
２０１３，４３（５）：５４３－５７６．
2.
parallelizing data race detection

　Ｗｅｓｔｅｒ　Ｂ，Ｄｅｖｅｃｓｅｒｙ　Ｄ，Ｃｈｅｎ　Ｐ　Ｍ，ｅｔ　ａｌ．Ｐａｒａｌｌｅｌｉｚｉｎｇ　ｄａｔａ
ｒａｃｅ　ｄｅｔｅｃｔｉｏｎ［Ｃ］∥Ｐｒｏｃ　ｏｆ　ＡＳＰＬＯＳ’１３，２０１３：２７－３８．

3.　verifying multi-threaded software using
Ｃｏｒｄｅｉｒｏ　Ｌ，Ｆｉｓｃｈｅｒ　Ｂ．Ｖｅｒｉｆｙｉｎｇ　ｍｕｌｔｉ－ｔｈｒｅａｄｅｄ　ｓｏｆｔｗａｒｅ　ｕｓｉｎｇ
　ＳＭＴ－ｂａｓｅｄ　ｃｏｎｔｅｘｔ－ｂｏｕｎｄｅｄ　ｍｏｄｅｌ　ｃｈｅｃｋｉｎｇ［Ｃ］∥Ｐｒｏｃ
ｏｆ　ＩＣＳＥ’１１，２０１１：３３１－３４０
4 . threader:a constraintbased verifier for multi-thread
Ｇｕｐｔａ　Ａ，Ｐｏｐｅｅａ　Ｃ，Ｒｙｂａｌｃｈｅｎｋｏ　Ａ．Ｔｈｒｅａｄｅｒ：Ａ　ｃｏｎｓｔｒａｉｎｔｂａｓｅｄ
　ｖｅｒｉｆｉｅｒ　ｆｏｒ　ｍｕｌｔｉ－ｔｈｒｅａｄｅｄ　ｐｒｏｇｒａｍｓ［Ｍ］∥Ｃｏｍｐｕｔｅｒ
Ａｉｄｅｄ　Ｖｅｒｉｆｉｃａｔｉｏｎ，Ｂｅｒｌｉｎ　Ｈｅｉｄｅｌｂｅｒｇ：Ｓｐｒｉｎｇｅｒ，２０１１：４１２－
４１７．
5. symbolic predictive analysis for
.　Ｗａｎｇ　Ｃ，Ｋｕｎｄｕ　Ｓ，Ｌｉｍａｙｅ　Ｒ，ｅｔ　ａｌ．Ｓｙｍｂｏｌｉｃ　ｐｒｅｄｉｃｔｉｖｅ　ａｎａｌｙｓｉｓ
　ｆｏｒ　ｃｏｎｃｕｒｒｅｎｔ　ｐｒｏｇｒａｍｓ［Ｊ］．Ｆｏｒｍａｌ　Ａｓｐｅｃｔｓ　ｏｆ
Ｃｏｍｐｕｔｉｎｇ，２０１１，２３（６）：７８１－８０５．

Ａｃｃｕｌｏｃｋ：Ａｃｃｕｒａｔｅ　ａｎｄ　ｅｆｆｉｃｉｅｎｔ　ｄｅｔｅｃｔｉｏｎ
　ｏｆ　ｄａｔａ　ｒａｃｅ

静态检测
3static race detection on millions of lines of code
5runtime analysis of atomicity for multithreaded programs
static datarace analysis for multithreaded objective-oriented programs
动态检测
1a dynamic data race detector for multithreaded programs
6ACCULOCK accurate and efficient detection of data races
7Parallelizing Data Race Detection
8 threadsanitizer:data race detection in practic ＴｈｒｅａｄＳａｎｉｔｉｚｅｒ：Ｄａｔａ　ｒａｃｅ ｄｅｔｅｃｔｉｏｎ　ｉｎ　ｐｒａｃｔｉｃ
9 helgrind : a data race detector Ｈｅｌｇｒｉｎｄ：Ａ　ｄａｔａ　ｒａｃｅ　ｄｅｔｅｃｔｏr
ｄｅｔｅｃｔｉｏｎ　ｉｎ　ｐｒａｃｔｉｃ