On Tue, Oct 4, 2016 at 1:43 PM, <[email protected]> wrote:
> I wouldn’t conclude that the socket is the smallest worthwhile partition. > I think we’re lucky that we got the BKL to work across a socket, but you > can argue whether that is even too big. I think the smallest worthwhile > partition is where you physically share a cache. (Latest-generation Intel > boxes have a distributed L3 that is made to look like a shared one.) > Right, so as core count and cache grows, and coupling between a single CPU's cores becomes looser, it'll be worth having more than one partition per socket. Is the closest thing to loosely coupled cores at mobile (or at least sub-server) scale right now big.LITTLE? Interesting that Apple's A10 Fusion "fixes" big.LITTLE by sharing its L2 between both pairs of cores. Thanks, Jeff
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
