Abstract: Techniques are provided for orphan object detection, invalid sequence number detection, and asynchronous object cleanup. A storage system may store data within one or more tiers of storage, such as a storage tier (e.g., solid state storage and disks maintained by the storage system), a remote object store (e.g., storage provided by a third party storage provider), and/or other storage tiers. Orphan objects, within the remote object store, that are no longer used by the storage system may be detected and/or deleted. When an aggregate of volumes is deleted, corresponding objects, within the remote object store, may be identified and/or deleted. Invalid sequence numbers (e.g., lost or corrupt sequence numbers locally maintained in a metafile) assigned to objects within the remote object store may be identified, deleted, and/or fixed.

Abstract: Techniques are provided for remote object store error handling. A storage system may store data within one or more tiers of storage, such as a local storage tier (e.g., solid state storage and disks maintained by the storage system), a remote object store (e.g., storage provided by a third party storage provider), and/or other storage tiers. Because the remote object store may not provide the same data consistency and guarantees that the storage system provides for clients such as through the local storage tier, additional validation is provided by the storage system for the remote object store. For example, when data is put into an object of the remote object store, a verification get operation is performed to read and validate information within a header of the object. Other verifications and checks are performed such as using a locally stored metafile to detect corrupt or lost metadata and/or objects.

Abstract: Techniques are provided for remote object store error handling. A storage system may store data within one or more tiers of storage, such as a local storage tier (e.g., solid state storage and disks maintained by the storage system), a remote object store (e.g., storage provided by a third party storage provider), and/or other storage tiers. Because the remote object store may not provide the same data consistency and guarantees that the storage system provides for clients such as through the local storage tier, additional validation is provided by the storage system for the remote object store. For example, when data is put into an object of the remote object store, a verification get operation is performed to read and validate information within a header of the object. Other verifications and checks are performed such as using a locally stored metafile to detect corrupt or lost metadata and/or objects.

Abstract: An example electromotive linear drive mechanism for moving walkways for conveying people or objects may comprise a long stator as an active primary part positioned along a direction of movement of a moving walkway, as well as a plurality of passive secondary parts that are movable with respect to the active primary part and are arranged with one another along the direction of movement. The long stator may have a plurality of successive long stator sections in the form of coil groups along the direction of movement. Each long stator section may have its own control device that is configured to move the secondary parts using control parameters stipulated for the respective long stator section. Further, example methods for operating the electromotive linear drive mechanism may involve predefining different movement profiles for the respective control devices for at least some of the long stator sections such that the secondary parts move along the long stator in a non-uniform manner.

Abstract: Techniques are provided for storage tier verification checks. A determination is made that a mount operation of an aggregate of a set of volumes stored within a multi-tier storage environment has completed. A first metafile and a second metafile are maintained to track information related to the storage of objects of a volume of the aggregate within a remote object store that is a tier of the multi-tier storage environment. A distributed verification is performed between the first metafile and the second metafile to identify an inconsistency. Accordingly, the first metafile and the second metafile are reconciled to address the inconsistency so that storage information within the first metafile and the second metafile are consistent.

Abstract: Techniques are provided for orphan object detection, invalid sequence number detection, and asynchronous object cleanup. A storage system may store data within one or more tiers of storage, such as a storage tier (e.g., solid state storage and disks maintained by the storage system), a remote object store (e.g., storage provided by a third party storage provider), and/or other storage tiers. Orphan objects, within the remote object store, that are no longer used by the storage system may be detected and/or deleted. When an aggregate of volumes is deleted, corresponding objects, within the remote object store, may be identified and/or deleted. Invalid sequence numbers (e.g., lost or corrupt sequence numbers locally maintained in a metafile) assigned to objects within the remote object store may be identified, deleted, and/or fixed.

