Specification of Thread-Safe Behaviour Sample Clauses

Specification of Thread-Safe Behaviour. As we argued in section 2.3, thread safety behaviour specification and functional specification are different. Separating the two requires the introduction of new constructs to JML (section 3.2.1) and revisiting inheritance specification of concurrency aspects (section 3.2.2). An example is introduced in section 3.2.3. 3.2.1 New constructs for Thread-Safety Specification. First, we add the concurrent_behaviour clause to a method specification to separate functional (e.g., JML normal_behavior and exceptional_behavior clauses) from thread-safety property specifications. A concurrent_behaviour specification can contain one or more of the following clauses: • requires_locked, requires_unlocked, ensures_locked, ensures_unlocked: These specify the set of lock objects that are held or not by the current thread in the method pre-state and post- state, respectively. Null references are ignored. These replace the JML \lockset (part of the functional aspect in JML). • requires_thread_safe, ensures_thread_safe: These specify that all the objects provided as argument satisfy the \thread_safe predicate in the method pre-state and post-state, respectively. Null references are ignored. These clauses take a spec-expression-list (see section A. 8 of [15]) as an argument (i.e. a comma-separated list of JML expressions). Each such expression evaluates to an object reference. These clauses all default to \not_specified. The requires_... clauses must be satisfied in the method’s pre-state. The ensures_... clauses must be satisfied in the method’s post-state.
AutoNDA by SimpleDocs

Related to Specification of Thread-Safe Behaviour

  • CONTRACT WORK HOURS AND SAFETY STANDARDS As per the Contract Work Hours and Safety Standards Act (40 U.S.C. 3701-3708), where applicable, all Customer Purchase Orders in excess of ,000 that involve the employment of mechanics or laborers must include a provision for compliance with 40 U.S.C. 3702 and 3704, as supplemented by Department of Labor regulations (29 CFR Part 5). Under 40 U.S.C. 3702 of the Act, each contractor must be required to compute the wages of every mechanic and laborer on the basis of a standard work week of 40 hours. Work in excess of the standard work week is permissible provided that the worker is compensated at a rate of not less than one and a half times the basic rate of pay for all hours worked in excess of 40 hours in the work week. The requirements of 40 U.S.C. 3704 are applicable to construction work and provide that no laborer or mechanic must be required to work in surroundings or under working conditions which are unsanitary, hazardous or dangerous. These requirements do not apply to the purchases of supplies or materials or articles ordinarily available on the open market, or contracts for transportation or transmission of intelligence.

  • Child Safety BCHS values children from all backgrounds and is committed to making our community a safe, nurturing and welcoming place for children to grow and develop. We are committed to making sure ALL children reach their individual potential.

  • Rectification of Safety Hazard Where, because of the existence of a safety hazard, a site has been stopped for a defined period of time and Employees sent off site by agreement between Site Managers and any combination of Union Official/s, Health and Safety Committee, those people who remain on site to do rectification work will be paid at the rate of double time for all such work.

  • Contract Work Hours and Safety Standards Act The following clauses apply to any Federal-aid construction contract in an amount in excess of $100,000 and subject to the overtime provisions of the Contract Work Hours and Safety Standards Act. These clauses shall be inserted in addition to the clauses required by 29 CFR 5.5(a) or 29 CFR 4.6. As used in this paragraph, the terms laborers and mechanics include watchmen and guards.

  • Prescription Safety Glasses Prescription safety glasses will be furnished by the employer. The employer retains the authority to establish reasonable rules and procedures regarding frequency of issue, replacement of damaged glasses, limits on reimbursement costs and coordination with the employer's vision plan.

  • General specifications For the purpose of this Regulation, the vehicle shall fulfil the following requirements:

  • Anti-Money Laundering and Red Flag Identity Theft Prevention Programs The Trust acknowledges that it has had an opportunity to review, consider and comment upon the written procedures provided by USBFS describing various tools used by USBFS which are designed to promote the detection and reporting of potential money laundering activity and identity theft by monitoring certain aspects of shareholder activity as well as written procedures for verifying a customer’s identity (collectively, the “Procedures”). Further, the Trust and USBFS have each determined that the Procedures, as part of the Trust’s overall Anti-Money Laundering Program and Red Flag Identity Theft Prevention Program, are reasonably designed to: (i) prevent each Fund from being used for money laundering or the financing of terrorist activities; (ii) prevent identity theft; and (iii) achieve compliance with the applicable provisions of the Bank Secrecy Act, Fair and Accurate Credit Transactions Act of 2003 and the USA Patriot Act of 2001 and the implementing regulations thereunder. Based on this determination, the Trust hereby instructs and directs USBFS to implement the Procedures on the Trust’s behalf, as such may be amended or revised from time to time. It is contemplated that these Procedures will be amended from time to time by the parties as additional regulations are adopted and/or regulatory guidance is provided relating to the Trust’s anti-money laundering and identity theft responsibilities. USBFS agrees to provide to the Trust: (a) Prompt written notification of any transaction or combination of transactions that USBFS believes, based on the Procedures, evidence money laundering or identity theft activities in connection with the Trust or any Fund shareholder; (b) Prompt written notification of any customer(s) that USBFS reasonably believes, based upon the Procedures, to be engaged in money laundering or identity theft activities, provided that the Trust agrees not to communicate this information to the customer; (c) Any reports received by USBFS from any government agency or applicable industry self-regulatory organization pertaining to USBFS’ Anti-Money Laundering Program or the Red Flag Identity Theft Prevention Program on behalf of the Trust; (d) Prompt written notification of any action taken in response to anti-money laundering violations or identity theft activity as described in (a), (b) or (c) immediately above; and (e) Certified annual and quarterly reports of its monitoring and customer identification activities pursuant to the Procedures on behalf of the Trust. The Trust hereby directs, and USBFS acknowledges, that USBFS shall (i) permit federal regulators access to such information and records maintained by USBFS and relating to USBFS’ implementation of the Procedures, on behalf of the Trust, as they may request, and (ii) permit such federal regulators to inspect USBFS’ implementation of the Procedures on behalf of the Trust.

  • DRUG AND ALCOHOL TESTING Employees may be tested for drugs and/or alcohol pursuant to the provisions of the Employer's Drug and Alcohol Testing Policy which is attached hereto and made a part of this Agreement as if more fully set forth herein.

  • CERTIFICATION REGARDING DRUG-FREE WORKPLACE REQUIREMENTS 1. The Contractor certifies that it will provide a drug-free workplace by: a. Publishing a statement notifying employees that the unlawful manufacture, distribution, dispensing, possession or use of a controlled substance is prohibited in the Contractor’s workplace and specifying the actions that will be taken against employees for violation of such prohibition;

  • Description of Goods or Services and Additional Terms and Conditions The Contractor shall perform as set forth in Exhibit A. For purposes of this Contract, to perform and the performance in Exhibit A is referred to as “Perform” and the “Performance.”

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!