Демонтаж замка — цены мастеров в Торжке

Демонтаж замка — цены мастеров в Торжке

• Установка входной двери

• Установка доводчика

• Установка дверного глазка

• Установка декоративного порога

• Установка наличника

• Установка притворной планки

• Установка доборов

• Сборка дверной коробки

• Установка дверной коробки

• Врезка петель

• Демонтаж замка

• Демонтаж дверной коробки

• Реставрация дверей

• Ремонт дверей

• Ремонт входной металлической двери

• Установка распашных дверей

• Установка одностворчатой распашной двери

• Установка двустворчатой двери

• Установка раздвижной двери купе

• Установка раздвижной двери пенал

• Монтаж раздвижной рото-двери

• Установка дверей гармошка

• Установка арки

• Изготовление наличника

• Изготовление дверного полотна

• Изготовление металлических дверей

• Установка броненакладки

• Установка врезной броненакладки

• Демонтаж входных дверей

• Демонтаж металлической двери

• Установка замков

• Установка магнитного замка

• Демонтаж дверей

• Установка межкомнатных дверей

• Ремонт входной двери

• Ремонт межкомнатных дверей

• Установка телескопической двери

• Демонтаж двери гармошка

• Расширение проемов

• Сужение дверных проемов

• Уменьшение высоты проема

• Монтаж задвижки

• Установка порогов

• Установка дверной ручки

• Установка металлических дверей

• Установка мдф панелей на двери

• Установка стеклянных дверей

• Ремонт входной деревянной двери

• Ремонт входной металлопластиковой двери

• Демонтаж замка — прайс-лист

На сайте 10 лет 4 месяца

Был 1 год 8 месяцев назад

Демонтаж замка
от 200 ₽/шт.

Как поменять замок на металлических и деревянных дверях самостоятельно: пошаговая инструкция

В этой статье мы расскажем о том, как заменить замок во входной двери самостоятельно. Здесь вы найдете детальную пошаговую инструкцию с фотографиями и советы опытных специалистов «Замсервис».

По каким причинам и когда нужно менять замок?

В первую очередь, замок – это механизм, который имеет свойство выходить из строя по самым разным причинам, поэтому все владельцы входных и межкомнатных дверей могут столкнуться с необходимостью поменять запорную систему. Наиболее распространенными ситуациями, в которых может потребоваться срочная замена замка, являются:

• Установка новых дверей, комплектация которых не предполагает запорный механизм. Это могут быть как входные дверные полотна, так и межкомнатные. В первом случае не всегда достаточно базовых знаний. Перед тем, как поменять замок в стальной двери, необходимо объективно оценить свои силы, поскольку этот процесс довольно сложен и требует профессионального вмешательства.
• Криминальный взлом – одна из самых неприятных, но довольно частых причин смены замка. Хорошо, если повреждение запирающего устройства не коснулось дверного полотна, поскольку в большинстве таких случаев приходится менять не только замочный механизм, но и саму дверь.
• Потеря или кража оригинальных ключей – самая частая причина, по которой владельцы вынуждены менять замки. Смена цилиндра является не только единственным способом попасть в квартиру или офис, но и надежной мерой предосторожности от проникновения в помещение нежеланных гостей.
• Аренда жилья, рабочего места, торговой площади – услуга, которая подразумевает возможное наличие ключей не только у настоящих владельцев помещения, но и у предыдущих съемщиков. Кроме этого, очень часто смена замков – вынужденная мера для арендодателей. Приобретение собственности также нередко сопровождается полной заменой замков входных дверей.
• Выход запирающей системы из строя, а также замена замка на более надежный механизм является прямой причиной, по которой владельцы вынуждены обращаться к специалистам или самостоятельно выполнять монтаж нового устройства. Но перед тем, как сменить замок самостоятельно в результате поломки, рекомендуется провести тщательную диагностику устройства, так как зачастую профессиональный ремонт обходится гораздо дешевле, чем установка нового механизма собственными силами.

Если хотя бы одна из вышеперечисленных причин коснулась непосредственно вас, тогда стоит приступить к подбору подходящей модели замка, которых на современном рынке предложено огромное количество.

