gem5-dev@gem5.org

The gem5 Developer List

View all threads

[XL] Change in gem5/gem5[develop]: resources: Add the gem5 Resources Manager

KP
Kunal Pai (Gerrit)
Sat, Jun 3, 2023 1:15 AM

Kunal Pai has uploaded this change for review. (
https://gem5-review.googlesource.com/c/public/gem5/+/71218?usp=email )

Change subject: resources: Add the gem5 Resources Manager
......................................................................

resources: Add the gem5 Resources Manager

A GUI web-based tool to manage gem5 Resources.

Can manage in two data sources,
a MongoDB database or a JSON file.

The JSON file can be both local or remote.

JSON files are written to a temporary file before
writing to the local file.

The Manager supports the following functions
on a high-level:

  • searching for a resource by ID
  • navigating to a resource version
  • adding a new resource
  • adding a new version to a resource
  • editing any information within a searched resource
    (while enforcing the gem5 Resources schema
    found at: https://resources.gem5.org/gem5-resources-schema.json)
  • deleting a resource version
  • undo and redo up to the last 10 operations

The Manager also allows a user to save a session
through localStorage and re-access it through a password securely.

This patch also provides a
Command Line Interface tool mainly for
MongoDB-related functions.

This CLI tool can currently:

  • backup a MongoDB collection to a JSON file
  • restore a JSON file to a MongoDB collection
  • search for a resource through its ID and
    view its JSON object
  • make a JSON file that is compliant with the
    gem5 Resources Schema

Co-authored-by: Parth Shah helloparthshah@gmail.com
Co-authored-by: Harshil2107 harshilp2107@gmail.com
Co-authored-by: aarsli arsli@ucdavis.edu
Change-Id: I8107f609c869300b5323d4942971a7ce7c28d6b5

A util/gem5-resources-manager/.gitignore
A util/gem5-resources-manager/README.md
A util/gem5-resources-manager/api/client.py
A util/gem5-resources-manager/api/create_resources_json.py
A util/gem5-resources-manager/api/json_client.py
A util/gem5-resources-manager/api/mongo_client.py
A util/gem5-resources-manager/cli.py
A util/gem5-resources-manager/docs/schemaUML.svg
A util/gem5-resources-manager/requirements.txt
A util/gem5-resources-manager/server.py
A util/gem5-resources-manager/static/help.md
A util/gem5-resources-manager/static/images/favicon.png
A util/gem5-resources-manager/static/images/gem5ColorLong.gif
A util/gem5-resources-manager/static/images/gem5ResourcesManager.png
A util/gem5-resources-manager/static/js/app.js
A util/gem5-resources-manager/static/js/editor.js
A util/gem5-resources-manager/static/js/index.js
A util/gem5-resources-manager/static/js/login.js
A util/gem5-resources-manager/static/styles/global.css
A util/gem5-resources-manager/templates/404.html
A util/gem5-resources-manager/templates/base.html
A util/gem5-resources-manager/templates/editor.html
A util/gem5-resources-manager/templates/help.html
A util/gem5-resources-manager/templates/index.html
A util/gem5-resources-manager/templates/login/login_json.html
A util/gem5-resources-manager/templates/login/login_mongodb.html
A util/gem5-resources-manager/test/init.py
A util/gem5-resources-manager/test/api_test.py
A util/gem5-resources-manager/test/comprehensive_test.py
A util/gem5-resources-manager/test/json_client_test.py
A util/gem5-resources-manager/test/mongo_client_test.py
A util/gem5-resources-manager/test/refs/resources.json
A util/gem5-resources-manager/test/refs/schema.json
A util/gem5-resources-manager/test/test_json_endpoint.json
34 files changed, 6,231 insertions(+), 0 deletions(-)

--
To view, visit
https://gem5-review.googlesource.com/c/public/gem5/+/71218?usp=email
To unsubscribe, or for help writing mail filters, visit
https://gem5-review.googlesource.com/settings?usp=email

Gerrit-MessageType: newchange
Gerrit-Project: public/gem5
Gerrit-Branch: develop
Gerrit-Change-Id: I8107f609c869300b5323d4942971a7ce7c28d6b5
Gerrit-Change-Number: 71218
Gerrit-PatchSet: 1
Gerrit-Owner: Kunal Pai kunpai@ucdavis.edu

Kunal Pai has uploaded this change for review. ( https://gem5-review.googlesource.com/c/public/gem5/+/71218?usp=email ) Change subject: resources: Add the gem5 Resources Manager ...................................................................... resources: Add the gem5 Resources Manager A GUI web-based tool to manage gem5 Resources. Can manage in two data sources, a MongoDB database or a JSON file. The JSON file can be both local or remote. JSON files are written to a temporary file before writing to the local file. The Manager supports the following functions on a high-level: - searching for a resource by ID - navigating to a resource version - adding a new resource - adding a new version to a resource - editing any information within a searched resource (while enforcing the gem5 Resources schema found at: https://resources.gem5.org/gem5-resources-schema.json) - deleting a resource version - undo and redo up to the last 10 operations The Manager also allows a user to save a session through localStorage and re-access it through a password securely. This patch also provides a Command Line Interface tool mainly for MongoDB-related functions. This CLI tool can currently: - backup a MongoDB collection to a JSON file - restore a JSON file to a MongoDB collection - search for a resource through its ID and view its JSON object - make a JSON file that is compliant with the gem5 Resources Schema Co-authored-by: Parth Shah <helloparthshah@gmail.com> Co-authored-by: Harshil2107 <harshilp2107@gmail.com> Co-authored-by: aarsli <arsli@ucdavis.edu> Change-Id: I8107f609c869300b5323d4942971a7ce7c28d6b5 --- A util/gem5-resources-manager/.gitignore A util/gem5-resources-manager/README.md A util/gem5-resources-manager/api/client.py A util/gem5-resources-manager/api/create_resources_json.py A util/gem5-resources-manager/api/json_client.py A util/gem5-resources-manager/api/mongo_client.py A util/gem5-resources-manager/cli.py A util/gem5-resources-manager/docs/schemaUML.svg A util/gem5-resources-manager/requirements.txt A util/gem5-resources-manager/server.py A util/gem5-resources-manager/static/help.md A util/gem5-resources-manager/static/images/favicon.png A util/gem5-resources-manager/static/images/gem5ColorLong.gif A util/gem5-resources-manager/static/images/gem5ResourcesManager.png A util/gem5-resources-manager/static/js/app.js A util/gem5-resources-manager/static/js/editor.js A util/gem5-resources-manager/static/js/index.js A util/gem5-resources-manager/static/js/login.js A util/gem5-resources-manager/static/styles/global.css A util/gem5-resources-manager/templates/404.html A util/gem5-resources-manager/templates/base.html A util/gem5-resources-manager/templates/editor.html A util/gem5-resources-manager/templates/help.html A util/gem5-resources-manager/templates/index.html A util/gem5-resources-manager/templates/login/login_json.html A util/gem5-resources-manager/templates/login/login_mongodb.html A util/gem5-resources-manager/test/__init__.py A util/gem5-resources-manager/test/api_test.py A util/gem5-resources-manager/test/comprehensive_test.py A util/gem5-resources-manager/test/json_client_test.py A util/gem5-resources-manager/test/mongo_client_test.py A util/gem5-resources-manager/test/refs/resources.json A util/gem5-resources-manager/test/refs/schema.json A util/gem5-resources-manager/test/test_json_endpoint.json 34 files changed, 6,231 insertions(+), 0 deletions(-) -- To view, visit https://gem5-review.googlesource.com/c/public/gem5/+/71218?usp=email To unsubscribe, or for help writing mail filters, visit https://gem5-review.googlesource.com/settings?usp=email Gerrit-MessageType: newchange Gerrit-Project: public/gem5 Gerrit-Branch: develop Gerrit-Change-Id: I8107f609c869300b5323d4942971a7ce7c28d6b5 Gerrit-Change-Number: 71218 Gerrit-PatchSet: 1 Gerrit-Owner: Kunal Pai <kunpai@ucdavis.edu>