读物列表与参考书目.docx

读物列表与参考书目.docx

《读物列表与参考书目.docx》由会员分享，可在线阅读，更多相关《读物列表与参考书目.docx（34页珍藏版）》请在冰豆网上搜索。

读物列表与参考书目

读物列表与参考书目

在前十章中我们讨论了各种各样的主题。

本章作为辅助部分，目的在于为那些希望对分布式操作系统做进一步研究的读者能提供一些帮助。

A．1节是推荐读物清单，A．2节按字母顺序列出了本书中引用的所有书籍和文章的出处。

除了下面给出的参考文献之外，ACM学会每两年举行一次的操作系统原理专题研讨会（SOSP）论文集《Proceedingsofthen-thACMSymposiumonOperatingSystemsPrinciples》，以及每年举办的分布式计算系统（DCS）的国际会议的论文集《Proceedingsofthen-thInternationalConf．onDistributedComputingSystems》都是查阅关于分布式操作系统最新论文的好去处。

再有，《ACMTransactionsonComputerSystems》和《OperatingSystemsReview》这两份期刊中常常会刊登关于分布式操作系统的有趣文章。

11．1建议的进一步阅读材料

11．1．1介绍性和普通著作

Andrews，ConcurrentProgramming—PrinciplesandPractice

对并发系统程序设计进行了综合介绍。

ByteMagzine，June1994

这是一期关于分布式计算的专辑，给出了在这个学科上面向用户的观点。

其中五篇文章介绍了DCE，分布式数据管理，安全，可执行信息系统和远程客户。

Champineetal．，“ProjectAthenaasaDistributedComputerSystem”

Athena是运行在M.I.T.的由1000多台基于UNIX的工作站组成的网络上的网络操作系统。

这个工程开发出了几个软件包。

它们实际上成了标准，如X（窗口管理）和Kerberos（认证）。

这篇论文对整个系统进行了的综述。

Coulourisetal．DistributedSystemsConceptsandDesign,2nded.

这是一本关于分布式系统的优秀的综合型课本。

它描述了网络协议，RPC，分布式操作系统，文件系统，命名服务器，实时，复制，事务，并发控制，容错，安全和DSM。

并研究了4个例子：

Mach，Chorus，Amoeba和Clouds。

Mullender，DistributedSystems2nded.

一份暑期学校文集，包括了21篇在分布式系统上权威性人士的文章。

内容包括：

建模、技术要求、容错、实时、通信、命名、文件系统、调度和安全等。

11．1．2分布式系统的通信

BallartandChing，“SONET:

NowIt’stheStandardOpticalNetwork”

SONET对初学者是难以理解的，但这份辅助材料以相对轻松的方式突出描述了SONET的主要特征。

它还涉及了标准进程的部分发展历史。

Bershadetal．，“LightweightRemoteProcedureCall”

本文描述了在单处理机或多处理机上进行快速RPC调用的方法。

文中介绍了让客户机在服务器地址空间上运行一个预选的程序，以避免上下文相关切换的方法。

BirmanandvanRenesse，“ReliableDistr．ComputingwiththeISISToolkit”

是一本全方位介绍ISIS的论文集。

三分之一的文章介绍了ISIS素材，三分之一描述了ISIS的理论根据，三分之一描述了ISIS的应用。

BirrellandNelson，“ImplementingRemoteProcedureCalls”

分布式系统的进程间通信普遍使用远程过程调用。

本文描述了新颖的远程过程调用的设计与实现。

Clarketal．，“TheAuroraGigabitTestbed”

Aurora是为将来的分布式系统设计的几种千兆位实验网络中的一种。

本文介绍了网络、主适配器、协议、应用和网络管理。

DePrycker，AsynchronousTransferMode

一本关于ATM的全书。

在这里你可以看到完整的ATM故事。

Hutchinsonetal.,“PRCinthex-Kernel：

EvaluatingNewDesignTechinques”

x-内核使用一种类似于UNIX流的技术，即允许协议栈控制基于RPC的分层协议。

采用轻量机制，在层间使用过程调用。

LeBoudec,“TheAsynchronousTransferModer”

本文对ATM作了简介，内容包括物理（结构）、ATM和适应层，讨论了将来的基于ATM的服务，并给出了关于ATM的一些历史背景。

Mullender，“InterprocessCommunication”

在这篇关于进程间通信的指南中对网络、协议和RPC进行了详细分析，文章还涉及了许多的系统问题。

TayandAnanda，“ASurveyofRemoteProcedureCalls”