Если вы недостаточно уверены в собственных силах, то лучше доверить это дело, а также сам процесс монтажа, профессионалам.

Как определить тип замочного механизма?

Непосредственно перед тем, как заменить замок во входной двери, нужно определиться с типом запорного устройства. На сегодняшний день наиболее популярными замками являются цилиндровые или сувальдные, при этом зачастую они могут дополнять друг друга, создавая более надежную систему контроля доступа.

Устройства с внутренними секретами гораздо легче поддаются ремонту, поскольку не требуют полного демонтажа конструкции с дверей. В большинстве случаев проблема с утерей ключей или заклинившим механизмом устраняется посредством замены личинки, что позволяет сэкономить на покупке полноценного замка и сократить временные затраты на ремонт.

Сувальдные замки – более надежные в плане безопасности и защиты от криминального взлома. Конструкции комплектуются длинными ключами в виде стержней, которые и приводят в движение сувальды – специальные пластины, являющиеся основной конструктивной частью замков данного типа. Чем больше сувальд, тем надежнее считается механизм.

Определенные модели таких устройств противостоят не только криминальному взлому, но интеллектуальному, предотвращая попытки злоумышленников подобрать к замку подходящую отмычку. Кроме этого, данные механизмы поддаются перекодировке, поэтому перед тем, как заменить сувальдный замок на новый по причине потери или кражи оригинальных ключей, стоит удостовериться в необходимости полностью разбирать конструкцию.

К менее востребованным типам замков относятся дисковые, крестообразные и реечные механизмы. Замена замка дискового типа может быть как полноценной, так и частичной. Этот фактор зависит от происхождения устройства, то есть от страны-производителя. При поломке отечественных изделий требуется полная замена замка, тогда как неисправности в импортных моделях легко устраняются посредством смены цилиндра.

Как заменить цилиндровый замок

Ниже мы расположили подробную инструкцию. Думаем, что она поможет облегчить задачу по замене неисправного замка даже чайникам – тем, кто никогда подобным не занимался. Инструкция написана в виде подробного рассказа о нашей недавней работе по замене замка Меттэм. Все фотографии, которые вы видите ниже, делали мы сами буквально за несколько дней до писания этой статьи (в январе 2018 года).

Какие инструменты необходимы?

• Отвертки (крестовая, шлицевая)
• Дрель и сверла различного диаметра
• Болгарка
• Клепочный пистолет и клепки

Как правильно выбрать замок для замены?

Прежде всего нам надо ориентироваться на размеры ранее установленного замка. Необходимо учесть такие параметры как ширина, длина и глубина самого корпуса замка. Также нужно обратить внимание на бэксет (говоря проще: расстояние между краем двери и отверстием, куда мы вставляем ключ).

Демонтаж старого замка

Первое что нам нужно сделать – снять личинку. Для этого на торцевой планке замка находим крепежный винт, на котором она держится (находится винт обычно чуть ниже ригелей замка), откручиваем его и вытаскиваем.

Теперь для того чтобы снять личинку мы беремся с внутренней стороны за вертушку, потихоньку начинаем тянуть ее на себя, одновременно медленно поворачивая. Как только язычок займет нужное положение, личинка легко вытащится.

Если у вас установлен цилиндр модификации «ключ – ключ» (снаружи и изнутри дверь отпирается только ключом), надо вставить ключ в замочную скважину, повернуть на 10-15 градусов и тоже потянуть на себя.

Теперь необходимо открутить крепежные винты самих ручек с двух сторон и снять их. Под ручками можно увидеть квадрат (металлический брусок, который соединяет ручку с поворотным механизмом). Его надо просто вытащить.

На данном этапе корпус замков крепится только на винтах с торцевой его части. Откручиваем их и вытаскиваем корпус из двери.

После этого приступаем к подбору личинки, корпуса замка и ручек. Лучше всего это делать, опираясь на параметры ранее установленного замка.

