Танненбаум Е. Архітектура компютера [pdf]

числительной обработки. В книге говорится о мультипроцессорах UMA NUMA, системах МРР и COW, о передаче сообщений и параллельном пр граммировании.

5. Pfister, In Search ofClusters, 2nd ed.

Хотя определение кластера появляется только на 72-й странице (группа ко пьютеров, работающих вместе), он, очевидно, включает в себя все обычн мультикомпьютерные и мультипроцессорные системы. Подробно рассм риваются их аппаратное и программное обеспечение, производительност доступность. Предупредим читателя: хотя стиль автора кажется понача увлекательным, к 500-й странице вся увлекательность исчезает.

6. Sniretal.,MPI:TheCompletereferenceManual.

Название книги говорит само за себя. Если вы хотите научиться програ мировать на MPI, обратитесь к ней. В книге рассказывается о двухточечн и коллективной коммуникации, коммуникаторах, об управлении средой многом другом.

7. Stenstrom et al., Trends in Shared Memory Multiprocessing.

Мультипроцессоры с памятью совместного использования часто счита суперкомпьютерами для сложных научных вычислений. В действительно ти это только крошечная часть их рынка. В статье обсуждается, какие сфе охватывает рынок таких машин и каково значение их архитектуры.

Двоичные числа и числа с плавающей точкой

1.Cody,AnalysisofProposalsfortheFloating-PointStandard.

Несколько лет назад Институт инженеров по электротехнике и электрон ке (IEEE) разработал архитектуру с плавающей точкой, которая стала ста дартом de facto для всех современных процессоров. Автор обсуждает ра личные вопросы, предложения и возражения, которые возникали во вре процесса стандартизации.

2. Garner, NubmerSystems andArithmetic.

Учебное пособие о понятиях двоичной арифметики (в том числе о распр странении переноса, системах избыточных чисел, системах остаточных кла сов и о нестандартном умножении и делении). Особенно рекомендуется д тех, что считает, что узнал все об арифметике в шестом классе.

3. IEEE, Pmc. ofthe n-th Symposium on ComputerArithmetic.

Вопреки общепринятому мнению арифметика является активной област исследования. Специалистами написано много научных трудов. На симп зиуме обсуждаются проблемы прогрессий, развитие высокоскоростного сл жения и умножения, арифметическое аппаратное обеспечение СБИС, с

654Глава 9. Библиография

5.Wilson,Floating-PointSurvivalKit.

Хорошая книга для начинающих о числах с плавающей точкой и о с тах. Обсуждаются некоторые популярные задачи с плавающей точк пример, Unpack).

Алфавитный список литературы

1.Adams, G.В. HI, Agrawal, D. P., and Siegel, H.J. «A Survey and Comp Fault-Tolerant Multistage Interconnection Networks», IEEE Compute zine, vol. 20, p. 14-27, June 1987.

2.Adve, S. V., and Charachorloo, K. «Shared Memory Consistency Models: A al», IEEE Computer Magazine, vol. 29, p. 66-76, Dec. 1996.

3.Adve, S V., and Hill, M. «Weak Ordering: A New Definition», Proc. 1 Int'l. Symp. on Computer Arch., ACM, p. 2-14,1990.

4.Agerwala, Т., and Cocke,J. «High Performance Reduced Instruction Set sors», IBM TJ. Watson Research Center Technical Report RC12434, 1

5.Almasi, G. S., and Gottlieb, A. Highly Parallel Computing, 2nd ed. Redwo CA: Benjamin/Cummings, 1994.

6.Amza,C,COX,A.,Dwarkadas,S.,Keleher,P.,Lu,H.,Rajamony,R.,Yu, nepoel, W. «TreadMarks: Shared Memory Computing on a Network of tions», IEEE Computer Magazine, vol. 29, p. 18-28, Feb. 1996.

7.Anderson, D. Universal Serial Bus System Architecture, Reading, MA: A Wesley, 1997.

8.Anderson,T.E.,Culler,D.E.,Patterson,D.A.,andtheNOWteam«ACase (Networks of Workstations)», IEEE Micro Magazine, vol. 15, p. 541995.

9.AntonakosJ. L. The Pentium Microprocessor, Upper Saddle River, NJ: Hall, 1997.

10.August,D.I.,Connors,D.A.,Mshlke,S.A.,SIASJ.W.,Crozier,K.M.,Ch Eaton, P. R., Olaniran, Q. В., andHWU, W.-M. «Integrated Predicated a ulative Execution in the IMPACT EPIC Architecture», Proc. 25th An Symp. on Computer Arch., ACM, p. 227-237,1998.

