Summary: | Maximum RSS calculation incorrect | ||||||||
---|---|---|---|---|---|---|---|---|---|
Product: | Sisyphus | Reporter: | Dmitry Chistikov <dd1email> | ||||||
Component: | time | Assignee: | placeholder <placeholder> | ||||||
Status: | CLOSED FIXED | QA Contact: | qa-sisyphus | ||||||
Severity: | normal | ||||||||
Priority: | P3 | CC: | glebfm, ldv, placeholder | ||||||
Version: | unstable | ||||||||
Hardware: | all | ||||||||
OS: | Linux | ||||||||
URL: | http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=700934 | ||||||||
Attachments: |
|
Created attachment 5789 [details]
test for GNU time
|
Created attachment 5788 [details] test for GNU time Мой коллега обнаружил, что GNU time в Debian неправильно определяет maximum RSS (см. ссылку). Бага воспроизводится и у нас; насколько удалось нагуглить, некоторые дистрибутивы ее обнаруживали и исправляли, а вот апстрим, похоже, уже не больно-то жив. Патч, насколько я понимаю, практически прямолинеен (см. объяснения по ссылке). [altlinux@localhost ~]$ gcc -std=c99 -O0 test-time.c [altlinux@localhost ~]$ /usr/bin/time ./a.out 0.00user 0.00system 0:00.00elapsed 88%CPU (0avgtext+0avgdata 5472maxresident)k 0inputs+0outputs (0major+379minor)pagefaults 0swaps (4MB вместо 1MB, далее точно так же 8MB вместо 2MB с #define NUM 2)