Generalised SbContainer and addded a subclass PwsContainer that additionally
partitions F based on which processes has non-empty buffers to which memory
locations.