WO1997039405A1 - Verfahren zur koordination des ablaufs von miteinander kooperierenden prozessen, die auf ein gemeinsames objekt zugreifen - Google Patents

Verfahren zur koordination des ablaufs von miteinander kooperierenden prozessen, die auf ein gemeinsames objekt zugreifen Download PDF

Info

Publication number
WO1997039405A1
WO1997039405A1 PCT/DE1997/000753 DE9700753W WO9739405A1 WO 1997039405 A1 WO1997039405 A1 WO 1997039405A1 DE 9700753 W DE9700753 W DE 9700753W WO 9739405 A1 WO9739405 A1 WO 9739405A1
Authority
WO
WIPO (PCT)
Prior art keywords
access
accesses
coordinator
processes
phase
Prior art date
Application number
PCT/DE1997/000753
Other languages
English (en)
French (fr)
Inventor
Jürgen KNOPP
Matthias Reich
Original Assignee
Siemens Aktiengesellschaft
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Siemens Aktiengesellschaft filed Critical Siemens Aktiengesellschaft
Priority to EP97921611A priority Critical patent/EP0894303B1/de
Priority to US09/171,317 priority patent/US6487579B1/en
Priority to DE59700731T priority patent/DE59700731D1/de
Publication of WO1997039405A1 publication Critical patent/WO1997039405A1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores

Definitions

  • Explicit parallel programming is characterized in that the programmer has to specify how several cooperating processes coordinate their execution. Depending on the computer architecture used, this coordination takes place through:
  • Synchronization in the case of processes with a common address space. Synchronization prevents shared data from being accessed at the wrong time.
  • coordinator objects With the help of so-called coordinator objects, the method can replace explicit coordination commands with a static declaration of permissible sequences of accesses, which can influence the dynamic execution behavior of the cooperating processes.
  • This approach of parallel programming leads to more convenience and portability than with conventional parallel programming, without this affecting the efficiency.
  • Coordinator objects are therefore passive objects on which the active processes operate.
  • An access pattern describes which sequences of accesses of the cooperating processes to a common object are possible. This is to be explained on the basis of writing and reading access to a common object. In this case, a distinction can be made between writing and reading accesses, and speci fi ed according to which writing accesses objects are ready to be read. Conversely, it can also be specified after which read accesses objects are ready to be written again.
  • the patterns can generally be defined by counters, which either Processes together or log the accesses of each individual process.
  • a program behavior arises which implicitly (triggered by certain access sequences) leads to synchronization or communication. For example, write operations are delayed in the read state (i.e. the corresponding processes are put to sleep). When switching to the write state, the sleeping processes are woken up, they then behave exactly as if they had not yet tried to access them. In the writing state, the behavior is opposite. This process usually takes place iteratively, i.e. the writing and reading states alternate repeatedly.
  • coordinator objects The essential idea of the coordinator objects is thus that a runtime behavior which is characterized by automatic synchronization or communication is achieved by properties of objects specified a priori. Access to coordinator objects changes the normal program behavior to the extent that memory access can be delayed - or in other words: according to the specified access patterns, processes when accessing coordinator objects are blocked and brought back to life at a suitable time.
  • Figure 1 shows a schematic diagram of the coordination of processes
  • Figures 2 and 3 is a schematic diagram of the operation of
  • Coordinator objects when multiple processes access a common object Figure 4-8 Examples of access patterns and their implementation in the coordinator object.
  • the underlying memory model The explanation of the coordinator objects is based on a memory model with the following properties: Each process has a local memory.
  • Coordinator objects are the only exception. They provide the programmer with global objects that are visible to every process involved. In addition, coordination of all access to these global objects is enforced. Both local and global objects can be read as well as written.
  • the memory model is illustrated by Figure 1. The four processes 1-4 can access the common coordinator object coord. Each process has its local memory local. It can be seen that the processes can access their local memory, but can only cooperate with other processes via coordinator objects.
  • Coordinator objects are alternately in two different states: the write state (writeaJble) and the read state (readable). When the coordinate objects are generated, they are in the write state. • Read access blocks in the write state and write access blocks in the read state. Blocking means that the corresponding process is displaced (put to sleep), at least until the time when the switch is made to the opposite state.
  • the diagram (transition network) according to FIG. 2 illustrates this behavior.
  • the following notation is used:
  • edges of the transition network expresses actions which are to be carried out when the corresponding edge is walked through. The following behavior applies:
  • Blocked writing processes are woken up when the writing state is reached again, and blocked reading processes are woken up when the reading state is reached. They then try again to carry out their access. In principle, blocking can occur again. (if the state has already changed again through actions of another " process). Then the processes behave again as described above.
  • Switching between the two states is triggered by the occurrence of switching conditions.
  • Switching conditions are defined by the specification of access patterns and the previous sequence of accesses with regard to this access behavior.
  • the access pattern is static for each coordinator object by the user
  • Access patterns are therefore defined for each type of access (write or read); so means e.g. a writing
  • Access pattern 'write (each (wGroup, 2))' that the coordinator object is released for reading as soon as each process of the group of processes (process group) defined by wGr ⁇ up has written the coordinator object exactly twice.
  • the read access pattern 'read (arbitrary (5))' means that the read state is exited as soon as exactly five read accesses of any processes to the coordinator object have taken place. The same process can be accessed multiple times. There are other access patterns (see below).
  • the access patterns each define a write or read phase. These phases can alternate as often as you like
  • coordinator objects are always in the write state, ie the first phase is always a write phase.
  • a full cycle consisting of a write and a read phase with a subsequent transition to the write state, is called in the following calculation step.
  • a pair of access patterns for example '(write (each (wGroup, 2)), read (arbitrary (5)))', thus defines the course of a calculation step by specifying the switching conditions for the write and read phases.
  • the process group wGroup consists of two processes p 2 and p 2 with p € ⁇ P ⁇ , p 2 ⁇ and that read processes qe ⁇ q 1 , ..., q n ⁇ exist.
  • the switching condition is specified by specifying the keyword 'each' as a condition which must apply to each of the processes involved.
  • the initialization of a state includes, among other things, that the counters 'writecount (p)' - one counter per process for the write state - or 'readcount' - a common counter for the read state - to 0 be set.
  • Access patterns enable the programmer to express the interactions between processes on a level that is very close to the behavior of the (abstract) algorithm.
  • the access patterns are described separately for the two access types, write and read; the following access patterns are available:
  • a process group is a set of processes which must be known at the latest when the coordinator object is initialized and whose composition must not change after this point in time. The specific implementation of a corresponding data type is left to the respective implementation. Access from processes that do not belong to the process group is not permitted.
  • an access pattern contains a 'numberOf Accesses' specification (an integer data type)
  • the switching condition is fulfilled when the specified number of accesses has been carried out - with an 'each' pattern from each process in the specified group, with an 'arbitrary' pattern the sum of the accesses of all processes.
  • Switching conditions can be determined by the processes themselves.
  • the switching condition for an access phase specified by 'each ⁇ processGroup)' is met if each process in the group has executed exactly one 'procReadyWith (phase)' instruction.
  • the switching condition is established by exactly one 'switchFrom (phase)' instructions from any process.
  • coordinator ⁇ someType> object write (arbitrary (1)), read (arbitrary (1))
  • variable 'object' is alternately written and read once. This behavior can e.g. be used to pass on access rights to exclusive resources.
  • coordinator ⁇ aomeType> object write (each (groupl, 1)), read (each (group2,2)));
  • variable 'object' is typically a structured variable, for example a vector, which is processed by the processes in the SPMD (single program multiple data) manner.
  • coordinator ⁇ so ⁇ eType> object (write (arbitrary ()), read (each (group2))); Here is read exactly as above.
  • write there is no definition of any process or process group, nor is a specific number of accesses required. It is only read when some process executes the 'switchFrom (write)' instruction.
  • Such a writing pattern can be used if a main process monitors the work of a variable number of (writing) processes which carry out different parts of the overall calculation and thus different numbers of write accesses.
  • Coordinator objects not only coordinate write and read operations against each other, but also prevent simultaneous access to the same object. If there are two write accesses, they are executed strictly one after the other and are not interwoven. This avoids inconsistent conditions that could arise from this interweaving. So we always assume atomic access to coordinator objects.
  • Coordinator object users can notify the system of conflict. For write access, this is done by Specification of 'nonconflictWrite specified' instead of 'wri ⁇ te specified'. Conflict-freeness is assumed for read access as standard, so that the user must specify 'exclusiveRead defined' instead of 'readmitted' in order to maintain atomicity of the read access. A sample program with such specifications is given in the appendix.
  • Coordinator objects can be integrated into any language, the language used in this description is C ++.
  • the access types can be predefined for predefined functions on standard types;
  • a special user declaration can enable a distinction between writing and reading operations.
  • An example of a possible syntax for such specifications is given for the coordinator access function sqrt used in the programming example below:
  • This program can be parallelized by dividing the vector into strips and treating each strip by a different process.
  • Each process calculates a part of the dot product, the subtotals are then added (collectively).
  • each process can carry out the standard calculation and division (the standard calculation actually only needs to take place once, which is not done here for the sake of simplicity).
  • the result is a very common access pattern: To calculate the total scalar product, a coordinator object is declared, which is written exactly once by each process before it can be read. This also happens exactly once per process, but is not essential here since the coordinator object is not rewritten after reading.
  • the unit of the parallel version is the 'normalize' function. As a parameter, this has the lower and upper limits of the partial vector to be treated, as well as a reference to the total vector.
  • the function is called by the processes involved, each with matching lower and upper indices.
  • the programming of process creation and work distribution is not given here because it is not essential for understanding programming with coordinator objects.
  • This example shows how controlled access to 'dotProd' takes place without any programming of synchronization or communication.
  • the user-defined function 'collectiveAdd' is specified as a write operation with regard to its first argument - more precisely as a collective write operation.
  • a coordinator object implementation must provide the user with a generic 'collective' function which also makes it possible to define user-defined collective operations - the 'collectiveAdd' function used in the example above, e.g. in the following way:
  • Access patterns define a parallelism behavior that can best be described as automatic coordination. This behavior is described in more detail below.
  • the semantics of coordinator objects is shown using a central control program for a coordinator object. This represents a minimum requirement for each implementation of coordinator objects. Implementation variants are then discussed.
  • a central control program for a coordinator object which defines the semantics of the coordinator object.
  • this program for each coordinator object. Implementations may combine the tasks of several such instances in one program or distribute the tasks of the control program among several cooperating processes.
  • the communication with the control program described below can also take place without explicit message exchange if it is implemented in another suitable manner. Through such changes, however, the logical sequence should remain the same except for non-deterministic times. 8.2 Event-driven mode of operation
  • the process under consideration sends an order (requireAccess) to the control program and waits for the order confirmation of the control program before continuing its program execution. From a process perspective, this process behaves like a 'remote procedure call (rpc)'.
  • the control program registers the order as an event. The event may be delayed if it cannot be processed immediately when the coordinator object is in the current state. For this purpose, the control program manages the events in four different event quantities, which are described in more detail below.
  • the control program first carries out some event-related activities, the so-called prologue. If the memory is distributed, the prologue includes the provision of the coordinator data in the commissioning process. Then the
  • Order confirmation sent to the commissioning process so that it can continue. If the following code of the process contains accesses to the coordinator data, then after the accesses have ended, a final message (accessDone) must be sent to the control program so that it can carry out the final event-related activities - the epilogue. The commissioning process must do not wait for the epilogue to finish, since any further access to the coordinator object requires a new job to the control program.
  • prologue and epilogue are not explicitly shown in the other diagrams ( Figures 5-8). For example, time-interlaced accesses of another process (concurrent process) are shown, which influence the behavior of the process under consideration (process of interest), i.e. delay.
  • FIG. 5 shows read access (requireAccess (read)), but also applies analogously to write access (requireAccess (write)).
  • the accessing process may only access if it has received the confirmation (rpcFinish) of its access request from the control program.
  • the diagram assumes that the read accesses are exclusive, which is why the competing access that has already started is awaited before the confirmation (1).
  • the control program must be informed of the termination of the access (accessDone), which may result in delayed events being processed (2).
  • the 'procReadyWith' instruction signals the coordinator object that the calling process has ended its part in a write or read phase. It is only meaningful and permitted if an 'eachmitted' access pattern has been agreed for the corresponding phase. In the case of an access pattern 'each (group, numberOf Accesses)', the phase for the process may be terminated before reaching the agreed number of 'numberOf Accesses', ie all further accesses are delayed until the next time the relevant phase is reached. Because the procReadyWith instruction is not associated with access to the coordinator object by the commissioning process the communication protocol is simpler here: the 'acessessone' message to the control program can be omitted.
  • FIG. 6 the communication flow of a 'procReadyWith' instruction for the reading phase is shown.
  • the calling process must be delayed at least until the coordinator object is in the state to which the instruction refers - in the example, this is the read state, which is achieved here by a 'procReadyWith' instruction of the competing process (1) .
  • Such a waiting situation can e.g. occur when the process does not carry out a single read access to the coordinator object after its write phase in the following read phase, but instead ends its read phase immediately by means of the 'procReady-With' instruction.
  • a subsequent write access is delayed until the coordinator object changes back to the write state (2), see FIG. 6.
  • the 'switchFrom' instruction is a global state change signal.
  • the state of the coordinator object changes after all accesses that have already started have ended.
  • the instruction is allowed for all access patterns; In the case of access patterns with a counter, the state changes even if the agreed number of accesses has not yet been reached in the current phase.
  • the diagram, Figure 7 shows the communication flow of a 'switchFrom' instruction for the reading phase.
  • a subsequent write access is delayed until the current read access of the other process has ended, since the state of the coordinator object only changes at this point in time (1).
  • a delay by the control program is also possible with the 'switchFrom' instruction and therefore confirmation of the control program is necessary, for example in the event that a process which only reads the coordinator object executes two 'switchFrom' instructions one after the other without having carried out a read access in between.
  • the 'release' instruction ends the coordination of the data monitored by the coordinator object. This data is made available to the calling process (as return value of the 'release' statement). The process must therefore wait until the phase specified in the instruction has ended - in the example this is done by terminating the read access of the competing process (1).
  • the completion of a 'releas' instruction is the last permitted action of the control program, i.e. Any further access of any process to the coordinator object is to be regarded as an error, FIG. 8.
  • This set contains all events that have not yet been processed and are currently pending processing. These are either "new" events (that have never been considered by the control program) or those that were created by editing an event from one of the waiting quantities listed below were again transferred into the quantity of active events.
  • the control program takes one event from the set of active events by calling the 'nextEvent' procedure. If there is an empty quantity, the procedure waits until a process generates an event. The procedure for selecting the event to be extracted from several existing events is left to the implementation. A possible prioritization of the removal is the following:
  • globalReady false; This is a flag that indicates whether the state of the coordinator object changes after the accesses that have already started have ended (true) or whether further events have to be processed before the change (false).
  • this variable serves as a global counter of accesses in one phase.
  • procReady [] ⁇ false, ..., false ⁇ ;
  • this table of flags for each process in the process group concerned indicates whether the respective process has ended its write or read phase.
  • this table contains the process-related access counters.
  • This variable is set when a 'release' event is processed and then specifies the process to which the data monitored by the coordinator object are made available when the current phase is ended.
  • This flag is used to support so-called collective operations.
  • the variable receives the value 'false' in order to be able to indicate to the first write access within the phase that it is the first. This enables an automatic reinitialization of the coordinator value in every writing phase.
  • block executes 'block' once for each process in the process group 'group'; however, execution is not continued for further processes when the control flow (eg by return) leaves the 'block'.
  • the variable 'id' is linked to the process being processed.
  • Constituent parts of a pattern can be constant values (characterized by quotation (eg 'EACH'), which must then correspond to the corresponding value in 'object' (eg EACH), or variables to which the corresponding values of the given pattern are attached For the first successful comparison, the associated 'block' is executed.
  • Such a pattern comparison is carried out with the access pattern of the coordinator object valid for the respective access phase 'phase', which is supplied in each case by the function 'accessSpec (phase)'.
  • the possible patterns are:
  • an event is understood as a structured data type, which must have the following components: eventSpec the type of event, i.e. one of the values 'requireAccess', 'accessDone', 'procReadyWith', 'switchFrom' or 'release'; process the accessing process, i.e. the process that created the event; phase the phase for which the event is intended, i.e. either 'write' or 'read';
  • coordinator objects Every implementation must first implement the communication of the processes accessing the coordinator object with the control program, including the blocking of the processes waiting for a response. In architectures with a common memory, this is typically done by synchronized access to a common memory area and the means of process control (locks, signals, etc.) offered in each case, in architectures with distributed memory. rather by exchanging messages with blocking reception routines for the waiting processes.
  • a coordinator object implementation In architectures with distributed memory, however, a coordinator object implementation must additionally ensure that the processes, once they have received permission from the control program to access the coordinator data, each find a consistent copy of this data in their local memory. This task is expressed in the above semantic specification by calling the function 'provideDataFor' and includes the exchange of messages which, in addition to internal coordinator status information, contain in particular the current value of the data object visible to the user. A coordinator object implementation thus ensures automatic data migration between the processes.
  • the first two points cannot generally be decided by the system alone, but user support is necessary in order to be able to carry out the conversion of user data into the internal exchange format and the reverse conversion correctly on the receiver side.
  • This process is often referred to as data marshalling and must be supported by the system to the extent that a correct conversion of the basic data types is possible.
  • the conversion the basic data types then forms the basis for the specification of conversion routines for user data types. (For more on data marshalling see, among others, [DCE])
  • the property mentioned in the third point is also referred to as intra-object sharing and is a property that must be guaranteed solely through the implementation of the coordinator object.
  • the intra-object sharing including the related implementation aspects is discussed in [HeLi].
  • coordinator object status information is kept consistent between different process spaces.
  • the independent processes always behave as if the coordinator objects were in a (virtual) shared memory; apart from possible semantic deviations due to the (user-defined!) data marshalling, the user sees no difference between the two models.
  • the conjugate gradient method (cg method) is considered.
  • the operations used are vector-vector, matrix-vector and vector-scalar operations. In particular, dot products are often calculated.
  • This program can be parallelized by cutting the required vectors and the matrix (logically) into strips that are treated by different processes.
  • Each of the processes executes the cgm function on its own data area.
  • individual results in particular the scalar products, are required by all processes.
  • Coordinator objects declared. The same applies to the vector fullP, which is written and read by all processes.
  • stripes are modeled as vector sections and matrix sections. Sections contain administrative structures, the upper limit and lower limit of a partial vector or a partial matrix as well as the complete vector and / or the complete matrix itself.
  • Monitors, messages, and clusters The p4 parallel programming system

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Mobile Radio Communication Systems (AREA)
  • Storage Device Security (AREA)

Abstract

Dem gemeinsamen Objekt wird ein Koordinatorobjekt zugeordnet, das Zugriffsmuster enthält, die Abfolgen von Zugriffen der kooperierenden Prozesse auf das Objekt angeben. Mit Hilfe der Zugriffsmuster steuert das Koordinatorobjekt die von den Prozessen angeforderten Zugriffe zum Objekt. Der Wechsel von einer Zugriffsart zu einer anderen Zugriffsart erfolgt in Abhängigkeit einer Schaltbedingung, die einstellbar ist. Die Schaltbedingung ist erfüllt, wenn alle Zugriffe einer Gruppe von Prozessen bezüglich einer Zugriffsart oder eine vorgegebene Anzahl von bestimmten Zugriffen ausgeführt worden sind. Ziel des Verfahrens ist es, die parallele Bearbeitung von Prozessen in einem Mehrprozessorsystem sowohl bei gemeinsamem Adreßraum als auch bei verteiltem Adreßraum zu koordinieren.

Description

Beschreibung
Verfahren zur Koordination des Ablaufs von miteinander koope¬ rierenden Prozessen, die auf ein gemeinsames Objekt zugrei- fen.
Explizite Parallelprogrammierung ist dadurch gekennzeichnet, daß der Programmierer spezifizieren muß, wie mehrere koope¬ rierende Prozesse ihren Ablauf koordinieren. Je nach genutz- ter Rechnerarchitektur geschieht diese Koordination durch:
• Synchronisation im Falle von Prozessen mit gemeinsamem Adreßraum. Synchronisation verhindert, daß zum falschen Zeitpunkt auf gemeinsame Daten zugegriffen wird.
• Kommunikation zwischen Prozessen mit verteiltem Adreßraum. Kommunikation macht Daten zwischen solchen Prozessen (zum richtigen Zeitpunkt) verfügbar.
Um die Vorteile dieser beiden Rechnerarchitekturen zu nutzen, wird in parallelen Programmiermodellen und parallelen Pro- grammiersprachen entweder Kommunikation (für verteilte Archi¬ tekturen) oder Synchronisation (für Architekturen mit gemein¬ samen Adreßraum) als Programmiermittel angeboten.
Die Unterstützung von sogenanntem verteiltem gemeinsamen Speicher ist aus [NiLo] bekannt und geht von der Fiktion aus, daß auf nicht zugänglichen Speicher zugegriffen werden kann (es geschieht dann automatische Datenmigration) . Es gibt ne¬ ben diesem allgemeinen Betriebssystemansatz eine große Anzahl von Programmiermodellen für verteilte Speicher, die diesen Gedanken verfeinern. Z. B. Emerald[BHJLC] unterscheidet zwi¬ schen Lesen und Schreiben. Objekte werden bei lesenden oder schreibenden Zugriffen gemäß einer naheliegenden Semantik auf die Maschine migriert, die sie benötigt. Alle diese Ansätze sind nicht für gemeinsamen Speicher gedacht. Ein Überblick über diese und ähnliche Modelle bzw. Sprachen ist in TBaStTal zu finden. Die der Erfindung zugrunde liegende Aufgabe besteht darin, ein Verfahren anzugeben, das ein einheitliches Programmierrno- dell für beide Architekturen ermöglicht. Diese Aufgabe wird gemäß den Merkmalen des Patentanspruches 1 gelöst.
Das Verfahren kann mit Hilfe sogenannter Koordinatorobjekte explizite Koordinationsbefehle durch eine statische Deklara- tion von zulässigen Abfolgen von Zugriffen ersetzen, wodurch das dynamische Ablaufverhalten der kooperierenden Prozesse beeinflußt werden kann. Dieser Ansatz der Parallelprogrammie¬ rung führt zu mehr Komfort und Portabilität als bei konven¬ tioneller Parallelprogrammierung, ohne daß dadurch die Effi- zienz beeinträchtigt wird. Koordinatorobjekte sind also pas¬ sive Objekte, auf denen die aktiven Prozesse operieren.
Im folgenden werden gleiche Zugriffe mit dem Begriff Zu¬ griffsart bezeichnet. Z. B. gehören schreibende Zugriff zu einer Zugriffsart, lesende Zugriffe zu einer anderen Zu¬ griffsart.
Die grundlegende Idee der Koordinatorobjekte ist dabei fol¬ gende: Parallelprogrammierer geben Zugriffsmuster für gemeinsam be¬ nutzte Objekte (Daten) an. Ein Zugriffsmuster beschreibt, welche Abfolgen von Zugriffen der kooperierenden Prozesse auf ein gemeinsames Objekt möglich sind. Dies soll an Hand von schreibenden und lesenden Zugriffen zu einem gemeinsamen Ob- jekt erläutert werden. In diesem Fall kann zwischen schrei¬ benden und lesenden Zugriffen unterschieden werden und spezi¬ fiziert werden, nach welchen schreibenden Zugriffen Objekte bereit sind, gelesen zu werden. Umgekehrt kann auch angegeben werden, nach welchen lesenden Zugriffen Objekte wieder bereit sind, geschrieben zu werden. Die Muster können im Allgemeinen durch Zähler definiert werden, die entweder die Zugriffe al- ler Prozesse gemeinsam oder die Zugriffe jedes einzelnen Pro¬ zesses protokollieren.
Entsprechend den angebenden Zugriffsmustern entsteht ein Pro- grammverhalten, das implizit (ausgelöst durch bestimmte Zu¬ griffsfolgen) zu Synchronisation oder Kommunikation führt. Z. B. werden im Lesezustand schreibende Operationen verzögert (d.h. die entsprechenden Prozesse werden schlafen gelegt) . Bei Umschalten in den Schreibzustand werden die schlafenden Prozesse aufgeweckt, sie verhalten sich dann genauso, als hätten sie ihren Zugriff noch nicht versucht. Im Schreibzu¬ stand ist das Verhalten gegengleich. Dieser Ablauf findet in der Regel iterativ statt, d.h. der schreibende und der lesen¬ de Zustand wechseln sich wiederholt ab.
Die wesentliche Idee der Koordinatorobjekte ist somit, daß durch a priori angegebene Eigenschaften von Objekten ein Laufzeitverhalten erreicht wird, das durch automatische Syn¬ chronisation oder Kommunikation gekennzeichnet ist. Zugriffe auf Koordinatorobjekte verändern das normale Programmverhal¬ ten insoweit, daß Speicherzugriffe verzögert werden können - oder anders ausgedrückt: Entsprechend den spezifizierten Zu¬ griffsmustern werden Prozesse bei Zugriffen auf Koordinato¬ robjekte blockiert und zu einem geeigneten Zeitpunkt wieder zum Leben erweckt.
Weiterbildungen der Erfindung ergeben sich aus den abhängigen Ansprüchen.
An Hand von Ausführungsbeispielen wird die Erfindung weiter erläutert. Es zeigen
Figur 1 eine Prinzipdarstellung der Koordination von Prozessen; Figur 2 und 3 eine Prinzipdarstellung der Arbeitsweise der
Koordinatorobjekte, wenn mehrere Prozesse auf ein gemeinsames Objekt zugreifen; Figur 4-8 Beispiele für Zugriffsmuster und deren Imple¬ mentierung im Koordinatorobjekt.
1. Das zugrundeliegende Speichermodell Bei der Erläuterung der Koordinatorobjekte wird von einem Speichermodell mit den folgenden Eigenschaften ausgegangen: Jeder Prozeß besitzt einen lokalen Speicher.
• Zugriffe auf diesen Speicher durch fremde Prozesse sind im Fall eines gemeinsamen Adreßraums zwar möglich, die Zugrif- fe verschiedener Prozesse sind jedoch unkoordiniert (d.h. unsynchronisiert) , sofern nicht explizit synchronisiert wird.
• Im Fall eines verteilten Adreßraums sind direkte Speicher¬ zugriffe durch fremde Prozesse überhaupt nicht möglich.
Im Sinne eines einheitlichen Programmiermodells wird daher davon ausgegangen, daß lokale Speicherzugriffe ausschließlich prozeßlokale Daten betreffen, d.h. daß keine Kommunikation bzw. Datenaustausch zwischen Prozessen über lokale Speicher- Zugriffe realisiert wird.
Koordinatorobjekte stellen die einzige Ausnahme dar. Durch sie werden dem Programmierer globale Objekte zur Verfügung gestellt, die für jeden involvierten Prozeß sichtbar sind. Darüber hinaus wird eine Koordination sämtlicher Zugriffe auf diese globalen Objekte erzwungen. Sowohl lokale als auch glo¬ bale Objekte können sowohl gelesen als auch geschrieben wer¬ den. Das Speichermodell wird durch Figur l veranschaulicht. Die vier Prozesse 1-4 können auf das gemeinsame Koordinator- objekt coord zugreifen. Jeder Prozeß hat seinen lokalen Spei¬ cher local. Es ist ersichtlich, daß die Prozesse auf ihren lokalen Speicher zugreifen können, jedoch nur über Koordina¬ torobjekte mit anderen Prozessen kooperieren können.
Während lesende und schreibende Zugriffe auf lokale Objekte in konventioneller Weise stattfinden, existiert für die Koor- dinatorobjekte ein besonderes Zugriffsmodell, welches im fol¬ genden Abschnitt zunächst beispielhaft erläutert wird.
2. Einführende Beschreibung des Koordinatorobjekt- Zugriffsmodells
• Koordinatorobjekte befinden sich abwechselnd in zwei unter¬ schiedlichen Zuständen: dem Schreibzustand (writeaJble) und dem Lesezustand (readable) . Bei Erzeugung der Koordinato¬ robjekte sind diese im Schreibzustand. • Lesezugriffe blockieren im Schreibzustand und Schreibzu¬ griffe blockieren im Lesezustand. Dabei bedeutet blockie¬ ren, daß der entsprechende Prozeß verdrängt wird (schlafen gelegt wird) , und zwar mindestens bis zu dem Zeitpunkt des Umschaltens in den entgegengesetzten Zustand.
Das Diagramm (Transitionsnetz) nach Figur 2 veranschaulicht dieses Verhalten. Dabei wird folgende Notation verwendet:
Oberhalb der Kanten des Transitionsnetzes werden Ereignisse (Event)oder logische Bedingungen notiert. Die Beschriftung unterhalb der Kanten drückt Aktionen aus, die beim Durchwan¬ dern der entsprechenden Kante ausgeführt werden sollen. Es gilt folgendes Verhalten:
• Schreibzugriffe auf ein Koordinatorobjekt, das sich im Le- sezustand befindet, werden (mindestens) solange verzögert
(durch Blockierung des schreibenden Prozesses) , bis das Ko¬ ordinatorobjekt wieder in den Schreibzustand übergeht. Ana¬ log werden lesende Prozesse verzögert, wenn sich das Koor¬ dinatorobjekt im Schreibzustand befindet. Aus diesem Grund treten im Transitionsnetz keine Kanten für Lesezugriffe im Schreibzustand oder für Schreibzugriffe im Lesezustand auf.
• Blockierte schreibende Prozesse werden aufgeweckt, wenn der Schreibzustand wieder erreicht wird, und blockierte lesende Prozesse werden aufgeweckt, wenn der Lesezustand erreicht wird. Sie versuchen dann erneut, ihren Zugriff durchzufüh¬ ren. Dabei kann prinzipiell wieder eine Blockierung entste- hen (falls durch Aktionen eines anderen" Prozesses der Zu¬ stand bereits erneut gewechselt hat) . Dann verhalten sich die Prozesse wieder wie oben beschrieben.
• Das Umschalten zwischen den beiden Zuständen wird durch das Eintreten von Schaltbedingungen ausgelöst. Schaltbedingun¬ gen werden definiert durch die Spezifikation von Zugriffs¬ mustern und die bisherige Abfolge von Zugriffen bezüglich dieses Zugriffsverhaltens. Das Zugriffsmuster wird für je- des Koordinatorobjekt statisch durch den Benutzer
(Programmierer) spezifiziert. Das Spezifikationsschema ist definiert durch Antworten auf die folgenden Fragen:
=> Welche Prozesse schreiben ein Koordinatorobjekt wie oft, bevor es zum Lesen freigegeben wird?
=> Welche Prozesse lesen ein Koordinatorobjekt wie oft, bevor es zum Schreiben freigegeben wird?
• Für jede Zugriffsart (Schreiben oder Lesen) werden deshalb Zugriffsmuster definiert; so bedeutet z.B. ein Schreib-
Zugriffsmuster 'write(each(wGroup,2) ) ' , daß das Koordinato¬ robjekt zum Lesen freigegeben wird, sobald jeder Prozeß der durch wGrσup definierten Gruppe von Prozessen (Prozeßgruppe) das Koordinatorobjekt genau zweimal ge- schrieben hat. Das Lese-Zugriffsmuster 'read(arbitrary(5) ) ' bedeutet, daß der Lesezustand verlassen wird, sobald genau fünf Lesezugriffe beliebiger Prozesse auf das Koordinator¬ objekt stattgefunden haben. Hierbei darf der gleiche Prozeß auch mehrfach zugreifen. Es gibt noch weitere Zugriffsmu- ster (siehe unten) .
• Die Zugriffsmuster definieren jeweils eine Schreib- bzw. Lesephase. Diese Phasen können sich beliebig oft abwechseln
(sobald die Schaltbedingungen gelten) . Anfangs befinden sich Koordinatorobjekte immer im Schreibzustand, d.h. die erste Phase ist immer eine Schreibphase. • Ein voller Zyklus, bestehend aus einer Schreib- und einer Lesephase mit abschließendem erneutem Übergang in den Schreibzustand, wird im folgenden Berechnungsschritt ge¬ nannt. Damit definiert ein Paar von Zugriffsmustern, z.B. ' (write (each(wGroup,2) ) ,read(arbitrary(5) ) ) ' , den Ablauf eines Berechnungsschritts durch Angabe der Schaltbedingun¬ gen für Schreib- und Lesephase.
Das erwähnte Zugriffsmuster => (write(each(wGroup,2) ) ,read(arbitrary(5) ) ) kann anhand eines verfeinerten Transitionsnetzes (Figur 3) veranschaulicht werden. Dafür nehmen wir an, daß die Proze߬ gruppe wGroup aus zwei Prozessen p2 und p2 besteht mit p € { Pι , p2 } und daß Leseprozesse q e { q1 , ... , qn } existie- ren.
Notation (Figur 3) : Die Schreibweise Zugriff | Bedingung be¬ sagt, daß die Kante bei dem entsprechenden Zugriff nur dann durchlaufen wird, wenn zuvor die Bedingrungr erfüllt ist.
• Bei dem Zugriffsmuster für Schreibzugriffe wird die Schalt- bedingung durch Angabe des Schlüsselwortes 'each' als Be¬ dingung spezifiziert, die für jeden einzelnen der beteilig¬ ten Prozesse gelten muß.
• Ist in diesem Fall die Schaltbedingung z.B. für den Prozeß p bereits erfüllt {wri tecount (p) == 2) , so werden, obwohl sich das Koordinatorobjekt im Schreibzustand befindet, weitere Schreibzugriffe dieses Prozesses ebenfalls verzö- gert. Da ein solcher Schreibzugriff frühestens in der näch¬ sten Schreibphase ausgeführt werden kann, wird Prozeß p auch erst zu Beginn dieser Phase wieder aufgeweckt. (Hieraus ergibt sich, daß es im obigen Transitionsnetz kei¬ ne Kante für den Fall write(p) | writecount (p) == 2 gibt!) .
• Bei dem Zugriffsmuster für Lesezugriffe bedeutet das
Schlüsselwort 'arbitrary', daß weder die Zahl der zugrei- fenden Prozesse noch der Beitrag jedes einzelnen Prozesses zur Erfüllung der Schaltbedingung festgelegt ist, sondern nur die Gesamtzahl der Zugriffe.
• Die Initialisierung eines Zustands beinhaltet unter ande¬ rem, daß die Zähler ' wri tecount (p) ' - je ein Zähler pro Prozeß für den Schreibzustand-, bzw. 'readcount' - ein ge¬ meinsamer Zähler für den Lesezustand-, auf 0 gesetzt wer¬ den.
Die obigen Transitionsnetze sind unvollständig: Es wird nicht spezifiziert, was geschieht, wenn Bedingungen nicht gelten oder Zugriffe „im falschen Zustand" geschehen. Hierauf wird später noch eingegangen.
3. Zugriffsmuster
Zugriffsmuster ermöglichen dem Programmierer, die Interaktio¬ nen zwischen Prozessen auf einer Ebene auszudrücken, die sehr nahe am Verhalten des (abstrakten) Algorithmus ist. Die Zu- griffsmuster werden getrennt für die beiden Zugriffsarten Schreiben und Lesen beschrieben; es stehen jeweils die fol¬ genden Zugriffsmuster zur Verfügung:
each {proceaaGroup , number Of Accesses ) each(processGroup) arbitrary(numberOfAccesses) arbitrary()
Wie bereits erwähnt, muß die Zustands-Schaltbedingung bei ei- nem 'each' Muster von jedem einzelnen Prozeß aus der Proze߬ gruppe processGroup erfüllt werden. Eine Prozeßgruppe ist da¬ bei eine Menge von Prozessen, die spätestens zum Initialisie¬ rungszeitpunkt des Koordinatorobjekts bekannt sein muß, und deren Zusammensetzung sich nach diesem Zeitpunkt nicht mehr ändern darf. Die konkrete Ausgestaltung eines entsprechenden Datentyps bleibt der jeweiligen Implementierung überlassen. Zugriffe von Prozessen, die nicht der Prozeßgruppe angehören, sind nicht erlaubt .
Bei einem 'arbitrary' Muster ist die Menge der zugriffsbe- rechtigten Prozesse nicht eingeschränkt, sie muß daher auch nicht angegeben werden.
Enthält ein Zugriffsmuster eine ' numberOf Accesses ' Angabe (ein integer Datentyp) , so ist die Schaltbedingung erfüllt, wenn die angegebene Anzahl von Zugriffen durchgeführt wurde - bei einem 'each' Muster von jedem Prozeß der angegebenen Gruppe, bei einem 'arbitrary' Muster zählt die Summe der Zu¬ griffe aller Prozesse.
Wird hingegen keine Zugriffszahl angegeben, so müssen die
Schaltbedingungen von den Prozessen selbst ermittelt werden. Die Schaltbedingung für eine durch 'each {processGroup) ' spe¬ zifizierten Zugriffsphase phase ist erfüllt, wenn jeder Pro¬ zeß der Gruppe genau eine 'procReadyWith(phase) ' Anweisung ausgeführt hat. Bei einer 'arbitrary() ' Spezifikation wird die Schaltbedingung durch genau eine ' switchFrom(phase) ' An¬ weisungen eines beliebigen Prozesses hergestellt.
3.1 Unterschiedliche Zugriffsmuster Koordinatorobjekte beschreiben durch ihre Zugriffsmuster un¬ terschiedliche Varianten von Schreiber-Leser (Erzeuger- Verbraucher) Szenerien. Im folgenden werden einige dieser Va¬ rianten beschrieben.
Die hier verwendete Syntax einer Koordinatorobjektdeklaration coordinator... wurde mit dem Ziel der Lesbarkeit gewählt, al¬ ternative Syntaxen sind natürlich denkbar. Durch die folgen¬ den Zugriffsmuster für die Koordinatorobjekt-Variable 'ob¬ ject' vom Typ ' someType ' wird jeweils ein spezielles paralle- les (Zugriffs-)Verhalten erzwungen: coordinator <someType> object (write(arbitrary(1) ) , read(arbitrary(1) ) ) ;
Die Variable ' object ' wird im Wechsel je einmal geschrieben und gelesen. Dieses Verhalten kann z.B. zum Weiterreichen von Zugriffsrechten auf exklusive Betriebsmittel verwendet wer¬ den.
coordinator <aomeType> object (write(each(groupl,1) ) , read(each(group2,2) ) ) ;
Die Prozesse aus der Gruppe ' groupl ' schreiben die Variable 'object' gemeinschaftlich. Wenn jeder Prozeß seinen Beitrag geleistet hat, wird die Variable von allen Prozessen der Gruppe ' group2 ' (diese ist häufig identisch mit groupl) genau zweimal gelesen, bevor sie wieder zum Schreiben freigegeben wird. Die Variable ' object ' ist bei einem solchen Zugriffsmu¬ ster typischerweise eine strukturierte Größe, etwa ein Vek¬ tor, der durch die Prozesse in SPMD (Single program multiple data) Manier bearbeitet wird.
coordinator <someType> object (write(each {groupl ,1) > , read(each(group2) ) ) ;
Hier wird genauso geschrieben wie oben, jedoch steht nicht fest, wieviel mal jeder beteiligte Prozeß liest. Es wird erst wieder geschrieben, nachdem jeder Prozeß aus group2 die An¬ weisung 'procReadyWith(read) ' ausgeführt hat, um zu signali¬ sieren, daß er seine Lesephase beendet hat. Eine derartige Koordination der Leseprozesse ist z.B. angebracht, wenn die Leseprozesse verschiedenartige Berechnungen mit ' object ' durchführen.
coordinator <soπeType> object (write(arbitrary() ) , read(each(group2) ) ) ; Hier wird genauso gelesen wie oben. Beim Schreiben findet keine Festlegung auf irgendeinen Prozeß oder eine Prozeßgrup¬ pe statt, auch wird keine bestimmte Anzahl von Zugriffen ver¬ langt. Es wird erst gelesen, wenn irgendein Prozeß die Anwei¬ sung ' switchFrom(write) ' ausführt. Ein derartiges Schreibmu¬ ster kann verwendet werden, wenn ein Hauptprozeß die Arbeit einer variablen Anzahl von (schreibenden) Prozessen über¬ wacht, welche unterschiedliche Anteile der Gesamtberechnung und damit unterschiedlich viele Schreibzugriffe durchführen.
coordinator <someType> object (write(...), read(arbitrary(4711) ) ) ;
Hier wird erst wieder geschrieben, wenn 4711 mal gelesen wur- de.
4. Konfliktfreiheit
Koordinatorobjekte koordinieren nicht nur schreibende und le¬ sende Operationen gegeneinander, sondern verhindern grund- sätzlich gleichzeitige Zugriffe auf dasselbe Objekt. Wenn als zwei schreibende Zugriffe anstehen, werden sie strikt hinter¬ einander ausgeführt und nicht verwoben. Dadurch werden inkon¬ sistente Zustände vermieden, die durch diese Verwobenheit entstehen könnten. Wir gehen also immer von atomaren Zugrif- fen auf Koordinatorobjekte aus.
Diese Eigenschaft ermöglicht sicheres paralleles Programmie¬ ren. Andererseits kann für gewisse Zugriffe Atomizität zu streng sein: Durch die Sequentialisierung entsteht Ineffizi- enz, die vermeidbar ist, wenn man weiß, daß in Wirklichkeit gar keine Konflikte entstehen können. So sind im Allgemeinen (nicht immer!) lesende Zugriffe konfliktfrei. Auch schreiben¬ de Zugriffe können konfliktfrei sein, wenn auf unterschiedli¬ chen Teilen strukturierter Objekte geschrieben wird.
Benutzer von Koordinatorobjekten können Konfliktfreiheit dem System mitteilen. Für Schreibzugriffe geschieht dies durch Spezifikation von 'nonconflictWrite (...) ' -anstelle von 'wri¬ te (...) ' . Für Lesezugriffe wird standardmäßig Konfliktfrei¬ heit angenommen, so daß der Benutzer 'exclusiveRead( ... ) ' an¬ stelle von 'read( ... ) ' spezifizieren muß, um Atomizität der Lesezugriffe zu erhalten. Im Anhang ist ein Programmbeispiel mit solchen Spezifikationen angegeben.
5. Programmiersprachenanbindung
Koordinatorobjekte lassen sich in jede Sprache integrieren, die in dieser Beschreibung benutzte Sprache ist C++.
Es ist jedoch wesentlich, daß lesende Zugriffe von schreiben¬ den unterschieden werden können. Auf welche Weise dies ge¬ schieht, ist hier unwichtig. Z.B. können für vordefinierte Funktionen auf Standardtypen die Zugriffsarten vordefiniert werden; für Benutzer-definierte Funktionen und Typen kann ei¬ ne spezielle Benutzerdeklaration eine Unterscheidung von schreibenden und lesenden Operationen ermöglichen. Ein Bei¬ spiel einer möglichen Syntax für solche Spezifikationen sei für die im nachfolgenden Programmierbeispiel verwendete Koor- dinatorzugriffsfunktion sqrt gegeben:
coordination float sqrt(read float) ;
Durch Angabe des Schlüsselworts 'read' wird festgelegt, daß ein Koordinatorobjekt, welches als erstes (und einziges) Ar¬ gument die Funktion sqrt übergeben wird, durch diesen Funkti¬ onsaufruf gelesen wird.
6. Progammierbeispiel Es wird ein einfaches Beispiel aus dem Bereich der Numerik betrachtet, die Normalisierung eines Vektors : Ein vorgegebener Vektor v soll auf Länge 1 gebracht werden und seine Richtung im n-dimensionalen Raum behalten. Ein se¬ quentielles Programm, das die Berechnung ausführt, sieht in C++ aus wie folgt:
int vsize = v.sizeO; // die Länge des Vektors float sum = 0; // zur Berechnung des Ska - larproduktε for(int i = 1; i <= vsize; i++) sum+= v[i] * v[i] ; // Skalarprodukt errechnen float norm = sqrt(sum); // Norm errechnen durch
Wurzel ziehen for( i = 1; i <- vsize; i++) // alle Komponenten von v v[i] /= norm; // werden durch die Norm dividiert
Dieses Programm kann parallelisiert werden, indem der Vektor in Streifen unterteilt wird und jeder Streifen durch einen anderen Prozeß behandelt wird. Jeder Prozeß berechnet einen Teil des Skalarprodukts, die Teilsummen werden dann (gemeinschaftlich) addiert. Sobald dieser Wert zur Verfügung steht (d.h. wenn jeder Prozeß seine Teilsumme hinzugefügt hat) , kann jeder Prozeß die Normberechnung und Division aus¬ führen (die Berechnung der Norm braucht eigentlich nur einmal stattzufinden, was hier der Einfachheit halber nicht getan wird) . Es ergibt sich ein sehr häufig vorkommendes Zugriffs¬ muster: Zur Berechnung des Gesamtskalarproduktes wird ein Ko¬ ordinatorobjekt deklariert, das von jedem Prozeß genau einmal geschrieben wird, bevor er gelesen werden darf. Dies ge¬ schieht ebenfalls genau einmal pro Prozeß, ist jedoch hier nicht wesentlich, da nach dem Lesen das Koordinatorobjekt nicht wieder geschrieben wird.
Die Einheit der parallelen Ausführung ist hier die Funktion 'normalize' . Diese hat als Parameter die untere und obere Grenze des Teilvektors, der zu behandeln ist, sowie eine Re¬ ferenz auf den Gesamtvektor. Die Funktion wird von den betei¬ ligten Prozessen mit jeweils passenden unteren und oberen In¬ dizes aufgerufen. Die Programmierung der Prozeßerzeugung und Arbeitsverteilung wird hier nicht mit angegeben, weil sie für das Verständnis des Programmierens mit Koordinatorobjekten nicht wesentlich ist. coordinator<float> dotProd
(write(each(allProcs,1)) , read(each(allProcs,1))) ;
void normalize(int myLower, int myüpper, vectorfc v){ float partial = 0; for (int j * myLower; j <= myUpper; j++) partial += v[j] * v[j]; // Berechnung Teilska - larprodukt collectiveAdd(dotProd,partial) ; // kumulative Addi tion auf Koordinatorob¬ jekte float norm = sqrt(dotProd) ; // jeder Prozeß liest das Koordinatorob- jekt for (j « myLower; j <= myUpper; j++) v[j] ■ v[j] / norm; // Normierung durch Di ¬ vision return; }
Dieses Beispiel zeigt, wie ohne jegliche Programmierung von Synchronisation oder Kommunikation ein kontrollierter Zugriff auf 'dotProd' stattfindet. Die benutzerdefinierte Funktion 'collectiveAdd' wird hierzu als Schreiboperation bezüglich ihres ersten Arguments spezifiziert - genauer gesagt als kol¬ lektive Schreiboperation. Kollektive Operationen werden im folgenden Abschnitt näher erläutert.
Erst wenn alle Prozesse durch Aufruf von 'collectiveAdd* ih¬ ren Anteil geschrieben haben, gilt die globale Schaltbedin¬ gung, die den Übergang in den Lesezustand auslöst und damit das Lesen durch die Funktion 'sqrt' zuläßt. Der folgende Übergang aus dem Lesezustand in den Schreibzustand hat hier keine praktischen Auswirkungen mehr, weil das Programmfrag¬ ment abgeschlossen ist. Wenn es innerhalb einer Schleife aus- geführt würde, käme das Schalten aus dem Lesezustand in den Schreibzustand ebenfalls zum Tragen.
7. Kollektive Schreiboperationen Kollektive Operationen (z.T. auch Reduktionsoperationen ge¬ nannt) werden vor allem im Bereich εcientific Computing ein¬ gesetzt (vgl. u.a. [PVM] , [MPI] , [P4] , [SPLIT C] ) und erlau¬ ben oft eine wesentlich vereinfachte Schreibweise von Algo¬ rithmen, wenn der Wert eines Objekts wiederholt initialisiert werden muß. Koordinatorobjekte bieten auf sehr einfache Weise Unterstützung für kollektive Operationen durch eine automati¬ sierte Reinitialisierung jeweils zu Beginn einer Schreibpha¬ se.
Eine Koordinatorobjekt-Implementierung muß hierzu dem Benut¬ zer eine generische Funktion 'collective' zur Verfügung stel¬ len, die es ermöglicht, auch benutzerdefinierte kollektive Operationen zu definieren - die im obigen Beispiel verwendete Funktion 'collectiveAdd' z.B. auf folgende Weise:
float collectiveAdd (coordinator<float> & result, const float arg) { return collective(operator+,result,0,arg) ;
}
Die Signatur der Funktion 'collective' ist gegeben durch:
template <claβs T> T & collective { T (*f) (T,T), coordinator<T> & result, T initValue, T arg) ;
Die Semantik von 'collective' kann folgendermaßen beschrieben werden:
• Ein Aufruf von 'collective' führt einen Schreibzugriff auf das Argument 'result' durch. • Ist ein Aufruf von 'collective' der erste Aufruf innerhalb einer Schreibphase, so ergibt sich der neue Wert des coor- dinators 'result' als Resultat des Funktionsaufrufs
• f (initValue,arg) ' . • Bei nachfolgenden Aufrufen ergibt sich der neue Wert des coordinators 'result' als Resultat des Funktionsaufrufs ' f (result,arg) ' .
• Bezüglich 'arg' ist 'collective' als Lesezugriff definiert; als Argumente 'f' und ' initValue' dürfen keine coordinators übergeben werden.
8. Semantik und Implementierung von Koordinatorobjekten
Zugriffsmuster definieren ein Parallelitätsverhalten, das am besten mit automatischer Koordination bezeichnet werden kann. Dieses Verhalten wird im folgenden genauer beschrieben. Zu¬ nächst wird die Semantik von Koordinatorobjekten anhand eines zentralen Kontollprogramms für ein Koordinatorobjekt darge¬ stellt. Dies stellt eine Minimalanforderung an jede Implemen¬ tierung von Koordinatorobjekten dar. Implementierungsvarian- ten werden anschließend besprochen.
8.1 Ein zentrales Kontrollprogramm für ein Koordinatorobjekt
Im folgenden wird ein zentrales Kontrollprogramm für ein Ko¬ ordinatorobjekt vorgestellt, das die Semantik des Koordina- torobjektes definiert. Es existiert konzeptionell eine In¬ stanz dieses Programms für jedes Koordinatorobjekt. Implemen¬ tierungen dürfen die Aufgaben mehrerer solcher Instanzen in einem Programm zusammenfassen oder die Aufgaben des Kontroll- Programms auf mehrere kooperierende Prozesse verteilen. In Systemen mit gemeinsamem Speicher kann die im folgenden be¬ schriebene Kommunikation mit dem Kontrollprogramm auch ohne expliziten Nachrichtenaustausch stattfinden, wenn sie auf an¬ dere geeignete Weise implementiert wird. Durch solche Ände¬ rungen sollte jedoch der logische Ablauf bis auf zeitliche Nichtdeterminismen gleich bleiben. 8.2 Eventgesteuerte Arbeitsweise
Zur Einführung in die Arbeitsweise des Kontrollprogramms wer¬ den in den nachfolgenden Abschnitten die verschiedenen mögli- chen Zugriffe eines Prozesses auf ein Koordinatorobjekt an¬ hand von Ablaufdiagrammen beschrieben. Diese zeigen die im Zusammenhang mit einem Zugriff jeweils stattfindende (implizite) Kommunikation mit dem Kontrollprogramm ( control program) . Die Nachrichten an das Kontrollprogramm werden im weiteren auch als Events bezeichnet. Zunächst zeigen wir das Grundschema für die mit einem Zugriff verbundene Kommunikati¬ on, Figur 4.
Der betrachtete Prozeß schickt einen Auftrag (requireAccess) an das Kontrollprogramm und wartet auf die Auftragsbestäti¬ gung des Kontrollprogramms, bevor er seinen Programmablauf fortsetzt. Aus Sicht des Prozesses verhält sich dieser Ablauf also wie ein 'remote procedure call (rpc) ' . Das Kontrollpro¬ gramm registriert den Auftrag als Event. Das Event wird mög- licherweise verzögert, wenn es im augenblicklichen Zustand des Koordinatorobjektes nicht gleich bearbeitet werden kann. Hierzu verwaltet das Kontrollprogramm die Events in vier un¬ terschiedlichen Event-Mengen, die weiter unten genauer be¬ schrieben werden.
Wird ein Event schließlich zur Bearbeitung ausgewählt, so führt das Kontrollprogramm zunächst einige eventbezogene Ak¬ tivitäten, den sogenannten Prolog durch. Bei verteiltem Spei¬ cher beinhaltet der Prolog u.a. das Bereitstellen der Koordi- natordaten beim beauftragenden Prozeß. Daraufhin wird die
Auftragsbestätigung (rpcFinish) an den beauftragenden Prozeß geschickt, so daß dieser fortfahren kann. Beinhaltet der nachfolgende Code des Prozesses Zugriffe auf die Koordina¬ tordaten, so muß nach Beendigung dieser Zugriffe eine Ab- Schlußmeldung (accessDone) an das Kontrollprogramm erfolgen, damit dieses die abschließenden eventbezogenen Aktivitäten - den Epilog - durchführen kann. Der beauftragende Prozeß muß nicht auf die Beendigung des Epilogs warten, da jeder weitere Zugriff auf das Koordinatorobjekt einen neuen Auftrag an das Kontrollprogramm voraussetzt.
In den weiteren Diagrammen (Figuren 5-8) werden Prolog und Epilog nicht explizit dargestellt. Es werden beispielhaft zeitlich verzahnte Zugriffe eines weiteren Prozesses { concurrent process) dargestellt, die das Ablaufverhalten des betrachteten Prozesses {process of interest) beeinflussen, d.h. verzögern.
8.2.1 Lesender bzw. schreibender Zugriff
Das Diagramm, Figur 5, zeigt einen lesenden Zugriff (requireAccess (read) ) , gilt aber analog auch für schreibende Zugriffe (requireAccess (write) ) . Der zugreifende Prozeß darf erst zugreifen, wenn er vom Kontrollprogramm die Bestätigung (rpcFinish) seines Zugriffswunsches bekommen hat. Im Diagramm wird angenommen, daß die Lesezugriffe exklusiv sind, weshalb vor der Bestätigung die Beendigung des bereits begonnenen konkurrierenden Zugiffs abgewartet wird (1) . Die Beendigung des Zugriffs muß dem Kontrollprogramm bekannt gegeben werden (accessDone), wodurch ggf. verzögerte Events zur Bearbeitung gelangen (2) .
8.2.2 Die procReadyWith Anweisung
Die 'procReadyWith' Anweisung signalisiert dem Koordinatorob¬ jekt, daß der aufrufende Prozeß seinen Anteil an einer Schreib- bzw. Lesephase beendet hat. Sie ist nur sinnvoll und erlaubt, wenn für die entsprechende Phase ein 'each(...) ' Zu¬ griffsmuster vereinbart wurde. Bei einem Zugiffsmuster 'each (group, numberOf Accesses) ' wird die Phase für den Prozeß ggf. vor Erreichen der vereinbarten Zahl ' numberOf Accesses ' von Zugriffen beendet, d.h. alle weiteren Zugriffe werden bis zum nächsten Erreichen der betreffenden Phase verzögert. Da die procReadyWith Anweisung nicht mit einem Zugriff auf das Koordinatorobjekt durch den beauftragenden Prozeß verbunden ist, ist das Kommunikationsprotokoll hier einfacher: Die 'ac¬ cessDone' Nachricht an das Kontrollprogramm kann entfallen.
Im Beispieldiagramm, Figur 6, wird der Kommunikationsablauf einer 'procReadyWith' Anweisung für die Lesephase gezeigt. Der aufrufende Prozeß muß mindestens solange verzögert wer¬ den, bis sich das Koordinatorobjekt in dem Zustand befindet, auf den sich die Anweisung bezieht - im Beispiel ist dies der Lesezustand, der hier durch eine 'procReadyWith' Anweisung des konkurrierenden Prozesses erreicht wird (1) . Eine solche Wartesituation kann z.B. auftreten, wenn der Prozeß nach Be¬ endigung seiner Schreibphase in der folgenden Lesephase kei¬ nen einzigen Lesezugriff auf das Koordinatorobjekt durch¬ führt, sondern seine Lesephase sogleich durch die 'procReady- With' Anweisung beendet. Ein nachfolgender Schreibzugriff wird verzögert, bis das Koordinatorobjekt wieder in den Schreibzustand wechselt (2), siehe Figur 6.
8.2.3 Die switchFrom Anweisung
Die 'switchFrom' Anweisung ist im Gegensatz zur 'procReady¬ With' Anweisung ein globales Zustandswechsel-Signal. Der Zu¬ stand des Koordinatorobjektes wechselt nach Beendigung aller bereits begonnenen Zugriffe. Die Anweisung ist für alle Zu¬ griffsmuster erlaubt; bei Zugiffsmustern mit Zähler wechselt der Zustand auch dann, wenn die vereinbarte Zahl von Zugrif¬ fen in der momentanen Phase noch nicht erreicht ist .
Das Diagramm, Figur 7, zeigt den Kommunikationsablauf einer 'switchFrom' Anweisung für die Lesephase. Ein nachfolgender Schreibzugriff wird verzögert bis der momentane Lesezugriff des anderen Prozesses beendet ist, da der Zustand des Koordi¬ natorobjektes erst zu diesem Zeitpunkt wechselt (1) .
Auch bei der 'switchFrom' Anweisung ist eine Verzögerung durch das Kontrollprogramm möglich und daher die Bestätigung des Kontollprogramms nötig, z.B. für den Fall, daß ein Pro¬ zeß, der ausschließlich lesend auf das Koordinatorobjekt zu¬ greift, zwei 'switchFrom' Anweisungen hintereinander aus¬ führt, ohne zwischendurch einen Lesezugriff durchgeführt zu haben.
8.2.4 Die release Anweisung
Die 'release' Anweisung beendet die Koordinierung der vom Ko¬ ordinatorobjekt überwachten Daten. Diese Daten werden dem aufrufenden Prozeß (als Rückgabewert der 'release' Anweisung) zur alleinigen Verfügung gestellt. Daher muß der Prozeß war¬ ten, bis die in der Anweisung angegebene Phase beendet ist - im Beispiel geschieht dies durch Beendigung des Lesezugriff des konkurrierenden Prozesses (1) . Der Abschluß einer 'relea- se' Anweisung ist die letzte erlaubte Aktion des Kontrollpro¬ gramms, d.h. jeder weitere Zugriff eines beliebigen Prozesses auf das Koordinatorobjekt ist als Fehler anzusehen, Figur 8.
8.3 Eventverarbeitung durch das Kontrollprogramm Die obigen Zugriffe (Events) können sich innerhalb eines Pro¬ zesses beliebig abwechseln (natürlich mit Ausnahme der 're¬ lease' Anweisung) . Das Kontrollprogramm wird den Prozeß bei jedem Event solange verzögern, solange es gemäß dem für das Koordinatorobjekt spezifizierten Zugriffsmuster erlaubt ist. Um dies zu ermöglichen, verwaltet das Kontrollprogramm die von den verschiedenen Prozessen eintreffenden Events in vier verschiedenen Eventmengen, die nachfolgend beschrieben wer¬ den. Es wird hier bewußt der Begriff „Mengen" (und nicht „Warteschlangen") benutzt, da davon ausgegangen wird, daß die Bearbeitungsreihenfolge vorliegender Events beliebig ist.
8.3.1 Die Menge aktiver Events
Diese Menge enthält alle noch nicht bearbeiteten Events, die momentan zur Bearbeitung anstehen. Dies sind entweder „neue" Events (die vom Kontrollprogramm noch nie betrachtet wurden) oder solche, die durch Bearbeitung eines Events aus einer der nachfolgend aufgeführten Wartemengen erneut in die Menge ak¬ tiver Events übertragen wurden. Das Kontrollprogramm entnimmt der Menge aktiver Events durch Aufruf der Prozedur 'nextE- vent ' jeweils ein Event. Die Prozedur wartet, bei leerer Men- ge ggf., bis ein Prozeß ein Event erzeugt. Das Verfahren, nach dem bei mehreren vorliegenden Events das zu entnehmende Event ausgesucht wird, bleibt der Implementierung überlassen. Eine mögliche Priorisierung der Entnahme ist die Folgende:
1. 'accessDone' Events, um weitere exklusive Zugriffe oder einen Phasenwechsel zu ermöglichen;
2. 'switchFrom' Events, da dies signalisiert, daß eine Phase insgesamt beendet ist;
3. 'procReadyWith' Events, da ein Prozeß seine Teilaufgabe erfüllt hat - ein Phasenwechsel kann ggf. beschleunigt werden;
4. 'requestAccess' Events - bei verteiltem Speicher nur die¬ jenigen von Prozessen, die die Koordinatordaten bereits lokal vorliegen haben - hierdurch kann unnötiger Datenaus- tausch vermieden werden;
5. sonstige 'requestAccess' Events;
6. 'release' Event.
8.3.2 Menge der Events, die in der nächsten Schreibphase be- arbeitet werden können
Alle Events, von denen das Kontrollprogramm feststellt, daß sie (frühestens) in der nächsten Schreibphase bearbeitet wer¬ den können, werden durch einen Aufruf 'delayForPha- se (write, event) ' in diese Wartemenge aufgenommen. Beim näch- sten Übergang des Koordinatorobjektes in den Schreibzustand werden alle in dieser Menge angesammelten Events durch Aufruf von 'enableEventsDelayedForPhase(write) ' wieder in die Menge aktiver Events übertragen. 8.3.3 Menge der Events, die in der nächsten Leβephase bear¬ beitet werden können
Analog zur soeben genannten Menge gibt es die Wartemenge für die Lesephase. Events werden durch 'delayForPha- se (read, event) ' hinzugefügt und durch 'enableEventsDelayed- ForPhase(read) ' beim Übergang in den Lesezustand wieder in die Menge aktiver Events übertragen.
8.3.4 Menge der Events, die exklusiven Koordinatorzugriff be¬ nötigen
Neben den Events, die bis zu einer nachfolgenden Phase verzö¬ gert werden müssen, gibt es die Menge von 'requireAccess' Events, die noch in der momentanen Phase bearbeitet werden können, jedoch erst, nachdem ein bereits begonnener exklusi¬ ver Zugriff eines anderen Prozesses abgeschlossen ist. Zum Hinzufügen eines Events zu dieser Menge dient die Prozedur 'delayForExclusiveAccess (event) ' . Nach Beendigung eines ex¬ klusiven Zugriffs werden die seit Beginn des Zugriffs in die- ser Menge angesammelten Events durch 'enableEventsDelayed- ForExclusiveAccess () ' wieder aktiviert.
8.4 Variablen, die den Status des Koordinatorobjektes be¬ schreiben Das Kontrollprogramm arbeitet mit einer Reihe von Variablen, die den momentanen Status des Koordinatorobjektes beschrei¬ ben. Diese Variablen werden hier mit ihren Initialwerten auf¬ gelistet:
pendingAccesses = 0;
Zahl der Prozesse, denen momentan der Zugriff auf das Koor¬ dinatorobjekt gestattet ist. Der Wert der Variablen muß bei einem Phasenwechsel 0 sein. Falls Zugriffe einer Phase nicht konfliktfrei sind, darf 'pendingAccesses' maximal den Wert 1 haben.
globalReady = false; Dies ist ein Flag, das angibt, ob der Zustand des Koordina¬ torobjekts nach Beendigung der bereits begonnenen Zugriffe wechselt (true) oder ob vor dem Wechsel weitere Events be¬ arbeitet werden müssen (false) .
globalCount = 0;
Im Falle von 'arbitrary (numberOf Accesses) ' Zugriffsmustern dient diese Variable als globaler Zähler der Zugriffe in einer Phase.
procReady[] = {false, ... , false};
Im Falle von 'each(...) ' Zugriffsmustern gibt diese Tabelle von Flags für jeden Prozeß der betreffenden Prozeßgruppe an, ob der jeweilige Prozeß seine Schreib- bzw. Lesephase beendet hat.
procCount[] « {0, ... ,0};
Im Falle von 'each (group, numberOf Accesses) ' Zugriffsmustern enthält diese Tabelle die prozeßbezogenen Zugriffszähler.
releaseByProcess = 0;
Diese Variable wird bei der Verarbeitung eines 'release' Events gesetzt und gibt dann den Prozeß an, dem die vom Ko¬ ordinatorobjekt überwachten Daten bei Beendigung der mo- mentanen Phase zur Verfügung gestellt werden.
notWritten = true;
Dieses Flag dient der Unterstützung von sogenannten kollek¬ tiven Operationen. Zu Beginn einer Schreibphase erhält die Variable jeweils den Wert 'false', um dem ersten Schreibzu¬ griff innerhalb der Phase anzeigen zu können, daß er der erste ist. Hierdurch wird eine automatische Reinitialisie- rung des Koordinatorwerts in jeder Schreibphase ermöglicht.
8.5 Notation
Die operationeile Semantikdefinition wird in Form von Pseudo¬ Code gegeben, der sich an C bzw. C++ Schreibweise orientiert. Die Semantik einiger zusätzlich verwendeter Konstrukte muß jedoch noch erläutert werden:
for all id in group : block führt ' block ' für jeden Prozeß der Prozeßgruppe ' group ' ein¬ mal aus ; die Ausführung wird jedoch nicht für weitere Prozes¬ se fortgesetzt , wenn der Kontrollfluß (z . B . durch return) den ' block ' verläßt . Im ' block ' ist die Variable ' id ' an den je¬ weils bearbeiten Prozeß gebunden.
match {object) { fits pattern : block f its pattern or pattern : block
• • •
} führt einen Muster-Vergleich (pattern matching) bezüglich
' object ' durch. Bestandteil eines pattern können konstante Werte sein (gekennzeichnet durch Quotierung (z.B. 'EACH'), die dann dem entsprechenden Wert in ' object ' entsprechen müs¬ sen (z.B. EACH), oder aber Variablen, an die die entsprechen¬ den Werte des vorgegebenen Musters ' object ' gebunden werden. Für den ersten erfolgreichen Vergleich wird der zugehörige ' block ' ausgeführt.
Ein solcher Muster-Vergleich wird u.A. mit dem für die jewei¬ lige Zugriffsphase 'phase' geltenden Zugriffsmuster des Koor¬ dinatorobjekt s durchgeführt, das jeweils durch die Funktion 'accessSpec(phase) ' geliefert wird. Die möglichen Muster sind:
(EACH, processGroup,maxCount) (EACH,processGroup) (ARBITRARY,maxCount) (ARBITRARY) Die Werte ' processGroup ' und ' maxCount ' werden dabei an die im passenden pattern angegebenen Variablen gebunden, um auf sie innerhalb des ' block ' zugreifen zu können.
Im Programmkontext wird ein event als ein strukturierter Da¬ tentyp aufgefaßt, der über die folgenden Komponenten verfügen muß: eventSpec die Art des Event, d.h. einer der Werte 'requireAccess' , 'accessDone', 'procReadyWith', 'switchFrom' oder 'release'; process der zugreifende Prozeß, d.h. der Prozeß, der das Event er¬ zeugt hat; phase die Phase, für die das Event bestimmt ist, d.h. entweder 'write' oder 'read';
8.6 Das Kontrollprogramm
Die Bedeutung einiger der verwendeten Funktionen / Prozeduren wurden bereits erläutert. Diese und einige weitere Prozeduren werden nicht durch Pseudo-Code spezifiziert. Sie sind entwe¬ der durch ihre Namensgebung selbsterklärend oder werden in der anschließenden Diskussion der Implementierung noch ange¬ sprochen. Alle Funktionen / Prozeduren, für die eine Pseudo- Code Spezifikation existiert, werden bei ihrer Verwendung durch Fettschrift hervorgehoben.
mainLoop { while (true) { // Endlosschleife Schreib -Lesezyklus initForPhasβ(write) ; // setze Anfangszustand für Scheibpha¬ se enableEventsDelayedForPhase(write) ; doPhase(write) ; // führe die Schreibphase durch initForPhasβ(read) ,- // setze Anfangs zustand für Lesephase enableEventsDelayedForPhase(read) ; doPhaβe(read) ; // führe die Lesephase durch };
initForPhase(phase) { // stelle den Anfangs zustand deε Koordinatorobj ektes für die durchzuführende phase (write oder read) her match(accessSpec(phase) ) { fits ( 'EACH' .processGroup,maxCount) : { globalReady = false; forall process in processGroup: { procReady[processl = false; procCount[process] = 0;
}
} fits ( 'EACH' »processGroup) : { globalReady = false; forall process in processGroup: { procReady[process] = false;
} } fits ( 'ARBITRARY' ,maxCount) : { globalReady = false; globalCount = 0;
} fits ('ARBITRARY'): { globalReady = false;
} } if (phase == write) { notWritten = true; // wird für kollektive Schreiboperatio¬ nen genutzt
}}; doPhase(phase) {
// Bearbeitung von events innerhalb einer write/read phase while( !checkSwitchCondition(phase) ) {
// Bearbeite den nächsten vorliegenden oder eintreffenden event processEvent(phase,nextEvent () ) ;
} if (releaseByProcess != 0) {
// Daten des Koordinatorobjektes freigeben und beenden des Kontroll- programms if (distributedMemoryImplementation() ) {
// 99 f • Kopieren der Daten (vom letzten Zugreifer) zum Prozeß provideDataFor(releaseByProcess) ;
} rpcFinished(releaseByProcess) ,- exit;
}}; boolean checkSwitchCondition(phase) {
// prüfe, ob alle Bedingungen zum Beenden der aktuellen phase // gegeben sind if (pendingAccesses > 0) // laufende Zugriffe zunächst beendet return false; // globale switch-Bedingung testen eise if (globalReady) { return true; // switchFrom event oder globaler maxCount erreicht
}
// lokale switch -Bedingungen testen (procReady oder maxCount erreicht?) eise { match(accessSpec (phase) ) { fits (' EACH ', processGroup , maxCount ) or ( 'EACH' , processGroup) : { forall process in processGroup: { if ( ! procReady [process] ) // lokale switch-Bedingung für einen Prozeß nicht erfüllt return false;
} return true; // lokale switch-Bedingung für alle Prozesse er¬ füllt
} fits ('ARBITRARY' , maxCount) or ( 'ARBITRARY') : {
// es gibt keine lokalen switch-Bedingungen return false ; } } } } ; processEvent (phase , event ) {
// Bearbeiten eines event . Dieser wird entweder "verbraucht" , d.h . die // Anforderung eineε Prozesses wird erfüll t und die Erfüllung wird dem // Prozeß ggf . mitgeteilt (rpcFinish) , oder die Bearbeitung des event // wird verzögert und später erneut durch processEvent bearbei tet . match (event . event Spec ) { f its ' requireAccess ' : { if ( i checkDβlay (phase , event) ) { acceβsProlog (event . process , phase) ; // Reaktiviere Prozeß für Zugriff auf Koordinator-Daten . if (phase == write) {
// Flag für kollektive Schreib-Operationen muß beachtet werden rpcFinish(event.process, notWritten) ; notWritten = false; } eise { rpcFinish(event.process) ;
}
} } fits 'accessDone': { // Die Beendigung eines Zugriffs wird nie verzögert, da Zugriffe // immer in der Phase beendet werden, in der sie begonnen wurden // (checkSwitchCondi tion wartet darauf) accessEpilog(event.process,phase) ;
// Prozeß wartet nicht auf Bestätigung.
) fits 'procReadyWith' : { if ( icheckDelay(phase,event) ) { setProcesβReady(event.process,phase) ;
// Prozeß darf nach Bearbeitung des event fortfahren . rpcFinish (event.process) ; }
} fits 'switchFrom': { if ( IcheckDβlay(phase,event) ) { // setze die globale switch-Bedingung globalReady = true;
// Prozeß darf nach Bearbei tung deε event fortfahren . rpcFinish (event.process) ;
} } fits 'release' : { if ( !checkDelay(phase,event) ) { // setze release-Flag releaseByProcess = event.process; // Prozeß darf erst bei Beendigung der Phase fortfahren. )
setProcessReady(process,phase) {
// Reaktion auf 'procReadyWith ' event; setze ggf. die // prozeßlokale switch-Bedingung match(accessSpec(phase) ) { fits ( 'EACH' .processGroup,maxCount) or ( 'EACH' »processGroup) : { procReady[process] = true;
} fits ( 'ARBITRARY' ,maxCount) or («ARBITRARY') : { error(" 'procReadyWith' not allowed for 'arbitrary' pat- terns") ; } }
}; accessEpilog(process,phase) {
// Bei Beendigung eineε Zugriffs nötige Verwal tungsaufgaben pendingAccesses--; if (exclusiveAccessRequired(phase) ) {
// weil die Zugriffe dieser phase nicht konfliktfrei sind, // war coord gesperrt (s . checkDelayForExclusiveAccess) // alle auf Datenzugriff wartenden events werden reaktiviert // (Implementierungen können natürlich optimieren) enableEventsDelayedForExclusiveAccess 0 ; } }; accessProlog(process,phase) { // Vor einem Zugriff nötige Verwal tungsaufgaben if (distributedMemorylmplementationO ) {
// 99!"f ■ Kopieren der Daten (vom letzten Zugreif er) zum Prozeß provideDataFor(process) ;
} // Die Zähler müssen vor dem Zugriff erhöht werden, damit nicht vor // Beendigung eines Zugriffs weitere Zugriffe // fälschlicherweise zugelassen werden. pendingAccesses++; updateCounters(process,phase) ; // jetzt kann dem bittenden (wartenden) Prozeß
// erlaubt werden, auf die effektiven Daten zuzugreifen // (dies geschieht durch rpcFinish () )
)
updateCounters (process , phase ) {
// Protokollieren eines Zugriffs, d.h. ggf . Erhöhen des globalen oder // prozeßlokalen Zählers und prüfen, ob durch den Zugriff die globale // oder prσzeßloJcale switch-Bedingung erfüllt wird match (accessSpec (phase) ) { fits ( ' EACH ' , processGroup, maxCount ) : { procCount [process] ++ ; // erhöhe Zugriff sanzahl für aktuellen Pro¬ zeß if (procCount [process] == maxCount) { procReady [process] = true ; // setze lokale swi tch-Bedingung
) ) fits ( 'ARBITRARY ' , maxCount) : { glθbalCθUnt++ ; // erhöhe globale Zugriffsanzahl if (globalCount == maxCount) { globalReady = true ; // setze globale switch-
Bedingung }
} fits ( 'EACH' ,processGroup) or ( 'ARBITRARY' ) : {
// es gibt keinen Zähler, also auch nichts zu tun } }
};
boolean checkDelay(phase,event) { // Prüfe, ob ein Grund für die Verzögerung des event vorliegt und führe
// die Verzögerung ggf- durch Eintrag in eine von drei Wartemengen durch. if ( checkDelayForOtherPhase (phase , event ) ) {
// Anforderung ist nicht für die aktuelle Phase bestimmt return true ; } eise if (checkDelayForNextSamePhaβe (phase , event) ) {
// Anforderung kann in dieser Phase nicht mehr erfüll t werden return true ;
} eise if (checkDelayForExclusiveAcceβs(phase,event) ) { // Exklusiver Zugriff ist momentan nicht möglich return true;
} eise { // es ist keine Verzögerung des event nötig return false; } } t boolean checkDelayForOtherPhase (phase, event) {
// Prüfe, ob der event in der aktuellen Zugriffsphase des Koordinatorobjekt ε // bearbeitet werden kann; falls nicht, so wird der event in die Warte -
// schlänge für events der anderen Phase eingereiht, d.h. beim nächsten // Phasenwechsel wird die Bearbeitung dieses event erneut versucht, if (event. phase != phase) { delayForPhase (event .phase, event) ; return true;
} eise { return false;
} }
/ boolean checkDelayForMextSamePhaae (phase , event ) {
// Prüfe, ob die Bearbeitung in dieser Phase noch zulässig ist; // falls nicht, muß bis zur übernächsten (gleichen) Phase gewartet // werden, d.h. der event wird in die Warteschlange für events der
// aktuellen Phase eingereiht, deren Bearbeitung beim übernächsten // Phasenwechsel erneut versucht wird.
// Dies gilt auch für 'procReadyWith' und 'switchFrom' events, // d.h. der Benutzer muß darauf achten, daß pro Phase nur ein // 'switchFrom' oder je Prozeß ein 'procReadyWith' event stattfindet. match(accessSpec (phase) ) { fits ('EACH' .processGroup, maxCount) or ( 'EACH' , processGroup ) : { if (! (member (event .process, processGroup) ) ) { error ("process is not allowed to access the coordina¬ tor") ;
} if (globalReady ( | procReady[event.process] ) { delayForPhase(phase,event) ; return true;
} eise { return false;
} }
// ... fits ( 'ARBITRARY' ,maxCount) or ( 'ARBITRARY' ) : { if (globalReady) { delayForPhase(phase,event) ; return true; } eise { return false;
}
} }
}
boolean checkDelayForExclusivaλccess(phase,event) {
// Prüfe, ob für die Anforderung exklusiver Zugriff auf das // Koordinatorobjekt nötig ist; falls ja, so muß der event verzögert // werden, wenn momentan ein anderer Prozeß auf das Koordinator Ob¬ jekt // zugreift. Der event wird dann in eine Warteschlange von events
// eingereiht, deren Bearbeitung bei Beendigung des momentanen // Zugriffs erneut versucht wird. match (event.eventSpec) { fits 'requireAccess': { if (exclusiveAccessRequired(phase) && pendingAccesses > 0) { // Daten sind gesperrt, da es momentan einen berei ts begonnenen // exklusiven Zugriff gibt delayForExclusiveAccess(event) ; // warten bis Zugriff beendet (in dieser Phase) return true;
} eise {
// Zugriff nicht exklusiv oder momentan kein begonnener Zugriff return false; }
} fits 'accessDone': {
// wird nie verzögert (dieser Fall tritt nicht auf, s. processEvent) return false ; } fits 'procReadyWith' or ' switchFrom' : {
// diese events werden nicht durch laufende exklusive Zugriffe
// verzögert . Nachfolgende 'requireAccess ' events werden ggf.
// in dieser Phase nicht mehr zugelassen.
// Für den Phasenwechsel wird aber auf die Beendigung aller
// laufenden Zugriffe gewartet return false; }
}
}
8.7 Architekturabhängige Implementierung von Koordinatorob- jekten Jede Implementierung muß zunächst die Kommunikation der auf das Koordinatorobjekt zugreifenden Prozesse mit dem Kontroll- Programm einschließlich der Blockierung der auf Antwort war¬ tenden Prozesse realisieren. In Architekturen mit gemeinsamem Speicher wird dies typischerweise durch synchronisierte Zu- griffe auf einen gemeinsamen Speicherbereich sowie den je¬ weils angebotenen Mitteln zur Prozeßkontrolle (locks, Si¬ gnals, etc.) geschehen, in Architekturen mit verteiltem Spei- eher durch Nachrichtenaustausch mit blockierenden Empfangs- routinen für die wartenden Prozesse.
In Architekturen mit verteiltem Speicher muß eine Koordinato- robjektImplementierung jedoch zusätzlich dafür sorgen, daß die Prozesse, sobald sie vom Kontrollprogramm die Erlaubnis erhalten haben, auf die Koordinatordaten zuzugreifen, jeweils eine konsistente Kopie dieser Daten in ihrem lokalen Speicher vorfinden. Diese Aufgabe wird in der obigen Semantik- Spezifikation durch Aufrufe der Funktion 'provideDataFor' ausgedrückt und beinhaltet den Austausch von Nachrichten, die neben internen Koordinator-Zustandsinformationen insbesondere den aktuellen Wert des für den Benutzer sichtbaren Datenob¬ jekts enthalten. Damit gewährleistet eine Koordinatorobjekt - Implementierung eine automatische Daten-Migra tion zwischen den Prozessen.
Vor allem bei komplexen benutzerdefinierten Datentypen, wel¬ che Zeiger oder Referenzen auf andere Objekte beinhalten, muß die genaue Semantik einer solchen Migration beachtet werden:
• Welche der Komponenten eines strukturierten Datentyps wer¬ den beim Übertragen zu einem anderen Prozeß berücksichtigt?
• Interpretiert der Empfänger einer Nachricht diese Daten in einer Weise, die konsistent ist mit der Interpretation des Senders?
• Ist die Eigenschaft eines Objekts, daß zwei Teilkomponenten Zeiger oder Referenzen auf ein und dasselbe Objekt sind, auch nach einer Migration dieses Objekts erfüllt?
Die ersten beiden Punkte können i.A. nicht allein vom System entschieden werden, sondern es ist Benutzerunterstützung not¬ wendig, um die Konvertierung von Benutzerdaten in das interne Austauschformat sowie die umgekehrte Konvertierung auf der Empfängerseite korrekt durchführen zu können. Dieser Vorgang wird häufig als data marshalling bezeichnet und muß vom Sy¬ stem insoweit unterstützt werden, daß eine korrekte Konver¬ tierung der Basis-Datentypen möglich ist. Die Konvertierung der Basis-Datentypen bildet dann die Grundlage für die Spezi¬ fikation von Konvertierungsroutinen für Benutzer-Datentypen. (Zum Thema data marshalling siehe u.a. [DCE] )
Die im dritten Punkt angesprochene Eigenschaft wird auch als intra -object sharing bezeichnet und ist eine Eigenschaft, die allein durch die Koordinatorobjekt-Implementierung gewährlei¬ stet werden muß. Das intra-object sharing einschließlich der damit zusammenhängenden Implementierungsaspekte wird in [HeLi] diskutiert.
Die gesamte Verwaltung des Zustands der Koordinatorobjekte geschieht durch das System. Im verteilten Fall bedeutet dies, daß Koordinatorobjekt-Zustandsinformation zwischen unter- schiedlichen Prozeßräumen konsistent gehalten wird. Die unab¬ hängigen Prozesse verhalten sich immer so, als lägen die Ko¬ ordinatorobjekte in einem (virtuellen) gemeinsamem Speicher; der Anwender sieht bis auf mögliche semantische Abweichungen aufgrund des (benutzerdefinierten!) data marshalling keinen Unterschied zwischen den beiden Modellen.
Anhang A: Ein umfangreicheres Beispiel
Es wird ein Verfahren zur iterativen Lösung linearer Glei- chungsSysteme, das Konjugierte-Gradienten-Verfahren (cg- Verfahren) betrachtet. Das folgende C++ Programm implemen¬ tiert das cg-Verfahren in einer naheliegender Weise sequenti¬ ell. Im Rumpf der Funktion wird ausgehend von einer Anfangs¬ approximation der Vektor x solange verändert, bis die Glei¬ chung A * x = b (A und b vorgegeben) hinreichend genau ge¬ löst ist. Die genutzten Operationen sind Vektor-Vektor-, Ma¬ trix-Vektor- und Vektor-Skalar-Operationen. Insbesondere Skalarprodukte werden häufig berechnet.
void cgm(const matrixs. A, const vectorü b, vectort x) { vector p = b - (A * x) ; vector r = p; int i; for ( i = 1; i <= A.widthO ;i++) { if ( (p * p) < limit) return ; // compute PP double rr = r * r; // compute rrl vector Ap = A * p; // compute Ap double a = rr / ( p * Ap) ; // compute pAp x += ( p * a) ; // cσmpute X r -= (Ap *= a) ; // compute r double bk = (r * r ) / rr; // compute rr2 p = r + (p * bk) ;
}; return;
}
Diese Programm kann parallelisiert werden, indem die benötig¬ ten Vektoren und die Matrix (logisch) in Streifen geschnitten werden, die von unterschiedlichen Prozessen behandelt werden. Jeder der Prozesse führt die Funktion cgm auf einem eigenen Datenbereich aus. Einzelne Ergebnisse, insbesondere die Ska¬ larprodukte, werden allerdings von allen Prozessen benötigt. Um darauf kontrolliert zugreifen zu können, sind diese als Koordinatorobjekte deklariert. Das gleiche gilt für den Vec¬ tor fullP, der von allen Prozessen geschrieben und gelesen wird.
Die „Streifen" werden als Vektor-Sektionen und Matrix- Sektionen modelliert. Sektionen sind Verwaltungsstrukturen, die obere Grenze und untere Grenze eines Teilvektors oder ei¬ ner Teilmatrix sowie den vollständigen Vektor und oder die vollständige Matrix selber enthalten.
Zum Verständnis des folgenden parallelen Algorithmus ist es sinnvoll, zunächst die Koordination zu ignorieren. Der Paral- lelisierungsgedanke (die parallelen Streifen bzw. Sektionen) sollte im Vordergrund stehen. Der oben angegebene sequentiel- le Algorithmus wird nur insofern verändert, als einige Opera¬ tionen zweistufig werden: zuerst wird auf einem Streifen ope¬ riert, dann werden die Streifen gemeinschaftlich behandelt. (collectiveAdd) .
void cgm(const matrixSection& A, const vectorSectionδt b, vectorSectionS. x, // Teilvektor, der verändert wird vector& fullX, // zusätzlich wird der gesamte
Vektor gelesen Group& workers)
{ vectorSection localP = b - (A * fullX) ; vectorSection r = localP;
//Koordinatorvereinbarungen: (beim ersten lesen ignorieren) coordinator <double> pp (wri te (each (workers, 1) ) , read (each (workers , 1 ) ) ) ; coordinator <double> rr (wri te (each (workers , 1) ) , read (each (workers, 2) ) ) ; coordinator <double> pAp (wri te (each (workers, 1) ) , read (each (workers, 1) ) ) ; coordinator <double> bk (wri te (each (workers, 1 ) ) , read (each (workers , 1 ) ) ) ; coordinator <vector> fullP (wri te (each (workers , 1) ) , read (each (workers , 1 ) ) ) ;
for(int i = 1; i <= A.width();i++) { double localPp = localP * localP; collectiveAdd(pp, localPp) if (pp < limit) return double localRr = r * r; collectiveAdd(rr, localRr) ; fullP.assemble (localP) ; vector Ap = A * fullP; double localPAp = ( p * Ap) ; collectiveAdd(pAp, localPAp) ; double a = rr / pAp; x += ( p * a) ; r -= (Ap *= a) ; double localBk = (r * r ) ; collectiveAdd(bk, localBk) ; p = r + ( p * bk/rr) ;
} return;
}
Bemerkungen
• Die Methode 'assemble' kopiert Teilvektoren (die Sektionen localP) komponentenweise in den Zielvektor 'fullP' . Die Funktion 'collectiveAdd' ist bereits beschrieben worden. • Dieser Algorithmus setzt voraus, daß am Ende der Abarbei¬ tung die Sektion x zurückgeschickt wird. Dies geschieht durch Programmiermodelle, wie z.B dem in [KnRe96b] be¬ schriebenen Workpool aber auch in DCE [DCE] automatisch.
• Man beachte, daß rr zweimal pro Iteration gelesen wird. Dies spiegelt sich in der Koordinatordefinition. Dieser Algorithmus enthält sehr viel Koordination. Solange man aber die Koordinatorobjekte ignoriert ist allerdings nicht viel davon sichtbar. Dies zeigt den Vorteil der Koordi¬ natorobjekte: man kann parallele Algorithmen entwicklein und Koordination erst hinterher durch die Definition der richti¬ gen Zugriffsmuster ablauffähig machen. Der Softwareentwick¬ lungsprozeß wird dadurch maßgeblich verbessert. Trotzdem sind die Programme dann auf beiden Architekturarten (gemeinsamer Speicher und verteilter Speicher) effizient lauffähig.
Literaturverzeichnis
[BaStTa]
H. Bai , J. Steiner, A. Tanenbaum: Programming Languages for Distributed Computing Systems ACM Computing Surveys, September 1989,
[BHJLC]
A. Black, N. Hutchinson, E. Jul, H. Levi, L. Carter Distribution and Abstract Types in Emerald
IEEE Transactions on Software Engineering SE 13,1, January 1987
[DCE]
Open Software Foundation:
DCE Application Development Guide
[HeLi] M. Herlithy, B. Liskov:
A Value Transmission Method for Abstract Data Types, ACM Transactions on Programming Languages and Systems 4, Ok¬ tober 1982
[mpi]
The MPI initiative netlib@ornl.gov, 1994
[NiLo] Bill Nitzberg ,Virginia Lo:
Distributed Shared Memory: A Survey of Issues and Algorithms IEEE COMPUTER, vol. 24, no. 8, Aug, 1991
[PVM] A. Geist , A. Beguelin , J. Dongarra , H. Jiang , R. Manchek ,V. Sunderam:
PVM 3.0 Users Guide and Reference Manual Oak Ridge National Labarotory, 1993 [P4]
R. Butler, E. Lusk
Monitors, messages, and clusters: The p4 parallel programming system,
Parallel Computing 20, 1994
[SPLIT-C] D. Culler SPLIT C, //http.cs.berkeley.edu/~culler, 1996

Claims

Patentansprüche
1. Verfahren zur Koordination des Ablaufs von miteinander ko¬ operierenden Prozessen, die auf ein gemeinsames Objekt zu- greifen,
• bei dem jedes gemeinsame Objekt als Koordinatorobjekt de¬ klariert wird und ihm Zugriffsmuster zugeordnet werden, die Abfolgen von Zugriffen der kooperierenden Prozesse auf das Koordinatorobjekt festlegen, • bei dem im Zugriffsmuster eine Abfolge der Arten von Zu¬ griffen (Zugriffsarten) angegeben wird,
• bei dem das Koordinatorobjekt bei Ablauf der Prozesse fest¬ stellt, ob ein Zugriff auf das gemeinsame Objekt vorliegt und für diesen Fall an Hand des Zugriffsmusters ermittelt, ob der Zugriff ausgeführt werden kann oder zurückgestellt werden muß bis der Zugriff von einem anderen Prozeß beendet ist.
2. Verfahren nach Anspruch 1, bei dem das Zugriffsmuster angibt, ob mehrere Zugriffe pro
Zugriffart vor einem Zugriff einer anderen Zugriffsart bevor¬ rechtigt behandelt werden.
3. Verfahren nach Anspruch 2, bei dem die Zugriffe einer Zugriffsart strikt hintereinander ausgeführt werden, um Konflikte zu vermeiden.
4. Verfahren nach Anspruch 2, bei dem dem Koordinatorobjekt mitteilbar ist, daß bei aufein- anderfolgender Bearbeitung der Zugriffe einer Zugriffsart keine Konfliktfälle auftreten, so daß die Zugriffe nicht strikt ausgeführt werden müssen.
5. Verfahren nach einem der Ansprüche 2-4, bei dem die Anzahl der Zugriffe pro Zugriffsart mit einem
Zähler gezählt werden und bei Erreichen der zulässigen Anzahl von Zugriffen pro Zugriffsart ein Zugriff eines anderen Pro¬ zesses oder einer anderen Zugriffsart gestattet wird.
6. Verfahren nach einem der vorhergehenden Ansprüche, bei dem die eine Zugriffsart schreibende Zugriffe und die an¬ dere Zugriffsart lesende Zugriffe erfaßt.
7. Verfahren nach Anspruch 6, bei dem das Koordinatorobjekt in den Schreibzustand oder in den Lesezustand übergehen kann und bei dem der Anfangszustand ein Schreibzustand ist.
8. Verfahren nach Anspruch 6 oder 7, bei dem das Umschalten des Koordinatorobjekts von einem Zu- stand in den anderen Zustand durch eine Schaltbedingung ver¬ anlaßt wird, die durch ein Schlüsselwort einstellbar ist.
9. Verfahren nach Anspruch 8, bei dem die Schaltbedingung derart einstellbar ist, daß eine Anzahl von Zugriffen einer Zugriffsart erfülltsein muß.
10. Verfahren nach Anspruch 8, bei dem die Schaltbedingung derart einstellbar ist, daß eine Gesamtanzahl von Zugriffen von verschiedenen Prozessen er- füllt sein müssen.
11. Verfahren nach Anspruch 8, bei dem die Schaltbedingung derart einstellbar ist, daß die Zugriffe einer Gruppe von Prozessen erfüllt sein müssen.
12. Verfahren nach einem der Ansprüche 8-11, bei dem die Schaltbedingung durch den Prozeß festgestellt wird.
13. Verfahren nach einem der vorhergehenden Ansprüche, bei dem das Koordinatorobjekt als zentrales Kontrollprogramm realisiert wird, das je nach Anwendungsfall spezifiziert wird.
14. Verfahren nach Anspruch 13, bei dem das Kontrollprogramm noch nicht beabeitbare Zugriffe in einer Wartemenge verwaltet.
15. Verfahren nach Anspruch 14, bei dem im Kontrollprogramm für jede Zugriffsart eine Warte¬ menge erzeugt wird.
16. Verfahren nach einem der Ansprüche 14 oder 15, bei dem dem der nächste zu bearbeitende Zugriff aus einer Wartemenge wählbar ist.
17. Verfahren nach Anspruch 15 oder 16, bei dem eine Warteschlange bevorrechtigt ist, so daß erst die Zugriffe dieser Warteschlange bearbeitet werden.
18. Verfahren nach einem der vorhergehenden Ansprüche, bei dem jedem Prozeß ein lokaler Speicher zugeordnet wird, der von anderen Prozessen nicht adressierbar ist.
19. Verfahren nach Anspruch 18, bei dem bei verteiltem Speicher das Kontrollprogramm dafür sorgt, daß für die Prozesse, denen der Zugriff erlaubt wird, in deren lokale Speicher mit den Koordinatordaten konsistente Daten abgespeichert werden.
PCT/DE1997/000753 1996-04-15 1997-04-15 Verfahren zur koordination des ablaufs von miteinander kooperierenden prozessen, die auf ein gemeinsames objekt zugreifen WO1997039405A1 (de)

