自己花钱买的电子书,高清完整版!很实用的教材,读起来一点也不晦涩。
目录译者序前言第1章概论1.1推动因素1.2基本计算机组成1.3分布式系统的定义1.4我们的模型1.5互连网络1.6应用与标准1.7范围1.8参考资料来源参考文献习题第2章分布式程序设计语言2.1分布式程序设计支持的需求2.2并行/分布式程序设计语言概述2.3并行性的表示2.4进程通信与同步2.5远程过程调用2.6健壮性第3章分布式系统设计的形式方法3.1模型的介绍3.1.1状态机模型3.1.2佩特里网3.2因果相关事件3.2.1发生在先关系3.2.2时空视图3.2.3交叉视图3.3全局状态3.3.1时空视图中的全局状态3.3.2全局状态:一个形式定义3.3.3全局状态的“快照”3.3.4一致全局状态的充要条件3.4逻辑时钟3.4.1标量逻辑时钟3.4.2扩展3.4.3有效实现3.4.4物理时钟3.5应用3.5.1一个全序应用:分布式互斥3.5.2一个逻辑向量时钟应用:消息的排序3.6分布式控制算法的分类3.7分布式算法的复杂性第4章互斥和选举算法4.1互斥4.2非基于令牌的解决方案4.2.1Lamport算法的简单扩展4.2.2Ricart和Agrawala的第一个算法4.2.3Maekawa的算法4.3基于令牌的解决方案4.3.1Ricart和Agrawala的第二个算法4.3.2一个简单的基于令牌环的算法4.3.3一个基于令牌环的容错算法4.3.4基于令牌的使用其他逻辑结构的互斥4.4选举4.4.1Chang和Roberts的算法4.4.2非基于比较的算法4.5投标4.6自稳定第5章死锁的预防、避免和检测5.1死锁问题5.1.1死锁发生的条件5.1.2图论模型5.1.3处理死锁的策略5.1.4请求模型5.1.5资源和进程模型5.1.6死锁条件5.2死锁预防5.3一个死锁预防的例子:分布式数据库系统5.4死锁避免5.5一个死锁避免的例子:多机器人的灵活装配单元5.6死锁检测和恢复5.6.1集中式方法5.6.2分布式方法5.6.3等级式方法5.7死锁检测和恢复的例子5.7.1AND模型下的Chandy,Misra和Hass算法5.7.2AND模型下的Mitchell和Merritt算法5.7.3OR模型下的Chandy,Misra和Hass算法第6章分布式路由算法6.1导论6.1.1拓扑6.1.2交换6.1.3通信类型6.1.4路由6.1.5路由函数6.2一般类型的最短路径路由6.2.1Dijkstra集中式算法6.2.2Ford的分布式算法6.2.3ARPAnet的路由策略6.3特殊类型网络中的单播6.3.1双向环6.3.2网格和圆环6.3.3超立方6.4特殊类型网络中的广播6.4.1环6.4.22维网格和圆环6.4.3超立方6.5特殊类型网络中的组播6.5.1一般方法6.5.2基于路径的方法6.5.3基于树的方法第7章自适应、无死锁和容错路由7.1虚信道和虚网络7.2完全自适应和无死锁路由7.2.1虚信道类7.2.2逃逸信道7.3部分自适应和无死锁路由7.4容错单播:一般方法7.52维网格和圆环中的容错单播7.5.1基于局部信息的路由7.5.2基于有限全局信息的路由7.5.3基于其他故障模型的路由7.6超立方中的容错单播7.6.1基于局部信息的模型7.6.2基于有限全局信息的模型:安全等级7.6.3基于扩展安全等级模型的路由:安全向量7.7容错广播7.7.1一般方法7.7.2使用全局信息的广播7.7.3使用安全等级进行广播7.8容错组播7.8.1一般方法7.8.2基于路径的路由7.8.3使用安全等级在超立方中进行组播第8章分布式系统的可靠性8.1基本模型8.2容错系统设计的构件模块8.2.1稳定存储器8.2.2故障-停止处理器8.2.3原子操作8.3节点故障的处理8.3.1向后式恢复8.3.2前卷式恢复8.4向后恢复中的问题8.4.1检查点的存储8.4.2检查点方法8.5处理拜占庭式故障8.5.1同步系统中的一致协议8.5.2对一个发送者的一致8.5.3对多个发送者的一致8.5.4不同模型下的一致8.5.5对验证消息的一致8.6处理通信故障8.7处理软件故障第9章静态负载分配9.1负载分配的分类9.2静态负载分配9.2.1处理器互连9.2.2任务划分9.2.3任务分配9.3不同调度模型概述9.4基于任务优先图的任务调度9.5案例学习:两种最优调度算法9.6基于任务相互关系图的任务调度9.7案例学习:域划分9.8使用其他模型和目标的调度9.8.1网络流量技术:有不同处理器能力的任务相互关系图9.8.2速率单调优先调度和期限驱动调度:带实时限制的定期任务9.8.3通过任务复制实现故障安全调度:树结构的任务优先图9.9未来的研究方向第10章动态负载分配10.1动态负载分配10.1.1动态负载分配的组成要素10.1.2动态负载分配算法10.2负载平衡设计决策10.2.1静态算法对动态算法10.2.2多样化信息策略10.2.3集中控制算法和分散控制算法10.2.4移植启动策略10.2.5资源复制10.2.6进程分类10.2.7操作系统和独立任务启动策略10.2.8开环控制和闭环控制10.2.9使用硬件和使用软件10.3移植策略:发送者启动和接收者启动10.4负载平衡使用的参数10.4.1系统大小10.4.2系统负载10.4.3系统交通强度10.4.4移植阈值10.4.5任务大小10.4.6管理成本10.4.7响应时间10.4.8负载平衡视界10.4.9资源要求10.5其他相关因素10.5.1编码文件和数据文件10.5.2系统稳定性10.5.3系统体系结构10.6负载平衡算法实例10.6.1直接算法10.6.2最近邻居算法:扩散10.6.3最近邻居算法:梯度10.6.4最近邻居算法:维交换10.7案例学习:超立方体多计算机上的负载平衡10.8未来的研究方向第11章分布式数据管理11.1基本概念11.2可串行性理论11.3并发控制11.3.1基于锁的并发控制11.3.2基于时戳的并发控制11.3.3乐观的并发控制11.4复制和一致性管理11.4.1主站点方法11.4.2活动复制11.4.3选举协议11.4.4网络划分的乐观方法:版本号向量11.4.5网络分割的悲观方法:动态选举11.5分布式可靠性协议第12章分布式系统的应用12.1分布式操作系统12.1.1服务器结构12.1.2八种服务类型12.1.3基于微内核的系统12.2分布式文件系统12.2.1文件存取模型12.2.2文件共享语义12.2.3文件系统合并12.2.4保护12.2.5命名和名字服务12.2.6加密12.2.7缓存12.3分布式共享内存12.3.1内存相关性问题12.3.2Stumm和Zhou的分类12.3.3Li和Hudak的分类12.4分布式数据库系统12.5异型处理12.6分布式系统的未来研究方向附录DCDL中的通用符号列表
2024/12/20 22:56:08 29.64MB 分布式系统设计 jie wu著 高传善
1
一,使用USBToolBox定制https://github.com/USBToolBox请下载tool和kext,推荐在win下打开定制工具,定制过程非常简单,使用USB2.0和USB3.0各一个U盘,把所有的接口都插一遍,然后导出map.kext,将该kext和之前下载的另一个kext,总共两个kext放入efi加载并重启系统。
二,使用hackintool完善使用usbtoolbox定制后如果没有操作错误,已经可以正常使用。
使用usbtoolbox定制会有两个问题,一是usbtoolbox不会将蓝牙,摄像头,读卡器之类的硬件设置为内建,所以需要使用hackintlool把接口类型改为internal,然后导出usbport.kext,删除usbtoolbox的两个kext,启用usbport.kext。
二是usbtoolbox可能会在oc升级后失效,所以使用hackintool导出usbport.kext是最好的方法。
2024/12/20 20:52:27 11.29MB macos
1
这是一个基于qt5的共享内存QSharememory的测试程序.在win下面编译,自己写的,可以实现不同的应用程序中IPC通信,封装了一个类,非常方便使用。
//具体的测试方法是,运行程序,弹出一个dialog.5个按钮,两列,左边一列是设置共享内存,//右边一列是读取共享内存,左右是对应的,先点击左边的,点击一次之后,内存设置了。
//然后点击右边的按钮,或者其他应用程序也可以读取这个程序的内存。
整个工程开源,打包,编译即可测试,也可以编译成两个独立的应用程序测试。
同时支持跨平台,在linux下面测试过。
侵入式版本linux也可用
1
转换源码在SqlConvertToOracle.pas中,该转换过程负则将SQLServer的一些语法特性翻译为Oracle支持的形式,也包括常用的函数,支持复杂的SQL,例如嵌套/子查询等。
这是小弟为了一个Oracle项目的应急之作,我们的系统(Delphi的三层架构)一直运行在sqlserver下面,当时客户指定需要的是支持Oracle版本的应用系统,这个系统不小,如果要将里面的SQL全部转换为Oracle,需要大量的时间及人力和物力,为了在短期内完成任务,小弟想到了“自动翻译”的方法,其难度是可想而知的,不过幸好我们的系统设计还算合理,所在的SQL都是由中间层一个统一的过程来执行的,在写好这个转换过程后,我在中间层那个执行SQL的过程中对调用者传进的SQL进行转换后再执行,就基本完成了整个系统的SQL语法从SQLServer到Oracle的兼容,呵呵,听起来有点不可思议。
系统已经于3个月前上线,目前运行很稳定。
如果有人用得着或发现什么问题,请加我的QQ:229481711,同时请支持一下本人的报表控件作品(AcReport):http://download.csdn.net/detail/shaoyy/3674310
2024/12/20 11:41:51 220KB SQLServer Oracle SQL 翻译
1
知识无价5分不算多2.1开发背景  2.2系统分析  2.2.1需求分析  2.2.2可行性分析  2.3系统设计  2.3.1系统目标  2.3.2系统功能结构  2.3.3构建开发环境  2.3.4系统界面预览  2.3.5系统目录结构与框架  2.4.数据库设计  2.4.1数据库分析  2.4.2项目E-R图  2.4.3数据库基本表的设计  2.4.4数据库数据表的设计  2.5开发前的准备工作  2.5.1表的创建与记录插入  2.5.2数据源的配置  2.5.3Spring的配置  2.5.4Hibernate的配置  2.6登录及注销模块  2.6.1登录页面的设计  2.6.2SeiMet的配置  2.6.3登录动作的实现  2.6.4业务方法的实现  2.6.5注销动作的实现  2.7首页的开发  2.8商品资料管理模块
1
用一个星期研究GD32F4系列的单片机,因为公司项目越来越偏向与GD系列的片子,就借着GD32F407的片子,使用LAN8720的PHY芯片移植了最新的FreeRTOS10.2.0系统,顺便移植进了LWIP2.0.2网络协议,倒腾了一个星期,重要是调通了,感觉还是有些问题,上传上来给后来人当个参考吧,使用的库文件是GD32自带的库,不是STM32的库文件,问题估计肯定是有的,后续再深入研究吧,可以给后来人当个参考吧,也欢迎高手留言推荐问题解决方法!
2024/12/20 9:28:39 36.49MB GD32F4 FreeRT LWIP2.
1
c#DATAGRID使用方法c#DATAGRID使用方法c#DATAGRID使用方法c#DATAGRID使用方法
1
在不同开发环境中TextOut方法的正确使用
2024/12/20 5:14:18 151KB TextOut MFC
1
ibaAnalyzer分析软件主要用来分析数据曲线,想要较好的分析数据,就要熟练掌握iba(pda)Analyzer分析软件使用方法,正确使用,能够使你的分析工作事半功倍
2024/12/20 5:24:18 58.04MB 工具
1
基于信道预测的协作中继选择方法
2024/12/20 3:38:54 304KB 研究论文
1
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