linux系统、网络编程和分布式计算

一 ab指令： (1)功能：ab是apache http服务器的性能测试工具。 二 常用参数： *-A 用户名：密码：向服务器提供基本认证信息。 *-c ：指定ab指令并发请求，默认是一次一个。 *-n：指定在测试回话中所执行的请求个数。

一 可达性测试步骤： (1)在给定输入下，以非确定性方式执行被测并发程序，收集执行的同步序列。 (2)对收集到的同步序列进行竞争分析，通过改变同步序列中同步事件的竞争结果构造竞争表，计算满足约束的竞争变体。 (3)以竞争变体为前缀确定性执行被测并发程序，然后以非确定性方式执行程序的后续部分，收集执行的同步序列。 (4)对每一个新的可行的同步序列，重复执行步骤(2)和(3)，直到给定测试输入