/ Forside / Teknologi / Operativsystemer / Linux / Nyhedsindlæg
Login
Glemt dit kodeord?
Brugernavn

Kodeord


Reklame
Top 10 brugere
Linux
#NavnPoint
o.v.n. 11177
peque 7911
dk 4814
e.c 2359
Uranus 1334
emesen 1334
stone47 1307
linuxrules 1214
Octon 1100
10  BjarneD 875
limit wrapper
Fra : Morten Guldager


Dato : 07-01-05 15:21

Hejsa,

Det hænder af og til at det ville være fikst med en lille wrapper
jeg kunne bruge til at sætte et par limits (setrlimit) med
og så starte det program jeg initielt havde i tankerne.

I ved, sådan nogle programmer som man har mistanke om vil
spise al virtuel memory på 0.1 sekund. Så kunne det være
fikst med en lille wrapper der lige kunne noget der svarer
til:

ulimit -v 100000

og så exec'er mit oprindelige program.

Nogen af jer der kender sådan en wrapper til linux?
Eller skal jeg selv finde kodeskovlen frem?


/Morten

 
 
Michael Knudsen (07-01-2005)
Kommentar
Fra : Michael Knudsen


Dato : 07-01-05 16:03

On 2005-01-07, Morten Guldager <spamtrap@mogul.dk> wrote:
> Nogen af jer der kender sådan en wrapper til linux?
> Eller skal jeg selv finde kodeskovlen frem?

Jeg mener, at softlimit fra Daniel Bernsteins daemontools-pakke kan
goere noget i den stil. Jeg mindes i hvert fald, at et program i den
eller en af hans andre pakker bruges til det.

   http://cr.yp.to/

Mvh. Michael.
--
Rumour is information distilled so finely that it can filter through
anything.
-- (Terry Pratchett, Feet of Clay)

Kasper Dupont (09-01-2005)
Kommentar
Fra : Kasper Dupont


Dato : 09-01-05 01:01

Morten Guldager wrote:
>
> Så kunne det være
> fikst med en lille wrapper der lige kunne noget der svarer
> til:
>
> ulimit -v 100000
>
> og så exec'er mit oprindelige program.

Altså noget i retning af det her
(hacket sammen på et par minutter):

#!/bin/bash
ULIMIT_ARGS=""
while [ "$1" != "--" ] && [ "$#" != "0" ]
do
   ULIMIT_ARGS="$ULIMIT_ARGS $1"
   shift
done
shift
if [ "$#" = "0" ]
then
   echo "Usage: $0 <ulimitargs> -- <command>" 1>&2
   exit 1
fi
ulimit $ULIMIT_ARGS
exec "$@"

--
Kasper Dupont

Søg
Reklame
Statistik
Spørgsmål : 177552
Tips : 31968
Nyheder : 719565
Indlæg : 6408847
Brugere : 218887

Månedens bedste
Årets bedste
Sidste års bedste