diff options
| author | Richard Braun <rbraun@sceen.net> | 2013-05-15 01:20:40 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2013-05-15 01:20:40 +0200 |
| commit | 74a912e25a9c5bb04631c16b89d8f761163d806e (patch) | |
| tree | 3576d86df47b4dece9dc6744b7dea7a521c11c5e /kern/thread.h | |
| parent | b71df26177d390a2d474cbd0e399da98e518e2ce (diff) | |
kern/thread: describe thread_sleep memory barrier semantics
Diffstat (limited to 'kern/thread.h')
| -rw-r--r-- | kern/thread.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kern/thread.h b/kern/thread.h index be2fcf36..d2fad3ee 100644 --- a/kern/thread.h +++ b/kern/thread.h @@ -215,6 +215,8 @@ void __noreturn thread_exit(void); * * This is a low level thread control primitive that should only be called by * higher thread synchronization functions. + * + * Implies a memory barrier. */ void thread_sleep(struct spinlock *interlock); |