Примеры использования Модель памяти на Русском языке и их переводы на Английский язык
{-}
-
Official
-
Colloquial
ABC- машина имеет необычную модель памяти англ.
Одним из перспективных решений этой проблемы является„ обещающая" модель памяти.
There is an auspicious attempt to solve the problem- promising memory model.Указывается, что используется модель памяти для ЕХЕ- файлов.
Is indicated, that model memory is used for exe-files.Немногие, если таковые имеются, языки илимногоядерные процессоры реализуют такую модель памяти.
Few, if any, languages ormulti-core processors implement such a memory model.Высокоуровневая модель памяти промежуточного языка Jessie с поддержкой произвольного приведения типов указателей.
Khoroshilov High-Level Memory Model with Low-Level Pointer Cast Support for Jessie Intermediate Language.В ходе анализа каждой функции выполняется анализ указателей, анализ возможных значений переменных, создается модель памяти программы и др.
During intraprocedural analysis the engine creates a memory model and performs alias analysis, value analysis, etc.Модель памяти Java описывает взаимодействие потоков через память в языке программирования Java.
The Java memory model describes how threads in the Java programming language interact through Здесь задействованы две части: модель памяти, которая позволяет нескольким потокам сосуществовать в программе, и библиотека, поддерживающая взаимодействие между потоками.
There are two parts involved: a memory model which allows multiple threads to co-exist in a program and library support for interaction between threads.Модель памяти Java стала первой попыткой разработать исчерпывающую модель межпоточного взаимодействия для крупного языка программирования.
The Java memory model was the first attempt to provide a comprehensive Дополнительно включал в себя плоскую модель памяти, MS- DOS- совместимый формат диска, поддержку MIDI и различные вызовы SCSI ACSI в последующих версиях.
Features include a flat memory model, MS-DOS-compatible disk format(starting with TOS 1.04), support for MIDI, and Метод основан на алгоритме Lockset, ноиспользует две эвристики, которые призваны уменьшить количество ложных предупреждений: модель памяти и модель параллелизма.
The method is based on the Lockset one butit implements two heuristics that are aimed to reduce amount of false alarms: a memory model and a В то время, как язык C 03 предоставляет модель памяти, поддерживающую многопоточность, основная поддержка для фактического использования многопоточности обеспечивается стандартной библиотекой C++ 11.
While the C++03 language provides a memory model that supports threading, the primary support for actually using threading comes with the C++11 standard library.Описываемый метод основан на методе Lockset, нотакже он реализует две эвристики, которые позволяют сократить число ложных сообщений об ошибке: модель памяти и модель параллелизма.
The method is based on the Lockset one, butit implements two heuristics that are aimed to reduce amount of false alarms: a memory model and a Модель памяти определяет, как несколько потоков могут обращаться к одной и той же ячейке памяти, и определяет, когда изменения, произведенные одним потоком, становятся видимыми для других потоков.
The memory model defines when multiple threads may access the same Процессор FOCUS имел стековую архитектуру, систему команд состоявшую более чем из 230 команд( как 32- битных, так и16- битных), сегментированную модель памяти и не имел регистров общего назначения, доступных для программистов.
It was Исходная модель памяти Java( к которой, в частности, относится« потоколокальная память»), разработанная в 1995 году, считается неудачной: многие оптимизации невозможно провести, не потеряв гарантию, что код безопасен.
The original Java memory model, developed in 1995, was widely perceived as broken, preventing many runtime optimizations and not providing strong enough guarantees for code safety.Для того, чтобы некоторая модель могла быть использована в стандарте некоторого промышленного языка программирования,должна быть доказана корректность компиляции из этой модели в модель памяти целевой процессорной архитектуры.
To show that the И если художественная модель памяти как ностальгии подчеркивает ее процессуальность, то визуализации утраты памяти превращают ее в объект, дистанцируют от сознания и воображения субъекта.
If the artistic model of memory, as nostalgia, stresses it as a process,Также мы приводим результаты сравнительного анализа эффективности предложенной реализации относительно существующей модели памяти.
We also present results of benchmarking the corresponding implementation against existing memory model.Модели памяти не ограничиваются 16- битными программами.
Memory models are not limited to 16-bit programs.Алгоритм пекарни Лампорта предполагает использование модели памяти с последовательной согласованностью.
Lamport's bakery algorithm assumes a sequential consistency memory model.Ноября: Операционные методы в приложении к слабым моделям памяти.
November, 16th: Operational approaches to weak memory models.Расширение памяти В традиционных моделях память ограничена и фиксирована.
In traditional designs, the memory is limited and fixed.Данная статья представляет доказательство корректности компиляции из подмножества обещающей модели в модели памяти процессора ARMv8. 3.
In this paper, we present a proof of compilation correctness from a subset of promising memory model to an axiomatic ARMv8.3 Технически,« плоское» 32- битное адресное пространство является моделью памяти типа« tiny» для сегментированного адресного пространства.
Technically, the"flat" 32-bit address space is a"tiny" memory model for the segmented address space.Операционная система преобразует( thunk) вызовы 16- битных API в их 32- битные эквиваленты,предоставляя поддержку 16- битных указателей, моделей памяти и адресного пространства.
The WOW subsystem of the operating system thunks legacy 16-bit APIs to their newer 32-bit equivalents in order toprovide support for 16-bit pointers, memory models and address space.Были предложены следующие новые возможности: инкрементальная компиляция и сборка, увеличенная скорость компиляции,встроенный ассемблер, поддержка всех моделей памяти, улучшенная гипертекстовая справочная система и поддержка разработки для Windows.
New features included: incremental compiling and linking,improved compilation speed, built-in assembler and support for all memory models.В статье описана организация модели памяти, позволяющая как проводить точный внутрипроцедурный анализ, так и создавать компактные представления для привязанных к функциям условий, используемые при межпроцедурном анализе.
The paper also explains the organization of memory model, which is suitable for both a precise intraprocedural analysis and a creation В данной работе описывается метод верификации с моделями памяти на основе неинтерпретируемых функций, позволяющий анализировать программы, содержащие выражения с указателями, в том числе указателями на структуры, массивы и выражения, содержащие адресную арифметику.
In the paper, we describe the verification methods with memory models based on uninterpreted functions, allowing to analyze programs containing expressions with pointers, including pointers to structures, arrays and pointer arithmetic.Он занимал всего 384 килобайт памяти во время выполнения, позволял использовать ассемблерные вставки с полным доступом к символическим именам и структурам Си,поддерживал все модели памяти и предлагал оптимизацию скорости и размера, свертывание констант и ликвидацию переходов.
It allowed inline assembly with full access to C symbolic names and structures,supported all memory models, and offered optimizations for speed, size, constant folding, and jump elimination.
