20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof - Jonas Oberhauser,Wolfgang J. Paul,Petro Lutsyk

English
2020-05-10
€67.74 €84.68

-20% with code BOOKS

In stock at our supplier

Shipping in 12-18 days

30-day return policy

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 ... Full description

You May Also Like

Description

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

More Information

Author Jonas Oberhauser, Wolfgang J. Paul, Petro Lutsyk
Publisher Springer Nature Switzerland
Release year 2020
Cover type Softcover
EAN 9783030432423
Write Your Own Review
You're reviewing: A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
Your Rating:

Goodreads Reviews

€67.74 €84.68