Skip to content
Snippets Groups Projects

Add support for decoding profiling headers

Merged Zubin requested to merge wip/profheaders into master
2 unresolved threads

Query debugee for profiling mode and TNTC

Deserialize closures instead of relying on ghc-heap The above is necessary to decode profiling headers and ghc-heap does not

Additionally, deserialize info tables in haskell code instead of relying on ghc-heap. This is also necessary to decode profiling info tables properly.

Perhaps we should introduce a type for profiling info tables instead of using StgInfoTable

Merge request reports

Pipeline #88401 passed

Pipeline passed for d30075ef on wip/profheaders

Merged by Matthew PickeringMatthew Pickering 1 year ago (Jan 8, 2024 5:18pm UTC)

Loading

Pipeline #88414 passed

Pipeline passed for d30075ef on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • 467 544 (top, _:bot) -> parseModOcc (top : acc) bot
    468 545 parseModOcc acc str = (acc, str)
    469 546
    470 547 class Quintraversable m where
  • 378 410 getResponse RequestAllBlocks = many get
    379 411 getResponse RequestBlock {} = get
    412 getResponse (RequestCCS cptr)
    413 | cptr == CCSPtr 0 = pure Nothing
    414 | otherwise = Just <$> getCCS
    415 getResponse (RequestCC {}) = getCC
    416
    417 getCCS :: Get CCSPayload
    418 getCCS = do
    419 len <- fromIntegral <$> getInt16be
    420 let go = isolate len $ do
    421 ccsID <- getInt64le
    422 ccsCc <- get
    423 ccsPrevStack <- do
    424 p <- get
    425 pure $ guard (p /= CCSPtr 0) $> p
  • Matthew Pickering
  • Zubin added 1 commit

    added 1 commit

    Compare with previous version

  • Zubin added 1 commit

    added 1 commit

    Compare with previous version

  • Matthew Pickering
  • Matthew Pickering
  • Very good patch Zubin, you should be proud of this one.

  • Zubin
  • Zubin added 1 commit

    added 1 commit

    Compare with previous version

  • Author Owner

    Should be ready now.

  • Zubin mentioned in merge request !36 (merged)

    mentioned in merge request !36 (merged)

  • Please register or sign in to reply
    Loading