При выборе личинки надо ориентироваться на ее длину. Она не должна торчать из двери, так как это сильно уменьшает ее взломостойкость, но также и не должна проваливаться (быть сильно утоплена) в дверное полотно.

Так как ранее установленная личинка полностью подходила по всем параметрам, мы производим замер ее длинны (получилось 70 мм), и подбираем точно такой же размер.

Подобные цилиндры бывают двух модификаций «ключ – ключ», и «ключ – вертушка» (изнутри дверь можно закрыть и открыть с помощью специальной ручки, так называемой «вертушки»). Для удобства отпирания с внутренней стороны выбираем модель с вертушкой. Исходя из размеров ранее установленного корпуса замка (ширина, глубина, высота, удаление ключевого отверстия), подбираем максимально похожий. В нашем случае это корпус замка Меттэм.

Его параметры полностью соответствуют ранее установленному замку. Ручки также подбираем, основываясь на расстоянии от цилиндра до квадрата. Важно учитывать, что планка самих ручек должна быть не меньше ранее установленных. В противном случае на двери могут остаться отверстия или царапины от старых ручек.

Подобрав все необходимое, приступаем к замене замка. Установка производится в обратной последовательности, а значит начинаем с корпуса замка. Несмотря на то, что замок имеет максимально схожие размеры, вставив его в дверь видим: отверстия под крепежные болты не совпадают.

Несовпадение минимальное: буквально на 2-3 мм. К сожалению вот эти 3 миллиметра не позволяют закрепить замок на старое посадочное место. Поэтому берем дрель и сверлим новые отверстия, потом замок закрепляем на клепках. Новые ручки также не получится закрепить на месте предыдущих. Чтобы наметить новые места крепления ручек в установленный корпус замка мы ставим личинку (в обратной последовательности снятию) и квадрат для ручки.

Потом мы прикладываем ручку к двери (надев ее на личинку и квадрат) и отмечаем расположение новых посадочных отверстий. Так как наши новые ручки крепятся на стяжках, сверлим отверстия чуть большего диаметра с двух сторон двери.

Просверлив посадочные отверстия, ставим ручки и примеряем стяжки. Стяжки идут в комплекте с ручками и рассчитаны на разную толщину двери, поэтому для дверей толщиной 6-7 см они оказываются слишком длинными, и их приходится подрезать. Примерив стяжки, при необходимости обрезаем и стягиваем ручки между собой. Винты устанавливаются с внутренней стороны двери, а шляпки с внешней.

Не забываем затянуть крепежные винты с нижней стороны самой нажимной ручки. Проверяем работу ручек, а также самого замка с двух сторон на открытой двери. Замок полностью функционирует.

После этого проверяем работу замка, но уже на закрытой двери. Закрыв дверь, выясняем что ключ практически не поворачивается. Значит ригеля («язычки» замка) не попадают в отверстие ответной планки (или дверной пластины).

Чтобы определить место, в которое упираются ригеля, их нужно намазать зубной пастой, потом закрыть дверь и снова попробовать провернуть ключ. Зубная паста оставляет след, и мы видим, что проем в дверной пластине нужно срезать буквально на 1,5-2мм. Берем болгарку и аккуратно по отпечатку производим необходимый отрез.

Ниже можно посмотреть фотографии нашей законченной работы. Как видите, все сделано аккуратно. Это сложно передать с помощью фотографий, но теперь ручка и замок работают очень плавно. То есть при повороте ключа или ручки, вы не чувствуете, что там что-то мешает, что-то цепляет, затрудняет движение. Плавная работа дверного механизма – один из главных признаков того, что ремонт производили опытные профессионалы. Если все смазано и подогнано до миллиметра, не нужно ничего прижимать, давить, когда вы пользуетесь дверью. И замок в этом случае служит на несколько лет дольше.

Важно! Наша пошаговая инструкция подойдет для замены замка не только одного бренда Меттэм. Это руководство поможем установить или поменять замки всех известных производителей:

• Master Lock
• Abloy
• MOTTURA
• Mul-T-Lock
• Герион 
• Многих других брендов. 