13.Bal, H. Е., Kaashoek, M.F., and Tanenbaum, A. S. «Orca: A Language for Parall Programming of Distributed Systems», IEEE trans, on Software Engeneering vol. 18, p. 190-205, March 1992.

14.Bal, H. E., and Tanenbaum, A. S. «Distributed Programming with Shared Data Proc. 1988 Int'l. Conf. on Computer Languages, IEEE, p. 82-91, 1988.

15.Bhuyan, L. N., Yang, Q., andAgrawal, D. P. «PerformanceofMultiprocessor Inter connection Networks», IEEE Computer Magazine, vol. 22, p. 25-37, Feb. 198

16.Bjornson, R. D. «Linda on Distributed Memory Multiprocessors», Ph. D. Thesi Yale Univ., 1993.

17.Blumrich,M.A.,Dubnicki,C,Felten,E.W.,Li,K.,andMesarina,M.R.«Virtua Memory Mapped Network Interfaces», IEEE Micro Magazine, vol. 15, p. 21-2 Feb. 1995.

18.Boden,N.J.,Cohen,D.,Felderman,R.E.,Kulawik,A.E.,Seitz,СL.,SeizovicJ.N andSu, W. -K. «Myrinet: A Gigabit per second Local AreaNetwork», IEEE Micr Magazine, vol. 15, p. 29-36, Feb. 1995.

19.Bouknight,W.J.,Denenberg,S.A.,Mcintyre,D.E.,Randall,J.M.,Sameh,A.H., Slotnick, D. L. «The Illiac IV System», Proc. IEEE, p. 369-388, April 1972.

20.Burkhardt,H.,Frank,S.,Knobe,В.,andRothnieJ.«OverviewoftheKSR-1 Com puter Sysytem», Technical Report KSR-TR-9202001, Kendall Square Researc Corp, Cambridge, MA, 1992.

21.Carriero, N., and Gelernter, D. «The S/Net's Linda Kernel», ACM Trans, o Coputer Sysytems, vol. 4, p. 110-129, May 1986.

22.Carriero,N.,andGelernter,D.«LindaandContext»,Commun.oftheACM,vol.3

p.444-458, April 1989.

23.Charlesworth, A. «Starfire: Extending the SMP Envelope», IEEE Micro Maga zine, vol. 18,39-49, Jan./Feb. 1998.

24.Charlesworth,A.,Phelps,A.,Williams,R.,andGilbert,G.«Gigaplane-XB:Extend ing the Ultra Enterprise Family», Proc. Hot Interconnects V, IEEE, 1988.

25.Cody, W.J. «Analysis ofProposals for the Floating-Point Standard», IEEE Com puter Magazine, vol. 14, p. 63-68, Mar. 1981.

26.Cohen, D. «On Holy Wars and a Plea for Peace», IEEE Computer Magazin

656Глава 9. Библиография

29.Denning, P.J. «The Working Set Model for Program Behavior», Commu ACM, vol. 11, p. 323-333, May 1968.

30.Dijkstra, E. W. «GOTO Statement Considered Harmful», Commun. ofth vol. 11, p. 147-148, Mar. 1968a.

31.Dijkstra, E. W. «Co-operating Sequential Processes», in Programming Lan F. Genuys (ed.), New York: Academic Press, 1968b.

32.Driesen, K., andHolzie, URS «Accurate Indirect Branch Prediction», Pro Ann. Int'l. Symp. on Computer Arch., ACM, p. 167-177,1998.

33.Dubois, M., Scheurich, C, andBriggs, FA. «Memory Access Buffering i tiprocessors», Proc. 13th Ann. Int'l. Symp. on Computer Arch., ACM, 442,1986.

34.Dulong, С «The IA-64 Architecture at Work», IEEE Computer Magazine, p. 24-32, July 1998.

35.Faggin, F., Hoff, M.E.Jr., Mazor, S., andShima,M. «The History ofth IEEE Micro Magazine, vol. 16, p. 10-20, Dec. 1996.

36.Falsafi, В., and Wood, DA. «Reactive NUMA: A Design Unifying S-CO CC-NUMA», Proc. 25th Ann. Int'l. Symp. on Computer Arch., ACM, 240,1997.

37.FisherJ. A., andFreudenberger, S. M. «Predicting Conditional Branch Dir from Previous Runs of a Program», Proc. 5th Conf. on Arch. Support fo Lang, and Operating Syst, ACM, p. 85-95,1992.

