01-12-2012
SMT is on running on a P720 (ie SMT=4), AIX TL6-SP3-1048 (6100-06-03-1048)
A DATA Base server (Universe DB). No changes on system , except volume, ie more user activity
That is the main issue: I do not have any more data to offer except observations in regards the high syscall count, I was hoping to understand how I can I get to see the syscals being made; I ran a trace---> curt and and the majority of calls are made to "unknown" routines.
Last edited by IL-Malti; 01-12-2012 at 12:36 PM..
10 More Discussions You Might Find Interesting
1. Solaris
Hi to all,
i have an app on solaris 5.8 writed in C++ (3.2.1) that use multi threading.
Hardware has 8 cpu. When i run my app i note that the average of cpu go at least at 40%, and the performance are not so higher..
There is a cpu limitation on solaris, that dedicate only a part of cpu... (3 Replies)
Discussion started by: Moodie
3 Replies
2. Solaris
Hi All,
In my application malloc is returning NULL even though there is sufficient amount of free memory is available but swap memory is low.
Is this possible that, if free memory is high & swap memory is low, malloc will not be able to allocate memory & return NULL ?:)
Kindly look into... (5 Replies)
Discussion started by: Ritesh Kumar
5 Replies
3. Shell Programming and Scripting
on the file Ftp'd from the mainframe ,do we have any UNIX command to replace mainframe low and values to space or null.
i tried using tr and it doesn't work ...
Thanks (1 Reply)
Discussion started by: rlmadhav
1 Replies
4. Shell Programming and Scripting
Is it possible to have a bash script pick the highest and lowest values of four variables? I've been googling for this but haven't come up with anything. I have a script that assigns variables ($c0, $c1, $c2, and $c3) based on the coretemps from grep/sed statements of sensors. I'd like to also... (5 Replies)
Discussion started by: graysky
5 Replies
5. Shell Programming and Scripting
Hi guys,
i have a question about spliting a binary file into 2 chunks.
First chunk with all high bytes and the second one with all low bytes.
What unix tools can i use? And how can this be performed?
I looked in manpages of split and dd but this does not help.
Thanks (2 Replies)
Discussion started by: basta
2 Replies
6. HP-UX
There might be some problem with my server,
because every morning at 7, it's performance become bad with no DB extra deadlock.
But I just couldn't figure it out.
Please give me some advise, thanks a lot...
According to the CPU performace chart, Daily CPU loading Maximum: 42 %, Average:36%.
... (8 Replies)
Discussion started by: GreenShery
8 Replies
7. UNIX for Dummies Questions & Answers
Need some clarification on this....
1. how are kernel/ user spaces and high/low memory related?
2. What do they all mean when i have the kernel command line as:
"console=ttyS0,115200 root=/dev/sda2 rw mem=exactmap memmap=1M@0 memmap=96M@1M irqpoll"
or
2. what do mem and memmap mean in... (3 Replies)
Discussion started by: dragonpoint
3 Replies
8. AIX
Hi
I am running AIX 5.2. My server is running low on memory. It it using about 1307775 file pages on a total of 1511424 (from vmstat -v).
I looked at the memory yesterday morning, and we had plenty of free memory. I did a backup from Windows (ftp mget command) of a large file selection. From... (5 Replies)
Discussion started by: fredrivard
5 Replies
9. Red Hat
Hi team
I have three physical servers running on Red Hat Enterprise Linux Server release 6.2 with the following memory conditions:
# cat /proc/meminfo | grep -i mem
MemTotal: 8062888 kB
MemFree: 184540 kB
Shmem: 516 kB
and the following swap conditions:
... (6 Replies)
Discussion started by: hedkandi
6 Replies
10. UNIX for Advanced & Expert Users
Could I please get some recommendations of a linux live cd for low memory? (1 Reply)
Discussion started by: cokedude
1 Replies
LEARN ABOUT DEBIAN
victor
victor(1) victor(1)
NAME
victor - attempts to discharge verification conditions using SMT solvers
SYNOPSIS
victor [UNIT]
DESCRIPTION
The victor command is a wrapper around ViCToR (vct) which simplifies its use. ViCToR translates SPARK verification conditions into SMTlib
and feeds them to an SMT solver. SPARK ships with one such SMT solver, alt-ergo, but it is possible to use others solvers such as cvc3.
The intended use of victor is to discharge true VCs left over by the Simplifier and not replace the Simplifier. Please also note that ViC-
ToR is considered to be an experimental feature at the moment.
This manual page only summarises the victor command-line flags, please refer to the full VictorWrapper manual for further information.
OPTIONS
These options do not quite follow the usual GNU command line syntax as options start with a single dash instead of the usual two.
-h, -help
Shows command-line help.
-t=SECONDS
Time-out the SMT solver after this many seconds (by default 5) using ulimit. To disable time-out specify 0.
-m=MEGABYTES
Limit the SMT solver to this many MiB of virtual memory (by default no limit) using ulimit.
-v Ignore the presence of any siv files and process vcg files only. By default, given a UNIT such as foo, victor will first attempt to
process foo.siv and then fall back to foo.vcg.
-plain Plain mode -- supress timings and versions.
-solver=SOLVER
Specifies an alternative SMT solver. By default we use alt-ergo. Can be one of alt-ergo, cvc3, yices or z3. The alt-ergo solver is
distributed with SPARK. The cvc3 solver is part of Debian. The yices and z3 solvers are proprietary.
SEE ALSO
spark(1), sparksimp(1), spadesimp(1), zombiescope(1), pogs(1)
sparkformat(1), sparkmake(1)
cvc3(1)
AUTHOR
This manual page was written by Florian Schanda <florian.schanda@altran-praxis.com> for the Debian GNU/Linux system (but may be used by
others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Ver-
sion 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover
Texts.
22 March 2011 victor(1)