加入VIP
  • 专属下载特权
  • 现金文档折扣购买
  • VIP免费专区
  • 千万文档免费下载

上传资料

关闭

关闭

关闭

封号提示

内容

首页 博士论文(东京大学,1992) A_Study_of_Designing_Distributed…

博士论文(东京大学,1992) A_Study_of_Designing_Distributed_and_Persistent_Computing_Systems.pdf

博士论文(东京大学,1992) A_Study_of_Desi…

yhm1234567yhm
2013-10-23 0人阅读 举报 0 0 暂无简介

简介:本文档为《博士论文(东京大学,1992) A_Study_of_Designing_Distributed_and_Persistent_Computing_Systemspdf》,可适用于IT/计算机领域

AStudyofDesigningDistributedandPersistentComputingSystemsKazuhikoKatoADissertationSubmittedtotheDepartmentofInformationScience,FacultyofScience,UniversityofTokyoinPartialFulfillmentoftheRequirementsfortheDegreeofDoctorofScienceJune,AbstractThisthesisdescribesanewdistributedcomputingsysteminwhichallprograms,data,andexecutionimagesareallowedtobebothdistributedandpersistentTheessenceofdistributedcomputingcanberegardedasinformationexchangebetweendifferentaddressspacesofdifferentcomputersitestheessenceofpersistentcomputingcanberegardedasinformationexchangebetweenavolatilevirtualaddressspaceofanapplicationsessionandpersistentstoreThisthesispresentsadistributedsharedrepository(DSR)designedonthisobservationTheDSRallowsapplicationprogramstohandledistributionandpersistencyinaunifiedframeworkTodistributeanystaticallytypeddataincludinghigherorderfunctionsandpointers,thehigherorderremoteprocedurecallstechniqueisproposedinthisthesisThistechniquecanalsoprovideabasisforamultilanguageabstractdatatypesystemandamultilanguagepersistentsystemAsanapplicationofthistechnique,designandimplementationoftheDistributedClanguagearealsodescribedToimprovetheproductivityofdistributeddataprocessing,alanguagebasedonlistcomprehensionsispresentedinthisthesisThelanguageallowsprogrammerstoveryconciselydescribemosttypicaldataretrievaloperationsonahigherdescriptionlevelByapplyinguncomplicatedprogramtransformationrules,severalindependentlydescribedfunctionscanbesynthesizedintoasinglefunction,andfunctionscanbeeasilytransformedintoproceduralprogramsofalowerlevelthatcommunicateandsynchronizewithoneanotherinasharednothingdistributedenvironmentTosharepersistentdataamongindependentlydevelopedapplicationprograms,thetypeinformationofthepersistentdatashouldbekeptindependentoftheapplicationprogramsForthispurpose,thecomplexobjectfilesystempresentedinthisthesismanagestypesaswellasthepersistentdataitselfInthefilesystem,persistentobjectsarecomposedofbasicdatatypes,predefinedconstructortypessuchasthetupleorsettypes,userdefinedtypes,oracombinationoftheseAcomplexobjectcanbecomposedofseveralsubobjectsbyreferencingtheobjectidentifiers(OIDs)ofthesubobjectsOneofthemostcostlyoperationsoncomplexobjectsisanavigationoperationthatdereferencesareferencebyanobjectidentifier,sinceeachnavigationgenerallycausesdiskaccessThisthesisproposesapersistentcachingtechnique,akindofreplicationtechniqueusingsecondarystorageThetechniquereducesthenumberofdiskaccessesinnavigationoperationsStoringareplicaofapartorthewholeofthesubobjectswithinthepagecontainingtheparentobjecteliminatestheneedforadditionaldiskaccesseswhendereferencingtheobjectidentifiersofthesubobjectsTomaintainconsistencybetweenareplicaandtheoriginal,thetechniqueusesaninvalidationschemebasedontimestampsBythescheme,updatepropagationtoreplicasisdelayeduntilthereferencetime,andtheoverheadofupdatepropagationisminimizedIdeeplythankthecommitteemembersofmythesis,AkinoriYonezawa(Chair),MasamiHagiya,KeiHiraki,KentaroShimizu,andShojiroNishioAcknowledgementsMydeepestthanksgotomymentor,TakashiMasudaHisguidancedatesbacktomyfirstyearinuniversityInanintroductorylecturehegaveoncomputersciences,hedescribedcomputersystemsfromtheviewpointofanoperatingsystemsresearcherThelecturewasveryimpressiveformeandstimulatedmyinterestinsystemsoftwareSincethen,hehasprovidedmewithenormousencouragementandperspectiveinmystudiesonsystemsoftwareincludingoperatingsystems,databasesystems,andprogramminglanguagesIdeeplythankthecommitteemembersofmythesis,AkinoriYonezawa(Chair),MasamiHagiya,KeiHiraki,KentaroShimizu,andShojiroNishioIowespecialthankstoYasushiKiyokiHeledmetotheinterestingresearchfieldsofdistributedcomputationanddatabaseprocessingExperienceincollaboratingwithhiminthesefieldswasveryhelpfulformeintheworkthatthisthesisisbasedonIamindebtedtoAtsushiOhoriChaptersandarederivedfromthecollaborationwithhimTheresultsdescribedinthesechaptersshowthatsometechniquesusedintypetheoryareapplicabletodistributedprogrammingFromthisexperiencewithhimIfoundagreatpossibilitythattheoryandpracticeassisteachotherTetsuoIdasuggestedthatingeneral,thedescriptivepoweroflistcomprehensionsshouldbelimitedHissuggestionpromptedtheextensionoflistcomprehensionsdescribedinChapterIthankRishiyurNikhilandPhilTrinderfortheirhelpfuldiscussiononthelistcomprehensionsdescribedinChapterAlso,IwishtothankMichaelHoulewhopatientlyexplainedtomemanyEnglishphrasesandconceptsThethesiswouldneverhavebeencompletedwithoutthecooperationofthestudentsoftheMasudaresearchgroupoftheDepartmentofInformationScience,FacultyofScience,UniversityofTokyoThemultithreadmechanismmentionedinChapteristheresultofcollaborationwithShigekazuInoharaAtsunobuNaritaimplementedthedistributedsharedrepositorydescribedinChapterTakeoMurakamiimplementedtheDistributedClanguageexplainedinChapterDiscussionswithShigeruChibawereveryhelpfultoestablishtheconceptofcontextsdiscussedinChapterIwishtoexpressmygratitudetoXiangChi,ShunHosoda,NaoyaSakata,KeishiTajima,ToshioTonouchi,andKenWakitafortheirdailydiscussionandcriticismofmyworkTsutomuKamimuraandTamiyaOnoderaatIBMTokyoResearchLaboratorykindlypermittedustousetheCOBobjectorientedprogramminglanguagethattheydevelopedIwouldliketothanktheSupermicroSystemsGroupofSonyCorporationforprovidingtechnicalinformationonSonyNEWSworkstationsFinally,Ithankmyparents,wife,daughterandallmyfamilyforprovidingconstantsupportandencouragementContentsIntroductionBackgroundsOverviewsDistributedSharedRepositoryHigherOrderRemoteProcedureCallsDistributedCLanguageADataRetrievalLanguageBasedonListComprehensionsComplexObjectFileSystemandPersistentCachingPersistentCachingOutlineofThesisDistributedSharedRepositoryIntroductiontoDSRProgrammingModelBasicConceptsBasicPrimitivesUtilizationoftheprogrammingmodelAddingPersistencytoProgrammingLanguagesContextMigrationDistributedParameterPassingImplementationofDSRintheXEROOperatingSystemDynamicLoadingandUnloadingofContextsLocationManagementofContextsAttainmentofMultithreadsExperimentsPerformanceofContextLoadingUnloadingPerformanceforContextMigrationAchievedPerformanceRelatedWorkSegmentationObjectOrientedApproachDistributedPersistentSystemsSummaryHigherOrderRemoteProcedureCallsFrameworkofHigherOrderRemoteProcedureCallsTheLanguageLDasaModelofUserLanguagesTheCoreLanguageLCTranslatingUintoCHandlingAbstractDataTypesHandlingPersistencyRelatedWorkSummaryDistributedCLanguagebasedonHiRPCDesignoftheDistributedCLanguageSyntaxofDistributedCImplementationofDistributedCDistributedCTranslatorRuntimeSystemExperimentsExaminedPrograms:RemoteHashTableRetrievalExperimentalResultsRelatedWorkSummaryADataRetrievalLanguageBasedonListComprehensionsDesignofaDataRetrievalLanguageBasedonListComprehensionListComprehensionProceduralSemanticsofListComprehensionsSPL:StreamProgrammingLanguageTransformationofSPLSourcetoSourceTransformationTransformationRulesDistributedExecutionofSPLProgramsStreamReferencesinSPLProgramsADistributedExecutionModelofSPLProgramsBasicPrimitivesImplementingtheExecutionModelTranslationintoProceduralProgramsRelatedWorkListComprehensionsTransformationSummaryComplexObjectFileSystemDescriptionofComplexObjectsUseofComplexObjectsOperatingSystemUseDatabaseUseInternalStructureBasicTypeObjectsTupleTypeObjectsSetTypeObjectsPerformanceEnhancementwithPersistentCachingRelatedWorkSummaryPersistentCachingIntroductionRelatedWorkVerticalvsHorizontalCachingStorageOrganizationIndexingComplexValuesQuasicachingforInformationRetrievalSystemsFieldReplicationComplexObjectDatabasesDefinitionofComplexObjectsAnExampleofaSchoolDatabaseQueryforComplexObjectsPersistentCachingDescriptionofthePersistentCachingSchemeTheAlgorithmsPerformanceAnalysisBasicCostFunctionsQueryTestsCostFunctionsfortheQueryTestsPerformanceComparisonDiscussionsApplicationofPersistentCachingExtensiontoMultilevelPersistentCachingSummaryConclusionsContributionsFutureWorkDistributedSharedRepositoryHigherOrderRemoteProcedureCallsDistributedCLanguageSPLComplexObjectFileSystemPersistentCachingASyntaxofSPLBTranslationRulesSTRListofFiguresThreetypesofcontextsDSRprimitives“Domino”unloadingPersistentobjectaccessContextmigrationCallbyvisitInternalstructureofXEROInternalstructureofaTypeIIIcontextInternalstructureofastackThetypingrulesofLDTypingrulesofLCLiftingCommunicationtoFunctionTypesTheTranslationAlgorithmDiagramofDistributedCtoCTranslationOverviewoftheruntimemechanismsofDistributedCThecalleeprogramretrievingthehashtableThecallerprogramthatprovidesthehashtableTheaverageresponsetimetoretrieveahashtableusingremotefunctioncallTheoreticalandexperimentalaveragenumberofcollisionsTransitiveClosureOperationProcessFusionChannelprocessSecondarystoragemanagementintheXEROoperatingsystemSecondarystoragemanagementinconventionaloperatingsystemsTypestructureofcomplexobjectsInternalstructureoftupletypeobjectsInternalstructureofasettypeobjectTupleobjectwithpersistentcachingSetobjectwithpersistentcachingSharingsubobjectsinacomplexobjectdatabasewithobjectidentityPersistentcachingschemeQuerytestsSTest:cachingratioρ(Xaxis)vspagecost(Yaxis)STest:Yaxisrepresentedintherelativepagecosts()tothenocachingcaseSNTest:cachingratioρ(Xaxis)vspagecost(Yaxis)SNTest:Yaxisrepresentedintherelativepagecosts()tothenocachingcaseSNUTest:updateselectivityfactorσT(Xaxis)vspagecost(Yaxis)SNUTest:Yaxisrepresentedintherelativepagecosts()tothenocachingcaseMultilevelpersistentcachingListofTablesPerformancemeasurementofloadingandunloadingcontexts(timeinmilliseconds)Performa

用户评价(0)

关闭

新课改视野下建构高中语文教学实验成果报告(32KB)

抱歉,积分不足下载失败,请稍后再试!

提示

试读已结束,如需要继续阅读或者下载,敬请购买!

文档小程序码

使用微信“扫一扫”扫码寻找文档

1

打开微信

2

扫描小程序码

3

发布寻找信息

4

等待寻找结果

我知道了
评分:

/32

博士论文(东京大学,1992) A_Study_of_Designing_Distributed_and_Persistent_Computing_Systems

仅供在线阅读

VIP

在线
客服

免费
邮箱

爱问共享资料服务号

扫描关注领取更多福利