Bug 28749
| 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
|
Description
Dmitry Chistikov 2013-03-25 21:11:22 MSKCreated 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)