除了某些基本的共同点之外，RPC系统在许多方面都不同。

本文概述了8种不同的RPC系统（涉及纯学术研究项目到商业系统），并从各个方面对它们进行了比较。

11．1．3分布式系统中的同步

Fidge，“LogicalTimeinDistributedComputingSystems”

文章提供了用来处理基于因果关系和局部时间顺序（而不是全局时间顺序）的分布式系统中的事件排序的方法。

Ramanathanetal.，“Fault-TolerantClockSynchronizationinDistr．Systems”

文章综述了在分布式系统中所使用的时钟同步算法。

涵盖了时钟同步的软、硬件和混合方法。

Raynal，“ASimpleTaxonomyforDistributedMutualExclusionAlgorithms”

是有关分布式互斥算法的分类学和专题书目。

主要类别是基于许可权和基于权标的，在两者的交集上产生了集中算法。

SilberschatzandGalvin，OperatingSystemConcepts

本教程的第18章讨论了分布式系统的同步问题，包括事件排序，互斥，一致协议，和选择算法。

Singhal，“DeadlockDeteetioninDistributedSystems”

这是关于分布式系统中死锁检测的一份教程。

首先，它着眼于相关的问题。

然后它相继讨论了分布式系统中的集中式的、非集中式的和分层算法。

Weihl，“Transaction-ProcessingTechniques”

文中介绍了包括嵌套事务在内的原子事务。

综合了单点和分布式系统故障的恢复算法。

11．1．4分布式系统的进程和处理机

Andersonetal.，“SchedulerActivations：

EffectiveKernelSupportfortheUser-LevelManagementofParallelism”

文中介绍了一种为结合用户层和内核层线程管理的最佳特性而进行的抽象概念。

这种抽象概念为每个进程分配了一个虚拟多处理机，并使用向上调用来通知用户相关的调度事件。

BurnsandWellings，Read-timeSystemsandTheirProgrammingLanguages

一本关于如何在Ada，Modula1和occam2上进行设计和编制实时系统的介绍性教材。

涉及的论题有容错，异常处理，同步，原子操作，资源控制和低层编程。

本书还包括了许多代码段以例证其思想。

Cristian，“Understanding．Fault-TolerantDistributedSystems”

介绍分布式系统中的容错技术，包括错误分类、语义，屏蔽。

软、硬件问题都涉及到。

硬件问题的例子包括：

Tzndem，Sequoia，VAX群集和IBMXRF。

软件问题有组通信和全局一致协议。

Marshetal.，“First-Class，User–LevelThreads”

介绍了关于允许在用户空间里管理线程，但仍能利用内核知识的一系列机制和约定。

此思想是基于向上调用的。

NatarajanandZhao，“IssuesinBuildingDynamicRead-TimeSystems”

着眼于需求，有效性，保证和资源管理等问题的一篇关于实时系统的简介。

Nichols，“UsingIdleWorkstationsinaSharedComputingEnvironment”

描述怎样在Bulter系统中查找并使用UNIX工作站。

用注册表来跟踪机器并分配它们。

Shivaratietal.，“LoadDistributingforLocallyDistributedSystems”

在分布式系统中，因一些机器空闲而另一些过载很容易使工作失去平衡。

在这篇教程中讨论了一些平衡负载的算法。

Verissimo，“Real-TimeCommunication”

容错实时分布式系统具有大多数其它系统所没有的特殊的通信需求。

本文讨论了一些通信需求并提供了怎样实现的方法。

11．1．5分布式文件系统

LevyandSilbersehatz，“DistributedFileSystems：

ConceptsandExamples”

本文的前一半讲解了分布式系统的原理，后半部分是实例：

UNIXUnited，Locus，NFS，Sprite和Andrew。

Satyanarayanan，“ASurveyofDistributedFileSystems”

在这篇概述中分析了分布式文件系统的一些基本设计问题。

对NFS，ApolloDomain，Andrew，AIX，RFS和Sprite进行了实例研究。

Satyanarayanan，“DistributedFileSystems”

这篇介绍性文章讨论了分布式文件系统的原理和实践。

涉及了一些现有系统：

AFS，Coda和NFS中普遍使用的机制，如高速缓冲，大容量传送机制和提示机制等。

Svobodova，“FileServersforNetwork-BasedDistributedSystems”

概述了分布式系统中的文件服务器。

重点强调提供原子操作和事务的文件服务器。

11．1．6分布式共享存储器

LiandHudak，“MemoryCoherenceinSharedVirtualMemorySystems”

Li和Hudak开创了DSM领域。

