Filtering the clipboard using UNIX filters
Published:
I had a few Joomla posts that I wanted to clean up semi-automatically. Here are a few scripts, to pass the content of the clipboard (or the current selection) through a UNIX filter.
Joomla to Wordpress redirections
Published:
There are some good plugins to export Joomla content to WordPress. However, the free version does not rewrite the URIs. It is quite simple to read the Joomla database and generates a bunch of Apache Redirect directives.
Compile a mixed 32 bit/64 bit wine for Debian
Published:
The Wine 🍷 wiki has instructions for building a shared WoW64 Wine : this needs two out of source builds. The issue is that some developement packages are not multiarch co-installable. Another wiki page for Ubuntu recommends setting up a 32-bit LXC. Here is how I did it without a 32-bit container on Debian 🍥 testing.
Results on same-page-merging snapshots
Published:
In the previous episode, I talked about the implementation of a same-page-merging page store. On top of this, we can build same-page-merging snapshots for the SimGrid model checker.
Sample watchpoints or breakpoints with GDB (and FlameGraph)
Published:
GDB can be used to get the stack each time a breakpoint is reached.
Page store for the Simgrid model checker
Published:
The first (lower) layer of the per-page snapshot mechanism is a page store: its responsibility is to store immutable shareable reference-counted memory pages independently of the snapshoting logic. Snapshot management and representation, soft-dirty tracking will be handled in higher layer.
SDL2 gamepad calibration
Published:
Many recent games do not provide an option to map the keys/axes of the gamepad to specific actions. They assume that the gamepad is XBox compatible: if it is not the game is completely unusable. SDL2 provides a way to calibrate a gamepad 🎮 in order to map its keys/axes to the “standard” XBox ones.
Custom (X11/xkb) keyboard layout without being root
Published:
Short tutorial about creating a custom keyboard layout without being root.
Per-page shallow snapshots for the SimGrid model checker
Published:
I looked at my options to achieve efficient/cheap snapshots of the simulated application for the Simgrid model checker using copy-on-write. Here I look at another solution to achieve this without using copy-on-write.
Copy-on-write snapshots for the SimGrid model checker
Published:
The SimGrid model checker explores the graph of possible executions of a simulated distributed application in order to verify safety and liveness properties. The model checker needs to store the state of the application in each node of the execution graph in order to detect cycles. However, saving the whole state of the application at each node of the graph leads to huge memory consumption and in some cases most of the time is spent copying data in order to take the snapshots of the application. We will see how we could solve this problem, using copy-on-write.
Page 11 of 12 | Previous page | Next page | JSON Feed | Atom Feed