~ubuntu-branches/ubuntu/trusty/erlang/trusty

« back to all changes in this revision

Viewing changes to lib/dialyzer/test/race_tests_SUITE_data/src/mnesia_dirty_read_write_double2.erl

  • Committer: Bazaar Package Importer
  • Author(s): Clint Byrum
  • Date: 2011-05-05 15:48:43 UTC
  • mfrom: (3.5.13 sid)
  • Revision ID: james.westby@ubuntu.com-20110505154843-0om6ekzg6m7ugj27
Tags: 1:14.b.2-dfsg-3ubuntu1
* Merge from debian unstable.  Remaining changes:
  - Drop libwxgtk2.8-dev build dependency. Wx isn't in main, and not
    supposed to.
  - Drop erlang-wx binary.
  - Drop erlang-wx dependency from -megaco, -common-test, and -reltool, they
    do not really need wx. Also drop it from -debugger; the GUI needs wx,
    but it apparently has CLI bits as well, and is also needed by -megaco,
    so let's keep the package for now.
  - debian/patches/series: Do what I meant, and enable build-options.patch
    instead.
* Additional changes:
  - Drop erlang-wx from -et
* Dropped Changes:
  - patches/pcre-crash.patch: CVE-2008-2371: outer level option with
    alternatives caused crash. (Applied Upstream)
  - fix for ssl certificate verification in newSSL: 
    ssl_cacertfile_fix.patch (Applied Upstream)
  - debian/patches/series: Enable native.patch again, to get stripped beam
    files and reduce the package size again. (build-options is what
    actually accomplished this)
  - Remove build-options.patch on advice from upstream and because it caused
    odd build failures.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
%% This tests the presence of possible races due to an mnesia:dirty_read/
 
2
%% mnesia:dirty_write combination. It takes into account multiple
 
3
%% mnesia:dirty_writes that might exist.
 
4
 
 
5
-module(mnesia_dirty_read_write_double2).
 
6
-export([raise/3]).
 
7
 
 
8
-record(employee, {emp_no,
 
9
                   name,
 
10
                   salary,
 
11
                   sex,
 
12
                   phone,
 
13
                   room_no}).
 
14
 
 
15
 
 
16
raise(Eno, Raise, Room) ->
 
17
    [E] = mnesia:dirty_read({employee, Eno}),
 
18
    Salary = E#employee.salary + Raise,
 
19
    New = E#employee{salary = Salary},
 
20
    mnesia:dirty_write(New),
 
21
    move(E, Room).
 
22
 
 
23
move(E, Room) ->
 
24
    New = E#employee{room_no = Room},
 
25
    mnesia:dirty_write(New).