lustre1.6的安装配置 Lustre 一个Lustre 集群由下面主体三类系统组成 – i. The Meta Data Server ( MDS ) : 元数据服务器 ii. The Object Storage Servers ( OSS ) : 对象存储服务器 iii. The Clients : 客户端
The language LUSTRE, and its associated verification tool LESAR,can be used to design a program, to specify its critical properties, and to verify these properties