38.Floyd, T. L. Digital Fundamentals, 6th ed., UpperSaddle River,NJ: Prenti

1997.

39.Flynn, M.J. «Some Computer Organizations and Their Effectiveness», Trans, on Computers, vol. C-21, p. 948-960, Sept. 1972.

40.Foster, I., andKesselman, С «Globus: A Metacomputing Infrastructure T Int'l. J. of Supercomputer Applications, vol. 11, p. 115-128,1998a.

41.Foster, I., andKesselman, С «The Globus Project: A Status Report», IPPS '98 Heterogeneous Computing Workshop, IEEE, p. 4-18, 1998b.

42.FotheringhamJ'. «Dynamic Storage Allocation in the Atlas Computer In

44.Garner, H. L. «Number Sysytems and Arithmetic», in Advances in Computers vol. 6, F. Alt and M. Rubinoff (eds.), New York: Academic Press, 1965, p. 131— 194.

45.Geist,A.,Beguelin,A.,Dongarra,J.,Jiang,W.,Mancheck,R.,andSunderram,

PVM: Parallel Virtual Machine — A User's Guide and Tutorial for Networked Parallel Computing, Cambridge, MA: M.I.T. Press, 1994.

46.Gharachorloo,K.,Lenoski,D.,LaudonJ.,Gibbons,P.,Gupta,A.,andHennessyJ

«Memory Consistency and Event Ordering in Scalable Shared-Memory Multi processors», Proc. 17th Ann. Int'l. Symp. on Computer Arch., ACM, p. 15-26 1990.

47.Goodman,J. R. «Using Cache Memory to Reduce Processor Memory Traffic» Proc. 10th Ann. Int'l. Symp. on Computer Arch., ACM, p. 124-131, 1983.

48.GoodmanJ. R. «Cache Consistency and Sequential Consistency», Tech. Rep. 61 IEEE Scalable Coherent Interface Working Group, IEEE, 1989.

49.Graham, R. «Use of High Level Languages for System Programming», Projec MAC Report TM-13, Project MAC, MIT, Sept. 1970.

50.Grimshaw, A. S., and Wulf, W. «Legion: A View from 50,000 Feet», Proc. Fifth Int'l. Symp. on High-Performance Distributed Computing, IEEE, p. 89-99, Aug 1996.

51.Grimshaw,A. S.,andWulf, W. «TheLegionVisionofaWorldwideVirtual Com puter», Commun. ofthe ACM, vol. 40, p. 39-45,Jan. 1997.

52.Gropp, W.,Lusk, E., andSkjellum, A. «UsingMPI: Portable Parallel Programmin with the Message Passing Interface», Cambridge, MA: M.I.T. Press, 1994.

53.Hagersten, E., Landin, A., Haridi, S. «DDM — A Cache-Only Memory Architec ture», IEEE Computer Magazine, vol. 25, p. 44-54, Sept. 1992.

54.Hamacher, V. V., Vranesic, Z. G., andZaky, S. G. ComputerOrganization,4th ed. New York: McGraw-Hill, 1996.

55.Hamming, R. W. «Error Detectingand Error CorrectingCodes», Bell Syst. Tech.J. vol. 29, p. 147-160, April 1950.

56.Handy,J. The Cache Memoru Book, 2nd ed., Orlando, FL: Academic Press, 1998

57.Hart,]. M. Win32 System Programming, Reading, MA: Addison-Wesley, 1997.

6 58 Глава 9. Библиография

60.Hill, M. «Multiprocessors Should Support Simple Memory-Consistency els», IEEE Computer Magazine, vol. 31, p. 28-34, Aug. 1998.

61.Hoare, С A. R. «Monitors, An Operating System Structuring Concept», mun. of the ACM, vol. 17, p. 549-557, Oct. 1974; Erratum in Commun ACM, vol. 18,p.95,Feb.l975.

62.Hwang, K., and Xu, Z. Scalable Parallel Computing, New York: McGra 1998.

63.Hwu, W. -M. «Introduction to Predicated Execution», IEEE Computer zine, vol. 31, p. 49-50,Jan. 1998.

64.Irvine, K. Assembly Language for Intel-Based Computers, 3rd ed., Eng Cliffs, NJ: Prentice Hall, 1999.

65.Jacob, В., and Mudge, T. «Virtual Memory: Issues of Implementation», Computer Magazine, vol. 31, p. 33-43, June 1998a.