Priority Applications (3)

Application Number Priority Date Filing Date Title
EP97921611A EP0894303B1 (de) 1996-04-15 1997-04-15 Verfahren zur koordination des ablaufs von miteinander kooperierenden prozessen, die auf ein gemeinsames objekt zugreifen
US09/171,317 US6487579B1 (en) 1996-04-15 1997-04-15 Process for coordinating the course of cooperating processes which access a common object
DE59700731T DE59700731D1 (de) 1996-04-15 1997-04-15 Verfahren zur koordination des ablaufs von miteinander kooperierenden prozessen, die auf ein gemeinsames objekt zugreifen

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
DE19614840 1996-04-15
DE19614840.5 1996-04-15

Publications (1)

Publication Number Publication Date
WO1997039405A1 true WO1997039405A1 (de) 1997-10-23

Family

ID=7791319

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/DE1997/000753 WO1997039405A1 (de) 1996-04-15 1997-04-15 Verfahren zur koordination des ablaufs von miteinander kooperierenden prozessen, die auf ein gemeinsames objekt zugreifen

Country Status (4)

Country Link
US (1) US6487579B1 (de)
EP (1) EP0894303B1 (de)
DE (1) DE59700731D1 (de)
WO (1) WO1997039405A1 (de)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7188344B1 (en) * 1999-12-21 2007-03-06 Unisys Corporation Architecture for a read/write thread lock
IL184260A0 (en) 2007-06-27 2008-03-20 On Track Innovations Ltd Mobile telecommunications device having sim/antenna coil interface
US8028923B2 (en) 2007-11-14 2011-10-04 Smartrac Ip B.V. Electronic inlay structure and method of manufacture thereof
US11048552B2 (en) * 2018-05-30 2021-06-29 Texas Instruments Incorporated High-speed broadside communications and control system

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5404529A (en) * 1993-07-19 1995-04-04 Taligent, Inc. Object-oriented interprocess communication system interface for a procedural operating system
US5680452A (en) * 1993-10-18 1997-10-21 Tecsec Inc. Distributed cryptographic object method

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
BAL H E ET AL: "Object distribution in Orca using compile-time and run-time techniques", 8TH ANNUAL ACM CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES, AND APPLICATIONS, OOPSLA 1993, WASHINGTON, DC, USA, 26 SEPT.-1 OCT. 1993, vol. 28, no. 10, ISSN 0362-1340, SIGPLAN NOTICES, OCT. 1993, USA, pages 162 - 177, XP000411724 *
KNOPP J ET AL: "A data model for architecture independent parallel programming", PROCEEDINGS. FIRST INTERNATIONAL WORKSHOP ON HIGH-LEVEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS FIRST INTERNATIONAL WORKSHOP ON HIGH-LEVEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, HONOLULU, HI, USA, 16 APRIL 1996, ISBN 0-8186-7567-5, 1996, LOS ALAMITOS, CA, USA, IEEE COMPUT. SOC. PRESS, USA, pages 34 - 40, XP002036845 *
LUPKE S: "Accelerated access to shared distributed arrays on distributed memory systems by access objects", PARALLEL PROCESSING: CONPAR 94 - VAPP VI. THIRD JOINT INTERNATIONAL CONFERENCE ON VECTOR AND PARALLEL PROCESSING PROCEEDINGS, PROCEEDINGS OF INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING: CONPAR '94 - VAPP VI, LINZ, AUSTRIA, 6-8 SEPT. 1994, 1994, BERLIN, GERMANY, SPRINGER-VERLAG, GERMANY, pages 449 - 460, XP002036843 *
NARAIN H GENANI: "CAPSULES: A SHARED MEMORY ACCESS MECHANISM FOR CONCURRENT C/C++", IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 4, no. 7, 1 July 1993 (1993-07-01), pages 795 - 811, XP000397943 *

