Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

move resource-user-lists into TaskSpace #40

Open
michaelsippel opened this issue Dec 7, 2023 · 0 comments
Open

move resource-user-lists into TaskSpace #40

michaelsippel opened this issue Dec 7, 2023 · 0 comments

Comments

@michaelsippel
Copy link
Member

As of now, each Resource object owns a ChunkedList< ResourceUsageEntry >, which will be accesed by init_graph() and delete_from_resources() .
However this resource-user-list will contain all tasks from all TaskSpaces even though only those in the current task space are relevant for init_graph().
We could eliminate this check if we have a separate resource-user-list for each TaskSpacexResource.

Also, the ResourceAccess would not need a shared_ptr to the resource-struct anymore . It only requires a Key ( Resource-id ) to look up the resource-user-list from a map in the TaskSpace once per init_task() , and then iteration over all resources will be more efficient.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant