Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: time builtin vs. time(1): difference in memory numbers
- X-seq: zsh-workers 39672
- From: Peter Stephenson <p.stephenson@xxxxxxxxxxx>
- To: Zsh workers <zsh-workers@xxxxxxx>
- Subject: Re: time builtin vs. time(1): difference in memory numbers
- Date: Tue, 18 Oct 2016 11:56:59 +0100
- Cms-type: 201P
- In-reply-to: <20161017194918.GA31528@fujitsu.shahaf.local2>
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
- Organization: Samsung Cambridge Solution Centre
- References: <868w06l3cq.fsf@gmail.com> <101204102844.ZM5983@torch.brasslantern.com> <86tyisv48o.fsf@gmail.com> <101205055913.ZM32440@torch.brasslantern.com> <86mxokm60k.fsf@gmail.com> <CGME20161016183019eucas1p148f2bc95fc3b4be841e3f6dbca7ea2fb@eucas1p1.samsung.com> <CAPKC6oJcCEtDYwhDcHJeFLQcbEBAZnAF=08G3VRU4fWBHbMvwQ@mail.gmail.com> <20161017094725.6c57f0f2@pwslap01u.europe.root.pri> <CAPKC6oLGksOt8QUf9NS-OBFtMYJzvN9Qk9C=_rrANkE4-HbfzQ@mail.gmail.com> <20161017194918.GA31528@fujitsu.shahaf.local2>
On Mon, 17 Oct 2016 19:49:18 +0000
Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx> wrote:
> > I think the ru_maxrss part is valid for linux as well. (unsure)
>
> On Debian stable, getrusage(2) sas:
>
> ru_maxrss (since Linux 2.6.32)
> This is the maximum resident set size used (in kilobytes).
Yes, I think the current code dividing by 1024 to get megabytes as
documented is correct. So it looks like we just need some appropriate
#ifdef's.
pws
Messages sorted by:
Reverse Date,
Date,
Thread,
Author