Description
A Pipelined Multi-Core Machine with Operating System Support, 1st ed. 2020
Hardware Implementation and Correctness Proof
Theoretical Computer Science and General Issues Series
Authors: Lutsyk Petro, Oberhauser Jonas, Paul Wolfgang J.
Language: English
Subjects for A Pipelined Multi-Core Machine with Operating System Support:
Keywords
artificial intelligence; computer hardware; computer programming; distributed computer systems; distributed systems; embedded systems; Field Programmable Gate Array (FPGA); formal logic; microprocessor chips; multi core; multiprocessing systems; operating systems; parallel algorithms; parallel architectures; parallel processing systems; parallel programming; processors; signal processing; software design; software engineering
Approximative price 52.74 €
In Print (Delivery period: 15 days).
Add to cart
the book of Lutsyk Petro, Oberhauser Jonas, Paul Wolfgang J.
628 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
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
Future development based on LNCS 9000 published in 2014
Monograph by well-known experts in the field
Presents construction and correctness proof of the MIPS instruction set architecture
