1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
#!/bin/sh
#
#
#___INFO__MARK_BEGIN__
##########################################################################
#
# The Contents of this file are made available subject to the terms of
# the Sun Industry Standards Source License Version 1.2
#
# Sun Microsystems Inc., March, 2001
#
#
# Sun Industry Standards Source License Version 1.2
# =================================================
# The contents of this file are subject to the Sun Industry Standards
# Source License Version 1.2 (the "License"); You may not use this file
# except in compliance with the License. You may obtain a copy of the
# License at http://gridengine.sunsource.net/Gridengine_SISSL_license.html
#
# Software provided under this License is provided on an "AS IS" basis,
# WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING,
# WITHOUT LIMITATION, WARRANTIES THAT THE SOFTWARE IS FREE OF DEFECTS,
# MERCHANTABLE, FIT FOR A PARTICULAR PURPOSE, OR NON-INFRINGING.
# See the License for the specific provisions governing your rights and
# obligations concerning the Software.
#
# The Initial Developer of the Original Code is: Sun Microsystems, Inc.
#
# Copyright: 2001 by Sun Microsystems, Inc.
#
# All Rights Reserved.
#
##########################################################################
#___INFO__MARK_END__
set +u
ckpt_dir=$3
if [ ! -f $ckpt_dir/ckpt.log ]; then
touch $ckpt_dir/ckpt.log
chmod 666 $ckpt_dir/ckpt.log
fi
if [ "$SGE_TASK_ID" = "undefined" -o "$SGE_TASK_ID" = "" ]; then
jobid=$JOB_ID
else
jobid=$JOB_ID.$SGE_TASK_ID
fi
# create temp directory for holding checkpoint info
tmpdir=$ckpt_dir/ckpt.$jobid
mkdir -p $tmpdir
cd $tmpdir
# create log file
F=$tmpdir/checkpoint.log
touch $F
exec >> $F 2>&1
echo -------------------------------------------------------------
echo `basename $0` called at `date`
echo called by: `id`
echo with args: $*
job_pid=`cat job_pid`
osjobid=`cat osjobid`
if [ -z "$SGE_LEAVE_CKPT_DIR" -a "$4" != "save" ]; then
echo Deleting restart file
/usr/bin/rmresf chkpnt_$jobid
cd $ckpt_dir
if [ "$4" = "save_log" ]; then
cp $F $ckpt_dir/checkpoint.log.$jobid
fi
rm -rf $tmpdir
fi
echo `date +"%D %T"` Job $jobid "(job_pid=$job_pid, osjobid=$osjobid) cleaned up" >> $ckpt_dir/ckpt.log
|
