feliix42/dummyco.de
1
0
Fork 0
mirror of https://github.com/Feliix42/dummyco.de.git synced 2024-11-21 18:06:30 +00:00
Code Issues Projects Releases Packages Wiki Activity

add draft for AoC post

Browse source
This commit is contained in:
Felix Suchert 2023-02-19 20:20:53 +01:00
parent 1dd72d2e13
commit 71c2dd6a62
Signed by: feliix42
GPG key ID: 24363525EA0E8A99
5 changed files with 390 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

389
content/post/2023-01-15-advent-of-code.md Normal file
View file

@ -0,0 +1,389 @@
---
title: "Advent of Parsers"
date: 2023-01-15T16:30:26+01:00
hero: /content/images/2023/01/2023-01-15-banner.jpg
excerpt: If the Advent of Code is mainly about parsing inputs, why not solve it only using parsers?
slug: "advent-of-parsers"
tags: ["programming", "compiler"]
authors: ["felix"]
draft: false
---
For the past years, I've been challenging myself to solve the [Advent of Code](https://adventofcode.com/2022/about) challenges in the most cumbersome ways:
Using a different language each day or by using only C/C++[^php].
This year, I originally didn't want to participate at all as I had a lot to do at work and little time to spare.
But as I left for the christmas holidays, I finally had some time to unwind from thinking about compilers all day.
And then it hit me: Couldn't I just [solve every task by writing a compiler](https://twitter.com/mycoliza/status/824809235632447492)?
[^php]: I faintly remember a PHP-only challenge, though I couldn't find the code for it. On the other hand it's scientifically proven that peoples' subconsciousness erases traumatic memories.
Now hear me out! Of course, strictly speaking a program reading arbitrary text to produce a number or string[^solutions] are hardly a compiler.
On the other hand, the compiler alignment chart (sourced from the [dead bird site](https://twitter.com/SeaRyanC/status/1334233376509763585)) would beg to differ:
[^solutions]: That's how solutions to Advent of Code challenges usually look, you enter a short string produced by your solution.
![Compiler Alignment Chart showing a matrix similar to good/neutral/evil alignment charts, joking about what inputs and outputs are sufficient for something to be a compiler](/content/images/2023/01/compiler-alignment.png)
But it's true, effectively we only need the compiler frontend, i.e. a parser, since most tasks mainly revolve around parsing and processing input.
So my challenge for this year was: **Solve this year's Advent of Code challenges by only writing parsers.**
## The Tools
For a stupid challenge like this, it only made sense to use something arcane for implementing the parser: [`flex`](https://github.com/westes/flex) and [`bison`](https://www.gnu.org/software/bison/).
Both are by now tried and tested tools for writing parsers and lexers, respectively.
And, true to the spirit of the challenge, they generate C or C++ code, even though the latter doesn't compile.
But how does my self-inflicted tech stack work?
Let me give you a quick (and maybe over-simplified -- please don't roast me, dear colleagues) primer on parsing input the _proper_ way (using C and flex+bison).
### A Running Example
One of this years' tasks that can most obviously be solved using a parser is [Day 10's CPU instruction interpreter](https://adventofcode.com/2022/day/10).
As part of the story, you have to fix up your broken handheld communication device after falling into a river.
To do that, you have to understand the assembly instructions given off by it.
The CPU has exactly one internal register `X` and features 2 operations:
- `addx val`: modifies the internal register by adding the value to it. This operation takes 2 cycles to complete.
- `noop`: sleeps for one CPU cycle.
The first task is then to take your puzzle input in the form of a bit over 100 lines of instructions and parse it.
You are supposed to take the register contents during the 20th cycle, multiply it with the cycle count and repeat the process every 40 cycles.
All results then have to be summed to form your solution.
### Simplifying the Input
So let's just chuck our input into the parser, right? **Wrong.**
While you could do that, that's not how most parsers are intended to be used. Why?
Because you use a parser only to assign meaning to your input by matching it to certain rules.
To simplify this step, a commonly employed tool is the _lexer_.
It takes an input character stream and maps individual strings (which are called [lexemes](https://en.wikipedia.org/wiki/Lexical_analysis#Lexeme) in this context) to tokens (or syntax errors[^syntaxerror]).
This allows us to write a parser later on that directly operates on the emitted tokens.
Tool of our choice for this step is `flex`, a true jewel from the 80's that nicely integrates with our parser.
[^syntaxerror]: Fun Fact: Replacing the `;` at the end of a line with the identically-looking greek question mark is a commonly referred prank among programmers. However, this will lead to a syntax error as the character can't be processed by the lexer. Take that, pranksters.
Normally, you design the lexer and parser side-by-side, but let's take things step by step.
A piece from our input may look like this:
```text
addx 7
noop
addx 1
addx -33
noop
```
Every input possibly encountered by the lexer must be described using a rule, otherwise we'll run into errors.
First, we define a few shorthands which we can then use in our lexing rules (for small examples like this it's a bit overkill but at least it's good style):
```flex
NOP "noop"
ADD "addx"
NUM [0-9\-]
NL [\n]
SPACE " "
```
Our input is mainly comprised of our two operations, `addx` and `noop`, combined with some numbers as arguments.
Since the operations will have a semantic meaning later, we separate them from other inputs by defining them as special strings.
Other than that, we have `NUM`, which matches all numbers between 0 and 9 as well as a `-`, since inputs may be negative as well.
Finally, we need to also match newline characters and spaces, since both are part of our input as well.
With these definitions, we can then turn to our rules for matching recognized inputs to tokens which shall be emitted:
```flex
{NOP} { return NOP; }
{ADD} { return ADDX; }
{NUM}+ {
int num = atoi(yytext);
yylval->num = num;
return NUM;
}
{NL} { return NEWLINE; }
{SPACE} { /* we ignore spaces */ }
<<EOF>> {
return END_OF_FILE;
}
. {
printf("[error] Encountered unexpected token %s\n", yytext);
return 0;
}
```
The rules always define on the left-hand side an input to match on and in braces on the right the action to take (as C code).
For `NOP`, `ADD` and `NL`, these actions are straightforward, we just emit a token of the name.
For numbers, the process is a bit more difficult.
We don't just want to emit a token saying a specific input class was read, we also want to transmit the number itself.
For that, we match on `{NUM}+`, one or more connected items of the `NUM` class we defined earlier.
Then, we parse the number using standard C facilities.
Note, that `yytext` is a variable exposed by `flex` itself.
It contains the character string that matched the rule on the left-hand side.
We then assign the parsed number to `yylval`.
But where are the tokens we emit and the `yylval` variable defined?
Well, they're both coming from the parser file in `bison` and must come from there.
This is, in my opinion, one of the great hurdles when starting out with these tools: They are so deeply intertwined that learning them can result in a lot of headaches as things usually don't work as you expect them to at first.
For example: I originally tried to use C++ this time for at least some Quality of Life improvements over pure C.
But alas, the C++ parser and lexer didn't want to work together and even the official examples didn't compile for me.
So I buried the idea quickly after sinking hours into the debugging process.
The last rules in our lexer declare that we ignore any spaces (we're not in Python after all) and want to match on the end of file as well, to know when lexing is done.
The final rule matches on all remaining lexemes and emits an error message to inform the user of a syntax error occuring.
With that, we defined the lexer appropriately.
The full file (containing all set-up instructions and options) can be found [here](). <!-- TODO -->
### Bring in the Grammar!
If reading that section heading gave you bap flashbacks to your language lessons, don't worry.
If it gave you flashbacks to your formal systems lectures, I have bad news.
Job of a parser is to assign semantics to the tokens we produced in the previous step, and these semantics are expressed using a formal _grammar_.
In simple terms, such a grammar is composed of different rules that describe any legal structure of the input.
So, going back to our CPU instruction parser example, the grammar would look like this:
```bnf
<input> ::= <line> <input> | END_OF_FILE
<line> ::= <instruction> NEWLINE | NEWLINE
<instruction> ::= NOP | ADDX NUM
```
The syntax you're looking at is called [_"Backus-Naur form"_ (BNF)](https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form) and chances are you've learned about that if you ever attended a lecture on formalization of languages.
The left side of each rule is called a _nonterminal_, the symbols in CAPS are _terminals_ or just tokens.
As the name suggests, nonterminals are themselves just placeholders for other grammar rules.
You can think of them as variables or modules that allow you to stick together a grammar.
In our example, we want to parse an arbitrary number of input lines, each containing a single instruction.
This is represented by the rule in line 1, the starting rule for our grammar.
It says that each input instantiation consists either of a line rule followed by another input rule _or_ an end-of-file token (the OR is indicated with a pipe symbol).
This allows us to read as many lines (i.e., instructions) as we want.
The `<line>` rule defines that each line may contain exactly one instruction and is terminated by a newline, allowing for empty lines (I did that because copying the input file adds an empty line to the file at the end).
Our final rule defines different types of instructions, in our case `NOP` or `ADDX NUM`, the only two operations we need to support.
And that's it, that is our grammar.[^actually]
Now we can obviously start writing an absolute unit of an if-else chain matching this grammar in our program and post it to [r/shittyprogramming](https://www.reddit.com/r/shittyprogramming/top/?t=all).
But, as you might have guessed, the problem of "parsing things" has been solved a long time ago and there exist solutions that don't want to make you pull out your hair in agony.
So, we lay our eyes upon the holy grail that has been gifted to us by [Richard M. Stallman](https://rms.sexy) himself[^rms]: `bison`.
[GNU Bison](https://en.wikipedia.org/wiki/GNU_Bison) is a [parser generator](https://en.wikipedia.org/wiki/Compiler-compiler) that allows us to give it a grammar definition written in BNF, from which a parser is generated.
The choice for this tool was mainly motivated by the fact that I used both `flex` and `bison` to implement my own shell[^shell].
[^actually]: For actual programming languages, these grammars are [quite complex](https://github.com/jorendorff/rust-grammar/blob/master/Rust.g4). In our case however, the individual grammars for each day's tasks are rather simple.
[^rms]: Actually, `bison` was written by Robert Corbett. Richard Stallman just made it compatible to another parser generator named `yacc`.
[^shell]: In case you weren't aware, a parser is indeed used in most shells to disambiguate what part of your input is program invocation and what are meta-operations like I/O-redirections or pipes. `bash` in fact is a whole scripting language and your prompt a mere interpreter.
Numerous parser algorithms exist that all have individual benefits and drawbacks, but discussing them in detail would be a bit much.
It's enough for us to know that Bison generates a [LALR(1)](https://en.wikipedia.org/wiki/LALR_parser)[^lalr] parser.
In case you're not familiar with that, let us just keep the following in mind:
Our parser will work _left-to-right_, meaning it processes our input in the order we feed it into the parser.
The nice thing is, that we don't have to care about what happens under the hood of the parser, except for when our parser fails for dubious reasons.
[^lalr]: A _Look-Ahead Left-to-Right parser_, constructing a _rightmost_ derivation, using 1 lookahead token. I know that's a lot to take in, especially if you're not familiar with it, so let's keep things simple.
### Writing the Parser
Ok, so now that we have digested the core concepts of what a parser does, let's get back to the code.
As I said before, `bison` integrates nicely with `flex`.
It expects a function called [`yylex`](https://www.gnu.org/software/bison/manual/html_node/Lexical.html) that returns the next token for the parser to process.
Normally, you could also implement the function itself, but we have a dedicated lexer for that.
And the neat thing is, that `flex` generates this function already based on our definitions, we can simply import the generated lexer in the parser definition.
For the parser itself, we can now think about how to solve the task we were given.
We don't just have to read the instructions, we must also interpret them, store the register contents and sum them at specific points.
So, it'd be nice if we could invoke specific actions for some grammar rules and keep some sort of internal state.
Luckily, both things are possible.
To keep an internal state for the parser, we just define a corresponding struct (which I just named `parser_state` for convenience) in the header file that will be generated:
```bison
// parser.y
// Code for the header file generated by bison
%code requires {
struct parser_state {
/// Program Counter
size_t cycle;
/// Contents of register X
long reg;
/// For solving task 1
long sum;
/// keeps track of the next CPU cycle.
size_t next_target_cycle;
};
}
```
Additionally, we put a function in the generated C file that takes care of incrementing our program counter and summing the register values:
```bison
// parser.y
// Code for the c file
%{
#include <stdio.h>
#include <stdlib.h>
#include "parser.h"
#include "lexer.h"
void increment_cycle(struct parser_state *state) {
state->cycle++;
if (state->cycle == state->next_target_cycle) {
long tmp = state->cycle * state->reg;
printf("[info] Register contents at cycle %zu: %ld\n", state->cycle, state->reg);
state->sum += tmp;
if (state->next_target_cycle < 220) {
state->next_target_cycle += 40;
}
}
}
%}
```
With these functionalities in place, we can now define the real grammar of the parser, similar to the _BNF_ definition we saw above.
For that, we first need to define the tokens we already used in the lexer (and which are imported from the parser, so both files have a symbiotic relationship).
You will see that we can attach values to specific tokens.
This allows us for instance to store the parsed number alongside the `NUM` token.
As a neat bonus, `bison` allows us to define actions (i.e., code) to be executed as part of reading a rule.
We use that to increment the CPU cycles and handle the register value addition:
```bison
// parser.y
%union {
int num;
}
%start input
%token NEWLINE
%token NOP ADDX
%token <num> NUM
%term END_OF_FILE
%%
input
: line input
| END_OF_FILE { return 0; }
;
line
: instruction NEWLINE
| NEWLINE
;
instruction
: NOP { increment_cycle(state); }
| ADDX NUM {
increment_cycle(state);
increment_cycle(state);
state->reg += $2;
}
;
```
As you can see, the rules look similar to the ones we defined before.
And that's it already, there is our grammar to parse the whole task and solve part one automagically while processing the input.
We of course need some more setup code which you'll find in the complete `parser.y` file [here](). <!-- TODO -->
The last part we have to take care of is invoking the parser.
But now, that's as easy as pie.
We just write a quick main function at the end of our `bison` file that initializes our state and the lexer and runs the parser to end by invoking `yyparse` with the necessary arguments[^args]:
[^args]: I omitted the definition of parser arguments for the sake of simplicity, but that is not so difficult.
```c
int main(void) {
struct parser_state *state = calloc(1, sizeof(struct parser_state));
if (!state) {
fprintf(stderr, "\033[91m[error] Ran out of memory\033[0m\n");
return EXIT_FAILURE;
}
state->reg = 1;
state->next_target_cycle = 20;
// initialize the flex scanner
yyscan_t scanner;
if (yylex_init(&scanner)) {
fprintf(stderr, "\033[91m[error] Could not initialize lexer\033[0m\n");
return EXIT_FAILURE;
}
if (yyparse(state, scanner)) {
// error during parse occured
return EXIT_FAILURE;
}
// de-initialize the flex scanner
yylex_destroy(scanner);
// task 1
printf("Sum of signal strengths: %ld\n", state->sum);
free(state);
return 0;
}
```
### The Bottom Line
So in the end, the following steps happen in our lexer-parser combo:
We feed the lexer our original input:
```text
addx 7
noop
addx 1
addx -33
noop
```
Which will turn it into a stream of tokens that looks like this:
```text
ADDX NUM(7) NEWLINE NOP NEWLINE ADDX NUM(1) NEWLINE ADDX NUM(-33) NEWLINE NOP NEWLINE END_OF_FILE
```
Then, our parser matches these tokens following our rules, starting with the `input` rule, as it is defined as the starting symbol.
The result is a derivation of our grammars' rules, a so-called _parse tree_ (please forgive my non-existing drawing skills):
![The resulting parse tree](/content/images/2023/01/parse-tree.png)
## Lessons Learned
By doing this seemingly stupid challenge, I realized that what I was doing was actually not too different from what you'd normally do in the advent of code.
The parser framework just gives you the right set of tools to reason about the input (in the most cases, for some tasks it felt very forced).
- It's a lot cleaner (you got a grammar and all)
What I learned:
- C++ parsers are a major PITA -- especially if not even the official example compiles
- (almost) everything can be parsed
- sometimes it takes a bit of extra code
- natural limitations: day 3
- Left-associative parsers: take care (LR(1))
- input is mostly a representation of data -> something parsers are for
## Structure
- explain parser/lexer structure briefly
- walk through 1-2 examples?
- assembly interpreter
- shell output parser

BIN
static/content/images/2023/01/2023-01-15-banner.jpg Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 1.1 MiB

BIN
static/content/images/2023/01/compiler-alignment.png Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 63 KiB

1
static/content/images/2023/01/parse-tree.drawio Normal file
View file

@ -0,0 +1 @@
<mxfile host="app.diagrams.net" modified="2023-01-25T22:27:59.890Z" agent="5.0 (Macintosh)" etag="URm97L3eteKYXXANOymU" version="17.4.5" type="device"><diagram id="U7wSayrPzvFG7p7ZQUGY" name="Page-1">7VxRd6I4FP41nrPzYA9JEPCxVt3tOZ1Oz7ZzOvvUk0qqbJE4GFvtr98gQQhoZdwOAZon4ZJAuPm++4Uk1w66mK//DPFi9pW6xO9Aw1130LADIQCOxX8iyya22BDFhmnouaJQarj13ogwGsK68lyylAoySn3mLWTjhAYBmTDJhsOQvsrFnqgvP3WBp6RguJ1gv2i991w2i60OtFP7X8SbzpInA6sfX5njpLB4k+UMu/Q1Y0KjDroIKWXx0Xx9QfzIeYlf4nrjA1d3DQtJwMpUeLFGm4fxT3eFl+ztLRyY7H7WFXd5wf5KvHAHWj6/32ARksjX+NELXBJ3p/VzFTV2YKSHked9vFxK130cTFfcMV1G1oyX8L2AdIPV/JGEy2xVayp+tw98okFU+AlPiHS3S7okL8+YX7oj4fxw/QnHXpnmZJq+ZBtfftgjnjxPQ7oK3O6E+jTsoPPICyEOlsLTheefD4c/eJnr71//sL9EB6P7q8vrUXT07UY6z5QEXw5d6SL0/l1G18OHb+OH8eXVKHl13unx28se4ebYqQXztnMTK5Q8AbdeQoMZm/vcAPjhkoX0mVzE/hgGNCBRd3m+nzNh35sG/HTC/US4ffBCQuZxLp2LC3PPdaPHDF5nHiO3i7irX3nk4Lat10kEVkOgIbm9S57waoeRMZ57fhRNcsBIXiV6KFkfJAnYUY/HLELnhIUbXkRU6AmyimhlWuL8NeW+nXB/luE9EuWwCDfT3Z1TRvIDQcpfIKhT6B/ZTzRkMzqlAfavKF2IDvuXMLYRsRSvGJW7k6w99iOqfgZ74vSfzKXhWtx6e7JJTgL+NnEtA9mJIarXNc4AQoklrb09k6rfkNDjXomgsevjw725HwEkcM+jsJ6ijlvGXuTU7T1jdxG3ENVzCOAupatQhJr9rodCbnA4JexYDC0iKiQ+Zt6L3I4Px0eikxmARC9/K06Fjz4QM6dBxnFykDEsW0NGDWRgQfMvr2/v/tZCkBUCRxYC1C8KgWlUqAMAFPqnhjyHyMzy3GghxVETKI40xY9THBp14zismOOnjf9QTyY5HxC2cfhnNoHoAFUMGfskyJgA5CDTyuFfIyBjam04rg0I1E0bzEZoQ8+Sid5CkveaQHJgNUIXLNDXcKkBXHpaE45rwm4yuDaaYFdM8pM4bhdmi1vIcqsJLLc0y0usAPVrxnLUDCkHNsjxvJ3TAsBpAtVR1dJw4ufCr4z+2gIMqPTDwCmIQLyvQGtAqgEA5jQAqtaAXiM0ADrS51x7NaDfCA0o7h3RGlATYCClGtDXGnBUA2DtNKDqGeATl3qc1m8BSJBQ8/Df1+G/rsAwVQIjaaUO/+8tAPbqFv6bsdL/SWaBdrkotZaABKBaAuoHjJ5SCSjm/WgJKOaC1E0Cqt4DrOkMYUk6W0qH+rARYwMHStBobxZIWdCoTQOBWgOOaoCV3weoWgNg1V/15Zn+O1iZiR59iD4menwk06vKBhFVb6i3TZIW6LRzc5RmLwe7uF2iVg55u2b8DzDuyzO5+X6nY0g2hth1G0eaVW8OOGm4II0iz9KhQ0MHkmVzA+LscmUbQfWMQW2RES/bKRsu7ssb0bH+SN6IrTrU6ymDyvlcdsd//AGmbG64GXMGnxMZSreHwH3ZIDrS52cGcguEu78OUhbqG7FA2CY6l036gErXesyGZI5+SmSonQHelxCkA31+GTCX9gdUJwSZVW8G14RO/vLvOKGN/ViqKNQ3IlVMwkXzJ/ZKQ0PpEnHSTB3r34v1JsrFeqQ61ledw6EZ3YWlE/mUbuM19f7u2iIjzrJUFuuLOZ461hcTfHJT9eC3hXp+mv7Ne7z2nv5ZPhr9Bw==</diagram></mxfile>

BIN
static/content/images/2023/01/parse-tree.png Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 33 KiB