66.Jacob, В., and Mudge, T. «Virtual Memory in Contemporary Microproc IEEE Micro Magazine, vol. 18, p. 60-75, July/Aug. 1998b.

67.Joe, Т., and Hennessy,J. L. «Evaluating the Memory Overhead Requi COMA Architectures», Proc. 21th Ann. Int'l. Symp. on Computer Arch.,

p.82-93,1994.

68.Johnson,K. L.,Kaashoek, M. F., and Wallach, D.A. «CRL: High-Performa Software Distributed Shared Memory», Proc. 15th Symp. on Operating S Principles, ACM, p. 213-228,1995.

69.Johnson, M. Superscalar Microprocessor Design, Englewood Cliffs, NJ: P Hall, 1991.

70.Juan, Т., Sanjeevan, S., and Navarro,J.J. «Dynamic History-Length F A Third Level ofAdaptivity for Branch Prediction», Proc. 25th Ann. Int'l. on Computer Arch., ACM. p. 155-166,1998.

71.Katayama, Y. «Trends in Semiconductor Memories», IEEE Micro Ma

p.10-17, Nov./Dec. 1997.

72.Kermarrec, A. -M., Kuz, I., Van Steen, M., and Tanenbaum, A. S. «A Fram for Consistent Replicated Web Objects», Proc. 18th Int'l. Conf. on Distr puting Syst, IEEE, p. 276-284, 1998.

75.Knuth, D. E. The Art of Computer Programming: Seminumerical Algorith 3rd ed., Reading, MA: Addison-Wesley, 1998.

76.Kontothanassis,L.,Hunt,G.,Stets,R.,Hardavellas,N.,Cierniad,M.,Parthasarathy Meira, W.,Dwarkadas,S., andScott,M.VM-Based Shared Memoryon Low tency Remote Memory Access Networks, Proc. 24th Ann. Int'l. Symp. on Co puter Arch., ACM, p. 157-169,1997.

77.Кот, D. «Porting UNIX to Windows NT», Proc. Winter 1997 USENIX Co p. 43-57,1997.

78.Kumar, V. P., andReddy, S. M. «Augmented Shuffle-Exchange Multistage Int connection Networks», IEEE Computer Magazine, vol. 20, p. 30-40, June 19

79.Lamport, L. «How to Make a Multiprocessor Computer That Correctly Execu Multiprocess Programs», IEEETrans, on Computers, vol. C-28, p. 690-691, S 1979.

80.LaRowe, R. P., and Ellis, C. S. «Experimental Comparison of Memory Mana ment Policies for NUMA Multiprocessors», ACM Trans, on Computer Syste vol. 9, p. 319-363, Nov. 1991.

81.Lenoski,D.,LaudonJ.,Gharachorloo,K,Weber,W.-D.,Gupta,A.,Henness Horowitz, M., andLam, M. «The Stanford Dash Multiprocessor», IEEE Comp er Magazine, vol. 25, p. 63-79, March 1992.

82.Li, K. «IVY: A Shared Virtual Memory System for Parallel Computing», Pr 1988 Int'l. Conf. on Parallel Proc. (Vol. 11), IEEE, p. 94-101, 1988.

83.Li, K., andHudak, P. «Memory Coherence in Shared Virtual Memory System ACM Trans, on Computer Systems, vol. 7, p. 321-359, Nov. 1989.

84.Li, K., andHudak, P. «Memory Coherence in Shared Virtual Memory System Proc. 5th Ann. ACM Symp. on Prin. of Distr. Computing, ACM, p. 229-2 1986.

85.Lindholm, Т., and Yellin, F. TheJavaVirtual Machine Specification, Reading, M Addison-Wesley, 1997.

86.Loshin, D. High Performance Computing Demystified, Cambridge, MA: AP Pr 1994.

87.Lu,H., Cox,A.L.,Dwarkadas,S.,Rajamony,R.,andZwaenepoel,W.«Soft

6 6 0 Глава 9. Библиография

89.Мапо, М. М., andKime, С. R. Logic and Computer Design Fundamentals, Saddle River, NJ: Prentice Hall, 1997.

90.Martin, R.P., Vahdat,A.M., Culler,D.E., andAnderson, Т.Е. «Effectso munication Latency, Overhead, and Bandwidth in a Cluster Architecture» 24th Ann. Int'l. Symp. on Computer Arch., ACM, p. 85-97,1997.

91.Mazidi, M. A., andMazidiJ. G. The 80x86 IBM PC and Compatible Com 2nd ed., Upper Saddle River, NJ: Prentice Hall, 1998.

