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

feat: add "Debugging Gno Programs" post #100

Merged
merged 27 commits into from
Aug 6, 2024
Merged
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
619766b
feat: add "Debugging Gno Programs" post
mvertes Jun 27, 2024
a519e7a
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 1, 2024
20f3e7b
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 1, 2024
35a2dd9
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 1, 2024
c47fcb0
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 1, 2024
e4bf413
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 1, 2024
a577adc
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 1, 2024
0bd1d4f
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 1, 2024
e4b831d
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 1, 2024
4505267
Merge branch 'main' into feat/debugger-post
leohhhn Jul 2, 2024
cad39f3
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
b9c7fb0
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
df35cff
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
5604a2f
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
6e3336d
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
cf75851
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
83d9911
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
0d3e044
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
169344e
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 21, 2024
0502d8b
fix code section delimiters
mvertes Jul 21, 2024
a000923
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 22, 2024
8af81c2
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 22, 2024
ec50647
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 22, 2024
fb6a7b0
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 22, 2024
1c992c2
Update posts/2024-06-28-gno-debugger/README.md
mvertes Jul 22, 2024
9f79bcf
Merge branch 'main' into feat/debugger-post
leohhhn Jul 31, 2024
08070d5
Apply suggestions from code review
leohhhn Aug 5, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
220 changes: 220 additions & 0 deletions posts/2024-06-28-gno-debugger/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,220 @@
---
title: "Debugging Gno Programs"
publication_date: 2024-06-28T13:37:00Z
slug: gno-debugger
tags: [blog, post, tutorial, gno, debugger]
authors: [mvertes]
---
# Debugging Gno Programs

In this article, we introduce the new Gno debugger feature and show how it can be used to better understand Gno programs and help to fix bugs.

## Motivation for a Gno debugger

> Debugging is twice as hard as writing code.
>
> -- <cite>Brian Kerninghan, "The Elements of Programming Style"</cite>

> On average, you spend about eight to ten times debugging as you do writing code.
>
> -- <cite>Anonymous</cite>

Having a good debugger is important. But the Gno language is almost Go, and gno.land itself is entirely written in Go. Could I just use the existing Go tools, i.e. the [delve] debugger, to take control and debug my Gno programs?

You cannot debug your *Gno* program this way because doing so would entail debugging the Gno virtual machine rather than your own program. The relevant state information would be opaque and would need to be reversed and reconstructed from internal Gno virtual machine data structures.

The Gno debugger addresses this issue by displaying the state of the Gno program memory symbolically. It allows for control of program execution at the source code level, regardless of the virtual machine implementation.

## Setting up

