operating system - Explanation of state replication of barrelfish -
can tell how barrelfish os implementing state replication of kernel on each each core or closely-coupled "shared" on cores in case e have multi or many cores chip. trying understand point, tried check source code, no more documentation explain process of spawning kernel on whole cores.
and if can offer me way understand source code of part great try trace source code, looks swim lone in ocean.
thanks lot. abdo~
one example state replication in barrelfish capability system [1, section 5]. every core (in fact, every dispatcher) has own storage capabilities. many operations can done locally, without synchronizing other cores. if synchronization needed, capability system helps find replicas, since copy operations other cores explicit , can tracked.
the barrelfish source code not place further this, since our capability system quite complex.
if have further questions, please refer our mailing list [2] suggested deepthought
[1] http://www.barrelfish.org/tn-013-capabilitymanagement.pdf
[2] http://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
Comments
Post a Comment