92.McGhan, H. and O'connorJ. M. «picojava: A Direct Execution Engine f Bytecode», IEEE Computer Magazine, vol. 31., Oct. 1998.

93.McKee,S.A.,Klenke,R.#.,Wright,K.L,Wulf,W.A.,Saunas,M.H.,Ayl and Batson, A. P. «Smarter Memory: Improving Bandwidth for Str References», IEEE Computer Magazine, vol. 31, p. 54-63, July 1998.

94.McKusick, M.K., Bostic,K., Karels,M., and QuartermanJ. S. «The Des Implementation of the 4.4 BSD Operating System», Reading, MA: A Wesley, 1996.

95.McKusick, M. K.Joy, W. N, Leffler, S.J., andFabry, R. S. «A Fast File Sys UNIX», ACM Trans, on Computer Systems, vol. 2, p. 181-197, Aug. 198

96.Messmer, H.-P. The Indispensible PC Hardware Book, 3rd ed.. Readin Addison-Wesley, 1997.

97.Morgan, С Portraits in Computing, New York: ACM Press, 1997.

98.Morin, C, Gefflaut, A., Banatre, M., and Kermarrec, A. -M. «COMA: An tunity for Building a Fault-Tolerant Scalable Shared Memory Multiproc Proc. 24th Ann. tnt'l. Symp. on Computer Arch., ACM, p. 65-65,1996.

99.Moudgill, M., and Vassiliadis, S. «Precise Interrupts», IEEE Micro Ma vol. 16, p. 58-67, Feb. 1996.

100.Mullender, S.J., and Tanenbaum,A.S. «Immediate Files», Software— P and Experience, vol. 14, p. 365-368,1984.

101.Nelson, V. P., Nagle, H. Т., Carroll, B. D., andlrwinj. D. Digital Logic and Analysis and Design, Englewood Cliffs, NJ: Prentice Hall, 1995.

102.Ng, S. W. «Advances in Disk Technology: Performance Issues», IEEE Co Magazine, vol. 31, p. 75-81, May 1998.

Алфавитный список литературы

105.O'connor,J.M., and Tremblay, M. «Picojava-I: The Java Virtual Machin Hardware», IEEE Micro Magazine, vol. 17, p. 45-53, March/April 1997.

106.Organick, E. The MULTICS System, Cambridge, MA: M.I.T. Press, 1972.

107.Pakin, S., Karamcheti, V., and Cfflen.A.A. «Fast Messages (FM): Effici Portable Communication for Workstation Cluster and Massively-Par Processors», IEEE Concurrency, vol. 5, p. 60-73, April-June 1997.

108.Pan,S. -T.,So,K.,andRahmeh,J. T. «Improving the Accuracy ofDynamic Bra Prediction Using Branch Correlation», Proc. 5th Int'l. Conf. on Arch. Sup for Prog. Long, and Operating Syst, ACM, p. 76-84, Oct. 1992.

109.Papamarcos, M., and Patel.J. «A Low Overhead Coherence Solution for M processors with Private Cache Memories», Proc. 1 lth Ann. Int'l. Symp. on C puter Arch., ACM, p. 348-354, 1984.

110.Patterson, D. A. «Reduced Instruction Set Computers», Commun. of the A vol. 28, p. 8-21, Jan. 1985.

111.Patterson, D. A., Gibson, G., andKatz, R. «A case for redundant arrays ofinexp sive disks (RAID)», Proc. ACM SIGMOD Int'l. Conf. on Management of D ACM, p. 109-166,1988.

112.Patterson, D. A., andHennessyJ. L. Computer Organization and Design, 2nd San Francisco, СA: Morgan Kaufmann, 1998.

113.Patterson, D. A., and Suquin, С. Н. «A VLSI RISC», IEEE Computer Magaz vol. 15, p. 8-22, Sept. 1982.

114.Paul, R. P. SPARC Architecture, Assembly Language, Programming, and Englewood Cliffs, NJ: Prentice Hall, 1994.

115.Pfister, G.F. In Search of Clusters, 2nded., Upper Saddle River, NJ: Pren Hall, 1998.

116.Pilgrim, A. Build Your Own Pentium II PC, New York: McGraw-Hill, 1998.

117.Pountain, D. «Pentium: More RISC than CISC», Byte, vol. 18, p. 195-204, S 1993.

118.Price, D. «A History of Calculating Machines», IEEE Micro Magazine, vo p.22-52,Feb.l984.