diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/examples/mp3.json | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/doc/examples/mp3.json b/doc/examples/mp3.json new file mode 100644 index 0000000..12e580b --- /dev/null +++ b/doc/examples/mp3.json @@ -0,0 +1,40 @@ +{ + "resources" : { + "buffer" : { "type" : "mutex" }, + "sync_mutex" : { "type" : "mutex" }, + "empty" : { "type" : "wait" }, + "trig" : { "type" : "signal", "target" : "empty" }, + }, + "tasks" : { + "decode" : { + "exec" : 5000, + "period" : 5000, + "deadline" : 5000, + "lock_order" : ["empty", "buffer"], + "resources" : { + "buffer" : { "duration" : 1000 }, + "empty" : { "duration" : 1000, "access": ["sync_mutex"] }, + } + }, + "fill_fifo" : { + "exec" : 1000, + "period" : 10000, + "deadline" : 8000, + "lock_order" : ["buffer", "trig"], + "resources" : { + "buffer" : { "duration" : 500 }, + "trig" : { "duration" : 0, "access": ["sync_mutex"] }, + } + }, + }, + "global" : { + "default_policy" : "SCHED_OTHER", + "duration" : 5, + "ftrace" : true, + "gnuplot" : true, + "logdir" : "/tmp/", + "log_basename" : "rt-app", + "lock_pages" : true, + "frag" : 1 + } +} |