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.
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.
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.