| 89,4 → 89,29 |
|---|
| fsf_thread_exit (void *value_ptr); |
| |
| |
| //fsf_set_shared_obj_preemption_level: The operation updates the |
| //specified shared object by setting its preemption level |
| //to the specified input parameter. |
| //OBSERVATION: if this value is changed being any contract that |
| //uses the resource already accepted, the system's behavior and |
| //particularly the acceptance tests correctness are not garantee |
| //and probably wrong. |
| |
| int |
| fsf_set_shared_obj_preemption_level |
| (fsf_shared_obj_handle_t obj_handle, |
| fsf_preemption_level_t preemption_level); |
| |
| |
| //fsf_get_shared_obj_preemption_level: The operation obtains from the |
| //specified shared object its preemption level and copies |
| //it to the place pointed to by the specified input parameter. |
| |
| int |
| fsf_get_shared_obj_preemption_level |
| (fsf_shared_obj_handle_t obj_handle, |
| fsf_preemption_level_t *preemption_level); |
| |
| |
| |
| #endif // _FSF_IMPLEMENTATION_SPECIFIC_H_ |