Project

General

Profile

Actions
Copy link

Feature #7538

open

Rework memory allocation model

Added by Evgeny Novikov almost 8 years ago. Updated almost 7 years ago.

Status:
New
Priority:
High
Assignee:
Evgeny Novikov
Category:
Requirement specifications
Target version:
-
Start date:
08/28/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment there isn't a strong ground under the memory allocation model. As I understand this is primarily due to we statically define it while this a deal of particular verifiers/configurations/options like, say, the assertions model (specifications). For other models just some clear API should exist. This API should be quite reach including various functions for accurate memory allocation, for allocating memory with unknown memory sizes, for allocating "trusted" memory, etc. All users of this API should be fixed appropriately.

Actions
Copy link
 #1

Updated by Evgeny Novikov almost 8 years ago

  • Priority changed from High to Urgent

This is a very low level thing that touches quite many places. So we should fix it faster.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 7 years ago

  • Category set to Requirement specifications
  • Assignee set to Evgeny Novikov

I am going to this job together with other issues related with rule specifications.

Actions
Copy link
 #3

Updated by Evgeny Novikov almost 7 years ago

  • Priority changed from Urgent to High

Let's fix and improve specifications after we will have good tests and a testing infrastructure (version:0.3) and likely after we will complete a considerable refactoring of Core (1.0).

Actions
Copy link

Also available in: Atom PDF