Замена замка сувальдного типа: подробная инструкция и советы

Как уже говорилось выше, сувальдные замки считаются более сложными механизмами, поэтому и процедура по их замене может оказаться довольно трудной. Очень часто такие устройства устанавливаются на стальные входные двери, поскольку они гарантируют более надежную защиту от криминальных взломов и обеспечивают должный уровень безопасности объектам с повышенными требованиями.

Ниже инструкция по замене сувальдного замка в виде еще одного подробного рассказа о нашей недавней работе.

Демонтаж старой конструкции

Вначале мы откручиваем крепежные винты на торцевой планке замка. Так как механизм больше ни на чем не крепится, мы аккуратно вытаскиваем его из двери.

Затем нужно произвести демонтаж декоративных накладок, установленных с внешней и внутренней сторон двери. В нашем случае они крепятся на заклепках, которые мы высверливаем.

Подбор и установка нового замка

Теперь демонтаж замка произведен полностью. Мы изучаем его параметры и подбираем аналогичный. В нашем случае мы выбрали замок Guardian.

Корпус нового замка немного отличается: он больше буквально на несколько миллиметров. Для того чтобы его установить, придется немного доработать посадочное место в двери. Вставляем корпус нового замка в дверь и делаем необходимые пометки, после чего шарошкой расширяем отверстие до необходимых размеров.

После того как посадочное место доработано, и замок полностью вставляется в дверь, проверяем совпадение ключевых скважин (с двух сторон ключ должен легко вставляться в замок).

У нас все совпало, значит смело можем крепить замок к двери. Мы это сделали с помощью клепок.

Осталось установить новые декоративные накладки. Для этого прикладываем их к двери и вставляем ключ в замочную скважину. Центруем декоративную накладку по ключу. Ключ должен без препятствий вставляться в замок и выходить из него. Найдя нужное положение накладок, также клепками крепим их к дверному полотну.

Теперь проверяем работу замка с двух сторон на открытой двери. Убедившись, что наш замок исправно функционирует, проверяем попадание ригелей в ответную часть (дверную коробку). При несовпадении, делаем то же, что и при установке цилиндрового замка: наносим на ригели пасту, а потом пробуем закрыть замок еще раз. В местах несовпадения у нас остались отпечатки. Значит надо произвести доработку ответной части и еще раз проверить. Проверка показывает, что все в порядке.

Наш новый замок установлен и полностью функционирует.

Инструменты для замены замка сувальдного типа почти такие же, как и для замены цилиндрового замка. Единственное дополнение: шарошка для расширения отверстия на ответной планке.

Замена замка в металлических дверях

Замки в стальных дверях – самое уязвимое место, поскольку даже самое надежное дверное полотно не сможет обеспечить должный уровень безопасности при сомнительном качестве запорной системы. Именно поэтому замочный механизм должен быть подобран в соответствии с определенными критериями, а его установка или ремонт – производится максимально качественно и профессионально.

Многие ошибочно предполагают, что заменить конструкцию на полотне из металла – это то же самое, как поменять замок в межкомнатных дверях. Принципы работы в обоих случаях могут быть схожи, но сравнивать эти два процесса не стоит.

Сложной является не только процедура установки нового замка в металлические двери. В некоторых случаях демонтировать старую конструкцию не менее трудно, особенно, если под рукой отсутствуют необходимые инструменты.

Последовательность действий того, как поменять замок в металлических дверях (сувальдный или цилиндровый), описана выше, однако здесь стоит учитывать прочность стальных полотен. Если посадочное место в деревянных дверях можно подпилить, то с железными блоками этот номер не пройдет. Параметры сменной конструкции должны максимально точно соответствовать размерам старого замка, в частности значениям:

• Величин корпуса (толщина и высота).
• Глубины выреза под конструкцию.
• Количества ригелей и их толщины.

Большое значение имеет место, где расположена ответная скоба под ригелем, а также местонахождение замочной скважины. Если сменный замок приобретен непосредственно у производителя дверей, то особых проблем в процессе установки возникнуть не должно, хотя даже формирование ремонтного окна займет прилично времени и сил (в случае с неразборными дверями).

