{"product_id":"a-pipelined-multi-core-machine-with-operating-system-support-hardware-implementation-and-correctness-proof-9783030432423","title":"A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof","description":"\u003cp\u003e • Author(s): Petro Lutsyk\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003eThis 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.\u003c\/p\u003e\u003cp\u003eIt 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: \u003cbr\u003e\u003c\/p\u003e\u003cp\u003e- MIPS instruction set architecture (ISA) for application and for system programming\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e- cache coherent memory system\u003c\/p\u003e\u003cp\u003e- store buffers in front of the data caches\u003c\/p\u003e\u003cp\u003e- interrupts and exceptions\u003c\/p\u003e- memory management units (MMUs)\u003cp\u003e\u003c\/p\u003e\u003cp\u003e- pipelined processors: the classical 5 stage pipeline is extended by two pipeline\u003c\/p\u003e\u003cp\u003estages for address translation\u003c\/p\u003e\u003cp\u003e- local interrupt controller (ICs) supporting inter processor interrupts (IPIs)\u003c\/p\u003e\u003cp\u003e- I\/O-interrupt controller and a disk\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45280165363863,"sku":"9783030432423","price":3639.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030432423.webp?v=1769295529","url":"https:\/\/atlanticbooks.com\/products\/a-pipelined-multi-core-machine-with-operating-system-support-hardware-implementation-and-correctness-proof-9783030432423","provider":"Atlantic Books","version":"1.0","type":"link"}