pymor.playground.core package

Submodules

network_cache module


class pymor.playground.core.network_cache.NetworkFilesystemRegion(server_path, secret='')[source]

Bases: pymor.core.cache.CacheRegion

clear()[source]

Clear the entire cache region.

get(key)[source]

Return cache entry for given key.

Parameters

key
The key for the cache entry.

Returns

(True, entry)
in case the key has been found in the cache region.
(False, None)
in case the key is not present in the cache region.
set(key, value)[source]

Set cache entry for key to given value.

This method is usually called only once for any given key (with the exemption of issues due to concurrency).


class pymor.playground.core.network_cache.NetworkFilesystemRegionServer(addr, path, secret=None)[source]

Bases: pymor.core.interfaces.BasicInterface