US 2004/0181779 A1, 16.09.2004. US 2004/0031018 A1, 12.02.2004. US 2003/0192031 A1, 09.10.2003. US 2004/0083455 A1, 29.04.2004. RU 2210803 C2, 20.08.2003.
Имя заявителя:
МАЙКРОСОФТ КОРПОРЕЙШН (US)
Изобретатели:
АХМАД Аршад Ф. (US) ОЛЕНИК Брэд М. (US) ШИПЕРСКИ Клеменс А. (US) ХАНТ Дэвид Г. (US) ХЬЮЗ Грегори Л. (US) КРЭН Симеон (US) МАНИС Уилльям А. (US)
Патентообладатели:
МАЙКРОСОФТ КОРПОРЕЙШН (US)
Приоритетные данные:
29.04.2005 US 60/676,137 28.07.2005 US 60/703,220 23.02.2006 US 11/360,455
Реферат
Изобретение относится к области выполнения программного обеспечения. Техническим результатом является повышение надежности выполнения программного обеспечения за счет обеспечения модели фазирования прикладной среды. В вариантах осуществления настоящего изобретения система фазирования содержит многоуровневое фазовое пространство, в котором операции в программной системе ограничены фазой или подфазой. Операции выполняются только в определенной фазе. Таким образом, операции, которые могут дать неверные результаты в больших и сложных программных системах, выполняются не одновременно, а следуют в определенном порядке. Настоящее изобретение предусматривает также структуру данных для введения фазовых ограничений в качестве программных атрибутов в программный код. 3 н. и 17 з.п. ф-лы, 11 ил.