diff options
| author | Douglas Rumbaugh <dbr4@psu.edu> | 2025-02-13 18:13:33 -0500 |
|---|---|---|
| committer | Douglas Rumbaugh <dbr4@psu.edu> | 2025-02-13 18:13:33 -0500 |
| commit | d28f2cfcd4249fc7d984762a326e3f2d6dcba7dc (patch) | |
| tree | ea6fc7e80da2fec969c423ab50b42301397c9188 /include/framework/structure/InternalLevel.h | |
| parent | 125e243cad99aa29444759e15053fd148ff0e3ba (diff) | |
| download | dynamic-extension-d28f2cfcd4249fc7d984762a326e3f2d6dcba7dc.tar.gz | |
progress towards resolving asynch structure merges
Diffstat (limited to 'include/framework/structure/InternalLevel.h')
| -rw-r--r-- | include/framework/structure/InternalLevel.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/include/framework/structure/InternalLevel.h b/include/framework/structure/InternalLevel.h index 37b2b40..7e8e87d 100644 --- a/include/framework/structure/InternalLevel.h +++ b/include/framework/structure/InternalLevel.h @@ -198,8 +198,12 @@ public: void truncate() { m_shards.erase(m_shards.begin(), m_shards.end()); } - void delete_shard(shard_index shard) { + void delete_shard(shard_index shard, bool log_delete=true) { + size_t before = m_shards.size(); + fprintf(stderr, "[D]\tReconstruction deleting shard %ld %p\n", shard, m_shards[shard].first.get()); m_shards.erase(m_shards.begin() + shard); + size_t after = m_shards.size(); + assert( before > after); } void append(std::shared_ptr<ShardType> shard, size_t version=0) { |