1. На главную
  2. Электронные версии
  3. Программирование
  4. № 4, 2023

Программирование, 2023, № 4, стр. 21-26

ПРИМЕНЕНИЕ В GINV ДИНАМИЧЕСКОГО ПЕРЕРАСПРЕДЕЛЕНИЯ ПАМЯТИ

Ю. А. Блинков a, b, *, Е. Ю. Щетинин c, **

a Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского
410012 Саратов, ул. Астраханская, д. 83, Россия

b Российский университет дружбы народов (РУДН)
117198 Москва, ул. Миклухо-Маклая, д. 6, Россия

c Финансовый университет при Правительстве Российской Федерации
125167 Москва, Ленинградский пр-т, д. 49, Россия

* E-mail: blinkovua@info.sgu.ru
** E-mail: riviera-molto@mail.ru

Поступила в редакцию 01.07.2022
После доработки 29.07.2022
Принята к публикации 21.10.2022

Аннотация

Представлена новая версия GInv (Gröbner Involutive) по вычислению инволютивных базисов Грёбнера в виде библиотеки на языке C++11. В GInv для динамических структур данных, таких как списки, красно-черные и бинарные деревья, библиотеки GMP для вычислений с целыми числами с произвольной точностью использовано объектно-ориентированное перераспределение памяти. Интерфейс пакета оформлен в виде модуля языка Python3.

Список литературы

  1. Buchberger B. Gröbner bases: an Buchberger algorithmic method in polynomial ideal theory // Recent Trends in Multidimensional System Theory / Ed. by N.K. Bose. V. 6. Reidel, Dordrecht, 1985. P. 184–232.

  2. Жарков А.Ю., Блинков Ю.А. Инволютивные системы алгебраических уравнений // Программирование. 1994. № 1. С. 53–56.

  3. Gerdt V.P., Blinkov Yu.A. Minimal involutive bases // Mathematics and Computers in Simulation. 1998. V. 45. P. 543–560.

  4. Faugère J.-C. A new efficient algorithm for computing Gröbner bases (F4) // Journal of Pure and Applied Algebra. V. 139 (1–3). 1999. P. 61–88.

  5. Блинков Ю.А., Гердт В.П. Специализированная система компьютерной алгебры GINV // Программирование. 2008. № 2. С. 67–80.

  6. McCarthy J. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I // Commun. ACM, 1960. № 4. P. 184–195.

  7. Bansal A., Goel S., Shah P., Sanyal A., Kumar P. Garbage Collection Using a Finite Liveness Domain // Proceedings of the 2020 ACM SIGPLAN ISMM, 2020. P. 1–15.

  8. Yang A.M., Österlund E., Wilhelmsson J., Nyblom H., Wrigstad T. ThinGC: Complete Isolation with Marginal Overhead //Proceedings of the 2020 ACM SIGPLAN ISMM, 2020. P. 74–86.

  9. Onozawa H., Ugawa T., Iwasaki H. Fusuma: Double-Ended Threaded Compaction //Proceedings of the 2021 ACM SIGPLAN ISMM, 2021. P. 94–106.

  10. Tripp C., Hyde D., Grossman-Ponemon B. FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++ // Proceedings of the 2018 ACM SIGPLAN ISMM, 2018. P. 14–28.

  11. Seyri A., Pan A., Vamanan B. MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolation //Proceedings of the 2022 ACM SIGPLAN ISMM, 2022. P. 15–28.

  12. Гердт В.П., Янович Д.А., Блинков Ю.А. Быстрый поиск делителя Жане // Программирование. 2001. № 1. С. 32–36.

  13. Попов А.С. Кубатурные формулы на сфере, инвариантные относительно группы вращений икосаэдра // Сиб. журн. вычисл. математики / РАН. Сиб. отд-ние. Новосибирск, 2008. Т. 11. № 4. С. 433–440.

Дополнительные материалы отсутствуют.

Инструменты

следующая статья выпуска предыдущая статья выпуска содержание выпуска

Программирование

Архивы выпусков Информация о журнале Отправить рукопись в журнал