Changeset fe2e2e9 in rtems-central


Ignore:
Timestamp:
Jan 25, 2021, 5:08:01 PM (12 months ago)
Author:
Sebastian Huber <sebastian.huber@…>
Branches:
master
Children:
f3be101
Parents:
2c0696f
git-author:
Sebastian Huber <sebastian.huber@…> (01/25/21 17:08:01)
git-committer:
Sebastian Huber <sebastian.huber@…> (02/03/21 05:26:37)
Message:

spec: Use constraints for timer manager

Location:
spec/rtems/timer/if
Files:
8 edited

Legend:

Unmodified
Added
Removed
  • spec/rtems/timer/if/cancel.yml

    r2c0696f rfe2e2e9  
    1414  variants: []
    1515description: |
    16   This directive cancels the timer specified in the ${.:/params[0]/name}
    17   parameter.  This timer will be reinitiated by the next invocation of
    18   ${reset:/name}, ${fire-after:/name}, or ${fire-when:/name} with the same
    19   timer identifier.
     16  This directive cancels the timer specified by ${.:/params[0]/name}.  This
     17  timer will be reinitiated by the next invocation of ${reset:/name},
     18  ${fire-after:/name}, or ${fire-when:/name} with the same timer identifier.
    2019enabled-by: true
    2120index-entries:
     
    2726- role: interface-ingroup
    2827  uid: group
     28- role: constraint
     29  uid: /constraint/directive-ctx-isr
     30- role: constraint
     31  uid: /constraint/directive-ctx-devinit
     32- role: constraint
     33  uid: /constraint/directive-ctx-task
     34- role: constraint
     35  uid: /constraint/directive-no-preempt
    2936name: rtems_timer_cancel
    30 notes: |
    31   This directive will not cause the running task to be preempted.
     37notes: null
    3238params:
    3339- description: is the timer identifier.
  • spec/rtems/timer/if/fire-after.yml

    r2c0696f rfe2e2e9  
    3232- role: interface-ingroup
    3333  uid: group
     34- role: constraint
     35  uid: /constraint/directive-ctx-isr
     36- role: constraint
     37  uid: /constraint/directive-ctx-devinit
     38- role: constraint
     39  uid: /constraint/directive-ctx-task
     40- role: constraint
     41  uid: /constraint/directive-no-preempt
    3442name: rtems_timer_fire_after
    35 notes: |
    36   This directive will not cause the running task to be preempted.
     43notes: null
    3744params:
    3845- description: is the timer identifier.
  • spec/rtems/timer/if/fire-when.yml

    r2c0696f rfe2e2e9  
    3232- role: interface-ingroup
    3333  uid: group
     34- role: constraint
     35  uid: /constraint/directive-ctx-isr
     36- role: constraint
     37  uid: /constraint/directive-ctx-devinit
     38- role: constraint
     39  uid: /constraint/directive-ctx-task
     40- role: constraint
     41  uid: /constraint/directive-no-preempt
    3442name: rtems_timer_fire_when
    35 notes: |
    36   This directive will not cause the running task to be preempted.
     43notes: null
    3744params:
    3845- description: is the timer identifier.
  • spec/rtems/timer/if/get-information.yml

    r2c0696f rfe2e2e9  
    2424- role: interface-ingroup
    2525  uid: group
     26- role: constraint
     27  uid: /constraint/directive-ctx-isr
     28- role: constraint
     29  uid: /constraint/directive-ctx-devinit
     30- role: constraint
     31  uid: /constraint/directive-ctx-task
     32- role: constraint
     33  uid: /constraint/directive-no-preempt
    2634name: rtems_timer_get_information
    27 notes: |
    28   This directive will not cause the running task to be preempted.
     35notes: null
    2936params:
    3037- description: is the timer identifier.
  • spec/rtems/timer/if/initiate-server.yml

    r2c0696f rfe2e2e9  
    2828- role: interface-ingroup
    2929  uid: group
     30- role: constraint
     31  uid: /constraint/object-allocator
     32- role: constraint
     33  uid: /constraint/directive-ctx-devinit
     34- role: constraint
     35  uid: /constraint/directive-ctx-task
     36- role: constraint
     37  uid: ../constraint/max
     38- role: constraint
     39  uid: /constraint/obj-unlimited-alloc
    3040name: rtems_timer_initiate_server
    3141notes: |
    32   This directive may cause the calling task to be preempted due to an obtain
    33   and release of the object allocator mutex.
    34 
    3542  The Timer Server task is created using the ${../../task/if/create:/name}
    3643  directive and must be accounted for when configuring the system.
  • spec/rtems/timer/if/reset.yml

    r2c0696f rfe2e2e9  
    2929- role: interface-ingroup
    3030  uid: group
     31- role: constraint
     32  uid: /constraint/directive-ctx-isr
     33- role: constraint
     34  uid: /constraint/directive-ctx-devinit
     35- role: constraint
     36  uid: /constraint/directive-ctx-task
     37- role: constraint
     38  uid: /constraint/directive-no-preempt
    3139name: rtems_timer_reset
    3240notes: |
    33   This directive will not cause the running task to be preempted.
    34 
    3541  If the timer has not been used or the last usage of this timer was by a
    3642  ${fire-when:/name} or ${server-fire-when:/name} directive, then the
  • spec/rtems/timer/if/server-fire-after.yml

    r2c0696f rfe2e2e9  
    3232- role: interface-ingroup
    3333  uid: group
     34- role: constraint
     35  uid: /constraint/directive-ctx-isr
     36- role: constraint
     37  uid: /constraint/directive-ctx-devinit
     38- role: constraint
     39  uid: /constraint/directive-ctx-task
     40- role: constraint
     41  uid: /constraint/directive-no-preempt
    3442name: rtems_timer_server_fire_after
    35 notes: |
    36   This directive will not cause the running task to be preempted.
     43notes: null
    3744params:
    3845- description: is the timer identifier.
  • spec/rtems/timer/if/server-fire-when.yml

    r2c0696f rfe2e2e9  
    3232- role: interface-ingroup
    3333  uid: group
     34- role: constraint
     35  uid: /constraint/directive-ctx-isr
     36- role: constraint
     37  uid: /constraint/directive-ctx-devinit
     38- role: constraint
     39  uid: /constraint/directive-ctx-task
     40- role: constraint
     41  uid: /constraint/directive-no-preempt
    3442name: rtems_timer_server_fire_when
    35 notes: |
    36   This directive will not cause the running task to be preempted.
     43notes: null
    3744params:
    3845- description: is the timer identifier.
Note: See TracChangeset for help on using the changeset viewer.