top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Problem-solving in high performance computing : a situational awareness approach with Linux / Igor Ljubuncic
Problem-solving in high performance computing : a situational awareness approach with Linux / Igor Ljubuncic
Autore Ljubuncic, Igor
Pubbl/distr/stampa Waltham, : Morgan Kaufmann, , 2015
Descrizione fisica Testo elettronico (PDF) (EPUB) (322 p.)
Disciplina 005.432
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996461652803316
Ljubuncic, Igor  
Waltham, : Morgan Kaufmann, , 2015
Risorse elettroniche
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Problem-solving in high performance computing : a situational awareness approach with Linux / / Igor Ljubuncic
Problem-solving in high performance computing : a situational awareness approach with Linux / / Igor Ljubuncic
Autore Ljubuncic Igor
Edizione [1st edition]
Pubbl/distr/stampa Waltham, MA : , : Morgan Kaufmann, , [2015]
Descrizione fisica 1 online resource (xxii, 298 pages) : illustrations (some color)
Disciplina 005.432
Collana Gale eBooks
Soggetto topico High performance computing
ISBN 0-12-801064-9
0-12-801019-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Identification of a problemIf a tree falls in a forest, and no one hears it fall; Step-by-step identification; Always use simple tools first; Too much knowledge leads to mistakes; Problem definition; Problem that happens now or that may be; Outage size and severity versus business imperative; Known versus unknown; Problem reproduction; Can you isolate the problem?; Sporadic problems need special treatment; Plan how to control the chaos; Letting go is the hardest thing; Cause and effect; Do not get hung up on symptoms; Chicken and egg: what came first?
Do not make environment changes until you understand the nature of the problemIf you make a change, make sure you know what the expected outcome is; Conclusions; References; Chapter 2 - The investigation begins; Isolating the problem; Move from production to test; Rerun the minimal set needed to get results; Ignore biased information; avoid assumptions; Comparison to a healthy system and known references; It is not a bug, it is a feature; Compare expected results to a healthy system; Performance and behavior references are a must; Linear versus nonlinear response to changes
One variable at a timeProblems with linear complexity; Nonlinear problems; Response may be delayed or masked; Y to X rather than X to Y; Component search; Conclusions; Chapter 3 - Basic investigation; Profile the system status; Environment monitors; Machine accessibility, responsiveness, and uptime; Local and remote login and management console; The monitor that cried wolf; Read the system messages and logs; Using ps and top; System logs; Process accounting; Examine pattern of command execution; Correlate to problem manifestation; Avoid quick conclusions; Statistics to your aid; Vmstat
IostatSystem activity report (SAR); Conclusions; References; Chapter 4 - A deeper look into the system; Working with /proc; Hierarchy; Per-process variables; Kernel data; Process space; Examine kernel tunables; Sys subsystem; Memory management; Filesystem management; Network management; SunRPC; Kernel; Sysctl; Conclusions; References; Chapter 5 - Getting geeky - tracing and debugging applications; Working with strace and ltrace; Strace; Options; What you need to know before using strace; Strace from the standpoint of a system administrator; Strace has friends; Basic usage; Test case 1
Test case 2
Record Nr. UNINA-9910797571203321
Ljubuncic Igor  
Waltham, MA : , : Morgan Kaufmann, , [2015]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Problem-solving in high performance computing : a situational awareness approach with Linux / / Igor Ljubuncic
Problem-solving in high performance computing : a situational awareness approach with Linux / / Igor Ljubuncic
Autore Ljubuncic Igor
Edizione [1st edition]
Pubbl/distr/stampa Waltham, MA : , : Morgan Kaufmann, , [2015]
Descrizione fisica 1 online resource (xxii, 298 pages) : illustrations (some color)
Disciplina 005.432
Collana Gale eBooks
Soggetto topico High performance computing
ISBN 0-12-801064-9
0-12-801019-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Identification of a problemIf a tree falls in a forest, and no one hears it fall; Step-by-step identification; Always use simple tools first; Too much knowledge leads to mistakes; Problem definition; Problem that happens now or that may be; Outage size and severity versus business imperative; Known versus unknown; Problem reproduction; Can you isolate the problem?; Sporadic problems need special treatment; Plan how to control the chaos; Letting go is the hardest thing; Cause and effect; Do not get hung up on symptoms; Chicken and egg: what came first?
Do not make environment changes until you understand the nature of the problemIf you make a change, make sure you know what the expected outcome is; Conclusions; References; Chapter 2 - The investigation begins; Isolating the problem; Move from production to test; Rerun the minimal set needed to get results; Ignore biased information; avoid assumptions; Comparison to a healthy system and known references; It is not a bug, it is a feature; Compare expected results to a healthy system; Performance and behavior references are a must; Linear versus nonlinear response to changes
One variable at a timeProblems with linear complexity; Nonlinear problems; Response may be delayed or masked; Y to X rather than X to Y; Component search; Conclusions; Chapter 3 - Basic investigation; Profile the system status; Environment monitors; Machine accessibility, responsiveness, and uptime; Local and remote login and management console; The monitor that cried wolf; Read the system messages and logs; Using ps and top; System logs; Process accounting; Examine pattern of command execution; Correlate to problem manifestation; Avoid quick conclusions; Statistics to your aid; Vmstat
IostatSystem activity report (SAR); Conclusions; References; Chapter 4 - A deeper look into the system; Working with /proc; Hierarchy; Per-process variables; Kernel data; Process space; Examine kernel tunables; Sys subsystem; Memory management; Filesystem management; Network management; SunRPC; Kernel; Sysctl; Conclusions; References; Chapter 5 - Getting geeky - tracing and debugging applications; Working with strace and ltrace; Strace; Options; What you need to know before using strace; Strace from the standpoint of a system administrator; Strace has friends; Basic usage; Test case 1
Test case 2
Record Nr. UNINA-9910808996103321
Ljubuncic Igor  
Waltham, MA : , : Morgan Kaufmann, , [2015]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings of the first international conference on principles of knowledge representation and reasoning / edited by Ronald J. Brachman, Hector J. Levesque, Raymond Reiter
Proceedings of the first international conference on principles of knowledge representation and reasoning / edited by Ronald J. Brachman, Hector J. Levesque, Raymond Reiter
Autore International conference on principles of knowledge representation and reasoning : <1. ; : 1989
Pubbl/distr/stampa San Mateo [CA] : Morgan Kaufmann, 1989
Descrizione fisica ix, 520 p. ; 28 cm
Disciplina 160
Collana The Morgan Kaufmann series in representation and reasoning
Soggetto non controllato Logica
Ricorsività
ISBN 1-55860-032-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001105820403321
International conference on principles of knowledge representation and reasoning : <1. ; : 1989  
San Mateo [CA] : Morgan Kaufmann, 1989
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming language pragmatics / Michael L. Scott
Programming language pragmatics / Michael L. Scott
Autore Scott, Michael L.
Edizione [3. ed.]
Pubbl/distr/stampa Amsterdam [etc.] : Elsevier
Descrizione fisica xxix, 910 p. : ill. ; 23 cm
Disciplina 005.13
Soggetto non controllato Linguaggi di programmazione
ISBN 978-0-12-374514-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009142140403321
Scott, Michael L.  
Amsterdam [etc.] : Elsevier
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming language pragmatics [[electronic resource] /] / Michael L. Scott
Programming language pragmatics [[electronic resource] /] / Michael L. Scott
Autore Scott Michael Lee <1959->
Edizione [2nd ed.]
Pubbl/distr/stampa San Francisco, Calif., : Morgan Kaufmann
Descrizione fisica 1 online resource (915 p.)
Disciplina 005.13
Soggetto topico Programming languages (Electronic computers)
Computer science
Soggetto genere / forma Electronic books.
ISBN 0-12-410409-6
1-283-28140-6
9786613281401
0-08-051516-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front cover; About the Author; Copyright page; Foreword; Contents; Preface; Part I. Foundations; Chapter 1. Introduction; 1.1 The Art of Language Design; 1.2 The Programming Language Spectrum; 1.3 Why Study Programming Languages?; 1.5 Programming Environments; 1.6 An Overview of Compilation; 1.7 Summary and Concluding Remarks; 1.8 Exercises; 1.9 Explorations; 1.10 Bibliographic Notes; Chapter 2. Programming Language Syntax; 2.1 Specifying Syntax; 2.3 Parsing; 2.4 Theoretical Foundations; 2.5 Summary and Concluding Remarks; 2.6 Exercises; 2.7 Explorations; 2.8 Bibliographic Notes
Chapter 3. Names, Scopes, and Bindings3.1 The Notion of Binding Time; 3.2 Object Lifetime and Storage Management; 3.3 Scope Rules; 3.4 Implementing Scope; 3.5 The Binding of Referencing Environments; 3.6 Binding Within a Scope; 3.7 Separate Compilation; 3.8 Summary and Concluding Remarks; 3.9 Exercises; 3.10 Explorations; 3.11 Bibliographic Notes; Chapter 4. Semantic Analysis; 4.1 The Role of the Semantic Analyzer; 4.2 Attribute Grammars; 4.3 Evaluating Attributes; 4.4 Action Routines; 4.5 Space Management for Attributes; 4.6 Decorating a Syntax Tree; 4.7 Summary and Concluding Remarks
4.8 Exercises4.9 Explorations; 4.10 Bibliographic Notes; Chapter 5. Target Machine Architecture; 5.1 The Memory Hierarchy; 5.2 Data Representation; 5.3 Instruction Set Architecture; 5.4 Architecture and Implementation; 5.5 Compiling for Modern Processors; 5.6 Summary and Concluding Remarks; 5.7 Exercises; 5.8 Explorations; 5.9 Bibliographic Notes; Part II. Core Issues in Language Design; Chapter 6. Control Flow; 6.1 Expression Evaluation; 6.2 Structured and Unstructured Flow; 6.3 Sequencing; 6.4 Selection; 6.5 Iteration; 6.6 Recursion; 6.7 Nondeterminacy; 6.8 Summary and Concluding Remarks
6.9 Exercises6.10 Explorations; 6.11 Bibliographic Notes; Chapter 7. Data Types; 7.1 Type Systems; 7.2 Type Checking; 7.3 Records (Structures) and Variants (Unions); 7.4 Arrays; 7.5 lines; 7.6 Sets; 7.7 Pointers and Recursive Types; 7.8 Lists; 7.9 Files and Input/Output; 7.10 Equality Testing and Assignment; 7.11 Summary and Concluding Remarks; 7.12 Exercises; 7.13 Explorations; 7.14 Bibliographic Notes; Chapter 8. Subroutines and Control Abstraction; 8.1 Review of Stack Layout; 8.2 Calling Sequences; 8.3 Parameter Passing; 8.4 Generic Subroutines and Modules; 8.5 Exception Handling
8.6 Coroutines8.7 Summary and Concluding Remarks; 8.8 Exercises; 8.9 Explorations; 8.10 Bibliographic Notes; Chapter 9. Data Abstraction and Object Orientation; 9.1 Object-Oriented Programming; 9.2 Encapsulation and Inheritance; 9.3 Initialization and Finalization; 9.4 Dynamic Method Binding; 9.5 Multiple Inheritance; 9.6 Object-Oriented Programming Revisited; 9.7 Summary and Concluding Remarks; 9.8 Exercises; 9.9 Explorations; 9.10 Bibliographic Notes; Part III. Alternative Programming Models; Chapter 10. Functional Languages; 10.1 Historical Origins; 10.2 Functional Programming Concepts
10.3 A Review/Overview of Scheme
Record Nr. UNINA-9910454282103321
Scott Michael Lee <1959->  
San Francisco, Calif., : Morgan Kaufmann
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming language pragmatics [[electronic resource] /] / Michael L. Scott
Programming language pragmatics [[electronic resource] /] / Michael L. Scott
Autore Scott Michael Lee <1959->
Edizione [2nd ed.]
Pubbl/distr/stampa San Francisco, Calif., : Morgan Kaufmann
Descrizione fisica 1 online resource (915 p.)
Disciplina 005.13
Soggetto topico Programming languages (Electronic computers)
Computer science
ISBN 0-12-410409-6
1-283-28140-6
9786613281401
0-08-051516-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front cover; About the Author; Copyright page; Foreword; Contents; Preface; Part I. Foundations; Chapter 1. Introduction; 1.1 The Art of Language Design; 1.2 The Programming Language Spectrum; 1.3 Why Study Programming Languages?; 1.5 Programming Environments; 1.6 An Overview of Compilation; 1.7 Summary and Concluding Remarks; 1.8 Exercises; 1.9 Explorations; 1.10 Bibliographic Notes; Chapter 2. Programming Language Syntax; 2.1 Specifying Syntax; 2.3 Parsing; 2.4 Theoretical Foundations; 2.5 Summary and Concluding Remarks; 2.6 Exercises; 2.7 Explorations; 2.8 Bibliographic Notes
Chapter 3. Names, Scopes, and Bindings3.1 The Notion of Binding Time; 3.2 Object Lifetime and Storage Management; 3.3 Scope Rules; 3.4 Implementing Scope; 3.5 The Binding of Referencing Environments; 3.6 Binding Within a Scope; 3.7 Separate Compilation; 3.8 Summary and Concluding Remarks; 3.9 Exercises; 3.10 Explorations; 3.11 Bibliographic Notes; Chapter 4. Semantic Analysis; 4.1 The Role of the Semantic Analyzer; 4.2 Attribute Grammars; 4.3 Evaluating Attributes; 4.4 Action Routines; 4.5 Space Management for Attributes; 4.6 Decorating a Syntax Tree; 4.7 Summary and Concluding Remarks
4.8 Exercises4.9 Explorations; 4.10 Bibliographic Notes; Chapter 5. Target Machine Architecture; 5.1 The Memory Hierarchy; 5.2 Data Representation; 5.3 Instruction Set Architecture; 5.4 Architecture and Implementation; 5.5 Compiling for Modern Processors; 5.6 Summary and Concluding Remarks; 5.7 Exercises; 5.8 Explorations; 5.9 Bibliographic Notes; Part II. Core Issues in Language Design; Chapter 6. Control Flow; 6.1 Expression Evaluation; 6.2 Structured and Unstructured Flow; 6.3 Sequencing; 6.4 Selection; 6.5 Iteration; 6.6 Recursion; 6.7 Nondeterminacy; 6.8 Summary and Concluding Remarks
6.9 Exercises6.10 Explorations; 6.11 Bibliographic Notes; Chapter 7. Data Types; 7.1 Type Systems; 7.2 Type Checking; 7.3 Records (Structures) and Variants (Unions); 7.4 Arrays; 7.5 lines; 7.6 Sets; 7.7 Pointers and Recursive Types; 7.8 Lists; 7.9 Files and Input/Output; 7.10 Equality Testing and Assignment; 7.11 Summary and Concluding Remarks; 7.12 Exercises; 7.13 Explorations; 7.14 Bibliographic Notes; Chapter 8. Subroutines and Control Abstraction; 8.1 Review of Stack Layout; 8.2 Calling Sequences; 8.3 Parameter Passing; 8.4 Generic Subroutines and Modules; 8.5 Exception Handling
8.6 Coroutines8.7 Summary and Concluding Remarks; 8.8 Exercises; 8.9 Explorations; 8.10 Bibliographic Notes; Chapter 9. Data Abstraction and Object Orientation; 9.1 Object-Oriented Programming; 9.2 Encapsulation and Inheritance; 9.3 Initialization and Finalization; 9.4 Dynamic Method Binding; 9.5 Multiple Inheritance; 9.6 Object-Oriented Programming Revisited; 9.7 Summary and Concluding Remarks; 9.8 Exercises; 9.9 Explorations; 9.10 Bibliographic Notes; Part III. Alternative Programming Models; Chapter 10. Functional Languages; 10.1 Historical Origins; 10.2 Functional Programming Concepts
10.3 A Review/Overview of Scheme
Record Nr. UNINA-9910782743203321
Scott Michael Lee <1959->  
San Francisco, Calif., : Morgan Kaufmann
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming language pragmatics [[electronic resource] /] / Michael L. Scott
Programming language pragmatics [[electronic resource] /] / Michael L. Scott
Autore Scott Michael Lee <1959->
Edizione [2nd ed.]
Pubbl/distr/stampa San Francisco, Calif., : Morgan Kaufmann
Descrizione fisica 1 online resource (915 p.)
Disciplina 005.13
Soggetto topico Programming languages (Electronic computers)
Computer science
ISBN 0-12-410409-6
1-283-28140-6
9786613281401
0-08-051516-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front cover; About the Author; Copyright page; Foreword; Contents; Preface; Part I. Foundations; Chapter 1. Introduction; 1.1 The Art of Language Design; 1.2 The Programming Language Spectrum; 1.3 Why Study Programming Languages?; 1.5 Programming Environments; 1.6 An Overview of Compilation; 1.7 Summary and Concluding Remarks; 1.8 Exercises; 1.9 Explorations; 1.10 Bibliographic Notes; Chapter 2. Programming Language Syntax; 2.1 Specifying Syntax; 2.3 Parsing; 2.4 Theoretical Foundations; 2.5 Summary and Concluding Remarks; 2.6 Exercises; 2.7 Explorations; 2.8 Bibliographic Notes
Chapter 3. Names, Scopes, and Bindings3.1 The Notion of Binding Time; 3.2 Object Lifetime and Storage Management; 3.3 Scope Rules; 3.4 Implementing Scope; 3.5 The Binding of Referencing Environments; 3.6 Binding Within a Scope; 3.7 Separate Compilation; 3.8 Summary and Concluding Remarks; 3.9 Exercises; 3.10 Explorations; 3.11 Bibliographic Notes; Chapter 4. Semantic Analysis; 4.1 The Role of the Semantic Analyzer; 4.2 Attribute Grammars; 4.3 Evaluating Attributes; 4.4 Action Routines; 4.5 Space Management for Attributes; 4.6 Decorating a Syntax Tree; 4.7 Summary and Concluding Remarks
4.8 Exercises4.9 Explorations; 4.10 Bibliographic Notes; Chapter 5. Target Machine Architecture; 5.1 The Memory Hierarchy; 5.2 Data Representation; 5.3 Instruction Set Architecture; 5.4 Architecture and Implementation; 5.5 Compiling for Modern Processors; 5.6 Summary and Concluding Remarks; 5.7 Exercises; 5.8 Explorations; 5.9 Bibliographic Notes; Part II. Core Issues in Language Design; Chapter 6. Control Flow; 6.1 Expression Evaluation; 6.2 Structured and Unstructured Flow; 6.3 Sequencing; 6.4 Selection; 6.5 Iteration; 6.6 Recursion; 6.7 Nondeterminacy; 6.8 Summary and Concluding Remarks
6.9 Exercises6.10 Explorations; 6.11 Bibliographic Notes; Chapter 7. Data Types; 7.1 Type Systems; 7.2 Type Checking; 7.3 Records (Structures) and Variants (Unions); 7.4 Arrays; 7.5 lines; 7.6 Sets; 7.7 Pointers and Recursive Types; 7.8 Lists; 7.9 Files and Input/Output; 7.10 Equality Testing and Assignment; 7.11 Summary and Concluding Remarks; 7.12 Exercises; 7.13 Explorations; 7.14 Bibliographic Notes; Chapter 8. Subroutines and Control Abstraction; 8.1 Review of Stack Layout; 8.2 Calling Sequences; 8.3 Parameter Passing; 8.4 Generic Subroutines and Modules; 8.5 Exception Handling
8.6 Coroutines8.7 Summary and Concluding Remarks; 8.8 Exercises; 8.9 Explorations; 8.10 Bibliographic Notes; Chapter 9. Data Abstraction and Object Orientation; 9.1 Object-Oriented Programming; 9.2 Encapsulation and Inheritance; 9.3 Initialization and Finalization; 9.4 Dynamic Method Binding; 9.5 Multiple Inheritance; 9.6 Object-Oriented Programming Revisited; 9.7 Summary and Concluding Remarks; 9.8 Exercises; 9.9 Explorations; 9.10 Bibliographic Notes; Part III. Alternative Programming Models; Chapter 10. Functional Languages; 10.1 Historical Origins; 10.2 Functional Programming Concepts
10.3 A Review/Overview of Scheme
Record Nr. UNINA-9910811390903321
Scott Michael Lee <1959->  
San Francisco, Calif., : Morgan Kaufmann
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming language pragmatics / Michael L. Scott
Programming language pragmatics / Michael L. Scott
Autore Scott, Michael L.
Pubbl/distr/stampa San Francisco : Morgan Kaufmann, ©2000
Descrizione fisica xxi, 856 p. : ill. ; 23 cm
Disciplina 005.13
Soggetto non controllato Linguaggi di programmazione
ISBN 1-55860-578-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990003976100403321
Scott, Michael L.  
San Francisco : Morgan Kaufmann, ©2000
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Programming massively parallel processors : a hands-on approach / David B. Kirk and Wen-mei W. Hwu
Programming massively parallel processors : a hands-on approach / David B. Kirk and Wen-mei W. Hwu
Autore Kirk, David B.
Pubbl/distr/stampa Amsterdam; Heidelberg : Elsevier : Morgan Kaufmann, 2010
Descrizione fisica XVIII, 258 p. : ill. ; 30 cm
Disciplina 004.35
Altri autori (Persone) W. Hwu, Wen-mei
Soggetto non controllato Architettura del computerMultiprocessori
ISBN 978-0-12-381472-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNIPARTHENOPE-000027289
Kirk, David B.  
Amsterdam; Heidelberg : Elsevier : Morgan Kaufmann, 2010
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui