摘要:
A method and system for determining potential deadlock conditions in a target multi-threaded software application. The target application is first run in a virtual machine and the events within the application are recorded. The recorded events are replayed and analyzed to identify potential lock acquisition conflicts occurring between threads of the application. The potential lock acquisition conflicts are identified by analyzing the order in which resource locks are obtained and pairs of resources that have respective locks obtained in different orders are analyzed. These analyzed pairs are used to define a different order of events in the target application that, when the target application is re-run with the second order of events, may trigger a deadlock condition. The target application is then re-run with the different order of events in an attempt to trigger and then identify potential deadlock situations.
摘要:
A process is provided for preparing triazole substituted azaindoleoxoacetic piperazine derivative. Novel intermediates produced in the above process, and novel N-1 and amorphous forms of a 1,2,3-triazole substituted azaindoloxoacetic piperazine derivatives and processes for producing such novel forms are also provided.
摘要:
The instant invention provides formulations of 1-(4-benzoyl-piperazin-1-yl)-2-[4-methoxy-7-(3-methyl-[1,2,4]triazol-1-yl)-1H-pyrrolo[2,3-c]pyridin-3-yl]-ethane-1,2-dione; processes for the production of such formulations; and methods of treating HIV or AIDS with such crystalline materials or such formulations.
摘要:
The instant disclosure provides crystalline forms of 1-benzoyl-4-[2-[4,7-dimethoxy-1-[(phosphonooxy)methyl]-1H-pyrrolo[2,3-c]pyridin-3-yl]-1,2-dioxoethyl]-piperazine, salts and solvates thereof. The present disclosure also generally relates to pharmaceutical compositions comprising the crystalline form(s), as well of methods of using the crystalline form(s) in the treatment of HIV and/or AIDS, and methods for obtaining such crystalline form(s).
摘要:
The instant invention provides crystalline materials of 1-(4-benzoyl-piperazin-1-yl)-2-[4-methoxy-7-(3-methyl-[1,2,4]triazol-1-yl)-1H-pyrrolo[2,3-c]pyridin-3-yl]-ethane-1,2-dione; processes for the production of such crystalline materials; pharmaceutical compositions comprising such crystalline materials; and methods of treating HIV or AIDS with such crystalline materials or such pharmaceutical compositions.
摘要:
The present disclosure generally relates to a crystalline form of methyl ((1S)-1-(((2S)-2-(5-(4′-(2-((2S)-1-((2S)-2-((methoxycarbonyl)amino)-3-methylbutanoyl)-2-pyrrolidinyl)-1 H-imidazol-5-yl)-4-biphenylyl)-1H-imidazol-2-yl)-1-pyrrolidinyl)carbonyl)-2-methylpropyl)carbamate dihydrochloride salt. The present disclosure also generally relates to a pharmaceutical composition comprising a crystalline form, as well of methods of using a crystalline form in the treatment of Hepatitis C and methods for obtaining such crystalline form.
摘要:
Mono-lysine salts of triazole compounds having a secondary or tertiary hydroxy group are provided. More particularly, the new water-soluble triazole antifungal mono-lysine salt compounds, or solvates thereof, are provided having the general formula I: wherein A in formula I represents the non-hydroxy portion of a triazole antifungal compound of the type containing a secondary or tertiary hydroxyl group. R and R1 in formula I can each be a hydrogen atom or an alkyl group having one to six carbon atoms. The novel water-soluble azole compounds are useful for the treatment of fungal infections and can be administered orally, topically and parenterally.
摘要:
The instant disclosure provides crystalline forms of 1-benzoyl-4-[2-[4,7-dimethoxy-1-[(phosphonooxy)methyl]-1H-pyrrolo[2,3-c]pyridin-3-yl]-1,2-dioxoethyl]-piperazine, salts and solvates thereof. The present disclosure also generally relates to pharmaceutical compositions comprising the crystalline form(s), as well of methods of using the crystalline form(s) in the treatment of HIV and/or AIDS, and methods for obtaining such crystalline form(s).
摘要:
A method and system for determining potential deadlock conditions in a target multi-threaded software application. The target application is first run in a virtual machine and the events within the application are recorded. The recorded events are replayed and analyzed to identify potential lock acquisition conflicts occurring between threads of the application. The potential lock acquisition conflicts are identified by analyzing the order in which resource locks are obtained and pairs of resources that have respective locks obtained in different orders are analyzed. These analyzed pairs are used to define a different order of events in the target application that, when the target application is re-run with the second order of events, may trigger a deadlock condition. The target application is then re-run with the different order of events in an attempt to trigger and then identify potential deadlock situations.
摘要:
Novel [1,2,4]triazolo[1,5-a]pyridinyl-6-yl-substituted tetrahydroisoquinolines are described in the present invention. These compounds and crystalline forms SA1 and N-2 are used in the treatment of various neurological and physiological disorders. Methods of making these compounds and crystalline forms SA-1 and N-2 are also described in the present invention.