StoreSpecTreeSource

The spec workspace's reads, answered by a SpecStore.

In the namespace octomy::trove::workspace. Declared in src/libs/libtrove/trove/workspace/StoreSpecTreeSource.hpp.

Detailed description

Each read is one SpecStore call. The windows use SpecStore::workUnitWindow(), a keyset seek on the index idx_workunit_order, so the window at the end of a large section costs what the first window costs. The rollups use SpecStore::statusCounts() and SpecStore::statusCountsOfSpec(), one GROUP BY query each.

The workspace reads through the store pointer that the Trove service holds. It writes only through the spec.* tasks (trove-spec-workspace §SW-5), see SpecWorkspaceActions.

See also SpecTreeSource, SpecWorkspaceActions.