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

Heapster disable debug output #1449

Merged
merged 6 commits into from
Sep 3, 2021
Merged

Conversation

eddywestbrook
Copy link
Contributor

This PR creates the notion of a Heapster debug level that controls whether debug information is sent to the output, and sets it to 0 by default, so that debug information is not printed by default. It also adds the command heapster_set_debug_level that allows the user to set the debug level, to enable debug output.

Eddy Westbrook added 4 commits August 31, 2021 12:27
…made the translation of bitvector permissions to just be bitvectors
…all of the Heapster code so that no debug output is printed unless the Heapster debug level is set to at least 1
@eddywestbrook eddywestbrook requested a review from m-yac September 3, 2021 18:14
Copy link
Contributor

@m-yac m-yac left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. I'm very excited about this change.

@@ -3806,16 +3806,18 @@ debugPrettyPermCtx prxs (ptranss :>: ptrans) =
translateApply :: String -> OpenTerm -> Mb ctx (DistPerms ps) ->
ImpTransM ext blocks tops ret ps ctx OpenTerm
translateApply nm f perms =
do expr_ctx <- itiExprCtx <$> ask
do assertPermStackEqM nm perms
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This addition seems unrelated to the purpose of the PR, just wanted to make sure it was intentional.

Comment on lines +3815 to +3820
{-
trace ("translateApply for " ++ nm ++ " with perm arguments:\n" ++
-- renderDoc (list $ debugPrettyPermCtx (mbToProxy perms) i_args)
-- permPrettyString emptyPPInfo (permTransCtxPerms (mbToProxy perms) i_args)
permPrettyString emptyPPInfo perms
) $
) $ -}
Copy link
Contributor

@m-yac m-yac Sep 3, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why was this removed? Just curious.

I didn't make comments for them, but I have the same question for all the "X starting..." and "X finished..." traces in this file, the trace in rsConvertFun, and the trace in bvSLt. Is the answer for all of them just that you haven't found them useful so far?

@eddywestbrook eddywestbrook added subsystem: heapster Issues specifically related to memory verification using Heapster PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run labels Sep 3, 2021
@eddywestbrook eddywestbrook merged commit 3c33933 into master Sep 3, 2021
@mergify mergify bot deleted the heapster-disable-debug-output branch September 3, 2021 20:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run subsystem: heapster Issues specifically related to memory verification using Heapster
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants