4 ms·
Can anyone comment as to how feasible/practical it would be to extend these proofs to a multicore chip?
by anonymousDan 12y ago
Can anyone comment as to how feasible/practical it would be to extend these proofs to a multicore chip?
- angry_octet 12y agoVery, very hard, if you mean kernel threads running in parallel. However, if the other cores run separate kernel instances (machine partitioning, separate memory and everything) that would be more achieveable. UNSW call this the clustered micokernel approach.
- anonymousDan 12y agoThanks for that. Kind of what I expected. I wonder if the problem could be simplified if techniques from deterministic/stable multithreading could be incorporated somehow to simplify the formalization (http://dl.acm.org/citation.cfm?id=2566590.2500875 http://dl.acm.org/citation.cfm?id=2566590.2500875)