New option -D in pbs_ralter to change duration of a reservation
Overview:
Currently we can change the start time and the end time of the reservation. With this new option '-D' the user has the option to change the duration of the reservation.
New Interface: -D option for pbs_ralter command
Visibility: public
Change Control: Stable
Synopsis: pbs_ralter can be used to update the duration of a reservation.
Details: pbs_ralter -D <duration_time> <resv_id>
- This option can be used to modify the duration before and after the reservation starts running. Duration can be given in seconds or hh:mm:ss format
- This option can be specified with start time or end time. Server will calculate the new value of the remaining variable.
- User can specify all three start time, end time and duration.
- Changing only duration will be equivalent to changing the end time of the of the reservation. So cases where altering the end time fails, will also fail when changing duration.
- Changing duration and end time together will move the start time of the reservation. So cases where altering the start time fails, will also fail when changing duration + end time.
Examples:
Command | Output |
|---|---|
pbs_ralter -D 800 R1 | Duration changes, endtime of resv is shifted to starttime + duration |
pbs_ralter -D 00:45:00 R1 | Duration changes by 45 mins, endtime of resv is shifted to starttime + duration |
pbs_ralter -D 600 (resv is already running for more than 600 secs) | Resv gets deleted. This case will behave the same way changing endtime in reservation will behave |
pbs_ralter -D 800 -R 1900 R1 | Startime is updated and endtime = startime + duration |
pbs_ralter -E 2000 -D 1800 R1 | Startime will be changed to endtime - duration |
pbs_ralter -R 1730 -E 2000 -D 1800 R1 | This will be allowed. All three values have to resolve correctly |
pbs_ralter -R 1730 -E 2000 -D 900 R1 | This will fail since duration is less than the difference between given start and end time |