Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
A Pipelined Multi-Core Machine with Operating System Support - Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul

A Pipelined Multi-Core Machine with Operating System Support

Hardware Implementation and Correctness Proof
Buch | Softcover
XV, 628 Seiten
2020
Springer International Publishing (Verlag)
9783030432423 (ISBN)
CHF 134,80 inkl. MwSt
  • Versand in 15-20 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken

This work is building on results from the book named "A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness" by M. Kovalev, S.M. Müller, and W.J. Paul, published as LNCS 9000 in 2014.

It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following features:

- MIPS instruction set architecture (ISA) for application and for system programming

- cache coherent memory system

- store buffers in front of the data caches

- interrupts and exceptions

- memory management units (MMUs)

- pipelined processors: the classical five-stage pipeline is extended by two pipeline

stages for address translation

- local interrupt controller (ICs) supporting inter-processor interrupts (IPIs)

- I/O-interrupt controller and a disk

 

Introductory material.- on hierarchical hardware design.- hardware library.- basic processor design.- pipelining.- cache memory systems.- interrupt mechanism.- self modification, instruction buffer and nondeterministic ISA.- memory management units.- store buffers.- multi-core processors.- advanced programmable interrupt controllers (APICs).- adding a disk.- I/O apic.

Erscheinungsdatum
Reihe/Serie Lecture Notes in Computer Science
Theoretical Computer Science and General Issues
Zusatzinfo XV, 628 p. 1 illus.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Gewicht 973 g
Themenwelt Mathematik / Informatik Informatik
Schlagworte Applications • Artificial Intelligence • Computer Hardware • computer programming • Computer Science • conference proceedings • distributed computer systems • Distributed Systems • Embedded Systems • Field Programmable Gate Array (FPGA) • Formal Logic • Informatics • Microprocessor chips • multi core • multiprocessing systems • Operating Systems • Parallel Algorithms • Parallel Architectures • parallel processing systems • Parallel Programming • Processors • Research • Signal Processing • Software Design • Software engineering
ISBN-13 9783030432423 / 9783030432423
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Schritt für Schritt einfach erklärt

von Philip Kiefer; Günter Born

Buch | Hardcover (2024)
Markt + Technik (Verlag)
CHF 20,90