Полезные советы при замене замков

• Любая неисправность запорного механизма сопровождается паникой и отчаянием владельца, однако не стоит сильно переживать по этому поводу. Некоторые поломки устраняются достаточно быстро и безболезненно для дверного полотна, поэтому прежде чем покупать новый замочный механизм, следует определить, нужна ли полная его замена.
• Смена личинки решает до 90% проблем со сломанными или утерянными ключами, избавляет от необходимости повреждать дверь и тратить дополнительные средства на покупку устройства.
• Подбирать новый механизм для замены необходимо после демонтажа старого замка. Так вы сможете взять его с собой в магазин и приобрести максимально подходящую модель запорной системы.
• Перед тем, как демонтировать замочную конструкцию, необходимо убедиться, что проблема кроется не в сердцевине замка. Поменять цилиндр гораздо проще и дешевле, чем полностью заменить устройство.
• Если новая конструкция входит на посадочное место с трудом, то необходимо слегка обточить паз при помощи стамески. Здесь очень важно не переусердствовать. Никаких щелей и зазоров быть не должно.
• Перед тем, как окончательно завинтить все шурупы, стоит убедиться в работоспособности конструкции. Такого рода проверку следует выполнять при открытых дверях.
• Завинчивать все шурупы рекомендуется плавно, чтобы избежать смещения центровки замка.

На сегодняшний день выбор запорных механизмов способен удовлетворить даже самых требовательных покупателей. Покупка замка, равно как и его замена, требует внимательности, аккуратности и последовательности действий. При любых сомнениях относительно самостоятельного выполнения работ лучше перестраховаться и заказать услуги в специализированной сервисе.

Снятие блокировки для параллельных программ трассировки

Снятие блокировки для параллельных программ трассировки

• Винит Кахлон ¹⁸ и
• Чао Ван ¹⁹  

• Документ конференции

• 3606 доступов

• 5
  Цитаты

Часть серии книг Lecture Notes in Computer Science (LNTCS, том 7358)

Abstract

Мы предлагаем анализ параллельных программ на основе трассировки, чтобы надежно удалить избыточные синхронизации, такие как блокировки, при сохранении поведения параллельных вычислений. Наш новый метод эффективен в вычислительном отношении, поскольку он включает только локальные вычисления потока и, следовательно, позволяет избежать взрывного чередования, который известен как основное препятствие для масштабируемого анализа параллелизма. Наш метод основан на теории частичного порядка и единой структуре анализа; следовательно, он более широко применим, чем существующие методы, основанные на простых синтаксических правилах и специальной эвристике. Мы реализовали и оценили предложенный метод в контексте проверки многопоточных программ Java и C во время выполнения. Наши экспериментальные результаты показывают, что снятие блокировки может значительно ускорить символьный прогнозный анализ для обнаружения ошибок параллелизма. Помимо проверки во время выполнения, наш новый метод также будет полезен в таких приложениях, как отладка, оптимизация производительности, понимание программ и обслуживание.

Ключевые слова

• Параллельная программа
• Поведение программы
• Символьный анализ
• Многопоточная программа
• Трассировка программы

Эти ключевые слова были добавлены машиной, а не авторами. Этот процесс является экспериментальным, и ключевые слова могут обновляться по мере улучшения алгоритма обучения.

Чао Ван был частично поддержан наградой NSF CAREER CCF-1149454.

Скачать документ конференции в формате PDF

Ссылки

1. Олдрич, Дж., Чемберс, К., Сирер, Э.Г., Эггерс, С.Дж.: Статический анализ для устранения ненужной синхронизации из программ Java. В: Международный симпозиум по статическому анализу, стр. 19–38 (1999)

   .
   Google Scholar

2. Бэкон, Д.Ф., Конуру, Р.Б., Мерти, К., Серрано, М.Дж.: Тонкие замки: синхронизация полулегкого веса для Java. В: Конференция ACM SIGPLAN по разработке и реализации языков программирования, стр. 258–268 (19).98)

   Google Scholar

