WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2008010877) SYSTÈME INFORMATIQUE DÉTERMINISTE MULTIPROCESSEUR
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2008/010877    N° de la demande internationale :    PCT/US2007/013336
Date de publication : 24.01.2008 Date de dépôt international : 05.06.2007
CIB :
G06F 15/16 (2006.01), G06F 12/08 (2006.01)
Déposants : MICROSOFT CORPORATION [US/US]; One Microsoft Way, Redmond, WA 98052-6399 (US) (Tous Sauf US)
Inventeurs : HOWELL, Jonathan R.; (US).
TRAUT, Eric; (US).
LORCH, Jacob R.; (US).
DOUCEUR, John R.; (US)
Données relatives à la priorité :
11/489,819 20.07.2006 US
Titre (EN) DETERMINISTIC MULTIPROCESSOR COMPUTER SYSTEM
(FR) SYSTÈME INFORMATIQUE DÉTERMINISTE MULTIPROCESSEUR
Abrégé : front page image
(EN)A virtual machine monitor (VMM) is configured to enforce deterministic execution of virtual machines in a multiprocessor machine. The VMM is configured to ensure that any communication by physical processors via shared memory is deterministic. When such VMMs are implemented in a distributed environment of multiprocessor machines coupled via a logical communication link, non-deterministic server applications running on virtual machines using the VMM may be replicated.
(FR)La présente invention concerne un moniteur de machine virtuelle (VMM) configuré pour imposer une exécution déterministe de machines virtuelles dans une machine multiprocesseur. Le VMM est configuré pour faire en sorte que toute communication par des processeurs physiques passant par de la mémoire partagée soit déterministe. Quand ces VMM sont implémentés en environnement distribué de machines multiprocesseurs couplées par le biais d'une liaison de communication logique, des applications de serveur non déterministes exécutées sur des machines virtuelles au moyen du VMM peuvent ainsi être répliquées.
États désignés : AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, LV, MC, MT, NL, PL, PT, RO, SE, SI, SK, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)