Abstract: Techniques are provided for remote object store error handling. A storage system may store data within one or more tiers of storage, such as a local storage tier (e.g., solid state storage and disks maintained by the storage system), a remote object store (e.g., storage provided by a third party storage provider), and/or other storage tiers. Because the remote object store may not provide the same data consistency and guarantees that the storage system provides for clients such as through the local storage tier, additional validation is provided by the storage system for the remote object store. For example, when data is put into an object of the remote object store, a verification get operation is performed to read and validate information within a header of the object. Other verifications and checks are performed such as using a locally stored metafile to detect corrupt or lost metadata and/or objects.

Abstract: A magnetic bearing may include an inner ring and an outer ring arranged concentrically. The inner ring and the outer ring may be mounted rotatably relative to each other by way of axial and radial magnets. The magnetic bearing may also include a back-up bearing, which is integrated into at least one of the outer ring or the inner ring both in an axial direction and in a radial direction. The outer ring may be multipiece and may include a recess that opens inwards and receives the inner ring. Further, the back-up bearing may be made of aluminum, austenitic steel, bronze, or ceramic, and the back-up bearing may operate as a shielding device that shields magnetic fields emitted by the axial and radial magnets from one another.

Abstract: Disclosed is a linear synchronous motor comprising an elongate stator extending in a longitudinal direction and having a plurality of coil windings, and a runner having a multiplicity of successive magnets disposed along the length thereof the longitudinal direction. The elongate stator has a plurality of elongate-stator segments arranged successively in the longitudinal direction, with each elongate-stator segment separated from the next successive elongate-stator segment by a gap. A total section length of one elongate-stator segment and an adjacent gap is a constant value over a plurality of successive elongate-stator segments, wherein a runner length measured in the longitudinal direction across all magnets successively disposed on the runner, is an integer multiple of the total section length.

Abstract: A control device prevents rapid changes in an internal pressure of an enclosed space induced by an external environment. The control device includes a first pressure sensor in the enclosed space, a second pressure sensor outside the enclosed space, a pressurized container and a vacuum container in the enclosed space and a regulator to at least partially compensate for rapid pressure changes in the enclosed space detected in response to signals generated by the first and second pressure sensors. If the detected rapid pressure change is a decrease in the internal pressure in the enclosed space, the regulator controls the pressurized container to provide a controlled supply of air and if the detected rapid pressure change is an increase in the internal pressure in the enclosed space, the regulator controls the vacuum container to remove of air from the enclosed space.

Abstract: A copy-free transition tool converts storage objects from a source format associated with a source storage system to a destination format associated with a destination storage system. The transition tool exports configuration information associated with the source storage system to the destination storage system and brings the storage objects offline. Once the transition tool determines that the storage devices containing the storage objects are physically connected to the destination storage system, the tool can convert file systems from the source format to the destination format while leaving data and file layout unchanged. The tool can also modify metadata associated with each of the storage objects to conform to the destination format and store the modified metadata with the destination storage system.

Abstract: A transport system may include at least two conveyor sections and at least three cars that are moved individually in a cyclical operation. Each car may pass through a first conveyor section starting from a first start position and subsequently pass through a second conveyor section back to the first start position. At least one stopping point may be provided at least along a conveyor section, and one or more subsequent stopping points may respectively be assigned to a block. Travel of the cars may be controlled such that the cars successively approach a respective previously-specified block, and an equal cycle time is predefined for every car to pass through the first and second conveyor sections. A method for operating a transport system in this manner is also disclosed.

Abstract: A method for plagiarism detection of multithreaded program based on a thread slice birthmark includes steps of: 1) monitoring target programs during executing, real-time identifying system call, and recording related information comprising thread IDs, system call numbers, and return values; then pre-treating the information for obtaining a valid system call sequence Trace; 2) slicing the valid system call sequence Trace, for generating a series of thread slices Slice identified by the thread IDs; 3) generating dynamic thread slice birthmarks Birth of all the thread slices of two programs; 4) respectively generating corresponding software birthmarks PB1 and PB2 of the P1 and the P2 ; 5) matching based on a max bilateral diagram for calculating a max similarity between the software birthmarks PB1 and PB2; and 6) determines whether the program is plagiarized or not according to an average value of the birthmark similarity and a given threshold ?.

