From: "Dmitry V. Levin" <ldv@altlinux.org>
To: ALT Devel discussion list <devel@lists.altlinux.org>
Subject: Re: [devel] re APT patch with impossible error on "Can't allocate an item of size zero"
Date: Tue, 18 Feb 2020 00:35:45 +0300
Message-ID: <20200217213545.GA18365@altlinux.org> (raw)
In-Reply-To: <alpine.LFD.2.20.2002171037520.6363@imap.altlinux.org>
On Mon, Feb 17, 2020 at 11:41:36AM +0300, Ivan Zakharyaschev wrote:
> On Thu, 13 Feb 2020, Ivan Zakharyaschev wrote:
>
> > > > есть такой hunk касательно DynamicMMap::RawAllocate():
> > > >
> > > > diff --git a/apt/apt-pkg/contrib/mmap.cc b/apt/apt-pkg/contrib/mmap.cc
> > > > index d7a5c3a68..36dc11524 100644
> > > > --- a/apt/apt-pkg/contrib/mmap.cc
> > > > +++ b/apt/apt-pkg/contrib/mmap.cc
> > > > @@ -226,6 +245,12 @@ unsigned long DynamicMMap::RawAllocate(unsigned long
> > > > Size,unsigned long Aln)
> > > > size in the file. */
> > > > unsigned long DynamicMMap::Allocate(unsigned long ItemSize)
> > > > {
> > > > + if (ItemSize == 0)
> > > > + {
> > > > + _error->Error("Can't allocate an item of size zero");
> > > > + return 0;
> > > > + }
> > > > +
> > > > // Look for a matching pool entry
> > > > Pool *I;
> > > > Pool *Empty = 0;
>
> > > > Во-вторых, я подумал, что это такой класс ошибок, который не возникает
> > > > в run-time из-за плохих данных или отказа ОС (например, выделить
> > > > память или прочитать файл) -- т.е. не что-то заранее непредсказуемое
> > > > для программиста и поэтому требующее специальной обработки в run-time.
> > > >
> > > > Если програмист написал всё так, как он хотел, то он не передаст
> > > > неправильный аргумент (0) в функцию. (Да и понятно, что в реальном
> > > > коде APT это не ожидается: там обычно этот аргумент заполняется
> > > > константой sizeof(...).)
> > > >
> > >
> > > Ты упускаешь большой момент. mmap.h - публичный заголовок библиотеки libapt.
> > > Помимо самого apt, им пользуется ещё и немало клиентов. Даже если в самом apt
> > > не найдётся способа неправильно вызвать данную функцию, это ничего не значит.
> > > Не проверять входные данные - плохая идея.
> >
> > Всё равно это ответственность программиста: правильно вызвать.
> >
> > Я выше написал, в каких случаях я счиатю нужным проверять данные.
> >
> > > > Я бы предложил такие требования (имеющие характер спецификации того,
> > > > что программист задумал реализовать) оформлять просто с помощью
> > > > assert.
> > > >
> > >
> > > assert в не-debug сборке отсутствует. Потому чуть более чем полностью
> > > бесполезен не во время разработки приложения.
> >
> > Я так и задумывал.
> >
> >
> > > Это не средство проверки входных
> > > данных. Поэтому я против.
> > >
> > > > Так будет легче понимать код: сразу ясно, что выполнение этого условия
> > > > (важного для корректности кода в теле функции) просто гарантируется
> > > > тем, как весь наш код написан и вообще-то может быть обосновано ещё до
> > > > run-time (просто глядя на исходный код, на том же этапе работы, что и
> > > > запускаем компилятор).
>
> Появилась идея, что есть способ здесь не просто ответственность возложить
> на программиста на словах (вызывать Allocate() с ненулевым аргументом), но
> и формально предложить такой способ программирования, где не будет
> возможности делать не так, как задумано.
>
> Да и попроще вызовы получаются.
>
> Ветка alloc-templates в
> http://git.altlinux.org/people/imz/packages/apt.git
Я всячески приветствую такой подход, и я всем советую static_assert.
Но всё же static_assert(sizeof(T) > 0, "sizeof(T) == 0")
выглядит чрезмерно пессимистичным.
Надо всё-таки очень сильно постараться, чтобы инстанцировать
pkgCacheGenerator::AllocateInMap() классом нулевого размера.
--
ldv
next prev parent reply other threads:[~2020-02-17 21:35 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-02-13 2:08 Ivan Zakharyaschev
2020-02-13 2:43 ` Ivan Zakharyaschev
2020-02-13 12:59 ` Aleksei Nikiforov
2020-02-13 14:10 ` Ivan Zakharyaschev
2020-02-13 17:05 ` Ivan Zakharyaschev
2020-02-17 8:41 ` Ivan Zakharyaschev
2020-02-17 14:05 ` Andrey Savchenko
2020-02-17 17:48 ` Ivan Zakharyaschev
2020-02-17 21:35 ` Dmitry V. Levin [this message]
2020-02-17 21:58 ` Ivan Zakharyaschev
2020-02-13 14:51 ` Ivan Zakharyaschev
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20200217213545.GA18365@altlinux.org \
--to=ldv@altlinux.org \
--cc=devel@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git