ут – -Translation – Keybot Dictionary

Spacer TTN Translation Network TTN TTN Login Deutsch Français Spacer Help
Source Languages Target Languages
Keybot 6 Results  www.viva64.com
  Проверяем исходный код ...  
Show textShow cached sourceOpen source URL
Вероятно, это произошло из-за копирования кода. Название метода SuspendMdiClientLayout предполагает, что он отвечает за приостановку лэйаута, однако вместо этого выполняется перерисовка лэйаута: MdiClient.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine viva64.com as primary domain
The bodies of the methods SuspendMdiClientLayout and PerformMdiClientLayout are completely identical, which probably results from copying a code lines. The SuspendMdiClientLayout method's name suggests that it is responsible for suspending the layout, while it actually redraws it: MdiClient.PerformLayout(). I think a correct version of this method should look like this:
  После подключения беспе...  
Show textShow cached sourceOpen source URL
А последствия оказались фатальными. Эта чудо-программка, болтающаяся в Systray отправляла в нокаут не только нашу программу, но как выяснилось чуть позднее и многие другие приложения. Как она умудрялось это делать?
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine viva64.com as primary domain
The consequences were fatal. That marvelous app, messing around in Systray, knocked out not only our program, but - as we found out later - many other applications as well. How did it manage to do that? Ha, shit coders can do much more than that!
  Проверяем исходный код ...  
Show textShow cached sourceOpen source URL
Вероятно, это произошло из-за копирования кода. Название метода SuspendMdiClientLayout предполагает, что он отвечает за приостановку лэйаута, однако вместо этого выполняется перерисовка лэйаута: MdiClient.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine viva64.com as primary domain
The bodies of the methods SuspendMdiClientLayout and PerformMdiClientLayout are completely identical, which probably results from copying a code lines. The SuspendMdiClientLayout method's name suggests that it is responsible for suspending the layout, while it actually redraws it: MdiClient.PerformLayout(). I think a correct version of this method should look like this:
  Microsoft открыла исход...  
Show textShow cached sourceOpen source URL
Сходу подобные дефекты обнаружить бывает тяжело, ведь даже вырезав лишний код из метода, ошибка ловко утаивается в оставшемся. Пришлось прибегать к дополнительным упрощениям, чтобы выявить этот "подводный камень".
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine viva64.com as primary domain
It's hard to see these defects right away, even cutting off the redundant code from the method, the error remains in the other part of the code. We had to make additional simplifications to detect this "pitfall". However, it's not a problem for the analyzer, as it coped quite easily with this task.
  Настройки: Specific Ana...  
Show textShow cached sourceOpen source URL
Перед изменением данной настройки мы рекомендуем внимательно ознакомиться с описанием ошибки, приведенным по указанной выше ссылке. Часто бывает, что таймаут возникает из-за нехватки оперативной памяти.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine viva64.com as primary domain
This setting allows you to set the time limit, by reaching which the analysis of individual files will be aborted with V006. File cannot be processed. Analysis aborted by timeout error, or to completely disable analysis termination by timeout. We strongly advise you to consult the description of the error cited above before modifying this setting. The timeout is often caused by the shortage of RAM. In such a case it is reasonable not to increase the time but to decrease the number of parallel threads being utilized. This can lead to a substantial increase in performance in case the processor possesses numerous cores but RAM capacity is insufficient.
  Интервью с Дмитрием Вью...  
Show textShow cached sourceOpen source URL
Во-вторых, это последовательно согласованная (sequentially consistent) модель памяти; тут уже ничего не сказать в защиту Spin - поддержка свободного доступа к памяти ("расслабленной модели памяти") просто необходима для верификатора алгоритмов синхронизации.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine viva64.com as primary domain
There is a logical question - why wasn't I content with Spin? Firstly, it is the special language Promela for describing tests; on the one hand it's not such a fundamental issue but on the other hand I sometimes catch myself at being too lazy to carry out even that minimum code tooling which is necessary for RRD. And while rewriting a program manually into another language we still risk to test an absolutely different thing. Secondly, it is the sequentially consistent memory model; here nothing can be said in defense of Spin - support of free access to memory ("relaxed memory model") is just necessary for the verifier of synchronization algorithms. Thirdly, it is absence of embedded support for such specific things as calls of Win32 API WaitForMultipleObjects() or SignalObjectAndWait(), or false awakenings at the condition variable POSIX, or waitings with time-outs and so on. The sum of all these factors made me turn my back on Spin.