Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
    • Contribute to GitLab
  • Sign in
haskell-gargantext
haskell-gargantext
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 159
    • Issues 159
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 8
    • Merge Requests 8
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • gargantext
  • haskell-gargantexthaskell-gargantext
  • Merge Requests
  • !66

Merged
Opened Oct 28, 2021 by Alp Mestanogullari@amestanogullari
  • Report abuse
Report abuse

introduce EKG-based monitoring infrastructure

This infrastructure exposes a bunch of RTS related counters/gauges (allocated mem, number of GCs, etc), as well as a bunch of metrics related to the various endpoints of the backend (using servant-ekg). I took the opportunity to also serve the standard EKG UI to easily be able to peek at the evolution of things of interest, but we also can access all those things from a JSON API, which we'll be able to use later to grab metrics before/after some operations, to have a way to observe and quantify performance improvements -- the UI uses that same JSON API.


Here's what the UI looks like. (Note that we can dynamically add graphs for any of the metrics tracked by the system.)

Capture_d_écran_du_2021-10-28_09-29-40

Check out, review, and merge locally

Step 1. Fetch and check out the branch for this merge request

git fetch origin
git checkout -b dev-ekg-monitoring origin/dev-ekg-monitoring

Step 2. Review the changes locally

Step 3. Merge the branch and fix any conflicts that come up

git fetch origin
git checkout origin/dev
git merge --no-ff dev-ekg-monitoring

Step 4. Push the result of the merge to GitLab

git push origin dev

Note that pushing to GitLab requires write access to this repository.

Tip: You can also checkout merge requests locally by following these guidelines.

  • Discussion 0
  • Commits 1
  • Pipelines 2
  • Changes 17
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
1
Labels
Performances
Assign labels
  • View project labels
Reference: gargantext/haskell-gargantext!66

Revert this commit

This will create a new commit in order to revert the existing changes.

Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.

Cherry-pick this commit

Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.