双机集群软件选择的基本方法

随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同

高可用性工具软件,双机热备工具软件,能够监控目标系统的连通性。在目标系统意外停机时,添加虚拟ip并执行启动脚本,接替目标系统的工作,实现双机热备和高可用性的功能。

针对目前PLC控制系统双机冗余方法的缺陷和不足,提出了一种基于MAC的PLC双机冗余系统。PLC双机冗余系统由两个完全相同的PLC控制器组成,每个控制器都带有专用的MAC控制器作为冗余通信的数据收发器

主要介绍了Nginx+Keepalived实现双机主备的方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧

在两台微机距离不太远(比如不超过20米)的情况下，可考虑通过计算机的并行口或RS-232串行口直接对接实现通讯。采用端口连接双机进行数据传输，不需要网卡，不需要调制解调器，是一种通讯和数据传输的简单易

在linux操作系统下，配置mysql,实现mysql的双机热备功能

在分析商用双机热备系统在煤矿应用的局限性基础上,提出了一种适用于中小煤矿的双机热备系统纯软件实现方法。该方法采用单/双工混合运行模式保证双机实时性能和数据一致性,采用心跳线连接和对等网络消息传递机制实

Cross Site Mirroring,这是一个硬件级别的方案,通过镜像方式来实现两台服务器之间的数据同步复制,可以弥补软件方式带来的潜在问题。Cross Site Mirroring实现双机热备的

redis集群方法

weblogic集群部署方法，使用weblogic自带的集群工具尽心部署的