Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Theoretical Computer Science and General Issues

A Pipelined Multi-Core Machine with Operating System Support

Hardware Implementation and Correctness Proof

Authors: Lutsyk, Petro, Oberhauser, Jonas, Paul, Wolfgang J.

Free Preview
  • 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
see more benefits

Buy this book

eBook 74,89 €
price for Spain (gross)
  • ISBN 978-3-030-43243-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-030-43242-3
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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

 

Table of contents (14 chapters)

Table of contents (14 chapters)

Buy this book

eBook 74,89 €
price for Spain (gross)
  • ISBN 978-3-030-43243-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-030-43242-3
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
A Pipelined Multi-Core Machine with Operating System Support
Book Subtitle
Hardware Implementation and Correctness Proof
Authors
Series Title
Theoretical Computer Science and General Issues
Series Volume
9999
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-43243-0
DOI
10.1007/978-3-030-43243-0
Softcover ISBN
978-3-030-43242-3
Edition Number
1
Number of Pages
XV, 628
Number of Illustrations
1 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.