08-08-2017
Is that the entire script? On top of variables used for calculations being undefined, I see syntactical errors as well as questionable formulae yielding values > 100% for e.g. memory utilization.
10 More Discussions You Might Find Interesting
1. HP-UX
Using HP-UX v11
Need to monitor cpu and memory usage, total for system and separately for each user in command-line mode.
Found out next ways to monitor total cpu usage under hp-ux:
1) vmstat, also shows free memory
2) sar -M
ps -eo user,pcpu - does not work, means 'user-defined format'... (4 Replies)
Discussion started by: hp-ux-user
4 Replies
2. UNIX for Dummies Questions & Answers
Hi there,
I am totally new to Unix, I am trying to work out the percentage between two values in a ksh shell script and assign the result to a variable.
Value1=577
Values2=244
So the calculation would be as follows:
((Value1 - Value2) / Value1) * 100
How would I be able to achieve... (2 Replies)
Discussion started by: NextLevelAndi
2 Replies
3. Shell Programming and Scripting
Hello All,
I am trying to create a script that will give me the processes that consume swap in %.
i am using the below line to get it done.
virtual=`echo "$virtual/$swp*100"|bc -l|sed -e "s/\(\.\).*/\1/g"`
but getting the following output after running it.
.039
.110
I want the... (3 Replies)
Discussion started by: ajaincv
3 Replies
4. HP-UX
command for checking memory utilization in HP -UX (2 Replies)
Discussion started by: tushar_spatil
2 Replies
5. Solaris
Hi Experts,
Our servers running Solaris 10 with SAP Application. The memory utilization always >90%, but the process on SAP is too less even nothing.
Why memory utilization on solaris always looks high?
I have statement about memory on solaris, is this true:
Memory in solaris is used for... (4 Replies)
Discussion started by: edydsuranta
4 Replies
6. Red Hat
Hi,
i am new to linux/RHEL 6.0 and i have two questions.
1) How to get the CPU utilization and Memory Utilization of all Services running currently?
2) How to get the CPU utilization and Memory Utilization of all Applications running currently?
Please help me to find the script.
... (2 Replies)
Discussion started by: nossam
2 Replies
7. Red Hat
I am running the command /usr/bin/free -b | awk '/Mem:|cache:/ {print $2,$3}' | sed 'N;s/\n/ /' | awk '{print ($4*100)/$1}' to find out Memory utilization,
it is showing 205%, please suggest me what changes are required, below is output of free -b command.
$ free -b
total ... (2 Replies)
Discussion started by: manoj.solaris
2 Replies
8. AIX
I have run the utility nmon in aix 6.1, and found memory utilization is 99.9% in physical.
and pressed h key and then t , in that it is not showing single process which is consuming memory resources. please help me how to find out actual memory utilization.
wheather 99% is real memory... (1 Reply)
Discussion started by: manoj.solaris
1 Replies
9. UNIX for Beginners Questions & Answers
Hi All,
I currently have a shell script which is pulling multiple counters from various sources. Due to the counters being cumulative counters I've got some code to work out the delta from the last reading and current which is working fine.
The problem i have now is being able to work out the... (8 Replies)
Discussion started by: mutley2202
8 Replies
10. Shell Programming and Scripting
Hi Team,
I have written the shell script which returns the result of the disk space filesystems which has crossed the threshold limit in HTML Format. Below mentioned is the script which worked perfectly on QA system.
df -h | awk -v host=`hostname` '
BEGIN {
print "<table border="4"... (13 Replies)
Discussion started by: Harihsun
13 Replies
CTL(5) CTL file format of ASIM/LIP6/CAO-VLSI lab. CTL(5)
NAME
ctl - Control Temporal Logic file format.
ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
Paris, France.
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
DESCRIPTION
This document describes the CTL file format used by moka(1) for model checking of finite states machine description.
This CTL file format subset is defined to enable classical CTL formulae description.
A CTL file is made of two parts: a declaration part and a formulae statement part.
The declaration part described types, constants, macros and all variables used in CTL formulae. It also describes assumption conditions
and initial conditions that have to be applied by moka(1) during the model checking.
The formulae statement part described all the CTL formulae that have to be verified.
All boolean and relational VHDL operators are supported (see vbe(5)) and also the 8 CTL operators AF, AG, AX, AU, EF, EG, EX and EU. The
CTL file format support also the imply boolean operator '->' and the equivalence operator '<=>'.
EXAMPLE
-- user type definition
TYPE A_ETAT_TYPE IS (A_E0, A_E1);
TYPE B_ETAT_TYPE IS (B_E0, B_E1);
-- variables definition
VARIABLE A_NS, A_CS : A_ETAT_TYPE;
VARIABLE B_NS, B_CS : B_ETAT_TYPE;
VARIABLE ck : BIT;
VARIABLE data_in : BIT;
VARIABLE data_out : BIT;
VARIABLE reset : BIT;
VARIABLE ack : BIT;
VARIABLE req : BIT;
-- example of a macros definition
DEFINE def1 : BOOLEAN := ack='1';
-- the assigned value can be a constant
DEFINE c1 : BIT := '1';
-- the assumption condition
ASSUME ass1 := (reset='0');
-- the initial reset condition
-- be careful, the assumption condition is not applied
-- to the initial conditions.
RESET_COND init1 := (reset='1');
-- It is also possible to describe the first state
-- with the INITIAL keywork, as follows:
--
-- INITIAL init1 := ((A_CS=A_E0) AND (B_CS=B_E0));
--
-- formulae description statement part
begin
prop1 : EX( ack='1' );
prop2 : AG( req -> AF( ack ) );
prop4 : AU( req='1', ack='1');
end;
SEE ALSO
moka(1)
BUG REPORT
This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.
ASIM
/LIP6 August 5, 2002 CTL(5)