diff options
Diffstat (limited to 'src/core/platform.h')
| -rw-r--r-- | src/core/platform.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/core/platform.h b/src/core/platform.h index c6f4ef30..6eff2f7d 100644 --- a/src/core/platform.h +++ b/src/core/platform.h @@ -157,6 +157,10 @@ extern void nni_plat_thr_fini(nni_plat_thr *); // prevention in callbacks, for example.) extern bool nni_plat_thr_is_self(nni_plat_thr *); +// nni_plat_thr_set_name is used to set the thread name, which +// should be a short ASCII string. It may or may not be supported -- +// this is intended to facilitate debugging. +extern void nni_plat_thr_set_name(nni_plat_thr *, const char *); // // Atomics support. This will evolve over time. // |