diff options
| author | Damien George <damien.p.george@gmail.com> | 2016-05-04 10:23:21 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2016-06-28 11:28:49 +0100 |
| commit | dbd54e0b5bf50c42127b8f55a873e466cef2e0b7 (patch) | |
| tree | 473f43d1ebf55b3eed80f93f8d59079ebe4dc73a /unix/mpthreadport.h | |
| parent | 9172c0cb252faa47f56e61f67ceb213012631de2 (diff) | |
unix: Implement garbage collection with threading.
This patch allows any given thread to do a proper garbage collection and
scan all the pointers of all active threads.
Diffstat (limited to 'unix/mpthreadport.h')
| -rw-r--r-- | unix/mpthreadport.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/unix/mpthreadport.h b/unix/mpthreadport.h index c506755c1..51cf8d786 100644 --- a/unix/mpthreadport.h +++ b/unix/mpthreadport.h @@ -31,5 +31,6 @@ typedef pthread_mutex_t mp_thread_mutex_t; void mp_thread_init(void); +void mp_thread_gc_others(void); #endif // __MICROPY_INCLUDED_UNIX_MPTHREADPORT_H__ |