How to cache data using GDB's Python API
developers.redhat.com