Trio Files

The tools/ directory contains code for generating commands that utilize the
four of the six Trio system calls:

1. set_thread_weight(tid, weight)
   
creates a Trio group containing one thread tid and sets the group's weight
to weight.

2. set_thread_reserve(tid, reservation)
   
creates a Trio group containing one thread tid and sets the group's
reservation to reservation/100.

3. set_process_weight(pid, weight)
   
creates a Trio group containing all threads in process pid and sets the
group's weight to weight. Any thread that the process creates in the future
belongs to this Trio group too.

4.  set_process_reserve(pid, reservation)
   
creates a Trio group containing all threads in process pid and sets the
group's reservation to reservation/100. Any thread that the process creates
later belongs to this group too.

5. set_group_weight(tids[1..n], n, weight)
   
creates a Trio group containing n threads whose TIDs are stored in tids and
sets the group's weight to weight.

6. set_group_reserve(tids[1..n], n, reservation)

creates a Trio group containing n threads whose TIDs are stored in tids and
sets the group's reservation to reservation/100.