Calculate the total memory allocated on a per-capability basis
authorDuncan Coutts <duncan@well-typed.com>
Fri, 3 Feb 2012 12:57:19 +0000 (12:57 +0000)
committerDuncan Coutts <duncan@well-typed.com>
Wed, 4 Apr 2012 18:10:44 +0000 (19:10 +0100)
commit8536f09c2f310a95297b339de6084f77cc4044c1
tree5d558fb07d6c6c1abef09bfd64fac8a548aaa5e0
parentf9c2e8543cabd6661eec17d5be31469455a64e05
Calculate the total memory allocated on a per-capability basis

In addition to the existing global method. For now we just do
it both ways and assert they give the same grand total. At some
stage we can simplify the global method to just take the sum of
the per-cap counters.
rts/Capability.c
rts/Capability.h
rts/Stats.c
rts/sm/Storage.c