03949nam 22007575 450 99641830250331620230330002755.03-030-43243-210.1007/978-3-030-43243-0(CKB)4100000011273674(MiAaPQ)EBC6287344(DE-He213)978-3-030-43243-0(PPN)248394509(EXLCZ)99410000001127367420200509d2020 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierA Pipelined Multi-Core Machine with Operating System Support[electronic resource] Hardware Implementation and Correctness Proof /by Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (634 pages)Theoretical Computer Science and General Issues,2512-2029 ;99993-030-43242-4 Introductory material -- on hierarchical hardware design -- hardware library -- basic processor design -- pipelining -- cache memory systems -- interrupt mechanism -- self modification, instruction buffer and nondeterministic ISA -- memory management units -- store buffers -- multi-core processors -- advanced programmable interrupt controllers (APICs) -- adding a disk -- I/O apic.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 .Theoretical Computer Science and General Issues,2512-2029 ;9999Computer programmingComputer engineeringComputer networksMicroprogrammingComputer input-output equipmentLogic programmingComputer scienceProgramming TechniquesComputer Engineering and NetworksControl Structures and MicroprogrammingInput/Output and Data CommunicationsLogic in AITheory of ComputationComputer programming.Computer engineering.Computer networks.Microprogramming.Computer input-output equipment.Logic programming.Computer science.Programming Techniques.Computer Engineering and Networks.Control Structures and Microprogramming.Input/Output and Data Communications.Logic in AI.Theory of Computation.005.434Lutsyk Petroauthttp://id.loc.gov/vocabulary/relators/aut883073Oberhauser Jonasauthttp://id.loc.gov/vocabulary/relators/autPaul Wolfgang Jauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK996418302503316A Pipelined Multi-Core Machine with Operating System Support1972560UNISA