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)
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)
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