The Gno debugger is fully integrated in the [gno](https://docs.gno.land/gno-tooling/cli/gno-tooling-gno) binary, which is the tool required to build, test, and run Gno programs locally.

There is no need to install a specific tool. You just have to install the `gno` tool itself with:

```shell
git clone https://github.com/gnolang/gno
cd gno
go install ./gnovm/cmd/gno
```

We are now ready to play with Gno programs. Let's consider a simple classic example as a target program, the computation of [Fibonacci numbers]:

```go
// fib.gno
package main

// fib returns the nth number in the Fibonacci sequence.
func fib(n int) int {
if n < 2 {
return n
}
return fib(n-2) + fib(n-1)
}

func main() {
println(fib(4))
}

```
To execute this program, we run the command `gno run ./fib.gno`. To activate the debugger, we just pass the `-debug` flag: `gno run -debug ./fib.gno`. Use `gno run -help` to get more options if needed.

## Quick tour of the debugger

When you start a program in debug mode, you are greeted by a prompt allowing you to interact with it via the terminal:
```shell
$ gno run -debug ./fib.gno
Welcome to the GnoVM debugger. type 'help' for list of commands.
dbg>
```

Entering `help` gives you the list of available commands and their short usage:

```shell
dbg> help
The following commands are available:

break|b [locspec] Set a breakpoint.
breakpoints|bp Print out info for active breakpoints.
clear [id] Delete breakpoint (all if no id).
continue|c Run until breakpoint or program termination.
detach Close debugger and resume program.
down [n] Move the current frame down by n (default 1).
exit|quit|q Exit the debugger and program.
help|h [command] Print the help message.
list|l [locspec] Show source code.
print|p <expression> Print a variable or expression.
stack|bt Print stack trace.
step|s Single step through program.
stepi|si Single step a single VM instruction.
up [n] Move the current frame up by n (default 1).

Type help followed by a command for full documentation.
dbg>
```

If you have already used a debugger before, like [gdb] or [lldb] for C/C++ programs, or [delve] for Go programs, the Gno debugger should look familiar; the commands are similar in their syntax and usage.

The commands can be classified in the following categories:
- managing breakpoints: `break`, `breakpoints`, `clear`,
- controlling execution: `step`, `stepi`, `continue`,
- browsing code, data and stack: `list`, `print`, `stack`,
- navigating the stack: `up`, `down`,
- quitting the debugger: `detach`, `exit`.

## Controlling and exploring the program state

Let's go back to our Fibonacci program, still paused. We `step` a first time, which instructs the GnoVM to execute a single statement and give back control to the user:

```shell
dbg> s
> main.main() main/./fib.gno:11:1
7: return n
8: }
9: return fib(n-2) + fib(n-1)
10: }
11:
=> 12: func main() {
13: println(fib(4))
14: }
```

The first output line `> main.main() main/./fib.gno:11:1` indicates the precise current location in source code, followed by a short source listing around this location. The current line is indicated by the cursor `=>`.

From there, we could repeat `step` commands to progress, but that would be too tedious. Instead, we set a breakpoint at an interesting line in the `fib` function, and `continue` to it directly:

```shell
dbg> b 7
Breakpoint 0 at main main/./fib.gno:7:1
dbg> c
> main.fib() main/./fib.gno:7:10
2: package main
3:
4: // fib returns the nth number in the Fibonacci sequence.
5: func fib(n int) int {
6: if n < 2 {
=> 7: return n
8: }
9: return fib(n-2) + fib(n-1)
10: }
11:
dbg>
```

Note that we have used the short alias of commands: `b` for `break` and `c` for `continue`. We only need to specify the line number when setting the break point here, due to it being in the same file. Setting break points in other files requires specifying the full file path and line number.

We can now examine the call stack which indicates the successive nested function calls up to the current location:

```shell
dbg> stack
0 in main.fib
at main/./fib.gno:7:10
1 in main.fib
at main/./fib.gno:9:20
2 in main.fib
at main/./fib.gno:9:20
3 in main.main
at main/./fib.gno:13:2
dbg>
```
We see a call stack of depth 4, with call frames (local function contexts) numbered from 0 to 3, 0 being the current call level (the deepest). This information is crucial, especially when debugging recursive functions like `fib`. We know that the caller and its caller were both `fib`.

Now we want to examine the value of the local parameter `n`, for each call level:
```shell
dbg> print n
(0 int)
dbg> up
> main.fib() main/./fib.gno:7:10
Frame 1: main/./fib.gno:9:20
4: // fib returns the nth number in the Fibonacci sequence.
5: func fib(n int) int {
6: if n < 2 {
7: return n
8: }
=> 9: return fib(n-2) + fib(n-1)
10: }
11:
12: func main() {
13: println(fib(4))
dbg> print n
(2 int)
dbg> up
> main.fib() main/./fib.gno:7:10
Frame 2: main/./fib.gno:9:20
4: // fib returns the nth number in the Fibonacci sequence.
5: func fib(n int) int {
6: if n < 2 {
7: return n
8: }
=> 9: return fib(n-2) + fib(n-1)
10: }
11:
12: func main() {
13: println(fib(4))
dbg> print n
(4 int)
dbg>
```
We see that the local value `n` is 0 at current frame 0, 2 at frame 1 and 4 at frame 2, which corresponds to the nested calls of `fib` expressed at line 9.

The `up` and `down` stack navigation commands enable the debugger to display the value of local function variables and parameters for the whole call chain.

In this example, the `n` variable is simply an integer, but the `print` command is also able to handle more complex expressions to uncover the content of arbitrary maps, struct, arrays, etc using the same syntax as Go. For example, `print a.b[n]` will print as expected, with `a` being a value of type:
```go
var a struct {
b []string
}
```
For security reasons, the `print` command will only evaluate expressions with no side effects on the virtual machine state. For example, it is not possible to perform an arithmetic operation like `print a + 2`, or to call a function like `printf f(6)`.

## Conclusion

We have introduced the new Gno debugger and presented its main capabilities.

This is just the start of a new project, with a lot of room for improvement. The whole Gno project being open source, you are welcome not only to provide feedbacks and suggestions, but also to contribute at https://github.com/gnolang/gno.


[delve]: https://github.com/go-delve/delve
[gno]: https://github.com/gnolang/gno/tree/master/gnovm/cmd/gno
[Fibonacci numbers]: https://simple.wikipedia.org/wiki/Fibonacci_number
[gdb]: https://sourceware.org/gdb/
[lldb]: https://lldb.llvm.org
Loading