litmus-rt.git, branch gpusync/staging The LITMUS^RT kernel. Rename IKGLP R2DGLP. 2013-11-09T19:51:15+00:00 Glenn Elliott gelliott@cs.unc.edu 2013-11-09T19:51:15+00:00 17719085c3b04c58389d96d7e8140d18fa3caf3d The I-KGLP was a pre-publish name for the R^2DGLP locking protocol developed by B. Ward et al. ("Replica-Request Priority Donation: A Real-Time Progress Mechanism for Global Locking Protocols" presented at RTCSA 2012). This patch renames ikglp-named identifiers to r2dglp-named identifiers. 
The I-KGLP was a pre-publish name for the R^2DGLP locking protocol
developed by B. Ward et al. ("Replica-Request Priority Donation:
A Real-Time Progress Mechanism for Global Locking Protocols"
presented at RTCSA 2012). This patch renames ikglp-named identifiers
to r2dglp-named identifiers.
Fix compilation bug in cedf when sched_trace on 2013-11-08T21:06:42+00:00 Glenn Elliott gelliott@cs.unc.edu 2013-11-08T21:06:42+00:00 f183b4b1e0b795490cd41f5c5ab286f480acd239 






C-EDF: make cedf_task_new() match main Litmus
2013-11-08T20:59:45+00:00

Glenn Elliott
gelliott@cs.unc.edu

2013-11-08T20:59:45+00:00

8cecde11fc4696d6a47dfb4a626cc647137c9c7d

Formatting changes to make cedf_task_new() follow
the structure of cedf_task_new() in mainline Litmus.





Formatting changes to make cedf_task_new() follow
the structure of cedf_task_new() in mainline Litmus.







pfair: Reject all budget enforcement policies.
2013-11-08T20:43:39+00:00

Glenn Elliott
gelliott@cs.unc.edu

2013-11-08T20:43:39+00:00

7a21510077d6905850106301dd27f405f5467149

pfair does not support any budget tracking/enforcement
methods. This patch makes pfair reject any tasks that
request budget tracking/enforcement.





pfair does not support any budget tracking/enforcement
methods. This patch makes pfair reject any tasks that
request budget tracking/enforcement.







GSN-EDF: Support budget state machine
2013-11-08T20:37:16+00:00

Glenn Elliott
gelliott@cs.unc.edu

2013-11-08T20:37:16+00:00

600e42f748144cb9d5609e9be4f20f008b0b1d86

This patch updates GSN-EDF to support basic budget tracking
implemented by the budget state machine instead of having
GSN-EDF implement its own.





This patch updates GSN-EDF to support basic budget tracking
implemented by the budget state machine instead of having
GSN-EDF implement its own.







PSN-EDF: Support budget state machine
2013-11-08T20:23:20+00:00

Glenn Elliott
gelliott@cs.unc.edu

2013-11-08T20:23:20+00:00

506c9179106df8802ffe29c72d9d4085e89956fe

This patch updates PSN-EDF to support basic budget tracking
implemented by the budget state machine instead of having
PSN-EDF implement its own tracking.

(Also fixes some bad formatting in sched_pfp.c.)





This patch updates PSN-EDF to support basic budget tracking
implemented by the budget state machine instead of having
PSN-EDF implement its own tracking.

(Also fixes some bad formatting in sched_pfp.c.)







P-FP: Support budget state machine
2013-11-08T20:13:38+00:00

Glenn Elliott
gelliott@cs.unc.edu

2013-11-08T20:13:38+00:00

6fe4798b25676b796977b9077b228790cc6cb8f6

This patch updates P-FP to support basic budget tracking
implemented by the budget state machine. (As opposed to P-FP
implementing its own budget tracking.)





This patch updates P-FP to support basic budget tracking
implemented by the budget state machine. (As opposed to P-FP
implementing its own budget tracking.)







GPUSync integration into C-EDF.
2013-11-08T20:01:53+00:00

Glenn Elliott
gelliott@cs.unc.edu

2013-11-08T20:01:53+00:00

45bab24ea53f6c3f788f1b670adc1682490acfe3

The changes to C-EDF to support GPUSync are numerous and
interdependent. Unfortunatly, things are a bit too complex
(given time constraints) to break GPUSync integration
into C-EDF into smaller parts. This patch is just a dump
of prior development in one big chunk. Changes include:

1) Support for three different budget tracking/enforcement policies
2) Nested priority inheritance
3) Support for klmirqd
4) Support for auxiliary tasks
5) Several locking protocols: FIFO, PRIOQ, IKGLP, and KFMLP
6) GPU-to-CPU-cluster mapping





The changes to C-EDF to support GPUSync are numerous and
interdependent. Unfortunatly, things are a bit too complex
(given time constraints) to break GPUSync integration
into C-EDF into smaller parts. This patch is just a dump
of prior development in one big chunk. Changes include:

1) Support for three different budget tracking/enforcement policies
2) Nested priority inheritance
3) Support for klmirqd
4) Support for auxiliary tasks
5) Several locking protocols: FIFO, PRIOQ, IKGLP, and KFMLP
6) GPU-to-CPU-cluster mapping







Add nvidia tasklet and workqueue tracing
2013-11-08T18:13:55+00:00

Glenn Elliott
gelliott@cs.unc.edu

2013-11-08T18:11:02+00:00

ddf9f0dda3d8053ff678a88c86dfe1900f42f9b3

This patch adds calls to trace tasklet/workqueue
releases, begin-execution, and end-execution events.





This patch adds calls to trace tasklet/workqueue
releases, begin-execution, and end-execution events.







Add backlog info to Litmus kshark task complete
2013-11-08T16:02:07+00:00

Glenn Elliott
gelliott@cs.unc.edu

2013-11-08T16:02:07+00:00

53bf919734fac05fe90338dfa5369b01619130e2

Adds job backlog information to Litmus's litmus_task_completion
kernel shark trace event.





Adds job backlog information to Litmus's litmus_task_completion
kernel shark trace event.