本文描述了使用集中式和非集中式存储器的基于页的DSM系统。

NitzbergandLo，“Distr．SharedMemory：

ASurveyofIssuesandAlgorithms”

这是一份关于DSM系统的设计和实现的教程，重点集中于一致性模式。

比较了9个不同的例子同时还引证了8个例子。

StummandZhou，“AlgorithmsImplementingDistrbutedSharedMemory”

一份关于分布式共享存储器的教程。

Tanenbaumetal.，“PallarelProgr．UsingSharedObjectsandBroadcasting，”

与上面处理基于页的DSM的参考书不同，本文介绍了怎样在由有本地存储器的机器组成的网络上实现共享对象。

11．1．7研究事例1：

Amoeda

Dougliesetal.，“AcomparisonofTwoDistr．Systems：

AmoedaandSprite，”

比较了两个分布式系统：

有微内核和使用处理机池的Amoeda和具有单片内核，使用工作站模式的Sprite。

KaashoekandTanenbaum，“GroupCommunicationintheAmoedaDistributedOperatingSystem”

介绍了Amoeda中的组通信，着重点是可靠的广播式协议的使用和实现。

讨论了这种协议的容错能力和可靠的广播式协议怎样自定序器和其它失效中恢复。

Mullenderetal.，“Amoeda：

ADistributedOperatingSystemforthe1990s”

这是对Amoeda的概述，强调了通信机制，对象，安全性，文件系统和进程管理。

Tanenbaumetal.，，“ExperienceswiththeAmoedaDistr.OperatingSystem”

对Amoeda进行了介绍。

本文强调了对象，RPC，服务器，广域Amoeda，应用和性能。

它以实际经验对设计进行了评价，并指出了系统中什么做对了，什么做错了。

11.1.8研究事例2：

Mach

Accettaetal.，“Mach：

ANewKernelFoundationforUNIXDevelopment”

这是有关Mach系统最早出版的论文之一。

它描述了系统的目标，基本思想（如线程、端口和内存），以及实现。

Black，“SchedulingSupportforConcurrencyandParallelismintheMachSys.”

这里介绍了Mach的多处理机调度算法。

讨论了许多最佳算法，例如传递（handoff）调度，并给出了性能测试。

Boykinetal.，ProgrammingunderMach

这是一本关于怎样写运行在Mach上的程序和怎样使用它的许多工具性程序的全书。

重点是怎样使用Mach而不是知道它内部是怎样工作的。

BoykinandLangerman，“Mach/4.3BSD：

AConservativeApproachtoParallelization，”

很难使MachUNIX仿真器在多处理机上有效地运行，因为设计者从来没打算要它运行在多处理机上。

与I/O和文件系统有关的问题在这里有所描述，也提供了一些解决办法。

Rashid,“FromRIGtoAccenttoMach：

TheEvolutionofaNetworkOp.Sys.”

文章包括设计者们所写的RIG、Accent、March系统的发展过程。

描述了系统的进展，强调了因新技术和新设计目标的产生而做的改进。

Youngetal.,“TheDualityofMemoryandCommunicationintheImplementationofaMultiprocessorOperatingSytem”

介绍了Mach存储管理系统的目标、设计和实现以及与通信系统的相互作用。

对外部存储器管理器的使用也进行了介绍。

11.1.9研究事例3：

Chorus

Gien,“Micro-kernelArchitecture:

KeytoModemOperatingSystemsDesign”

作者是Chorus的设计人员之一，本文介绍了Chorus的构想和目标。

GienandGrob,“Micro-kernelBasedOperatingSystemsDesign”

本文讨论了Chorus怎样才能仿真UNIX。

Rozieretal.,“ChrousDistributedOperatingSystems”

本文内容稍显陈旧，但它仍是全面介绍Chorus微内核体系结构方面的最好的文章。

11.1.10研究事例4：

DCE

Beveretal.，“DistributedSystems,OSFDCEandBeyond”

本文对DCE进行了介绍，强调了体系结构和RPC接口。

提出了很多DCE系统没有的特性（例如：

高级工具，面向对像，分布式事务，多媒体支持）并给出了怎样才能使它们适合DCE模型方法。

Kazaretal.,“DEcorumFileSystemArchitectureOverview”

DEcorum是DCE的分布式文件系统组件，也是AFS的继承者。

本文按序简要讨论了令牌、高速缓存、复制、死锁等内容。

OSF,IntroductiontoOSFDCE

最容易得到的有关DCE的材料，涉及与本书一样的论题。

