Domain-SpecificModelingLanguage(DSML)definedbyinformalwaycannotpreciselyrepresentitsstructuralsemantics,sopropertiesofmodelssuchasconsistencycannotbesystematicallyanalyzedandverified.Inresponse,thepaperproposesanapproachforautomatical-lyreasoningconsistencyofDS
2024/6/29 11:30:31 3MB Domain-Specific Modeling Language (DSML);
1
DistributedSystems(3rd)英文无水印原版pdf第3版pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开本资源转载自网络,如有侵权,请联系上传者或csdn删除查看此书详细信息请在美国亚马逊官网搜索此书Copyright@2017MaartenvanSteenandAndrewS.TanenbaumPublishedbyMaartenvanSteenThisbookwaspreviouslypublishedby:PearsonEducation,IncISBN:978-15-430573-8-6(printedversion)ISBN:978-90-815406-2-9(digitalversion)Edition:3.Version:01(February2017)AllrightstotextandillustrationsarereservedbyMaartenvanSteenandAndrewS.Tanenbaum.Thisworkmaynotbecopied,reproduced,ortranslatedinwholeorpartwithoutwrittenpermissionofthepublisher,exceptforbriefexcerptsinreviewsorscholanyformofinformationstorageadaptationorwhatever,computersoftware,orbysimilarordissimilarmethodsnowknownordevelopedinthefutureisstrictlyforbiddenwithoutwrittenpermissionofthepublisherToMarielle,max,andelkeMVSToSuzanneBarbara,Marvin,Aronnathan,olivia,andmirteASTCONTENTSPreface1Introduction1.1Whatisadistributedsystem?Characteristic1:Collectionofautonomouscomputingelements2Characteristic2:SinglecoherentsystemMiddlewareanddistributedsystems1.2DesigngoalsSupportingresourcesharingMakingdistributiontransparent12Beingscalable15Pitfalls243Typesofdistributedsystems24Highperformancedistributedcomputing25Distributedinformationsystems34Pervasivesystems1.4Summary522Architectures552.1Architecturalstyles56Layeredarchitectures.57Object-basedandservice-orientedarchitectures62Resource-basedarchitectures64Publish-subscribearchitectures2.2MiddlewareorganizationWrappersInterceptors垂番Modifiablemiddleware752.3SystemarchitectureCONTENTSCentralizedorganizations76Decentralizedorganizations:peer-to-peersystemsHybridarchitectures2.4Examplearchitectures94TheNetworkFilesystem94TheWeb982.5Summary3Processes1033.1Threads..104Introductiontothreads104Threadsindistributedsystems1113.2Virtualization116Principleofvirtualizationapplicationofvirtualmachinestodistributedsystems,1223.3Clients124Networkeduserinterfaces124Client-sidesoftwarefordistributiontransparency1273.4Servers128Generaldesignissues129Objectservers133Example:TheApacheWebserver139Serverclusters,,,,,,,1413.5Codemigration152Reasonsformigratingcode152Migrationinheterogeneoussystems1583.6Summary1614Communication4.1Foundations164LayeredProtocols164TypesofCommunication.1724.2Remoteprocedurecall..173Basicrpcoperation174Parameterpassing178RPC-basedapplicationsupport182VariationsonrPc185Example:dCErPc,.1884.3Message-orientedcommunication193Simpletransientmessagingwithsockets.193Advancedtransientmessaging198Message-orientedpersistentcommunication206Example:IBM'sWebSpheremessage-queuingsystem212Example:AdvancedMessageQueuingProtocol(AMQP)....218DS3.01DOWNLOADEDBYTEWIGOMIXMAIL.INFOCONTENTS4.4Multicastcommunication221Application-leveltree-basedmulticasting221Flooding-basedmulticasting225Gossip-baseddatadissemination2294.5Summary2345Naming2375.1Names,identifiersandaddresses2385.2Flatnaming.241Simplesolutions241Home-basedapproaches245Distributedhashtables246Hierarchicalapproaches2515.3Structurednaming256Namespaces.256Nameresolution259Theimplementationofanamespace264Example:TheDomainNameSystem271Example:TheNetworkFileSystem2785.4Attribute-basednaming283Directoryservices283Hierarchicalimplementations:LDAP285Decentralizedimplementations2885.5Summary2946Coordination2976.1Clocksynchronization.298Physicalclocks299Clocksynchronizationalgorithms3026.2Logicalclocks310Lamport'slogicalclocks310Vectorclocks3166.3Mutualexclusion321322acentralizedalgorithm.322adistributedalgorithm323atoken-ringalgorithm.325adecentralizedalgorithm3266.4Electionalgorithms329Thebullyalgorithm.,..330Aringalgorithm332Electionsinwirelessenvironments333Electionsinlarge-scalesystems.3356.5Locationsystems336DOWNLOADEDBYTEWIGOMIXMAIL.INFODS301VIllCONTENTSGPS:GlobalPositioningSystem337WhengPsisnotanoption339Logicalpositioningofnodes3396.6Distributedeventmatching..343Centralizedimplementations3436.7Gossip-basedcoordination349asgregation349Apeer-samplingservice350Gossip-basedoverlayconstruction3526.8Summary3537Consistencyandreplication3557.1Introduction356Reasonsforreplication356Replicationasscalingtechnique3577.2Data-centricconsistencymodels358Continuousconsistency359Consistentorderingofoperations364Eventualconsistency3737.3Client-centricconsistencymodels375MonotonicreadsMonotonicwrites.379Readyourwrite380Writesfollowreads3827.4ReplicamanagementFindingthebestserverlocation383Contentreplicationandplacement..385Contentdistribution..388Managingreplicatedobjects3937.5Consistencyprotocols.396Continuousconsistency..........396Primary-basedprotocols398Replicated-writeprotocolsCache-coherence403Implementingclient-centricconsistency,,...4077.6Example:CachingandreplicationintheWeb4097.7Summar4208Faulttoleran4238.1Introductiontofaulttolerance424Basicconcepts.424Failuodels427Failuremaskingbyredundancy8.2Processresilience432DS3.01DOWNLOADEDBYTEWIGOMIXMAIL.INFO
2024/6/24 6:52:56 36.95MB Distributed Systems
1
HennessyandPattersonwrotethefirsteditionofthisbookwhengraduatestudentsbuiltcomputerswith50,000transistors.Today,warehouse-sizecomputerscontainthatmanyservers,eachconsistingofdozensofindependentprocessorsandbillionsoftransistors.Theevolutionofcomputerarchitecturehasbeenrapidandrelentless,butComputerArchitecture:AQuantitativeApproachhaskeptpace,witheacheditionaccuratelyexplainingandanalyzingtheimportantemergingideasthatmakethisfieldsoexciting.
2024/6/20 9:58:41 23.76MB computer arc
1
Thishands-onguidecutsshortthepreambleandgetsstraighttothepoint–actuallycreatinggraphics,insteadofjusttheoreticallearning.Eachrecipeisspecificallytailoredtosatisfyyourappetiteforproducingreal-time3-DgraphicsusingGLSL4.0.IfyouareanOpenGLprogrammerlookingtousethemodernfeaturesofGLSL4.0tocreatereal-time,three-dimensionalgraphics,thenthisbookisforyou.FamiliaritywithOpenGLprogramming,alongwiththetypical3Dcoordinatesystems,projections,andtransformationsisassumed.ItcanalsobeusefulforexperiencedGLSLprogrammerswhoarelookingtoimplementthetechniquesthatarepresentedhere.
2024/6/17 21:28:51 7.28MB OpenGL GLSL
1
Sharinghealthcaredatabetweeninstitutionsischallenging.Heterogeneousdatastructuresmayprecludecompatibility,whiledisparateuseofhealthcareterminologylimitsdatacomprehension.Evenifstructureandsemanticscouldbeagreedupon,bothsecurityanddataconsistencyconcernsabound.Centralizeddatastoresandauthorityprovidersareattractivetargetsforcyberattack,andestablishingaconsistentviewofthepatientrecordacrossadatasharingnetworkisproblematic.InthisworkwepresentaBlockchain-basedapproachtosharingpatientdata.Thisapproachtradesasinglecentralizedsourceoftrustinfavorofnetworkconsensus,andpredicatesconsensusonproofofstructuralandsemanticinteroperability.
2024/5/26 3:19:09 402KB 区块链 医疗 交易网络
1
原则英文版,总页数为586页,是完整的,此版本是我付费在别的网站上下载的ThankyoufordownloadingthisSimonSchusterebookGetaFreeebookwhenyoujoinourmailinglist.Plus,getupdatesonnewreleases,dealsrecommendedreads,andmorefromSimonSchusterClickbelowtosignupandseetermsandconditionsCLICKHERETOSIGNUPAlreadyasubscriber?Provideyouremailagainsowecanregisterthisebookandsendyoumoreofwhatyouliketoread.YouwillcontinuetoreceiveexclusiveoffersinyourinboxPRINCIPLESRAYDALIOsiMonSCHUSTERNEWYORKLONDONTORONTOSYDNEYNEWDELHIPARTIW豆EREIMCOMIINGFRON1MyCalltoAdventure:1949-19672CrossingtheThreshold:1967-19793MyAbyss:1979-19824MyRoadofTrials:1983-19945TheUltimateBoon:1995-20106ReturningtheBoon:2011-20157MyLastYearandMyGreatestChallenge:2016-20178LookingBackfromaHigherLevelPARTIILIFEPRINCIPLES1EmbraceRealityandDealwithIt2Usethe5-StepProcesstoGetWhatYouWantOutofLife3BeRadicallyOpen-Minded4UnderstandThatPeopleAreWiredVeryDifferently5LearnHowtoMakeDecisionsEffectivelyLifePrinciples:PuttingItAllTogetherSummaryandTableoflifePrinciplesPARTIIIWORKPRINCIPLESSummaryandTableofWorkPrinciplesTOGETTHECULTURERIGHT1TrustinRadicalTruthandRadicalTransparency2CultivateMeaningfulWorkandMeaningfulRelationships3CreateaCultureinWhichItIsOkaytoMakeMistakesandUnacceptableNottoLearnoem4GetandStayinSync5BelievabilityWeightYourDecisionMaking6RecognizeHowtoGetBeyondDisagreementsTOGETTHEPEOPLERIGHT7RememberThattheWHOIsMoreImportantthantheWhat8HireRight,BecausethePenaltiesforHiringWrongAreHuge9ConstantlyTrain,Test,Evaluate,andSortPeopleTOBUILDANDEVOLVEYOURMACHINE10ManageasSomeoneOperatingaMachinetoAchieveagoal11PerceiveandDon'tTolerateproblems12DiagnoseProblemstoGetatTheirrootcauses13DesignImprovementstoYourMachinetoGetAroundYourProblems14DoWhatYouSetOuttodo15USeToolsandProtocolstoShapeHowWorkIsDone16AndforHeaven'sSakeDontOverlookGovernanceWorkPrinciples:PuttingItAllTogetherACKNOWLEDGMENTSABOUTTHEAUTHORCONCLUSIONAPPENDIX.TOOLSANDPROTOCOLSFORBRIDGEWATERSIDEAMERITOCRACYBIBLIOGRAPHYINDEXToBarbara.thehalfmewhohasmademewholeformorethanfortyyearsINTRODUCTIONBeforeibegintellingyouwhatIthink,IwanttoestablishthatI'ma"dumbshit'whodoesntknowmuchrelativetowhatineedtoknowWhateversuccessI'vehadinlifehashadmoretodowithmyknowinghowtodealwithmynotknowingthananythingIknow.ThemostimportantthingIlearnedisanapproachtolifebasedonprinciplesthathelpsmefindoutwhat'strueandwhattodoaboutitI'mpassingalongtheseprinciplesbecauseiamnowatthestageinmylifewhichIwanttohelpothersbesuccessfulratherthantobemoresuccessfulmyself.Becausetheseprincipleshavehelpedmeandotherssomuch,Iwanttosharethemwithyou.It'suptoyoutodecidehowvaluabletheyreallyareandwhat,ifanythingyouwanttodowiththemPrinciplesarefundamentaltruthsthatserveasthefoundationsforbehaviorthatgetsyouwhatyouwantoutoflife.TheycanbeappliedagainandagaininsimilarsituationstohelpyouachieveyourgoalsEveryday,eachofusisfacedwithablizzardofsituationswemustrespondto.Withoutprincipleswewouldbeforcedtoreacttoallthethingslifethrowsatusindividually,asifwewereexperiencingeachofthemforthefirsttime.Ifinsteadweclassifythesesituationsintotypesandhavegoodprinciplesfordealingwiththemwewillmakebetterdecisionsmorequicklyandhavebetterlivesasaresult.Havingagoodsetofprinciplesislikehavingagoodcollectionofrecipesforsuccess.Allsuccessfulpeopleoperatebyrinciplesthathelpthembesuccessful,thoughwhattheychoosetobesuccessfulatvariesenormouslysotheirprinciplesvarTobeprincipledmeanstoconsistentlyoperatewithprinciplesthatcanbeclearlyexplained.Unfortunately,mostpeoplecantdothat.Andit'sveryrareforpeopletowritetheirprinciplesdownandsharethemThatisashame.IwouldlovetoknowwhatprinciplesguidedAlbertEinstein,SteveJobsWinstonChurchill,LeonardodaVinci,andotherssoIcouldclearlyunderstandwhattheyweregoingafterandhowtheyachieveditandcouldcomparetheirdifferentapproaches.I'dliketoknowwhichprinciplesaremostimportanttothepoliticianswhowantmetovoteforthemandtoalltheotherpeoplewhosedecisionsaffectme.Dowehavecommonprinciplesthatbindustogether-asafamly,asacommunity,asanation,asfriendsacrossnations?O1dowehaveopposingprinciplesthatdivideus?whatarethey?letsbespecificThisisatimewhenitisespeciallyimportantforustobeclearaboutourprinciplesMyhopeisthatreadingthisbookwillpromptyouandotherstodiscoveryourownprinciplesfromwhereveryouthinkisbestandideallywritetheedown.Doingthatwillallowyouandotherstobeclearaboutwhatyourprinciplesareandunderstandeachotherbetter.Itwillallowyoutoretinethemasyouencountermoreexperiencesandtoreflectonthem,whichwillhelpyoumakebetterdecisionsandbebetterunderstoodHAVINGYOUROWNPRINCIPLESWecomebyourprinciplesindifferentways.Sometimeswegainthemthroughourownexperiencesandreflections.Sometimesweacceptthemfromothers,likeourparents,orweadoptholisticpackagesofprinciples,suchasthoseofreligionsandlegalframeworksBecauseweeachhaveourowngoalsandourownnatures,eachofusmustchooseourownprinciplestomatchthem.Whileitisntnecessarilyabadthingtouseothers'principles,adoptingprincipleswithoutgivingthemmuchthoughtcanexposeyoutotheriskofactinginwaysinconsistentwithyourgoalsandyournature.Atthesametime,you,likeme,probablydontknoweverythingyouneedtoknowandwouldbewisetoembracethatfact.Ifyoucanthinkforyourselfwhilebeingopen-mindedinaclearheadedwaytofindoutwhatisbestforyoutodo,andifyoucansummonupthecouragetodoityouwillmakethemostofyourlife.Ifyoucantdothat,youshouldreflectonwhythatis,becausethat'smostlikelyyourgreatestimpedimenttogettingmoreofwhatyouwantoutoflifeThatbringsmetomyfirstprincipleThinkforyourselftodecide1,whatyouwant,2ywhatistrue,and3,whatyoushoulddotoachieve#1inlightof#2anddothatwithhumilityandopen-mindednesssothatyouconsiderthebestthinkingavailabletoyou.Beingclearonyourprinciplesisimportantbecausetheywillaffectallaspectsofyourlife,manytimesaday.Forexample,whenyouenterintorelationshipswithothers,yourprinciplesandtheirprincipleswilldeterminehowyouinteract.Peoplewhohavesharedvaluesandprinciplesgetlong.Peoplewhodontwillsufferthroughconstantmisunderstandingsandconflicts.Thinkaboutthepeopleyouareclosestto:Aretheirvaluesalignedwithyours?Doyouevenknowwhattheirvaluesorprinciplesare?Tooofteninrelationships,people'sprinciplesarentclear.ThisisespeciallyproblematicinorganizationswherepeopleneedtohavesharedprinciplestobesuccessfulBeingcrystalclearaboutmyprinciplesiswhyIlaboredsomuchovereverysentenceinthisbookTheprinciplesyouchoosecanbeanythingyouwantthemtobeaslongastheyareauthentic--i.e,aslongastheyreflectyourtruecharacterandvalues
2024/5/6 16:18:33 6.58MB 工作 生活
1
ProfessionalExcelDevelopment:TheDefinitiveGuidetoDevelopingApplicationsUsingMicrosoftExcel,VBA,and.NET(2ndEdition)2ndEditionbyRobBovey(Author),DennisWallentin(Author),StephenBullen(Author),JohnGreen(Author)“AsExcelapplicationsbecomemorecomplexandtheWindowsdevelopmentplatformmorepowerful,Exceldevelopersneedbookslikethistohelpthemevolvetheirsolutionstothenextlevelofsophistication.ProfessionalExcelDevelopmentisabookfordeveloperswhowanttobuildpowerful,state-of-the-artExcelapplicationsusingthelatestMicrosofttechnologies.”–GabhanBerry,ProgramManager,ExcelProgrammability,Microsoft“ThefirsteditionofProfessionalExcelDevelopmentismymost-consultedandmost-recommendedbookonOfficedevelopment.Thesecondeditionexpandsboththedepthandrange.Itshinesbecauseittakeseveryissueonestepfurtherthanyouexpect.Thebookreliesontheauthors’current,real-worldexperiencetocovernotonlyhowafeatureworks,butalsothepracticalimplicationsofusingitinprofessionalwork.”–ShaunaKelly,Director,ThendaraGreen“Thisbookillustratestechniquesthatwillresultinwell-designed,robust,andmaintainableExcel-basedapplications.Theauthors’advicecomesfromdecadesofsolidexperienceofdesigningandbuildingapplications.Thepracticalityofthemethodsiswellillustratedbytheexampletimesheetapplicationthatisdevelopedstep-by-stepthroughthebook.EveryseriousExceldevelopershouldreadthisandlearnfromit.Idid.”–BillManville,ApplicationDeveloper,BillManvilleAssociatesTheStart-to-FinishGuidetoBuildingState-of-the-ArtSolutionswithExcel2007Inthisbook,fourworld-classMicrosoft®Exceldevelopersofferstart-to-finishguidanceforbuildingpowerful,robust,andsecureapplicationswithExcel.Theauthors—threeofwhomhavebeenhonoredbyMicrosoftasExcelMostValuableProfessionals(MVPs)—showhowtoconsist
2024/4/25 5:31:14 17.69MB Excel
1
Idealforgraduateandseniorundergraduatecoursesincomputerarithmeticandadvanceddigitaldesign,ComputerArithmetic:AlgorithmsandHardwareDesigns,SecondEdition,providesabalanced,comprehensivetreatmentofcomputerarithmetic.Itcoverstopicsinarithmeticunitdesignandcircuitimplementationthatcomplementthearchitecturalandalgorithmicspeeduptechniquesusedinhigh-performancecomputerarchitectureandparallelprocessing.Usingaunifiedandconsistentframework,thetextbeginswithnumberrepresentationandproceedsthroughbasicarithmeticoperations,floating-pointarithmetic,andfunctionevaluationmethods.Laterchapterscoverbroaddesignandimplementationtopics-includingtechniquesforhigh-throughput,low-power,fault-tolerant,andreconfigurablearithmetic.Anappendixprovidesahistoricalviewofthefieldandspeculatesonitsfuture.Anindispensableresourceforinstruction,professionaldevelopment,andresearch,ComputerArithmetic:AlgorithmsandHardwareDesigns,SecondEdition,combinesbroadcoverageoftheunderlyingtheoriesofcomputerarithmeticwithnumerousexamplesofpracticaldesigns,worked-outexamples,andalargecollectionofmeaningfulproblems.Thissecondeditionincludesanewchapteronreconfigurablearithmetic,inordertoaddressthefactthatarithmeticfunctionsareincreasinglybeingimplementedonfield-programmablegatearrays(FPGAs)andFPGA-likeconfigurabledevices.Updatedandthoroughlyrevised,thebookoffersnewandexpandedcoverageofsaturatingaddersandmultipliers,truncatedmultipliers,fusedmultiply-addunits,overlappedquotientdigitselection,bipartiteandmultipartitetables,reversiblelogic,dotnotation,modulararithmetic,Montgomerymodularreduction,divisionbyconstants,IEEEfloating-pointstandardformats,andintervalarithmetic.Features:*Dividedinto28lecture-sizechapters*Emphasizesboththeunderlyingtheoriesofcomputerarithmeticandactua
2024/3/24 20:18:29 8.14MB Computer Arithmetic Algorithms
1
ApacheKylin是首个完全由中国团队设计开发,并贡献到Apache软件基金会(ASF)的顶级项目,开源一年左右的时间,已经在国内国际多个公司被采用作为大数据分析平台的关键组成部分,拥有大量用户案例。
魅族大数据平台架构师赵天烁在?8月13日的【创客168】第7期:大数据平台架构及应用实践和9月22日的第三届互联网应用技术峰会上进行了“大数据多维分析引擎在魅族的实践”的分享。
ApacheKylin近日获得授权分享这则案例,希望对您有所帮助。
在此感谢赵天烁先生的精彩分享。
Kylin这匹神兽在大数据圈儿内已经逐渐成为一个无法忽视的存在,它让你能够通过标准SQL(ANSISQL子集)在一个100亿
1
Achecksumisanalgorithmthatscansapacketofdataandreturnsasinglenumber.Theideaisthatifthepacketischanged,thechecksumwillalsochange,sochecksumsareoftenusedfordetectingtransmissionerrors,validatingdocumentcontents,andinmanyothersituationswhereitisnecessarytodetectundesirablechangesindata.Forthisproblem,youwillimplementachecksumalgorithmcalledQuicksum.AQuicksumpacketallowsonlyuppercaselettersandspaces.Italwaysbeginsandendswithanuppercaseletter.Otherwise,spacesandletterscanoccurinanycombination,includingconsecutivespaces.AQuicksumisthesumoftheproductsofeachcharacter'spositioninthepackettimesthecharacter'svalue.Aspacehasavalueofzero,whilelettershaveavalueequaltotheirpositioninthealphabet.So,A=1,B=2,etc.,throughZ=26.HereareexampleQuicksumcalculationsforthepackets"ACM"and"MIDCENTRAL":ACM:1*1+2*3+3*13=46MIDCENTRAL:1*13+2*9+3*4+4*0+5*3+6*5+7*14+8*20+9*18+10*1+11*12=650InputTheinputconsistsofoneormorepacketsfollowedbyalinecontainingonly#thatsignalstheendoftheinput.Eachpacketisonalinebyitself,doesnotbeginorendwithaspace,andcontainsfrom1to255characters.OutputForeachpacket,outputitsQuicksumonaseparatelineintheoutput.SampleInputACMMIDCENTRALREGIONALPROGRAMMINGCONTESTACNACMABCBBC#SampleOutput46650469049751415
2024/2/28 16:27:03 432B ACM
1
共 87 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