Abstract: Provided is a method for multithreaded program output uniqueness testing and proof-generation, based on program constraint construction; according to multithreaded program semantics, a constraint expression is constructed; an output uniqueness verification problem is converted to a constraint solving problem; a constraint solver is used to detect the presence of different outputs, and a counterexample execution path describing different outputs is generated; first, a tested program is stubbed, and the program is executed to obtain an execution path; then, according to multithreaded program execution semantics, the execution path is converted to a first-order logic expression having no quantifiers, the constraint expression encompassing all possible thread interleavings; then, uniqueness verification conditions are constructed for the output of a first run; lastly, the constraint solver is used for verifying whether a path is causing the output value and the run result to be inconsistent.

Abstract: An elevator installation is proposed having at least one car which is vertically movable upwardly and downwardly by means of a linear motor, the linear motor having stationary primary parts and a secondary part which is fixed to the car. In order to improve the elevator installation in such a way that it can be installed in a simpler manner, the elevator installation has a multiplicity of support segments on which in each case at least one primary part is mounted, in each case a support segment in combination with the at least one primary part mounted thereon forming a prefabricated drive module which is adapted to be handled independently, and the drive modules being stackable one on top of the other and forming a travel path along which the at least one car is movable.

Abstract: A method for plagiarism detection of multithreaded program based on a thread slice birthmark includes steps of: 1) monitoring target programs during executing, real-time identifying system call, and recording related information comprising thread IDs, system call numbers, and return values; then pre-treating the information for obtaining a valid system call sequence Trace; 2) slicing the valid system call sequence Trace, for generating a series of thread slices Slice identified by the thread IDs; 3) generating dynamic thread slice birthmarks Birth of all the thread slices of two programs; 4) respectively generating corresponding software birthmarks PB1 and PB2 of the P1 and the P2; 5) matching based on a max bilateral diagram for calculating a max similarity between the software birthmarks PB1 and PB2; and 6) determines whether the program is plagiarized or not according to an average value of the birthmark similarity and a given threshold ?.

Abstract: An example electromotive linear drive mechanism for moving walkways for conveying people or objects may comprise a long stator as an active primary part positioned along a direction of movement of a moving walkway, as well as a plurality of passive secondary parts that are movable with respect to the active primary part and are arranged with one another along the direction of movement. The long stator may have a plurality of successive long stator sections in the form of coil groups along the direction of movement. Each long stator section may have its own control device that is configured to move the secondary parts using control parameters stipulated for the respective long stator section. Further, example methods for operating the electromotive linear drive mechanism may involve predefining different movement profiles for the respective control devices for at least some of the long stator sections such that the secondary parts move along the long stator in a non-uniform manner.

Abstract: The present invention provides a method of test cases reduction based on program behavior slices. In the present invention, during a static analysis stage, analyzing a control flow and an information flow of a program according to input program codes, extracting control dependence and data dependence of the program; calculating potential dependence of the program according to the control dependence and the data dependence of the program; on the basis of the control dependence, the data dependence and the potential dependence, constructing combination dependence of the program; during a dynamic execution stage, according to an execution path and the dependence relation, calculating program behavior slices covered by the path and program behavior slices uncovered by the path, and guiding symbolic execution to generate a path capable of covering new program slices according to the uncovered program behavior slices.

Abstract: The present invention provides a method of test cases reduction based on program behavior slices. In the case that there is no need to scan all program paths, a test suite capable of covering all program behaviors is generated to relieve the state-space explosion problem confronted by program tests.

Abstract: A network caching system has a multi-protocol caching filer coupled to an origin server to provide storage virtualization of data served by the filer in response to data access requests issued by multi-protocol clients over a computer network. The multi-protocol caching filer includes a file system configured to manage a sparse volume that “virtualizes” a storage space of the data to thereby provide a cache function that enables access to data by the multi-protocol clients. To that end, the caching filer further includes a multi-protocol engine configured to translate the multi-protocol client data access requests into generic file system primitive operations executable by both the caching filer and the origin server.