diff options
| author | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-04-27 11:00:19 -0400 |
|---|---|---|
| committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-05-29 17:37:07 -0400 |
| commit | f85625ccf28d1bffd4dac916babb76b910ebef31 (patch) | |
| tree | cc3eee0b83d0295034b5cb24737a637c8a662e77 /litmus/ftdev.c | |
| parent | 8fe2fb8bb1c1cd0194608bc783d0ce7029e8d869 (diff) | |
Synchronize plugin switching
Make sure the plugin is not used by any CPUs while switching.
The CPU performing the switch sends an IPI to all other CPUs forcing
them to synchronize on an atomic variable.
Diffstat (limited to 'litmus/ftdev.c')
0 files changed, 0 insertions, 0 deletions