3. Бланше, Б. : Анализ побега для объектно-ориентированных языков: Приложение к Java. В: Конференция ACM SIGPLAN по объектно-ориентированному программированию, системам, языкам и приложениям, стр. 20–34 (1999)

   .
   Google Scholar

4. Богда Й., Хёльцле У.: Удаление ненужной синхронизации в Java. В: Конференция ACM SIGPLAN по объектно-ориентированному программированию, системам, языкам и приложениям, стр. 35–46 (19).99)

   Google Scholar

5. Чен Ф., Рошу Г.: Параметрическая и нарезная причинно-следственная связь. В: Damm, W., Hermanns, H. (ред.) CAV 2007. LNCS, vol. 4590, стр. 240–253. Springer, Heidelberg (2007)

   CrossRef

   Google Scholar

6. Чой, Дж.-Д., Гупта, М., Серрано, М.Дж., Шридхар, В.К., Мидкифф, С.П.: Оптимизация выделения стека и синхронизации для Java с использованием анализа побега. АКМ Транс. Программа. Ланг. Сист. 25 (6), 876–9.10 (2003)

   Google Scholar

7. Диниз, П.К., Ринар, М.К.: Огрубление блокировки: устранение накладных расходов на блокировку в автоматически распараллеливаемых объектно-ориентированных программах. J. Параллельное распределение. вычисл. 49(2), 218–244 (1998)

   CrossRef
   МАТЕМАТИКА

   Google Scholar

8. Дютертр, Б., де Моура, Л.: Быстрый линейно-арифметический решатель для DPLL(T). В: Болл, Т., Джонс, Р. Б. (ред.) CAV 2006. LNCS, vol. 4144, стр. 81–9.4. Springer, Heidelberg (2006)

   CrossRef

   Google Scholar

9. Эспарза Дж., Ганти П.: Сложность проверки на основе шаблонов для многопоточных программ. В: Симпозиум ACM SIGACT-SIGPLAN по принципам языков программирования, стр. 499–510 (2011)

   Google Scholar

10. «>

    Фарчи, Э., Нир, Ю., Ур, С.: Паттерны одновременных ошибок и способы их тестирования. В: Parallel and Distributed Processing Symposium, p. 286 (2003)

    Google Scholar

11. Фарзан, А., Мадхусудан, П., Соррентино, Ф.: Метаанализ нарушений атомарности при вложенной блокировке. В: Bouajjani, A., Maler, O. (ред.) CAV 2009. LNCS, vol. 5643, стр. 248–262. Springer, Heidelberg (2009)

    CrossRef

    Google Scholar

12. Фланаган, К., Фройнд, С.Н.: Распылитель: динамическая проверка атомарности для многопоточных программ. В: Симпозиум по параллельной и распределенной обработке (2004 г.)

    Google Scholar

13. Гавлица, Т.М., Ламмих, П., Мюллер-Ольм, М., Зайдл, Х., Веннер, А.: Анализ прямой достижимости с учетом соединения и блокировки для параллельных программ с динамическим созданием процессов. В: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, стр. 199–213. Springer, Heidelberg (2011)

    CrossRef

    Google Scholar

14. Годфройд, П.: Методы частичного порядка для проверки параллельных систем — подход к проблеме взрыва состояния. Спрингер (1996)

    Google Scholar

15. Хавелунд, К., Прессбургер, Т.: Проверка моделей Java-программ с использованием Java PathFinder. Программные средства для передачи технологий 2(4) (2000)

    Google Scholar

16. Совместный cav/issta специальный даже по спецификации, проверке и тестированию параллельного программного обеспечения,
    http://research.microsoft.com/qadeer/cavissta.htm

17. Тестовый пакет java grande forum,
    http://www2. epcc.ed.ac.uk/computing/research_activities/java_grande/index_1.html

18. Кахлон, В.: Ограниченность и неограниченность цепочек блокировок: характеристика разрешимости попарной cfl-достижимости для потоков, взаимодействующих через блокировки. В: Симпозиум по логике в компьютерных науках, стр. 27–36 (2009)

    .
    Google Scholar