Also Published As

Publication number Publication date
US6487579B1 (en) 2002-11-26
EP0894303A1 (de) 1999-02-03
DE59700731D1 (de) 1999-12-23
EP0894303B1 (de) 1999-11-17

Similar Documents

Publication Publication Date Title
DE69429686T2 (de) Transaktionsverwaltung in objektorientiertem System
DE69630329T2 (de) Verfahren zur Verwaltung des Deaktivierens und Ausschaltens eines Servers
DE69719269T2 (de) Absicherung der Unteilbarkeit für eine Ansammlung von transaktionellen Arbeitsschritten in einem Arbeitsflussverwaltungssystem
DE68921906T2 (de) Verfahren für ein Multiprozessorsystem mit sich selbst zuordnenden Prozessoren.
DE69028061T2 (de) Bearbeitung von Ablaufdaten paralleler Verarbeitung
DE69522842T2 (de) Gleichzeitige Verarbeitung in parallelen und fast parallelen objektorientierten Systemen
DE69718715T2 (de) Verfahren zur geschichteter Transaktionsverarbeitung
DE68925646T2 (de) Pipeline-multiprozessorsystem
DE68922769T2 (de) Verfahren zum Erzeugen eines temporären Anhaltens von Tasken, die in einem virtuellen Datenverarbeitungssystem ablaufen.
DE69428972T2 (de) System und Verfahren für die Eigentumerverwaltung eines freigegebenen Synchronisationsmechanismus
DE69629626T2 (de) Verfahren und Gerät zur Vermeidung von Verklemmungen durch Serialisierung des Multithreaded-Zugriffes auf unsichere Betriebsmittel
DE69522046T2 (de) Verfahren zur hierarchischen Betriebsmittelverwaltung
DE69129678T2 (de) Verfahren und System für eine konsequente Zeitfestlegung in verteilten Rechnerdatenbanken
DE69719620T2 (de) Vorrichtung und Verfahren zur Bestimmung von Server-Cluster-Topologien
DE68926775T2 (de) System und Verfahren für eine allgemeine Schnittstelle für Anwendungsprogramme
DE3855166T2 (de) Selbstkonfiguration von Knotenpunkten in einem verteilten, auf Nachrichten gegründeten Betriebssystem
DE69422743T2 (de) Endlosschleife-Erkennungsgerät
DE3750306T2 (de) System zum Gewährleisten der logischen Unversehrtheit von Daten.
DE112015003587T5 (de) Spezifizieren von komponenten in graphbasierten programmen
DE69727633T2 (de) Verfahren und Gerät zur Benutzerstufeunterstützung für das Synchronisieren mehrerer Ereignisse
DE10003015A1 (de) Die Erzeugung von Ereignis-Bedingungs-Aktions-Regeln aus Prozessmodellen
DE3886756T2 (de) Betriebsmittelzugriff für Multiprozessorrechnersystem.
DE19617976A1 (de) Kommunikationssystem mit Mitteln zum Austausch von Softwareprozessen
DE69633777T2 (de) Geordnete und sichere wartung von interprozessbeziehungen in einem verteilten multiprozessorsystem
DE2101949A1 (de) Verfahren zum Schutz von Datengruppen in einer Multiprocessing-Datenverarbeitungsanlage

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A1

Designated state(s): US

AL Designated countries for regional patents

Kind code of ref document: A1

Designated state(s): AT BE CH DE DK ES FI FR GB GR IE IT LU MC NL PT SE

DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
121 Ep: the epo has been informed by wipo that ep was designated in this application
WWE Wipo information: entry into national phase

Ref document number: 1997921611

Country of ref document: EP

WWE Wipo information: entry into national phase

Ref document number: 09171317

Country of ref document: US

WWP Wipo information: published in national office

Ref document number: 1997921611

Country of ref document: EP

WWG Wipo information: grant in national office

Ref document number: 1997921611

Country of ref document: EP