Описание тега termination
2
ответа
Что происходит, если в программе сборки нет системного вызова exit?
В программе сборки .text загружен в 0x08048000, .data а также .bss раздел приходит после этого. Что будет, если я не положу exit системный вызов в .text раздел? Приведет ли это к .data а также .bss интерпретировать как код, вызывающий "непредсказуем…
05 апр '18 в 13:49
2
ответа
Невозможно запустить цель ANT в Eclipse, которая заканчивается в начале и указывает на jdk\bin\javaw.exe
Я не могу запустить цель муравья в среде затмения. когда я дважды щелкаю по цели муравья, она заканчивается напрямую, и в окне консоли ничего не отображается. и я вижу сообщение в верхней части окна консоли: " ProjectName build.xml [ant target] [Ant…
05 май '11 в 06:35
1
ответ
Завершение проверки замены через (монадическое) соединение и fmap
Я использую типоразмеры и имею функцию подстановки для типизированных терминов, которая проверяет завершение, если я даю определение напрямую, а не если я делаю его через (монадное) соединение и fmap. {-# OPTIONS --sized-types #-} module Subst where…
27 фев '14 в 07:44
1
ответ
Как защитить доступ к ресурсам Elastic Beanstalk + советы по безопасности?
Я использую Elastic Beanstalk, а также новые функции для автоматического создания некоторых ресурсов среды (например, очередей SQS). Это действительно удобно, однако здесь есть одна проблема: если я "завершаю" среду, все связанные с ней ресурсы такж…
23 апр '13 в 17:16
1
ответ
Экземпляры функтора и монады, которые проверяют завершение
Это следует за другим вопросом от нескольких месяцев назад. Проблема связана с проверкой завершения в Agda с использованием типоразмеров. Вот преамбула: {-# OPTIONS --sized-types #-} module Term where open import Data.Empty open import Function open…
12 авг '14 в 07:23
0
ответов
Прекращение действия аккаунта Google Play
Сегодня я получил письмо с уведомлением от Google: "Это уведомление о том, что ваш аккаунт издателя Google Play был закрыт. ПРИЧИНА ДЛЯ ПРЕКРАЩЕНИЯ: Предыдущие нарушения Политики программы для разработчиков и Соглашения о распространении программног…
29 апр '16 в 20:21
3
ответа
Проблема C#: программа завершает себя, когда она не должна
Я делаю консольное приложение на C# для своего курса в колледже, и у меня возникла проблема, когда я (или кто-либо еще на курсе) не знаю, в чем дело. На самом деле репетитор не уверен, почему это происходит. Я покажу вам часть кода, чтобы узнать, мо…
30 дек '13 в 16:47
1
ответ
System.out.println прекращен
Я все еще новичок в Java, и поэтому я не понимаю, откуда происходит ошибка завершения. System.out.println в основном не распечатывается и говорит: <прекращено, выходное значение: 0> C:\Program Files\Java\jre1.8.0_71\bin\javaw.exe (27 января 2016 г.,…
27 янв '16 в 21:41
1
ответ
Необходимо вызвать ioctl(tty0_fd, KDSETMODE, KD_TEXT) при аварийном завершении
Я использую кадровый буфер Linux в своем приложении и настройку ioctl(tty0_fd, KDSETMODE, KD_GRAPHICS) для предотвращения отображения курсором или текстом нижележащего терминала, а затем очистки после обычного завершения программы. Но оставаясь в KD…
16 авг '16 в 15:12
2
ответа
Пользователь принудительно завершает работу приложения: регистрация этого события
В моем приложении я использую фоновые сервисы, поэтому метод applicationWillTerminate: не будет вызван, когда пользователь закрыл приложение. Вместо метода applicationDidEnterBackground: вызывается, когда пользователь переводит приложение в фоновый …
10 сен '14 в 11:05
1
ответ
Обработка UIBackgroundTask Expiration останавливает мой метод beaconRanging
Я разработал приложение, которое работает в фоновом режиме с использованием ibeacon API. Как он использует местоположение ядра и Bluetooth, так что я включил расположение, настройку Bluetooth из возможностей. Итак, после запуска моего приложения, ра…
25 июн '14 в 09:13
1
ответ
Почему моя программа выводит нулевой символ завершения?
Когда я запускаю это, ИНОГДА выводит пустой символ завершения. Большую часть времени это будет происходить, и, вероятно, в 1/5 раз он будет печатать только символы. void cryptogram::Encrypt(){ cout<<"encrypt"<<endl; char Alphabet[]="ABCD…
22 фев '11 в 23:24
1
ответ
Разрешает ли ISO C выделенную память зависать после завершения программы?
Интересный момент возник с некоторыми моими коллегами, некоторые из которых утверждают, что вы должны всегда free память, что ты malloc не важно что. Хотя я всегда думал, что это хорошая практика в целом, некоторые другие утверждали, что в такой про…
08 фев '13 в 02:01
2
ответа
Проверка завершения на unionWith
У меня проблема с проверкой завершения, очень похожая на описанную в этом вопросе, а также на отчет об ошибке Agda / запрос функции. Проблема заключается в том, чтобы убедить компилятор в следующем unionWith завершается. Используя функцию комбиниров…
19 янв '14 в 11:54
1
ответ
Почему средство проверки завершения Coq не поддерживает случай, когда один аргумент структурно уменьшается, а другие остаются неизменными
Средство проверки завершения Coq не любит такие функции, как: Fixpoint interleave (A : Type) (l1 l2 : list A) : list A := match l1 with | cons h1 t1 => cons h1 (interleave l2 t1) | nil => l2 end. Однако некоторые другие языки с похожими контро…
17 дек '17 в 14:24
1
ответ
Доказательство прекращения функции Такеучи в Изабель
Вот моя попытка доказать, что функция Takeuchi действительно завершается: function moore :: "(int ⇒ int ⇒ int) ⇒ (int ⇒ int ⇒ int)" where "moore x y z = ((if (x ≤ y) then 0 else 1) (max(x,y,z) - min(x,y,z)) (x - min(x,y,z)))" fun tk :: "int ⇒ int ⇒ …
31 июл '18 в 13:21
2
ответа
Программа на Python не закрывается; импортировать случайные ошибки
Простите, если это выходит из-под контроля, я не преувеличиваю, когда говорю, что работаю над этой программой уже более 13 часов, и я серьезно лишен сна. Это моя 4-я ревизия, и я, честно говоря, больше не знаю, что делать, поэтому, если кто-нибудь с…
03 май '14 в 12:33
3
ответа
Завершение процесса в окнах C/C++
Я пытаюсь поймать время, когда процесс заканчивается (убивая его, например, в TaskManager). сделать это, когда он обнаружит (внутри процесса, который был завершен), прежде чем выйти, чтобы сделать какую-то работу. Приложение мое не заканчивается byi…
03 ноя '11 в 11:50
3
ответа
Завершить команду оболочки
Я выполняю такой большой файл.SH через Cygwin. Я просто хочу прекратить выполнение.SH во время выполнения (например, Ctrl+ X в командной строке).. Какую комбинацию клавиш нужно указать для прекращения выполнения файла.SH при выполнении? Пожалуйста, …
26 фев '14 в 06:33
1
ответ
Как я могу убедить Coq, что моя функция на самом деле рекурсивная?
Я пытаюсь написать программу на Coq для анализа относительно простой контекстно-свободной грамматики (один из типов скобок), и мой общий алгоритм заключается в том, чтобы синтаксический анализатор потенциально возвращал остаток строки. Например, раз…
26 май '16 в 23:34