Theoretical Computer Science and General Issues
cover

A Pipelined Multi-Core Machine with Operating System Support

Hardware Implementation and Correctness Proof

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

  • Future development based on LNCS 9000 published in 2014Monograph by well-known experts in the field
  • Presents construction and correctness proof of the MIPS instruction set architecture
Show all benefits

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • Due: June 18, 2020
  • ISBN 978-3-030-43243-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover $109.99
price for USA in USD
  • Customers within the U.S. and Canada please contact Customer Service at +1-800-777-4643, Latin America please contact us at +1-212-460-1500 (24 hours a day, 7 days a week). Pre-ordered printed titles are excluded from promotions.
  • Due: May 21, 2020
  • ISBN 978-3-030-43242-3
  • Free shipping for individuals worldwide
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 operation 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 5 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

 

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • Due: June 18, 2020
  • ISBN 978-3-030-43243-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover $109.99
price for USA in USD
  • Customers within the U.S. and Canada please contact Customer Service at +1-800-777-4643, Latin America please contact us at +1-212-460-1500 (24 hours a day, 7 days a week). Pre-ordered printed titles are excluded from promotions.
  • Due: May 21, 2020
  • ISBN 978-3-030-43242-3
  • Free shipping for individuals worldwide
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
201 b/w illustrations
Topics