專利名稱：：計(jì)算機(jī)系統(tǒng)的啟動(dòng)系統(tǒng)的制作方法在復(fù)雜的計(jì)算機(jī)系統(tǒng)，例如交換系統(tǒng)，啟動(dòng)(恢復(fù)，Recovery)的情況下，必須有眾多的處理機(jī)和大量的軟件(這就是說(shuō)計(jì)算機(jī)系統(tǒng)的程序系統(tǒng))投入運(yùn)行。因?yàn)榫C合計(jì)算機(jī)系統(tǒng)的程序系統(tǒng)在很大程度上是用戶特定的，所以各計(jì)算機(jī)系統(tǒng)的啟動(dòng)有很大差異。因此，迄今動(dòng)態(tài)地生成用於確定用戶特定啟動(dòng)的起動(dòng)表格?？墒牵伸哆@種動(dòng)態(tài)生成，在早期的時(shí)間點(diǎn)上設(shè)計(jì)這種啟動(dòng)是不可能的。除此之外，在表格聯(lián)機(jī)地完全建立以后，才能識(shí)別各單項(xiàng)軟件部分之間的依賴關(guān)系。因此一方面期望獲得對(duì)啟動(dòng)整個(gè)過(guò)程的及早的和較強(qiáng)的檢驗(yàn)，而另一方面還使啟動(dòng)保持靈活，這就是說(shuō)對(duì)不同的用戶特定的設(shè)備程序系統(tǒng)是保持可變的。此外整個(gè)系統(tǒng)的啟動(dòng)應(yīng)可靠和快速地進(jìn)行。本發(fā)明的任務(wù)在於滿足所述的要求。該任務(wù)通過(guò)按權(quán)利要求1的啟動(dòng)系統(tǒng)來(lái)解決。通過(guò)表格的靜態(tài)生成，使得有可能對(duì)啟動(dòng)的整個(gè)過(guò)程及早地和緊密地檢驗(yàn)以及保證可靠的和快速的啟動(dòng)。通過(guò)及早的檢驗(yàn)可能性，已能夠於聯(lián)機(jī)測(cè)試階段之前，也就是已經(jīng)在實(shí)時(shí)系統(tǒng)的實(shí)際啟動(dòng)之前，通過(guò)相應(yīng)的工具(Tools)來(lái)發(fā)現(xiàn)和糾正差錯(cuò)(例如死鎖)。通過(guò)各自在同一軟件成分(Software-Komponente)中說(shuō)明一種軟件成分的啟動(dòng)關(guān)系(啟動(dòng)信息)，在靜態(tài)生成的啟動(dòng)表格(Start-Up表格)中，每次僅考慮了在用戶特定程序系統(tǒng)中當(dāng)時(shí)存在著的那種軟件。此外，由此促進(jìn)了啟動(dòng)的細(xì)微的模塊化，并且因而促進(jìn)了軟件成分池(SW-Komponenten-Pool)相對(duì)於變動(dòng)和/或擴(kuò)充的獨(dú)立性或靈活性。最后，通過(guò)在軟件成分中說(shuō)明啟動(dòng)關(guān)系，使得介於啟動(dòng)軟件的各部分之間的依賴關(guān)系已經(jīng)在本來(lái)的啟動(dòng)之前，變得明顯起來(lái)，從而簡(jiǎn)化了整個(gè)啟動(dòng)過(guò)程的設(shè)計(jì)。通過(guò)權(quán)利要求2說(shuō)明了本發(fā)明的一種實(shí)施形式。按本發(fā)明的該實(shí)施形式，在一種軟件成分編譯之后，已經(jīng)存在著一種在設(shè)計(jì)的時(shí)候已能檢驗(yàn)的部分表格，它經(jīng)過(guò)一種相應(yīng)的工具使其變得是可見(jiàn)的。本發(fā)明的一種實(shí)施形式是通過(guò)權(quán)利要求4來(lái)說(shuō)明的。通過(guò)該實(shí)施形式能夠在表格內(nèi)確定，是否應(yīng)進(jìn)行跨越平臺(tái)的同步。由此有可能定義跨越平臺(tái)的、在全系統(tǒng)中或在系統(tǒng)的部分中的系統(tǒng)狀態(tài)。因此在一種平臺(tái)上等候由另一種平臺(tái)準(zhǔn)備好的系統(tǒng)狀態(tài)。用另外的方式來(lái)表達(dá)的話，這意味著，在實(shí)時(shí)系統(tǒng)不同的計(jì)算機(jī)上，軟件的不同部分之間的從屬關(guān)系，從此以后已經(jīng)可以在設(shè)計(jì)的時(shí)候以簡(jiǎn)單的方式加以考慮。本發(fā)明的一種實(shí)施形式是通過(guò)權(quán)利要求5說(shuō)明的。針對(duì)用戶軟件的啟動(dòng)，通過(guò)該實(shí)施形式變得比迄今的從根本上更精細(xì)和更靈活。只有當(dāng)用戶軟件與啟動(dòng)有點(diǎn)關(guān)系時(shí)，它才運(yùn)行。啟動(dòng)由此變得更快和更穩(wěn)定。下面借助於附圖詳細(xì)地說(shuō)明本發(fā)明的一個(gè)實(shí)施例。首先對(duì)在下面經(jīng)常采用的術(shù)語(yǔ)進(jìn)行解釋。啟動(dòng)(恢復(fù)，Recovery)。為了在出現(xiàn)差錯(cuò)和斷電之后以及在投入運(yùn)行等等情況下，建立一種適合於設(shè)備程序系統(tǒng)的軟硬件狀況的措施。設(shè)備程序系統(tǒng)(APS＝應(yīng)用程序系統(tǒng))一種設(shè)備程序系統(tǒng)包含在一種計(jì)算機(jī)系統(tǒng)中，例如在一種交換站里，所需要的全部程序和數(shù)據(jù)(實(shí)時(shí)系統(tǒng)的原裝程序除外)。對(duì)每一種綜合的計(jì)算機(jī)系統(tǒng)，需要一種獨(dú)特的，這就是說(shuō)針對(duì)有關(guān)計(jì)算機(jī)系統(tǒng)的使用特點(diǎn)而設(shè)置的設(shè)備程序系統(tǒng)(用戶專用的APS)。設(shè)備程序系統(tǒng)是以機(jī)器語(yǔ)言表達(dá)的一種已經(jīng)受約束的程序系統(tǒng)。服務(wù)模塊，外殼在程序語(yǔ)言層面上以模塊方式構(gòu)成軟件?；ハ嗵幵诰o密關(guān)系中的模塊，以Chill語(yǔ)言匯總在較大的軟件成分，所謂的服務(wù)模塊(服務(wù)準(zhǔn)備單元SPU)中。該SPU是每次由編譯程序翻譯的軟件單元。外殼是可裝入實(shí)時(shí)系統(tǒng)的、和在設(shè)備程序系統(tǒng)的運(yùn)算時(shí)間中、通過(guò)構(gòu)件從服務(wù)模塊中生成的那些軟件單元。軟件成分池軟件成分池包含(源-碼-)軟件成分的總和，從這些成分中每次編譯和匯總一部分，以生成用戶專用的APS。啟動(dòng)控制程序啟動(dòng)控制程序控制著啟動(dòng)，和在以下也稱作為啟動(dòng)(Start-Up-)控制程序(簡(jiǎn)稱SUPO)。啟動(dòng)控制程序包括一種以操作系統(tǒng)模式(管理狀態(tài))運(yùn)行的啟動(dòng)部分(SUPO_SYNC)，和一種以用戶模式(使用狀態(tài))運(yùn)行的和作為過(guò)程實(shí)施的啟動(dòng)部分(SUPO_PROCESS)。首先對(duì)本發(fā)明作簡(jiǎn)要說(shuō)明。本發(fā)明的根據(jù)在於，一方面獲得對(duì)啟動(dòng)整個(gè)過(guò)程的及早的和緊密的檢驗(yàn)，另一方面使整個(gè)過(guò)程保持靈活，這就是說(shuō)不受用戶專用APS性能的影響。為了解決該任務(wù)，整個(gè)軟件生產(chǎn)(SW-Produktion)被一體化到新的啟動(dòng)方案中去。還在設(shè)計(jì)的時(shí)候，軟件開(kāi)發(fā)者就必須以與其它同步點(diǎn)和應(yīng)實(shí)施行動(dòng)的關(guān)系(條件與量值)的形式來(lái)說(shuō)明各SP。在由開(kāi)發(fā)者每次設(shè)計(jì)的軟件成分中進(jìn)行這些說(shuō)明。通過(guò)該編譯從各SP-說(shuō)明中生成一種部分表格。在用戶專用設(shè)備程序系統(tǒng)的生產(chǎn)時(shí)間，通過(guò)將軟件成分連結(jié)起來(lái)，使這些部分表格最終聯(lián)接成一種分類的表格(從邏輯性觀點(diǎn)看，形成一種單一的表格)。按照在軟件成分(服務(wù)模塊或更確切地說(shuō)在其中包含的模塊)中所說(shuō)明的與其它各SP的關(guān)系，借助於一種專門的工具進(jìn)行這種聯(lián)接。啟動(dòng)控制程序，然后在這些脫機(jī)生成和聯(lián)接的表格上存取，以便按照包含在表格中的啟動(dòng)信息來(lái)執(zhí)行啟動(dòng)。借助於脫機(jī)生成的啟動(dòng)表格，就有可能保持啟動(dòng)控制程序不受設(shè)備程序系統(tǒng)性能的影響。如果啟動(dòng)本身應(yīng)獲得新的性能，由此只剩下必須改變啟動(dòng)控制程序。針對(duì)設(shè)備程序系統(tǒng)而言，啟動(dòng)控制程序卻是完全獨(dú)立的。該獨(dú)立性很簡(jiǎn)單地產(chǎn)生於以下情況，由設(shè)備程序系統(tǒng)的各單項(xiàng)成分本身規(guī)定啟動(dòng)同步信息和脫機(jī)地列入啟動(dòng)控制表格。通過(guò)該啟動(dòng)，一種實(shí)時(shí)系統(tǒng)逐步地被啟動(dòng)，在此情況下每一步代表一種穩(wěn)定狀態(tài)。這些狀態(tài)以下也稱之為同步點(diǎn)。它們中的幾種只有局部的意義，而其它又具有遍及整個(gè)系統(tǒng)的意義。其意義的范圍完全取決於同步點(diǎn)所處的說(shuō)明級(jí)。圖1展示一種典型的交換系統(tǒng)的啟動(dòng)段的(層次)級(jí)，即一個(gè)系統(tǒng)級(jí)、一個(gè)功能級(jí)、一個(gè)應(yīng)用級(jí)和一個(gè)用戶級(jí)。在利用完整的表格的，即利用所有的啟動(dòng)段的情況下，進(jìn)行設(shè)備程序系統(tǒng)的啟動(dòng)。在啟動(dòng)段的不同層次級(jí)上，說(shuō)明的立足點(diǎn)是各自不同的，這意味著在最高的級(jí)上啟動(dòng)段僅僅是很普通地說(shuō)明整個(gè)系統(tǒng)，而且越進(jìn)入往下的層次級(jí)里，說(shuō)明就越詳細(xì)，可是在每個(gè)啟動(dòng)段中所說(shuō)明軟件的數(shù)量就越減少。在最低的級(jí)上僅還說(shuō)明SPU的各單項(xiàng)過(guò)程的互相配合，但是全面地說(shuō)明此互相配合，這意味著人們?cè)诖丝梢宰R(shí)別各單項(xiàng)過(guò)程之間的關(guān)系。在系統(tǒng)級(jí)(級(jí)1)中說(shuō)明在啟動(dòng)時(shí)各單個(gè)軟件功能復(fù)合體的互相配合。該級(jí)包含整個(gè)設(shè)備程序系統(tǒng)啟動(dòng)的同步點(diǎn)。這些同步點(diǎn)表明一種源網(wǎng)格，其余的軟件存入其中。功能級(jí)(級(jí)2)說(shuō)明有關(guān)系統(tǒng)主要功能復(fù)合體的成分的啟動(dòng)，例如硬件維護(hù)、軟件維護(hù)、CCS7，它們同樣具有全系統(tǒng)的意義。應(yīng)用級(jí)說(shuō)明功能性成分(有幾種總還具有全局性意義)的啟動(dòng)；在CCS7的情況下可以舉出信令管理者SM和信令鏈路終端SLT作為用於這種功能性成分的實(shí)例。進(jìn)程級(jí)(層次級(jí)4)說(shuō)明以下也稱之為用戶軟件的設(shè)備程序系統(tǒng)進(jìn)程軟件的啟動(dòng)。應(yīng)用數(shù)據(jù)庫(kù)ADB、高性能數(shù)據(jù)庫(kù)HPDB和協(xié)議處理程序管理者(PRHManager)可以稱之為進(jìn)程級(jí)成分的實(shí)例。軟件成分的每一個(gè)啟動(dòng)段包含一個(gè)同步點(diǎn)的清單，在此每個(gè)同步點(diǎn)主要包含啟動(dòng)信息(關(guān)系信息)的兩種等級(jí)。在關(guān)系信息的一種等級(jí)中涉及的是所謂的“動(dòng)作”。一旦由同步點(diǎn)表達(dá)的系統(tǒng)狀態(tài)已實(shí)現(xiàn)時(shí)，這些“動(dòng)作”表示對(duì)那些必須執(zhí)行的動(dòng)作所作的說(shuō)明。在關(guān)系信息的另外的等級(jí)中涉及的是必須滿足的“前提”。介於各SP之間的關(guān)系各自包含兩種組成部分1)一種部分，它在一種SP中說(shuō)明該SP(一種SP)向另一種SP提供量值，和2)一種部分，它在另一種SP中說(shuō)明該SP(另一種SP)必須等候這一種SP的前提。如果應(yīng)定義例如介於兩種SP之間的關(guān)系(SP_x和SP_x)，在此SP_x必須在SP_y之前被實(shí)現(xiàn)，則對(duì)該關(guān)系有兩種組成部分1)在SP_x處存在著，SP_x應(yīng)向SP_y提供一種量值(此事存在於SP_x的“動(dòng)作”中)。2)在SP_y處存在著，SP_y必須等候SP_x的一種量值(此事存在於SP_y的“前提”中)。關(guān)系信息(動(dòng)作與前提)的兩種等級(jí)包含一種混合體它們包含針對(duì)過(guò)程的部分和針對(duì)段的部分1)動(dòng)作a)段-組成部分-對(duì)其它各SP的基值(Kontributionen)b)過(guò)程-組成部分-過(guò)程的啟動(dòng)-繼續(xù)進(jìn)行被延期(被暫停)的過(guò)程-通告過(guò)程(用消息)2)前提a)段-組成部分-“等候”來(lái)自其它各SP的基值(Kontributionen)b)過(guò)程-組成部分-“等候”來(lái)自過(guò)程的基值通過(guò)位於一種同步點(diǎn)定義內(nèi)部的相應(yīng)語(yǔ)句，來(lái)定義對(duì)其它同步點(diǎn)的關(guān)系信息。為了避免介於啟動(dòng)段之間的過(guò)於復(fù)雜的關(guān)系結(jié)構(gòu)，在一種段中所包含的各SP，允許只涉及具有最多為一層次級(jí)級(jí)差的其它段的同步點(diǎn)。為了將由操作系統(tǒng)管理的，在以下也稱之為用戶過(guò)程的過(guò)程并入啟動(dòng)，用戶軟件編程者，首先同樣在一種包含該種或這些應(yīng)并入過(guò)程的服務(wù)模塊中，定義一種或多種起動(dòng)段，并且通過(guò)相應(yīng)的連結(jié)語(yǔ)句(關(guān)系語(yǔ)句)將這些起動(dòng)段與應(yīng)用層次級(jí)的啟動(dòng)段相連結(jié)。此外用戶必須規(guī)定他的過(guò)程對(duì)用戶啟動(dòng)段的關(guān)系，其方法在於，他申報(bào)他的過(guò)程，在此這些申報(bào)信息是各自涉及一種SP的。申報(bào)信息包含著說(shuō)明，利用用戶啟動(dòng)段之一內(nèi)的那個(gè)同步點(diǎn)，來(lái)啟動(dòng)用戶過(guò)程和過(guò)程為那個(gè)同步點(diǎn)提供量值。位於過(guò)程級(jí)上的所提及的申報(bào)信息以后將詳細(xì)說(shuō)明。在接著詳細(xì)說(shuō)明通過(guò)SUPO來(lái)利用啟動(dòng)表格之前，以下將詳細(xì)說(shuō)明啟動(dòng)表格的結(jié)構(gòu)及在其中包含的信息。圖2展示在一種處理器之內(nèi)的啟動(dòng)表格的結(jié)構(gòu)。啟動(dòng)表格是被分布在一種處理器的整個(gè)軟件平臺(tái)上的，在此每種服務(wù)模塊SPU包含啟動(dòng)信息中的從與啟動(dòng)的關(guān)系看對(duì)該服務(wù)模塊是重要的那種部分。通過(guò)在所謂的“外殼-邏輯程序設(shè)計(jì)語(yǔ)言(Kapscl-Prolog)”中的和在“SPU-Prolog”中的地址信息進(jìn)行對(duì)啟動(dòng)表格的存取。啟動(dòng)表格的一段包括所謂同步點(diǎn)單元(SP-單元)，在此每種SP-單元代表段內(nèi)的一種同步點(diǎn)。一種SP-單元又包含對(duì)與該同步點(diǎn)相連結(jié)的“關(guān)系”的說(shuō)明。圖2示范地展示包含三種同步點(diǎn)的一種段(段y)是如何在啟動(dòng)表格中被代表的。以下詳細(xì)說(shuō)明在啟動(dòng)表格中所包含的啟動(dòng)信息。如同前面已說(shuō)明的那樣，啟動(dòng)段是啟動(dòng)表格中那種包含原來(lái)啟動(dòng)信息的，即包含位於所謂SP-單元中同步點(diǎn)信息的單元。以下的程序語(yǔ)言工具，更確切地說(shuō)數(shù)據(jù)結(jié)構(gòu)，可以用來(lái)說(shuō)明(定義)啟動(dòng)段一種用于定義段的等同性的數(shù)據(jù)結(jié)構(gòu)“段名”。該結(jié)構(gòu)包含外殼標(biāo)識(shí)符(外殼-ID)、服務(wù)模塊標(biāo)識(shí)符(SPU-ID)和段標(biāo)識(shí)符(段-ID)，在此段標(biāo)識(shí)符是SET數(shù)據(jù)類型的一種SET值。一種數(shù)據(jù)結(jié)構(gòu)“段級(jí)”，通過(guò)該結(jié)構(gòu)可以在啟動(dòng)段所屬的啟動(dòng)層次內(nèi)定義層次級(jí)。該數(shù)據(jù)結(jié)構(gòu)的類型同樣是一種SET數(shù)據(jù)類型。該數(shù)據(jù)結(jié)構(gòu)的值，即層次級(jí)，被用於檢查，在同步點(diǎn)信息內(nèi)未曾做過(guò)試驗(yàn)，越過(guò)多於一種層次級(jí)轉(zhuǎn)交啟動(dòng)信息。一種用于定義啟動(dòng)狀態(tài)和由此定義系統(tǒng)狀態(tài)的數(shù)據(jù)結(jié)構(gòu)“同步點(diǎn)”。該數(shù)據(jù)結(jié)構(gòu)被細(xì)分成數(shù)據(jù)結(jié)構(gòu)“SP-名稱”，“條件(Condition)”，“基值(Contributions)”，“SP的定時(shí)(Timingof_SP)”，“外部的SP(ExternalSP)”和“動(dòng)作”。數(shù)據(jù)結(jié)構(gòu)“SP-名稱”用於識(shí)別SP并且是“SET”類型的。通過(guò)數(shù)據(jù)結(jié)構(gòu)“條件(Conditions)”，可以定義在達(dá)到一種同步點(diǎn)之前必須滿足的前提(條件)。所述的條件通過(guò)涉及過(guò)程或其它同步點(diǎn)的關(guān)系來(lái)表達(dá)。上述條件只允許用來(lái)以層次級(jí)上升的方向建立關(guān)系(例如在層次級(jí)4中的一種SP可以涉及到層次級(jí)3中的一種同步點(diǎn))。經(jīng)過(guò)數(shù)據(jù)結(jié)構(gòu)“基值(Contributions)”可以定義基值(量值)，它們?cè)趯?shí)現(xiàn)SP后被提供給至少為一種的其它SP?；凳恰皠?dòng)作”的組成部分。用另外的方式來(lái)表達(dá)，這些“量值”對(duì)於一種“較高級(jí)的”SP表示的是條件，這些條件在較高級(jí)的SP能夠?qū)崿F(xiàn)之前，必須通過(guò)較低級(jí)的同步點(diǎn)來(lái)建立或滿足?；抵挥性谠鲋捣较蚴窃试S的(這意味著在層次級(jí)3中的同步點(diǎn)只準(zhǔn)涉及層次級(jí)2中的同步點(diǎn))。介於SP之間的關(guān)系總是包含兩種已提到的組成部分，即前提與動(dòng)作?？偸菑耐交锇橹怀霭l(fā)進(jìn)行關(guān)系的定義，這意味著在前面所述的實(shí)例中要么在SP_x上說(shuō)明SP_x想對(duì)SP_y提供一種量值，要么在SP_y上說(shuō)明SP_y等候著SP_x的一種量值。這意味著在給一種同步關(guān)系下定義時(shí)它還是不完整的，總是還缺少一半的關(guān)系。這一半在APS產(chǎn)生時(shí)通過(guò)鍵接程序/脫機(jī)編碼程序來(lái)補(bǔ)充。通過(guò)介於SP之間的關(guān)系，定義啟動(dòng)時(shí)的SP的順序。在此一種SP所在段層次的級(jí)是完全不重要的。僅為構(gòu)造SP(和啟動(dòng)段)才需要層次級(jí)，這意味著為了人們不致失去對(duì)SP和它們的概觀。通過(guò)對(duì)另一種SP提供一種SP的基值，如同通過(guò)其它SP的“條件(Condition)”那樣因此實(shí)現(xiàn)完全相同的結(jié)果。因此，在給同步關(guān)系下定義時(shí)，人們有一種自由度。人們利用該自由度以達(dá)到“特征獨(dú)立性(featureindependence)”同步關(guān)系總是由在段層次中處在下方很遠(yuǎn)的SP所定義的。在前述實(shí)例中定義會(huì)看來(lái)像如下那樣(前提是SP_x位於較高的層次級(jí)上)SP_y標(biāo)明一種“條件Condition)”(等候wait_for)，這意味著SP_y標(biāo)明，SP_x必須是在它之前被實(shí)現(xiàn)的。通過(guò)兩種從它們的作用看是等同的語(yǔ)言工具“基值”和“條件”以及通過(guò)利用該自由度，啟動(dòng)才可以變?yōu)椤疤卣鳘?dú)立的(featureindependent)”。數(shù)據(jù)結(jié)構(gòu)“SP的定時(shí)(Timingof_SP)”包含，顯示允許一種段的最大持續(xù)時(shí)間的信息，以便從一個(gè)同步點(diǎn)向前跨進(jìn)到下一個(gè)同步點(diǎn)。如果在通過(guò)該最長(zhǎng)持續(xù)時(shí)間確定的定時(shí)器走完之前，同步點(diǎn)未被達(dá)到，通過(guò)一種相應(yīng)的標(biāo)記對(duì)相應(yīng)的錯(cuò)誤發(fā)出信號(hào)。數(shù)據(jù)結(jié)構(gòu)“外部同步點(diǎn)”表明，顯示該同步點(diǎn)的局部先決條件已滿足的消息是否應(yīng)送往所謂的母平臺(tái)(parentplatform)。該母平臺(tái)是那種承擔(dān)對(duì)從屬子平臺(tái)的維護(hù)活動(dòng)作檢查的平臺(tái)。因此該數(shù)據(jù)結(jié)構(gòu)用於跨平臺(tái)的同步和由此同樣地表示著一種與同步點(diǎn)有關(guān)系的應(yīng)實(shí)施的動(dòng)作。同步消息只應(yīng)送往母平臺(tái)而不送往所有鄰近的平臺(tái)(它們對(duì)於各單個(gè)子平臺(tái)是完全不知道的，只能從數(shù)據(jù)庫(kù)中讀出，而該數(shù)據(jù)庫(kù)在啟動(dòng)過(guò)程中才被裝入的)。在迄今於啟動(dòng)段中被說(shuō)明的啟動(dòng)信息已被表示之后，現(xiàn)在則說(shuō)明那些對(duì)參與同步啟動(dòng)的用戶過(guò)程是重要的啟動(dòng)信息。用於一種過(guò)程的啟動(dòng)信息的說(shuō)明，在此只能涉及那些在該過(guò)程所屬SPU內(nèi)被定義的同步點(diǎn)，這意味著在這種SPU內(nèi)該過(guò)程是已被說(shuō)明的。所述用於一種過(guò)程的說(shuō)明能脫機(jī)地，這意味著由編譯程序和/或由聯(lián)編程序處理，以便由此產(chǎn)生包含在啟動(dòng)表格中的信息。下述說(shuō)明或由此生成的啟動(dòng)信息是可能的對(duì)於一種過(guò)程可以通過(guò)說(shuō)明“Start_at_SP”確定，何時(shí)，這意味著在實(shí)現(xiàn)何種SP時(shí)，應(yīng)啟動(dòng)一種過(guò)程。該說(shuō)明在一種所謂的啟動(dòng)表中引起一種項(xiàng)，該表是對(duì)每種同步點(diǎn)存在著的，并對(duì)在該SP上應(yīng)啟動(dòng)的一些過(guò)程編目。在包含應(yīng)啟動(dòng)過(guò)程的模塊內(nèi)進(jìn)行說(shuō)明。此外一個(gè)過(guò)程有可能性來(lái)表明，它希望被暫停，直到實(shí)現(xiàn)一種一定的同步點(diǎn)為止。該可能性通過(guò)操作系統(tǒng)調(diào)用“Wait-for-SP”的說(shuō)明來(lái)實(shí)現(xiàn)，在此操作系統(tǒng)調(diào)用(管理調(diào)用(SupervisdryCall)簡(jiǎn)寫ASVC)作為傳輸參數(shù)必須包含的一定SP的數(shù)據(jù)。除此以外，一種過(guò)程可以要求，當(dāng)一定的同步點(diǎn)(在它的SPU之內(nèi))已被達(dá)到時(shí)可得到通知。這是在兩個(gè)部分內(nèi)實(shí)現(xiàn)的。通過(guò)一種說(shuō)明來(lái)實(shí)現(xiàn)第一部分(靜態(tài)部分)，根據(jù)此說(shuō)明脫機(jī)地向每種SP都存在著的一種“監(jiān)視表(Watch-Tabelle)”中進(jìn)行輸入，該監(jiān)視表收錄過(guò)程的監(jiān)視要求。在包含著應(yīng)啟動(dòng)過(guò)程的那種模塊內(nèi)進(jìn)行此說(shuō)明。第二部分(動(dòng)態(tài)部分)通過(guò)操作系統(tǒng)調(diào)入“監(jiān)視SP(Wait_for_SP)”，在正要求著的過(guò)程本身中來(lái)實(shí)現(xiàn)。最后，一種過(guò)程-在其啟動(dòng)之后-可以向一種同步點(diǎn)提供一種量值和通過(guò)操作系統(tǒng)調(diào)用“提供給SP(Contribute_to_SP)”的說(shuō)明在它已進(jìn)行的量值之后向一種SP表明，該量值是已被滿足的。這又以兩個(gè)部分來(lái)實(shí)現(xiàn)。通過(guò)一種說(shuō)明來(lái)實(shí)現(xiàn)第一部分(靜態(tài)部分)，根據(jù)此說(shuō)明脫機(jī)地向每種SP都存在著的一種“基值表(Kontributions-Tabelle)”中進(jìn)行輸入，該基值表收錄過(guò)程的基值顯示。在包含著那種應(yīng)啟動(dòng)過(guò)程的模塊內(nèi)進(jìn)行此說(shuō)明。第二部分(動(dòng)態(tài)部分)通過(guò)操作系統(tǒng)調(diào)用“提供給SP(Contribute_to_SP)”在正顯示著的過(guò)程本身中來(lái)實(shí)現(xiàn)。在“提供給(ContribTo)”的情況下這兩部分在邏輯上是需要的-用通告表(TableAnnouncement)(靜態(tài)部分，說(shuō)明)促使所屬的SP等候過(guò)程的基值。-該過(guò)程(在它已執(zhí)行必要的動(dòng)作之后)用操作系統(tǒng)調(diào)用“提供給SP(Contribute_to_SP)”進(jìn)行它的對(duì)SP的量值，這意味著該過(guò)程以該操作系統(tǒng)調(diào)用告知啟動(dòng)(Sstart-Up)，它用於SP的前提已得到滿足。-與之相對(duì)地“等候(WatchFor)”的兩個(gè)部分，在邏輯上是不必要的；只有當(dāng)人們用之可以發(fā)送消息的緩沖標(biāo)識(shí)符(Buffer-ID)是脫機(jī)地未知的時(shí)候它才是必要的。在這種在此假設(shè)的情況下它們必須聯(lián)機(jī)地被告知啟動(dòng)(Start-Up)；靜態(tài)部分為此僅保留啟動(dòng)(Start-Up)所需要的位置，以使該(脫機(jī)未知的)緩沖標(biāo)識(shí)符可以被輸入。以下詳細(xì)說(shuō)明啟動(dòng)控制程序SUPO_SYNC和SUPO_PROCESS的功能。啟動(dòng)控制程序利用啟動(dòng)表格，(如同已提及的那樣)，以便控制啟動(dòng)。確切地說(shuō)，它們控制同步了的啟動(dòng)，其方法在於，它們將SP-單元從一種狀態(tài)引導(dǎo)到另一種狀態(tài)。各SP的處理不受層次級(jí)和它們所處外殼的影向。由於與各SP聯(lián)系著的任務(wù)的原因，有必要在SUPO_SYNC和SUPO_PROCESS之間進(jìn)行區(qū)分；在此對(duì)於所有的SP的相同的任務(wù)總是由相同SUPO-部分來(lái)實(shí)施。SP的處理幾乎完全通過(guò)SUPO_SYNC。SUPO_SYNC來(lái)檢驗(yàn)前提是否已滿足，并且必要時(shí)執(zhí)行動(dòng)作(包括將新“準(zhǔn)備好的”SP-單元掛入“就緒存儲(chǔ)池”)。SUPO_PROCESS只承擔(dān)在APS的外殼3中不能執(zhí)行的任務(wù)-SP的時(shí)間監(jiān)視-在外界SP的情況下通往母平臺(tái)的通信-推動(dòng)啟動(dòng)表格的初始化和啟動(dòng)同步機(jī)制。圖3說(shuō)明一種SP-單元能夠呈現(xiàn)的三種狀態(tài)和將SP-單元從一種狀態(tài)引導(dǎo)到下一種狀態(tài)的方式和方法。整個(gè)啟動(dòng)方法被初始化，其方法在於，使第一種SP-單元準(zhǔn)備好實(shí)施，這意味著被引導(dǎo)到“就緒”(“ready”)狀態(tài)。這可以例如經(jīng)過(guò)一種專用接口來(lái)進(jìn)行。根據(jù)介於SP之間的關(guān)系，必須僅一次地使“第一種”SP“就緒(ready)”，這意味著不必(而且也不準(zhǔn))在每種SPU中使第一種SP“就緒(ready)”。而是根據(jù)這些由“第一種SP”到另一些SP的關(guān)系它們自動(dòng)變?yōu)椤熬途w(ready)”，因?yàn)椤暗谝环NSP”的動(dòng)作包含著對(duì)其它SP的基值，和其它一些SP根據(jù)這些基值可以變成“就緒(ready)”。在所附的圖(圖4)中，該“第一種SP”是“SPU5”中的第一種SP。圖4表示一種在考慮過(guò)程級(jí)的情況下的典型的啟動(dòng)。每當(dāng)一種過(guò)程作一種基值，SUPO_SYNS就檢查所屬SP(過(guò)程對(duì)其作了它的基值)的全部前提是否已得到滿足(這意味著機(jī)理是事件控制的)。如果一種SP的全部前提是滿足的，則(由SUPO_SYNC，還在提供給SVC(Contribute_TO_SVC)的范圍內(nèi))執(zhí)行SP的動(dòng)作-有時(shí)一些過(guò)程被啟動(dòng)，-向過(guò)程發(fā)送消息，-重新喚起被推遲的過(guò)程和-作出對(duì)其它SP的基值。根據(jù)這些動(dòng)作，在提供給SVC(Contribute_TO_SVC)的范圍內(nèi)，其它的SP還可以變成“就緒(ready)”(如果對(duì)於那些已為之作了提供的SP來(lái)說(shuō)在提供之后全部前提是滿足的)。這些SP的動(dòng)作同樣地還在提供給SVC(Contribute_TO_SVC)的范圍內(nèi)被執(zhí)行(等等)。在全部已“就緒(ready)”的SP的動(dòng)作已實(shí)施后，此提供給SVC(Contribute_TO_SVC)就結(jié)束；一種開(kāi)始運(yùn)行的過(guò)程被選出(由操作系統(tǒng))。如同已說(shuō)明的那樣，每種SP包含在該SP“就緒(ready)”之前哪些前提必須是滿足的信息。前提可以包含兩種組成部分-事先必須被實(shí)現(xiàn)的SP此信息要么是直接在該SP上被標(biāo)明的(如果它等候位於較高層次級(jí)中的一種SP的話)要么由連接程序/脫機(jī)編碼程序生成(如果一個(gè)較低層次級(jí)的一種SP認(rèn)為事先必須是被滿足的話)。-過(guò)程的量值在啟動(dòng)過(guò)程中過(guò)程進(jìn)行本來(lái)的工作。因此它們的量值特別重要。如同在16)中說(shuō)明的那樣，過(guò)程的基值包含兩個(gè)組成部分一個(gè)靜態(tài)的和一個(gè)動(dòng)態(tài)的。該靜態(tài)組成部分在此僅為此而存在，即所屬的SP“知道”，它必須等候一個(gè)確定的過(guò)程的一個(gè)量值。SP-單元由“未就緒存儲(chǔ)池(nicht_bereit_Pool)”轉(zhuǎn)化為“就緒存儲(chǔ)池(bereit_Pool)”，也就是作為以下事件a)和b)之一的結(jié)果a)SUPO_SYNC對(duì)於處在“未就緒存儲(chǔ)池(nicht_bereit_Pool)”里的而在段級(jí)上的SP做一量值。在完成該量值后SUPO_SYNC檢查是否同步點(diǎn)的全部先決條件都得到滿足。如果是肯定的話，則SUPO_SYNC將該SP-單元引導(dǎo)進(jìn)入“就緒存儲(chǔ)池(bereit-Pool)”。b)一個(gè)過(guò)程完成一項(xiàng)對(duì)啟動(dòng)是重要的任務(wù)，并且該任務(wù)經(jīng)過(guò)已描述的說(shuō)明(或通告表(tableannouncement)或過(guò)程基值的靜態(tài)組成部分)作為用於某種確定SP的前提而處在啟動(dòng)表中(Start-Up-Tabelle)。在完成此任務(wù)后，該過(guò)程調(diào)用語(yǔ)句提供給SVC(Contribute_TO_SVC)，在其范圍內(nèi)進(jìn)行前述動(dòng)作。通過(guò)由SUPO_SYNC控制的動(dòng)作，來(lái)實(shí)現(xiàn)將一種SP-單元從狀態(tài)“就緒(bereit)”轉(zhuǎn)化到狀態(tài)“結(jié)束beendet”中去。與一種同步點(diǎn)相聯(lián)系，可以實(shí)施以下動(dòng)作-與同步點(diǎn)相聯(lián)系，必須由操作系統(tǒng)啟動(dòng)的一列過(guò)程，-必須對(duì)其它SP-單元做出基值，-在等候長(zhǎng)隊(duì)中，等候著該同步點(diǎn)被達(dá)到的一列過(guò)程，重新被排入“準(zhǔn)備就緒運(yùn)行(readytorun)”的等候長(zhǎng)隊(duì)中，-當(dāng)該同步點(diǎn)已被實(shí)現(xiàn)時(shí)，將一種標(biāo)準(zhǔn)消息送向所有那些想被通知過(guò)程的緩沖區(qū)。-一種段的若干SP-單元由SUPO推動(dòng)進(jìn)入“就緒存儲(chǔ)池(ready_Pool)”。(如果下一個(gè)同步點(diǎn)的全部先決條件在同一段的范圍內(nèi)是滿足的，測(cè)該段的下一個(gè)同步點(diǎn)準(zhǔn)備就緒被實(shí)施，并且該同步點(diǎn)因此被推動(dòng)進(jìn)入“就緒存儲(chǔ)池(ready_Pool)”)。如果一種同步點(diǎn)的全部所述動(dòng)作已經(jīng)實(shí)施，則在該SP-單元范圍內(nèi)設(shè)置一種相應(yīng)的標(biāo)記。歸納起來(lái)可以說(shuō)，采用將一種SP-單元從就緒存儲(chǔ)池取出的辦法，SUPO_SYNC促使將此種SP-單元從“就緒”狀態(tài)轉(zhuǎn)入“結(jié)束”狀態(tài)。SUPO_SYNC將各SP從該存儲(chǔ)池取出的次序是無(wú)所謂的。在“就緒存儲(chǔ)池(readyPool)”中的全部SP已經(jīng)實(shí)現(xiàn)和所有這些SP的動(dòng)作必須被實(shí)施。實(shí)際上這些存儲(chǔ)池是作為SP-單元的鏈來(lái)實(shí)現(xiàn)的。在處理時(shí)先從鏈中前部開(kāi)始，并且總是鏈中的下一種被處理；新的SP掛入鏈的后部。因此保證了所有的SP被處理。此外實(shí)際上不存在“非就緒存儲(chǔ)池(notreadyPool)”和“結(jié)束的存儲(chǔ)池”(“finishedPool”)。這些存儲(chǔ)池通過(guò)在SP-單元中的標(biāo)記來(lái)代替，這些標(biāo)記指明，還缺少多少種用於一種SP的前提或一種SP的動(dòng)作是否已經(jīng)被處理完畢。如果在該就緒存儲(chǔ)池中不再存在SP-單元，SUPO_SYNC則不再有工作，并且必須等候，一種用戶過(guò)程借助於操作系統(tǒng)調(diào)用“提供給SP(ContribntetoSP)”將一個(gè)SP-單元，轉(zhuǎn)入就緒存儲(chǔ)池。如果具有外部意義的一種同步點(diǎn)被實(shí)現(xiàn)了，SUPO_SYNC則不馬上實(shí)施與該同步點(diǎn)相聯(lián)結(jié)的動(dòng)作，而SUPO_PROCESS促使向母平臺(tái)發(fā)送消息，通過(guò)該消息向此母平臺(tái)指明，已經(jīng)到達(dá)位於發(fā)送信息平臺(tái)上的所述的SP(這意味著從局部角度看)。同時(shí)SUPO_SYNC推遲實(shí)施與此同步點(diǎn)相連結(jié)的動(dòng)作，直到從母平臺(tái)經(jīng)SUPO_PROCESS已經(jīng)接收到消息“全局地送達(dá)SP(SPglobalerreicht)”為止。一種個(gè)部的同步點(diǎn)可以被看作為包含兩個(gè)虛擬的同步點(diǎn)，這通過(guò)圖5說(shuō)明。在段a范圍內(nèi)的第一種虛擬同步點(diǎn)，在與所觀察的同步點(diǎn)的關(guān)聯(lián)中，包括同步點(diǎn)的全部(局部)的先決條件，和一種單一的動(dòng)作，即向母平臺(tái)發(fā)送一種消息(“SP局部被實(shí)現(xiàn)”)。第二種虛擬同步點(diǎn)包括單一的先決條件，消息“全局地送到SP”已由母平臺(tái)收到，此外并包括所觀察同步點(diǎn)的全部其余(局部)的動(dòng)作。以下詳細(xì)地說(shuō)明用戶過(guò)程針對(duì)啟動(dòng)的操作系統(tǒng)調(diào)用(管理程序調(diào)用(SupervisoryCalls)簡(jiǎn)稱SVC)所有通過(guò)操作系統(tǒng)啟動(dòng)的過(guò)程必須說(shuō)明，何時(shí)，這就是說(shuō)在何種同步點(diǎn)上，它們應(yīng)被啟動(dòng)。一旦該同步點(diǎn)已被實(shí)現(xiàn)，由SUPO_SYNC啟動(dòng)在此同步點(diǎn)應(yīng)啟動(dòng)的過(guò)程。SUPO_SYNC啟動(dòng)一種過(guò)程類型的全部具體型式。通過(guò)用戶過(guò)程進(jìn)行的操作系統(tǒng)調(diào)用“提供給SP(Contribute_to_SP)”擁有一些參數(shù)，這些參數(shù)一方面指明段和對(duì)之應(yīng)提供一種量值的同步點(diǎn)(在也包含該過(guò)程的SPU范圍內(nèi))，和另一方面指明該量值是正或是負(fù)，這意味著是否該量值已能夠被實(shí)施或是否出現(xiàn)一種差錯(cuò)。SUPO_SYNC在它調(diào)用后利用段名稱和給定的同步點(diǎn)，以便在相應(yīng)的對(duì)之應(yīng)提供一種量值的SP-單元上存取。該SP-單元在此之后獲得一種計(jì)時(shí)標(biāo)記，以便指明，該量值已經(jīng)做出和在何時(shí)已被做出。如果由一種SP-單元所期待的全部量值已被做出時(shí)，該SP-單元?jiǎng)t準(zhǔn)備就緒被實(shí)施，這意味著準(zhǔn)備就緒，與該同步點(diǎn)相聯(lián)結(jié)的動(dòng)作被實(shí)施。這表現(xiàn)在於，由SUPO_SYNC將該SP-單元轉(zhuǎn)入就緒存儲(chǔ)池。緊接其后，這意味著在同一調(diào)用的范圍內(nèi)在SUPO_SYNC的監(jiān)督下實(shí)施所有與該同步點(diǎn)相聯(lián)結(jié)的動(dòng)作。操作系統(tǒng)調(diào)用“等候SP(Wait_for_SP)”由用戶過(guò)程執(zhí)行，以便使本身暫停，直到已達(dá)到某種確定的時(shí)間點(diǎn)時(shí)為止。該操作系統(tǒng)調(diào)用擁有給定段和同步點(diǎn)(在自身的SPU范圍內(nèi))的參數(shù)。操作系統(tǒng)調(diào)用的實(shí)施又通過(guò)SUPO來(lái)進(jìn)行，在此SUPO利用由操作系統(tǒng)授權(quán)的例行程序，以便將已被暫停的過(guò)程(確切地說(shuō)過(guò)程監(jiān)督塊簡(jiǎn)稱PCB)與一種在操作系統(tǒng)外殼范圍內(nèi)相應(yīng)的清單相聯(lián)結(jié)。清單位置又與在操作系統(tǒng)調(diào)用中給定的同步點(diǎn)相聯(lián)結(jié)。當(dāng)該同步點(diǎn)已被實(shí)現(xiàn)時(shí)，則該過(guò)程被從清單中取出并轉(zhuǎn)送到狀態(tài)“準(zhǔn)備就緒運(yùn)行(readytorun)”。如果該同步點(diǎn)已被實(shí)現(xiàn)，當(dāng)操作系統(tǒng)調(diào)用被實(shí)施時(shí)，引發(fā)操作系統(tǒng)調(diào)用的過(guò)程當(dāng)然不被暫停。如果操作系統(tǒng)調(diào)用“監(jiān)視SP(Watch_for_SP)”想被告知一種已實(shí)現(xiàn)的同步點(diǎn)的話，這種調(diào)用將由一種用戶過(guò)程執(zhí)行。為了把用戶過(guò)程的緩沖區(qū)標(biāo)識(shí)符通知SUPO，操作系統(tǒng)調(diào)用是必要的，因?yàn)樵贏PS的生產(chǎn)時(shí)刻，此緩沖區(qū)標(biāo)識(shí)符還是未知的(一種過(guò)程的緩沖區(qū)和由此該緩沖區(qū)標(biāo)識(shí)符在運(yùn)行時(shí)才被生成)。該操作系統(tǒng)調(diào)用擁有以下參數(shù)-段和同步點(diǎn)(在本身的SPU范圍內(nèi))，將把此同步點(diǎn)通知用戶過(guò)程，-用戶過(guò)程的緩沖區(qū)標(biāo)識(shí)符，-一種應(yīng)答參數(shù)，它向用戶過(guò)程指明同步點(diǎn)是否已被找到，和清單的緩沖區(qū)標(biāo)識(shí)符能否加接緩沖區(qū)標(biāo)識(shí)符，后者當(dāng)同步點(diǎn)已被實(shí)現(xiàn)時(shí)接收?qǐng)?bào)告。如果應(yīng)答是否定的，指明同步點(diǎn)已被實(shí)現(xiàn)的消息不被送往用戶過(guò)程。以下詳細(xì)說(shuō)明用於啟動(dòng)脫機(jī)支緩的工具啟動(dòng)表的生成要求以下的手段-說(shuō)明手段(定義手段)，啟動(dòng)段和在其中應(yīng)接收的啟動(dòng)信息，通過(guò)這種手段以合適的方式能夠被說(shuō)明，以及-表格生成手段，它們借助於通過(guò)定義手段說(shuō)明的啟動(dòng)信息生成對(duì)SUPO合適的啟動(dòng)表。所述的定義手段已得到詳細(xì)說(shuō)明，現(xiàn)在詳細(xì)地深入討論表格生成手段。為了從為一種處理器確定的服務(wù)模塊中生成啟動(dòng)表，編譯程序首先從在服務(wù)模塊中包含的段中生成若干部分啟動(dòng)表(段表)。為此目的一種專門的SUP-模塊的和用戶模塊的編譯順序是必要的。此外編譯程序?qū)⒁环N服務(wù)模塊的段表與SPU-邏輯程序設(shè)計(jì)語(yǔ)言(SPU-Prolog)相聯(lián)結(jié)。通過(guò)連接程序和脫機(jī)編碼程序建立介於不同段之間的關(guān)系。在此對(duì)段表加進(jìn)對(duì)此所必要的信息。根據(jù)所述的表格生成手段，在最后的APS-裝入生成之前，啟動(dòng)表已可提供使用。因此已經(jīng)在此時(shí)間點(diǎn)上，可以通過(guò)相應(yīng)的檢查工具，檢查啟動(dòng)的整個(gè)過(guò)程。該檢查手段可以例如從相容性(死鎖等等)方面檢查啟動(dòng)表，針對(duì)全過(guò)程范圍內(nèi)的關(guān)鍵性路徑進(jìn)行分析和識(shí)別瓶頸和關(guān)鍵的時(shí)間路徑。(整個(gè))啟動(dòng)表可以由此及早被優(yōu)化。最后該(整個(gè))啟動(dòng)表可以借助於一種顯示手段，以相應(yīng)的啟動(dòng)計(jì)劃表的形式，被做成對(duì)開(kāi)發(fā)者來(lái)說(shuō)是可見(jiàn)的。開(kāi)發(fā)者能夠通過(guò)此較容易地發(fā)現(xiàn)差錯(cuò)。權(quán)利要求1.一種計(jì)算機(jī)系統(tǒng)的啟動(dòng)系統(tǒng)，具有至少一種確定程序系統(tǒng)的啟動(dòng)(APS)的啟動(dòng)表，和具有借助於在啟動(dòng)表中包含的啟動(dòng)信息，控制啟動(dòng)的啟動(dòng)控制程序(SUPO_SYNC，SUPO_PROCESS)，其特征在於，啟動(dòng)表脫機(jī)地從啟動(dòng)信息中生成，啟動(dòng)信息是在設(shè)計(jì)它們的時(shí)候在程序系統(tǒng)的軟件成分(SPU)中生成的2.按權(quán)利要求1的啟動(dòng)系統(tǒng)，其特征在於，啟動(dòng)表是一種由多個(gè)部分啟動(dòng)表組成的表格，在此一個(gè)部分表每次是通過(guò)編譯一種軟件成分(SPU)的針對(duì)啟動(dòng)的說(shuō)明而生成的。3.按權(quán)利要求1至2中之一的啟動(dòng)系統(tǒng)，其特征在於，不同的部分表由用於產(chǎn)生程序系統(tǒng)的生產(chǎn)工具匯合成一種完整的表格。4.按權(quán)利要求1至3中之一的啟動(dòng)系統(tǒng)，其特征在於，在一種表格的范圍內(nèi)已經(jīng)確定，是否應(yīng)該為了滿足一項(xiàng)條件而越出處理器界限之外執(zhí)行一種同步。5.按權(quán)利要求1至4中之一的啟動(dòng)系統(tǒng)，其特征在於，用戶軟件自己也可以借助於表格定義其啟動(dòng)。6.按權(quán)利要求1至5中之一的實(shí)時(shí)系統(tǒng)的啟動(dòng)系統(tǒng)，其特征在於，表格確定啟動(dòng)，采用的方法是，它們一方面用規(guī)定的順序確定系統(tǒng)狀態(tài)(SP)，和另一方面確定在實(shí)現(xiàn)一種當(dāng)時(shí)的系統(tǒng)狀態(tài)后應(yīng)該執(zhí)行的動(dòng)作。7.按權(quán)利要求1至6中之一的實(shí)時(shí)系統(tǒng)的啟動(dòng)系統(tǒng)，其特征在於，表格確定系統(tǒng)狀態(tài)，采用的方法是，它們確定條件(條件(Condition))提供(Contribution))，在它們得到滿足的情況下，則認(rèn)為已達(dá)到一種系統(tǒng)狀態(tài)8.用於確定計(jì)算機(jī)系統(tǒng)啟動(dòng)的方法，按照該方法-在計(jì)算機(jī)系統(tǒng)成分存儲(chǔ)池的一種軟件成分中，在其設(shè)計(jì)的時(shí)候，用於將該軟件元件并入計(jì)算機(jī)系統(tǒng)的整個(gè)啟動(dòng)的若干啟動(dòng)關(guān)系被說(shuō)明，-從那些為一個(gè)用戶專用的實(shí)時(shí)系統(tǒng)的程序系統(tǒng)而從成分存儲(chǔ)池選出的軟件成分，脫機(jī)地生成一種啟動(dòng)表，它確定實(shí)時(shí)系統(tǒng)的整個(gè)啟動(dòng)，并由啟動(dòng)控制程序聯(lián)機(jī)地利用來(lái)控制啟動(dòng)。全文摘要一種綜合計(jì)算機(jī)系統(tǒng)的程序系統(tǒng)是很用戶專用化的,因此啟動(dòng)變化很多。因此一種這樣的計(jì)算機(jī)系統(tǒng)的啟動(dòng)系統(tǒng)必須是很靈活的。另一方面對(duì)該綜合的啟動(dòng)的及時(shí)和嚴(yán)密的監(jiān)督仍然應(yīng)該是得到保證的。這些要求通過(guò)一種啟動(dòng)系統(tǒng)來(lái)滿足,它具有脫機(jī)地以按本發(fā)明的方式生成的啟動(dòng)表。文檔編號(hào)G06F9/46GK1189227SQ96195122公開(kāi)日1998年7月29日申請(qǐng)日期1996年6月26日優(yōu)先權(quán)日1995年6月28日發(fā)明者M(jìn)·克拉克,M·德?tīng)柪?W·斯特澤爾申請(qǐng)人:西門子公司