Nothing Special   »   [go: up one dir, main page]

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Singularity is an experimental operating system developed by Microsoft Research between July 9, 2003, and February 7, 2015. It was designed as a high dependability OS in which the kernel, device drivers, and application software were all written in managed code. Internal security uses type safety instead of hardware memory protection.

Property Value
dbo:abstract
  • Singularity war ein experimentelles Projekt von Microsoft Research mit dem Ziel, ein zuverlässiges Betriebssystem zu schaffen, in dem der Kernel, Gerätetreiber und alle Applikationen in Managed Code geschrieben sind. Das Singularity-Betriebssystem verfolgt dabei ein neues Sicherheitskonzept namens Software-isolated Processes (SIPs). Seit dem 4. März 2008 ist der Quelltext öffentlich unter der verfügbar. (de)
  • Singularity es un producto de Microsoft Research comenzado en 2003 para desarrollar un sistema operativo en el que el núcleo, dispositivos y aplicaciones estén escritos todos con código gestionado (managed code). El nivel más bajo de interrupciones está escrito en lenguaje ensamblador y C. Por encima, el núcleo, cuyo entorno de ejecución y recolector de basura están escritos en C#, se ejecuta en modo no seguro. La capa de abstracción del hardware está escrita en C++ y se ejecuta en modo seguro. También hay algo de código C para manejar la depuración. La BIOS del ordenador solo se invoca durante la fase de arranque de 16 bits. Una vez se está en modo 32 bits, Singularity nunca vuelve a llamar a la BIOS, aunque sí llama a los controladores de los dispositivos escritos en Sing#, una extensión de Spec#, que a su vez es una extensión de C#. Durante la instalación, los códigos de operación CIL (Common Intermediate Language o Lenguaje intermedio común) se compilan a códigos de operación x86 usando el compilador Bartok. Singularity 1.0 fue completado en el año 2007. Un paquete de desarrollo e investigación (RDK) para Singularity ha sido publicado con una licencia de fuente compartida que permite el uso no comercial y académico y está disponible en CodePlex. La investigación actual se mueve hacia el desarrollo de Singularity RDK 2.0​ (es)
  • Singularity est le nom d'un projet expérimental de système d'exploitation de 2003 à 2010 par Microsoft Research et vise à atteindre une certaine sûreté de fonctionnement. Pour cela, il est presque intégralement développé en code managé. À l'époque, ce projet voulait être la prochaine génération de système d'exploitation de Microsoft et est son projet pluri-départemental le plus important. Singularity n'a plus rien à voir avec les anciens Windows, car les 35 développeurs[réf. nécessaire] qui y travaillent à plein temps sont partis de rien et, pour le moment[Quand ?], le noyau n'est composé que de 300 000 lignes de code[réf. nécessaire] (ce qui est peu pour un système d'exploitation). (fr)
  • Singularity adalah sebuah proyek riset yang dilakukan oleh Microsoft Corporation yang dimulai pada tahun 2003 untuk membangun sebuah sistem operasi yang sangat andal, di mana kernel sistem operasi, device driver, dan semua aplikasi yang berjalan di atasnya ditulis dalam . Kode interrupt dispatch code milik Singularity dibangun dengan menggunakan bahasa rakitan dan bahasa pemrograman C. Setelah kode tersebut melakukan tugasnya, maka ia akan memanggil kernel, yang runtime dan garbage collector-nya dibangun dengan menggunakan bahasa C# dan berjalan di dalam . Lapisan abstraksi perangkat kerasnya dibangun dengan menggunakan bahasa pemrograman C++ dan berjalan di dalam . Memang ada beberapa kode yang ditulis dalam bahasa C yang digunakan untuk menangani proses debugging. BIOS komputer hanya akan dipanggil pada saat proses booting memasuki tahap modus real . Setelah masuk ke dalam 32-bit, Singularity tidak akan memanggil BIOS lagi, tapi ia akan memanggil semua device driver yang ditulis di dalam bahasa pemrograman C#. Selama instalasi, Common Intermediate Language (CIL) dari kernel C# akan diubah ke dalam x86 dengan menggunakan kompiler . Singularity versi 1.0 telah diselesaikan pada tahun 2007. Beberapa universitas menerima salinan Singularity 1.0 Research Development Kit (RDK) untuk tujuan riset. Sayangnya tidak disebutkan apakah Microsoft hendak merilis kode sumber atau binernya kepada publik. Versi saat ini yang sedang dikembangkan adalah Singularity versi 2.0. (in)
  • Singularity is an experimental operating system developed by Microsoft Research between July 9, 2003, and February 7, 2015. It was designed as a high dependability OS in which the kernel, device drivers, and application software were all written in managed code. Internal security uses type safety instead of hardware memory protection. (en)
  • 싱귤래러티(Singularity)는 마이크로소프트 리서치가 2003년부터 2010년까지 개발했던 실험적 운영 체제(OS)이다. 커널, 장치 드라이버, 응용 소프트웨어가 모두 로 작성되는 높은 의존성 OS로 설계되었다. 내부 보안은 하드웨어 메모리 보호 대신 을 사용한다. (ko)
  • Singularity è un sistema operativo sviluppato da Microsoft. La versione 1.0 è stata pubblicata nel 2007, il Singularity V1.0 Research Development Kit (RDK) è stato spedito ad un ristretto numero di università.La versione 2.0 è stata pubblicata e anche resa disponibile al download. Singularity è un sistema operativo innovativo scritto completamente in C#, quindi in codice gestito anziché nativo. Ciò permette di avere un maggior controllo nell'esecuzione dei programmi (sia a livello utente che a livello kernel) in quanto il codice gestito è considerato a più alto livello del codice nativo. Molte operazioni sono eseguite implicitamente dal .NET Framework che fornisce una Macchina virtuale su cui il codice viene interpretato ed eseguito. Ad esempio, la liberazione della memoria inutilizzata viene eseguita in automatico utilizzando il Garbage Collector. Questa modifica sul tipo di kernel permetterà inoltre, almeno in linea teorica, di avere meno errori gravi nel sistema sia a livello utente (applicativo) che a livello kernel (cuore del sistema operativo). L'utilizzo di un nuovo kernel permette anche di eliminare l'utilizzo delle ormai anziane Windows API, enormemente appesantite nell'interfaccia a causa della necessità di mantenere la retrocompatibilità di versione in versione. Al loro posto verrà utilizzata una nuova interfaccia completamente basata su .NET, accessibile attraverso codice gestito CIL. (it)
  • Singularity は マイクロソフトリサーチ が2003年から実験的に開発しているオペレーティングシステム (OS)。高度なディペンダブルOSとすることを目標とし、カーネルやデバイスドライバ、アプリケーションも全てマネージコードで書かれている。 (ja)
  • Singularity – nazwa projektu badawczego przedsiębiorstwa Microsoft, którego celem jest stworzenie systemu operacyjnego opartego na mikrojądrze i stanowiącego podstawę dla bardziej niezawodnej platformy systemowej oraz aplikacyjnej. (pl)
  • Singularity är ett operativsystem som Microsoft Research introducerade november 2005. Singularity är skrivet i C# och är baserat på en mikrokärna bestående av 300 000 rader kod. (sv)
  • Singularity é um projeto de pesquisa da Microsoft focado na construção de sistemas operativos com micronúcleos modulares, usando C#. (pt)
  • Singularity,一種實驗性操作系统,在2003年至2010年間由微软研究院設計、發展出來。该操作系统的核心、驅動程式以及应用程序都以「受控代碼」写成。系统“Singularity”在设计上完全改头换面,不再以其性能為標準,而以系統稳定性作为首要标准。 Singularity操作系统會在系统构建、編寫程式等应用微软最先进的技术,例如Singularity的核心技术之一:软件独立进程(Software Isolated Processes,SIP)将采用型別安全的编程语言以及精简的指令完成,保证系统運作之间的高度独立性。SIP保证每个程序、驅動程式以及系统扩展组件都在獨立的SIP内运行,並不允许互相共享内存或修改自身代码,能夠使系统的稳定性增強。 微软将會在近期公布更多Singularity的详细技术资料。 Singularity的低级x86中断以汇编语言和C语言写成。一旦这些代码完成工作,它将调用核心,核心的运行时代码和垃圾收集器用C♯语言写成并在非安全模式下运行。Singularity的硬件抽象层用C++语言写成并运行在安全模式下。并且也有部分C代码负责调试工作。计算机的BIOS只在16位元真實模式阶段被调用;一旦系统进入32位元模式,Singularity将永远不再调用BIOS,而改以调用以写出的设备驱动代码。当安装时,通用中間語言形态的将藉由Bartok编译为x86形态的opcode。Bartok是一种以C#写成的早期优化编译器。 源代码和/或磁盘镜像将在工程完成时可用。 (zh)
  • Singularity — начатый в 2003 году проект исследовательского подразделения корпорации Майкрософт по созданию высоконадёжной операционной системы, в которой микроядро, драйвера устройств и приложения написаны на управляемом коде. Отличительной особенностью данной ОС является использование идеологии программно-изолированных процессов (Software Isolated Processes, SIP), похожих на лёгкие процессы языка Erlang, общение между которыми происходит исключительно посредством сообщений. В отличие от традиционных ОС, защита таких процессов в Singularity производится не путём организации аппаратно-защищённых адресных пространств, а путём использования типобезопасного подмножества промежуточного языка (MSIL) и его верификации перед компиляцией в родной код процессора. Каждый SIP обладает своим объектным пространством, «сборщиком мусора» и средой периода исполнения. Для таких процессов не допускается совместное использование памяти, и они не имеют возможность модифицировать свой код, что усиливает гарантии надежности работы программы в SIP. Низкоуровневый код обработки прерываний x86 написан на языке ассемблера и C. Библиотеки времени исполнения (англ. runtime) и сборщик мусора написаны на Sing# (специально доработанном для данного проекта диалекте C#) с использованием небезопасного режима (англ. unsafe mode). Также присутствует код на C, использующийся в целях отладки. BIOS компьютера вызывается только на этапе загрузки в 16-разрядном реальном режиме работы процессора. После перехода в 32-разрядный режим, BIOS больше никогда не вызывается, вместо него используются драйверы, написанные на Sing#. При установке ядра, оп-коды CIL компилируются в инструкции x86 при помощи компилятора . Bartok [1] — это исследовательский проект по созданию на языке C# оптимизирующего компилятора из CIL в x86. Singularity 1.0 была завершена в 2007 году. Исследовательский пакет Singularity 1.1 Research Development Kit (RDK) был выпущен под лицензией Shared Source и допускает академическое некоммерческое использование; пакет доступен на CodePlex. 14 ноября 2008 г. был выпущен Singularity RDK 2.0. Дальнейшая разработка прекращена. Код Singularity и вспомогательных средств доступен для изучения и использованияна сайте CodePlexАрхивная копия от 31 марта 2021 на Wayback Machine. (ru)
  • Singularity - розпочатий в 2003 року проект дослідницького підрозділу корпорації Майкрософт по створенню високонадійної ОС, в якій мікроядро, драйвери пристроїв і програми написані на керованому коді. Відмінною особливістю даної ОС є використання ідеології програмно-ізольованих процесів (Software Isolated Processes, SIP), схожих на легкі процеси мови Erlang, спілкування між якими відбувається виключно за допомогою повідомлень. На відміну від традиційних ОС, захист таких процесів у Singularity проводиться не завдяки організації апаратно-захищених адресних просторів, а шляхом використання типобезпечної підмножини проміжної мови і її верифікації перед компіляцією в рідній код процесора. Кожен SIP володіє своїм об'єктним простором, «збирачем сміття» і середовищем періоду виконання. Для таких процесів не допускається спільне використання пам'яті, і вони не мають можливість модифікувати свій код, що посилює гарантії надійності роботи програми в SIP. Низькорівневий код обробки переривань x86 написаний на мові асемблера і C. Бібліотеки часу виконання (англ. runtime) і збирач сміття написані на (спеціально доопрацьованому для даного проекту діалекті C#) з використанням небезпечного режиму (англ. unsafe mode). Також присутній код на C, що використовується в цілях налагодження. BIOS комп'ютера викликається тільки на етапі завантаження в 16-розрядному реальному режимі роботи процесора. Після переходу в 32-розрядний режим, BIOS більше ніколи не викликається, замість нього використовуються драйвери, написані на . При установці ядра, оп-коди CIL компілюються в інструкції x86 за допомогою компілятора . Bartok [1] [Архівовано 6 квітня 2006 у Wayback Machine.] - це дослідницький проект по створенню на мові C# оптимізувального компілятора із CIL в x86. Singularity 1.0 була завершена в 2007 році. Дослідницький пакет Singularity 1.1 Research Development Kit (RDK) був випущений під ліцензією і допускає академічне некомерційне використання; пакет доступний на . 14 листопада 2008 був випущений Singularity RDK 2.0. Подальша розробка припинена. Код Singularity та допоміжних засобів доступний для вивчення та використання [Архівовано 9 березня 2010 у Wayback Machine.] на сайті [2] [Архівовано 27 січня 2010 у Wayback Machine.]. (uk)
dbo:developer
dbo:latestReleaseDate
  • 2008-11-14 (xsd:date)
dbo:latestReleaseVersion
  • 2.0
dbo:license
dbo:releaseDate
  • 2008-03-04 (xsd:date)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2049655 (xsd:integer)
dbo:wikiPageLength
  • 9653 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1119169487 (xsd:integer)
dbo:wikiPageWikiLink
dbp:bot
  • InternetArchiveBot (en)
dbp:caption
  • Singularity after boot-up (en)
dbp:date
  • May 2018 (en)
dbp:developer
  • Microsoft Research (en)
dbp:discontinued
  • Yes (en)
dbp:family
  • Language-based systems (en)
dbp:fixAttempted
  • yes (en)
dbp:kernelType
dbp:language
  • English (en)
dbp:latestReleaseDate
  • 2008-11-14 (xsd:date)
dbp:latestReleaseVersion
  • 2 (xsd:integer)
dbp:license
dbp:name
  • Singularity Project (en)
dbp:programmedIn
dbp:released
  • 2008-03-04 (xsd:date)
dbp:screenshot
  • Singularity v1.png (en)
dbp:sourceModel
  • Source-available (en)
dbp:supportedPlatforms
dbp:ui
dbp:wikiPageUsesTemplate
dbp:wordnet_type
dbp:workingState
  • Discontinued (en)
dct:subject
gold:hypernym
rdf:type
rdfs:comment
  • Singularity war ein experimentelles Projekt von Microsoft Research mit dem Ziel, ein zuverlässiges Betriebssystem zu schaffen, in dem der Kernel, Gerätetreiber und alle Applikationen in Managed Code geschrieben sind. Das Singularity-Betriebssystem verfolgt dabei ein neues Sicherheitskonzept namens Software-isolated Processes (SIPs). Seit dem 4. März 2008 ist der Quelltext öffentlich unter der verfügbar. (de)
  • Singularity is an experimental operating system developed by Microsoft Research between July 9, 2003, and February 7, 2015. It was designed as a high dependability OS in which the kernel, device drivers, and application software were all written in managed code. Internal security uses type safety instead of hardware memory protection. (en)
  • 싱귤래러티(Singularity)는 마이크로소프트 리서치가 2003년부터 2010년까지 개발했던 실험적 운영 체제(OS)이다. 커널, 장치 드라이버, 응용 소프트웨어가 모두 로 작성되는 높은 의존성 OS로 설계되었다. 내부 보안은 하드웨어 메모리 보호 대신 을 사용한다. (ko)
  • Singularity は マイクロソフトリサーチ が2003年から実験的に開発しているオペレーティングシステム (OS)。高度なディペンダブルOSとすることを目標とし、カーネルやデバイスドライバ、アプリケーションも全てマネージコードで書かれている。 (ja)
  • Singularity – nazwa projektu badawczego przedsiębiorstwa Microsoft, którego celem jest stworzenie systemu operacyjnego opartego na mikrojądrze i stanowiącego podstawę dla bardziej niezawodnej platformy systemowej oraz aplikacyjnej. (pl)
  • Singularity är ett operativsystem som Microsoft Research introducerade november 2005. Singularity är skrivet i C# och är baserat på en mikrokärna bestående av 300 000 rader kod. (sv)
  • Singularity é um projeto de pesquisa da Microsoft focado na construção de sistemas operativos com micronúcleos modulares, usando C#. (pt)
  • Singularity es un producto de Microsoft Research comenzado en 2003 para desarrollar un sistema operativo en el que el núcleo, dispositivos y aplicaciones estén escritos todos con código gestionado (managed code). El nivel más bajo de interrupciones está escrito en lenguaje ensamblador y C. Por encima, el núcleo, cuyo entorno de ejecución y recolector de basura están escritos en C#, se ejecuta en modo no seguro. La capa de abstracción del hardware está escrita en C++ y se ejecuta en modo seguro. (es)
  • Singularity adalah sebuah proyek riset yang dilakukan oleh Microsoft Corporation yang dimulai pada tahun 2003 untuk membangun sebuah sistem operasi yang sangat andal, di mana kernel sistem operasi, device driver, dan semua aplikasi yang berjalan di atasnya ditulis dalam . (in)
  • Singularity est le nom d'un projet expérimental de système d'exploitation de 2003 à 2010 par Microsoft Research et vise à atteindre une certaine sûreté de fonctionnement. Pour cela, il est presque intégralement développé en code managé. (fr)
  • Singularity è un sistema operativo sviluppato da Microsoft. La versione 1.0 è stata pubblicata nel 2007, il Singularity V1.0 Research Development Kit (RDK) è stato spedito ad un ristretto numero di università.La versione 2.0 è stata pubblicata e anche resa disponibile al download. (it)
  • Singularity — начатый в 2003 году проект исследовательского подразделения корпорации Майкрософт по созданию высоконадёжной операционной системы, в которой микроядро, драйвера устройств и приложения написаны на управляемом коде. Bartok [1] — это исследовательский проект по созданию на языке C# оптимизирующего компилятора из CIL в x86. Код Singularity и вспомогательных средств доступен для изучения и использованияна сайте CodePlexАрхивная копия от 31 марта 2021 на Wayback Machine. (ru)
  • Singularity,一種實驗性操作系统,在2003年至2010年間由微软研究院設計、發展出來。该操作系统的核心、驅動程式以及应用程序都以「受控代碼」写成。系统“Singularity”在设计上完全改头换面,不再以其性能為標準,而以系統稳定性作为首要标准。 Singularity操作系统會在系统构建、編寫程式等应用微软最先进的技术,例如Singularity的核心技术之一:软件独立进程(Software Isolated Processes,SIP)将采用型別安全的编程语言以及精简的指令完成,保证系统運作之间的高度独立性。SIP保证每个程序、驅動程式以及系统扩展组件都在獨立的SIP内运行,並不允许互相共享内存或修改自身代码,能夠使系统的稳定性增強。 微软将會在近期公布更多Singularity的详细技术资料。 源代码和/或磁盘镜像将在工程完成时可用。 (zh)
  • Singularity - розпочатий в 2003 року проект дослідницького підрозділу корпорації Майкрософт по створенню високонадійної ОС, в якій мікроядро, драйвери пристроїв і програми написані на керованому коді. Bartok [1] [Архівовано 6 квітня 2006 у Wayback Machine.] - це дослідницький проект по створенню на мові C# оптимізувального компілятора із CIL в x86. Код Singularity та допоміжних засобів доступний для вивчення та використання [Архівовано 9 березня 2010 у Wayback Machine.] на сайті [2] [Архівовано 27 січня 2010 у Wayback Machine.]. (uk)
rdfs:label
  • Singularity (Microsoft) (de)
  • Singularity (Microsoft) (es)
  • Singularity (fr)
  • Singularity (in)
  • Singularity (sistema operativo) (it)
  • Singularity (ja)
  • 싱귤래러티 (운영 체제) (ko)
  • Singularity (system operacyjny) (pl)
  • Singularity (operating system) (en)
  • Singularity (sistema operativo) (pt)
  • Microsoft Singularity (ru)
  • Singularity (sv)
  • Microsoft Singularity (uk)
  • Singularity (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Singularity Project (en)
is dbo:influenced of
is dbo:operatingSystem of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:influenced of
is dbp:operatingSystem of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License