/dev/posts/

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.

Read more…

Custom (X11/xkb) keyboard layout without being root

Published:

Short tutorial about creating a custom keyboard layout without being root.

Read more…

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.

Read more…

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.

Read more…

Profiling and optimising with Flamegraph

Published:

Flamegraph is a software which generates SVG graphics to visualise stack-sampling based profiles. It processes data collected with tools such as Linux perf, SystemTap, DTrace.

Read more…

Page 2 of 2 | | | JSON Feed | Atom Feed