sml
Kaitai Struct
sml | Kaitai Struct | |
---|---|---|
23 | 44 | |
1,081 | 3,830 | |
3.2% | 1.6% | |
6.8 | 7.5 | |
about 1 month ago | 16 days ago | |
C++ | Shell | |
Boost Software License 1.0 | GPL-3.0-or-later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
sml
-
Sharing Saturday #496
Anyway the need is not complicated, I need both entry and exit functions from every state, optionally allowing these functions to be coroutines (that's special sauce but for later), and an explicit state transition table which also have a way to say that a state can be accessed at any point. Also allow states to be state machines, optional FSM hierarchies. If you ignore the coroutine stuff it's pretty standard features these days, except that - Boost.MSM is quite archaic now (it was so novel when it was first released...) although it allows most of the features I talked about, I just think it will complicate my code unneecessarilly; - Boost-Ext.SML (not Boost) is almost perfect except it doesnt have entry/exit functions on states for some reason. Also last time we (as in in livestream) tried it in prototypes it didnt compile on msvc XD - Boost-Ext.SML2 is even better but still doesnt have entry/exit functions although it's in the plans.
-
State machines with C++20 coroutines and Asio/Boost Async
Hello all. Being a huge fan of state machine and coroutines, I have been browsing around for examples of what other people do combine these two. I have been using boost-ext/sml for quite many projects and are quite happy about that. But when transitioning to code that relies on coroutines, I would like to write entry/exit/actions/guard methods that uses coroutines and where I can co_await on awaitables from Asio and more recently "Boost Async".
-
Looking for well written, modern C++ (17/20) example projects for microcontrollers
boost-ext/sml: quite modern way of doing state machines using a DSL
-
When Debug Symbols Get Large
I recently was troubleshooting a crash that backtraced through the boost::sml library [0]. The crash didn't actually have anything to do with the library, but it was used as the core event loop.
The backtrace -- as in, just the output from running `bt` in GDB -- was over a thousand wrapped lines long. There were ~5 stack frames that took up 200 lines of console each to print just the function name. That product's debug builds recently hit the 2GB line, which is enough that old versions of binutils complain.
I don't know what the solution is. There's some really neat stuff you can do with template metaprogramming, and in stripped release builds it compiles down extremely tiny. Plus the code is very clean to read. But it does feel like there isn't any kind of central vision for the C++ debugging experience, and bad interactions between highly-complex modern C++ typing, the compiler, and the debugger are probably only going to get worse unless somebody (the ISO committee? Vendors?) thinks really hard about debugging support.
[0]: https://github.com/boost-ext/sml
-
[Boost::MSM] Huge Memory Usage Issue During Compilation
I'm a big fan of MSM but what you're experiencing is pretty normal for template-heavy libraries built on C++03 machinery (emulation of variadic templates is the usual culprit). It's probably not the answer you're hoping for, but the real solution is to switch to a library with more modern foundations. (I've been happily using [Boost::ext].SML for a few years but I'm reluctant to strongly recommend anything in particular since I haven't re-explored the problem space since I found it.)
-
State machine suggestion?
The Boost one that you mention, seems to be one that it's kinda old. A "successor" of sorts is Boost SML. I've not used it yet, but certainly the first impressions are very good.
-
Specifications for an open source finite state machine library
Or Boost.Sml
-
Facts about State Machines
At our company, we rely a lot on https://github.com/boost-ext/sml
-
What are some cool modern libraries you enjoy using?
I'm a big fan of boost::sml for representing state machines.
-
[C++20] New way of meta-programming?
https://github.com/boost-ext/sml (State Machine DSL and backend for perfomance)
Kaitai Struct
- Reverse-engineering an encrypted IoT protocol
-
Parsing an Undocumented File Format
- ImHex [2], which has a pattern language [3] which allows parsing, and it seems more powerful than what Kaitai offers. I stumbled upon some limitations with it but it was still useful.
[1]: https://kaitai.io/
- Kaitai Struct – a declarative language used to describe binary data structures
-
HTTPie Desktop: cross-platform API testing client for humans
Beautiful. Didn't know something like this exists. Reminds me of Katai[0]
[0]. https://kaitai.io/
-
Hacking the LG Monitor's EDID
An EDID override like this would be helpful for macOS as well, where the monitors swapping around after standby is a real annoyance [0] [1]
EDID rewrites are 99% of the time blocked by the monitor firmware: https://notes.alinpanaitiu.com/Decoding-monitor-EDID-on-macO...
By the way, one helpful tool that helped me navigate the EDID dump was Kaitai Struct [2]. It shows a side by side view with the hex view and the EDID structure, and it highlights the hex values in real time as you navigate the structure. Unfortunately [3] it doesn't support the extension blocks that the author needs.
[0] https://notes.alinpanaitiu.com/Weird-monitor-bugs
[1] https://forums.macrumors.com/threads/external-displays-swapp...
[2] https://kaitai.io/
[3] https://github.com/kaitai-io/edid.ksy
- Kaitai Struct: new way to develop parsers for binary structures
-
Fq: Jq for Binary Formats
Kaitai Struct might be a good choice for that: https://kaitai.io/
-
Ingesting, parsing and making sense of device log data
For binary log format, there's the excellent Kaitai Struct frameworks, that make it very easy to generate parsers from a declarative schema
-
What is this tool? More info in comments
kaitai
-
Visual Programming with Elixir: Learning to Write Binary Parsers (2019)
https://kaitai.io/
Worth a look if you are writing binary parsers.
What are some alternatives?
hsm - Finite state machine library based on the boost hana meta programming library. It follows the principles of the boost msm and boost sml libraries, but tries to reduce own complex meta programming code to a minimum.
Protobuf - Protocol Buffers - Google's data interchange format
stm32plus - The C++ library for the STM32 F0, F100, F103, F107 and F4 microcontrollers
csvkit - A suite of utilities for converting to and working with CSV, the king of tabular file formats.
hana - Your standard library for metaprogramming
Camelot - A Python library to extract tabular data from PDFs
HFSM2 - High-Performance Hierarchical Finite State Machine Framework
tablib - Python Module for Tabular Datasets in XLS, CSV, JSON, YAML, &c.
Experimental Boost.DI - C++14 Dependency Injection Library
PDFMiner - Python PDF Parser (Not actively maintained). Check out pdfminer.six.
Boost.Beast - HTTP and WebSocket built on Boost.Asio in C++11
PyYAML