-
1.发明申请VERFAHREN UND VORRICHTUNG ZUM EINFÜGEN VON SYNCHRONISATIONSBEFEHLEN IN PROGRAMMABSCHNITTE EINES PROGRAMMS 审中-公开方法和设备，用于插入同步指令，在程序中的程序段
公开(公告)号：WO2013091908A1
公开(公告)日：2013-06-27
申请号：PCT/EP2012/062571
申请日：2012-06-28
Applicant: SIEMENS AKTIENGESELLSCHAFT , FRIEDRICH-ALEXANDER-UNIVERSITÄT ERLANGEN-NÜRNBERG , KEMPF, Stefan , VELDEMA, Ronald , PHILIPPSEN, Michael , WIECZOREK, Michael
Inventor： KEMPF, Stefan , VELDEMA, Ronald , PHILIPPSEN, Michael , WIECZOREK, Michael
IPC: G06F9/45
Abstract: Zur Datensynchronisation wird eine Vorrichtung und ein Verfahren (100) zum Einfügen von Synchronisationsbefehlen (41, 42) in Programmabschnitte (PA1, PA2) eines Programms (10, 12) bereitgestellt. Dazu wird ein Freigabebefehl (41) nach einem Schreibbefehl (31) eines ersten Programmabschnitts (PA1) auf eine Ressource (SSi) automatisiert eingefügt, die von dem ersten Programmabschnitt (PA1) und einem zweiten Programmabschnitt (PA2) gemeinsam genutzt wird, falls der Schreibbefehl (31) auf die Ressource (SSi) von dem ersten Programmabschnitt (PA1) vor einem Lesebefehl (32) des zweiten Programmabschnitts (PA2) auf die Ressource (SSi) auszuführen ist, wobei eine Ausführung des Freigabebefehls (41) eine Bedingungsvariable (c) in einen Gesetztzustand versetzt. Ein Wartebefehl (42) zum Warten auf den Gesetztzustand der Bedingungsvariable (c) wird vor dem Lesebefehl (32) auf die Ressource (SSi) automatisiert eingefügt, wobei eine Ausführung des Wartebefehls (42) den zweiten Programmabschnitt (PA2) dazu veranlasst, mit einer Fortführung der Abarbeitung des zweiten Programmabschnitts (PA2) zu warten, bis die Bedingungsvariable (c) gesetzt ist.
Abstract translation: 对于一个节目的数据的同步，这种装置和用于在程序段中插入同步指令（41，42）的方法（100）（PA1，PA2）（10，12）提供。 对于第一节目部分（PA1）至资源（SSI）自动的写入命令（31）之后该目的的释放命令（41）被插入时，从第一程序部分（PA1）和第二程序部分（PA2）是共享的，如果写命令 （31）在所述第二程序部分（PA2）的资源（SSI）的读取命令（32）的前面所述资源的所述第一节目部分的（SSI）（PA1）要被执行时，使命令的执行（41）包括一个条件变量（c）中 放置在一个国家的法律。 用于等待读命令（32）到资源（SSI）之前的状态变量（c）中的设置条件A等待命令（42），其插入自动化，由此使得所述等待指令的执行（42）所述第二程序部分（PA2）与配合 等待第二程序部分（PA2）的执行的延续，直到条件变量（c）中被设定。
-
2.发明申请VERFAHREN UND VORRICHTUNG ZUM SCHÜTZEN KRITISCHER ABSCHNITTE IN THREADS EINES PROGRAMMS 审中-公开方法和设备程序中的线程保护关键SECTIONS
公开(公告)号：WO2013091907A2
公开(公告)日：2013-06-27
申请号：PCT/EP2012/062568
申请日：2012-06-28
Applicant: SIEMENS AKTIENGESELLSCHAFT , FRIEDRICH-ALEXANDER-UNIVERSITÄT ERLANGEN-NÜRNBERG , KEMPF, Stefan , VELDEMA, Ronald , PHILIPPSEN, Michael , WIECZOREK, Michael
Inventor： KEMPF, Stefan , VELDEMA, Ronald , PHILIPPSEN, Michael , WIECZOREK, Michael
IPC: G06F9/45
CPC classification number: G06F8/458
-
Search Results
2
records
(took 0.007 seconds)