19. Кахлон, В., Ван, К.: Универсальные графики причинно-следственных связей: точная модель «происходит до» для обнаружения ошибок в параллельных программах. В: Туили, Т., Кук, Б., Джексон, П. (ред.) CAV 2010. LNCS, vol. 6174, стр. 434–449. Springer, Heidelberg (2010)

    CrossRef

    Google Scholar

20. Лэмпорт, Л.: Время, часы и порядок событий в распределенной системе. коммун. ACM 21(7), 558–565 (1978)

    CrossRef
    МАТЕМАТИКА

    Google Scholar

21. «>

    Лу, С., Тусек, Дж., Цинь, Ф., Чжоу, Ю.: AVIO: обнаружение нарушений атомарности с помощью инвариантов чередования доступа. В: Архитектурная поддержка языков программирования и операционных систем, стр. 37–48 (2006)

    .
    Google Scholar

22. Руф, Э.: Эффективное удаление синхронизации для Java. В: Конференция ACM SIGPLAN по разработке и реализации языков программирования, стр. 208–218 (2000)

    .
    Google Scholar

23. Садовски, К., Фройнд, С.Н., Фланаган, К.: SingleTrack: Средство проверки динамического детерминизма для многопоточных программ. В: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, стр. 394–409. Springer, Heidelberg (2009)

    CrossRef

    Google Scholar

24. Сэвидж С., Берроуз М., Нельсон Г., Собальварро П., Андерсон Т.: Eraser: динамический детектор гонки данных для многопоточных программ. АКМ Транс. вычисл. Сист. 15(4), 391–411 (1997)

    CrossRef

    Google Scholar

25. Сен, К., Рошу, Г., Ага, Г.: Обнаружение ошибок в многопоточных программах с помощью обобщенного прогнозного анализа выполнения. В: Штеффен, М., Заваттаро, Г. (ред.) FMOODS 2005. LNCS, vol. 3535, стр. 211–226. Springer, Heidelberg (2005)

    CrossRef

    Google Scholar

26. Синха, Н., Ван, К.: Об интерференционных абстракциях. В: Симпозиум ACM SIGACT-SIGPLAN по принципам языков программирования, стр. 423–434 (2011)

    Google Scholar

27. фон Праун, К., Гросс, Т.Р.: Статическое обнаружение нарушений атомарности в объектно-ориентированных программах. Объектная технология 3(6) (2004)

    Google Scholar

28. «>

    Ван, К., Кунду, С., Ганай, М., Гупта, А.: Символический прогнозный анализ для параллельных программ. В: Кавальканти, А., Дамс, Д.Р. (ред.) FM 2009. LNCS, vol. 5850, стр. 256–272. Спрингер, Гейдельберг (2009 г.))

    Перекрестная ссылка

    Google Scholar

29. Ван, К., Лимайе, Р., Ганай, М., Гупта, А.: Символический анализ на основе трассировки нарушений атомарности. В: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, стр. 328–342. Springer, Heidelberg (2010)

    CrossRef

    Google Scholar

30. Zee, K., Rinard, M.C.: Удаление барьера записи с помощью статического анализа. В: Конференция ACM SIGPLAN по объектно-ориентированному программированию, системам, языкам и приложениям, стр. 19.1–210 (2002)

    Google Scholar

Ссылки для скачивания

Информация об авторе

Авторы и организации

1. NEC Laboratories America, Princeton, NJ, 08540, USA

   Vineet Kah lon

2. Департамент ECE, Virginia Tech, Blacksburg, VA, 24061 , США

   Чао Ван

Авторы

1. Винит Кахлон

   Посмотреть публикации автора

   Вы также можете искать этого автора в
   PubMed Google Scholar

2. Chao Wang

   Просмотр публикаций автора

   Вы также можете искать этого автора в
   PubMed Google Scholar

Информация для редакторов

Редакторы и филиалы

1. Департамент компьютерных наук, Иллинойский университет в Урбана-Шампейн, 3226 Siebel Center, 201 N.