Rosenberryetal.,UnderstandingDCE

对DCE进行了全面介绍，用了11个章节和4个附录覆盖了DCE的全部基本概念。

Shirley,GuidetoWritingDCEApplications

是一份讲述如何为DCE系统的客户机和服务器编程的教材。

并给出了很多代码段作为例子。

11．2．ALPHABETICALBIBLIOGRAPHY

ABROSSIMOV，A．，ARMAND，F．，andORTEGA，M．：

“ADistributedConsistencyServerforthe

CHORUSSystem，”Proc．SEDMS　III，Symp．onExperiencewithDistributedandMultiprocessorSystems，

USENIX，pp．129-148，1992．

ABROSSIMOV，A．，ROZIER，M．，andSHAPIRO，M．：

“GenericVirtualMemoryManagementin

OperatingSystemsKernels，”Proc．12thSymp．onOperatingSystemsPrinciples，ACM，pp．123-136，

1989．

ACCETTA，M．，BARON，R．，GOLUB，D．，RASHID，R．，TEVANIAN，A．，anYOUNG，M．：

“MACH：

ANewKernelFoundationforUNIXDevelopment，”Proc．Summer1986USENIXConf．，

　　USENIX，pp．93-112，1986．

ADVE，S．，andHILL，M．：

“WeakOrdering：

ANewDefinition，”Proc．17thAnn．Int’lSymp．on

ComputerArchitecture，ACM，pp．2-14，1990．

AGARWAL，A．，CHAIKEN，D。

，D’SOUZA，G．，JOHNSON，K．，KRANZ，D．，KUBIATOWICZ，

J．，KURIHARA，K．，LIM，B．，MAA，G．，NUSSBAUM，D．，PARKIN，M．，andYEUNG，

D．：

“TheMITAlewifeMachine：

ALarge-ScaleDistributed-MemoryMultiprocessor，”Proc．Workshop

onScalableSharedMemoryMultiprocessors，Kluwer，1991．

AGARWAL，A．，andCHERIAN，M．：

“AdaptiveBackoffSynchronizationTechniques，”Proc．16thAnn．

Int’lSymp．onComputerArchitecture，ACM，pp，396-406，1989．

AGARWAL，A．，SIMONI，R．，HENNESSY，J．，andHOROWITZ，M．：

“AnEvaluationofDirectory

SchemesforCacheCoherence，”Proc．15thAnn．Int’lSymp．oncomputerArchitecture，ACM，pp．280-

289，1988．

AGRAWAL，D．，andELABBADI，A．：

“AnEfficientandFault-TolerantSolutionofDistributedMutual

Exclusion，”ACMTrans．onComputerSystems，vol．9，pp．1-20，Feb．1991．

AHAMAD，M．，BAZZI，R．A．，JOHN，R．，KOHLI，P．，andNEIGER，G．：

“ThePowerofPro-

cessorConsistency，”Tech，Rep．GIT-CC-92/34，CollegeofComputing，GeorgiaInst．ofTechnology，

March1993．

AHMADI，H．，andDENZEL，W．：

“ASurveyofModernHigh-PerformanceSwitchingTechniques，”

IEEEJournalofSelectedAreasinCommunication，vol．7，pp．1091-1103，Sept．1989．

ANDERSON，T．E．，BERSHAD，B．N．，LAZOWSKA，E．D．，andLEVY，H．M．：

Activations：

EffectiveKernelSupportfortheUser-LevelManagementofParallelism，”Proc．13thSymp．onOperating

SystemsPrinciples，ACM，PP．95-109，1991．

ANDERSON，T．E．，OWICKI，S．S．，SAXE，J．B．，andTHACKER，C．P．：

“High-SpeedSwitch

SchedulingforLocal-AreaNetworks，”ACMTrans．onComputerSystems，vol．11，pp．319-352，

Nov．1993．

ANDREWS，G．R．：

ConcurrentProgramming-PrinciplesandPractice，RedwoodCity，CA：

Benjamin/

　　Cummings，1991．

ARCHIBALD，J．，andBAER，J．-L．：

“CacheCoherenceProtocols：

EvaluationUsingaMultiprocessor

SimulationModel，”ACMTrans．onComputerSystems，vol．4，pp．273-298，Nov．1986．

ARMAND，F．，andDEAN，R：

“DataMovementinKernelizedSystems，”Proc．USENIXWorkshop

onMicrokernelsandOtherKernelArchitectures，USENIX，pp．243-261，1992．

ARTSY，Y．，andFINKEL，R．：

“DesigningaProcessMigrationFa