aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2016-07-11hipe/flow/liveness.inc: Use map for liveness typeMagnus Lång
Slightly improves performance.
2016-07-11hipe_x86_frame: speed up find_tempsMagnus Lång
2016-07-11hipe_icode_range: Use maps over gb_trees,setsMagnus Lång
Also, remove unused field 'counter' from #state{}.
2016-07-11hipe_icode_coordinator: Rewrite concurrentlyMagnus Lång
2016-07-11hipe: segment tree delete operationMagnus Lång
Profiling showed that hipe_sdi spent most of its time in updateParents, discarding nodes that were already deleted. By introducing a delete operation to the segment trees, we can pay this cost only once, when deleting the node from the graph. Instead of keeping the ranges around, we recompute the range of the node when we delete it, since this can be done in constant time, without any memory allocation. Although segment trees are not designed to be modified once built, implementing a delete operation turned out to be a simple matter of repeating insertion, but deleting the index from, instead of consing it on, the appropriate nodes' values (segment lists). This optimisation drastically sped up hipe_sdi to the point of no longer being the bottleneck in the Assembly stage.
2016-07-11hipe_sdi: Use segment trees to represent PARENTSMagnus Lång
This speeds up parentsOfChild/2 from O(n) to O(lg n + k). A new module misc/hipe_segment_trees.erl is introduced.
2016-07-11hipe_icode_{bincomp,range}: Improve complexityMagnus Lång
hipe_icode_bincomp:find_bs_get_integer/3 was quadratic for no good reason. By observing that NewSuccs and Rest are always disjoint, we can see that the worklist does not need to be a set. Furthermore, by replacing the ordset Visited with a map, we reduce complexity to (a very low) O(n lg n). On cuter_binlib, this change reduced the time for hipe_icode_bincomp from 60s to .25s. Using a gb_set for Visited gives .5s, and a sets:set 1s. We apply the same optimisation to hipe_icode_range.
2016-07-11Merge branch 'siri/cuddle-maint' into maintSiri Hansen
* siri/cuddle-maint: [sasl test] Skip tests on slow host [sasl test] Catch erlang:port_close/1 [ct test] Extent node startup timeouts in netconfc_remote_SUITE [ct test] Monitor netconf server during transaction [sasl test] Extend wait time when starting nodes [ct test] Skip system time related tests on TimeWarpingOS
2016-07-11Merge branch 'lukas/erts/tracing/bif_return_to_trace_fix/OTP-13734' into maintLukas Larsson
* lukas/erts/tracing/bif_return_to_trace_fix/OTP-13734: erts: After a call to a tracer nif, reset htop erts: Check if return_to trace is enabled for bif
2016-07-11erts: After a call to a tracer nif, reset htopLukas Larsson
This is needed in order for the heap to never contain any pointers to invalid memory. This is good for performance and debugging reasons.
2016-07-11Merge branch 'lukas/erts/spawn_driver_relative_cd/ERL-175/OTP-13733' into maintLukas Larsson
* lukas/erts/spawn_driver_relative_cd/ERL-175/OTP-13733: erts: Add port_SUITE:cd invalid dir testcase erts: Fix spawn driver with relative cd option erts: Fix HARD_DEBUG printouts in erl_child_setup erts: Improve error printouts in erl_child_setup Conflicts: erts/emulator/test/port_SUITE.erl
2016-07-08Merge branch 'ingela/odbc/ctify' into maintIngela Anderton Andin
* ingela/odbc/ctify: odbc: Convert doc clauses form test_server to ct odbc: Replace test_server with ct eqvivalents odbc: Remove legacy config macros odbc: Remove legacy suite clauses from test suites
2016-07-08Merge branch 'ingela/ssl/ECC-select-hash-sign/OTP-13711' into maintIngela Anderton Andin
* ingela/ssl/ECC-select-hash-sign/OTP-13711: ssl: Correct handling of signature algorithm selection ssl: Simplify and refactor tests
2016-07-08ssl: Correct handling of signature algorithm selectionIngela Anderton Andin
In TLS-1.2 the selection of the servers algorithms and the the possible selection of algorithms for the client certificate verify message have different requirements.
2016-07-08ssl: Simplify and refactor testsIngela Anderton Andin
Tests in ECC_SUITE did not always use the certs implied by the name. Variable naming also confused the intent. ssl_certificate_verify_SUITE did not clean up properly and tests could fail due to cache problems.
2016-07-08erts: Check if return_to trace is enabled for bifLukas Larsson
We have to do an extra check if the return_to trace is enabled here as it may have been cleared by the bif after the flags where created by the call_trace.
2016-07-08[sasl test] Skip tests on slow hostSiri Hansen
release_handler_SUITE:otp_9395_update_many_mods and otp_9395_rm_many_mods often fail on test host 'nain' due to a very slow sys call. These tests are now skipped on this host.
2016-07-08[sasl test] Catch erlang:port_close/1Siri Hansen
After starting a node with open_port({spawn_executable,...},...), the resulting port is closed both automatically and by the calling rh_test_lib:cmd/3. To avoid 'badarg' in the case when the automatic is faster, the call to erlang:port_close/1 is now catched.
2016-07-08[ct test] Extent node startup timeouts in netconfc_remote_SUITESiri Hansen
2016-07-08[ct test] Monitor netconf server during transactionSiri Hansen
Netconf client tests fail every now and then with 'table_trans_timeout' with no obvious reason. A monitor of the maint netconf server process is now added - in case this process crashes during the transaction.
2016-07-07Merge branch 'sverker/child-setup-debugging' into maintSverker Eriksson
2016-07-07Merge branch 'sverker/spawn-driver-env-test' into maintSverker Eriksson
2016-07-07Merge branch 'hasse/erl_docgen/generated_type_links/ERL-120/OTP-13720' into ↵Hans Bolinder
maint * hasse/erl_docgen/generated_type_links/ERL-120/OTP-13720: wx: Prepare for using Erlang types and specs syntax_tools: Improve types syntax_tools: Improve seealso:s referring to types erl_docgen: Allow 'seealso' in 'name' erl_docgen: Generate type links in callback module creating erlref erl_docgen: Correct callback module for creating erlref erl_docgen: Improve callback module for creating erlref edoc: Correct types
2016-07-07wx: Prepare for using Erlang types and specsHans Bolinder
Create correct links to datatypes outside of the wx application. The added time for generating the doc/specs/specs_* files is unwelcome (they are currently not used).
2016-07-07syntax_tools: Improve typesHans Bolinder
2016-07-07syntax_tools: Improve seealso:s referring to typesHans Bolinder
Extract specs och types from source files, which ensures that seealso:s referring to, for example, erl_parse:abstract_form(), are assigned working links.
2016-07-07erl_docgen: Allow 'seealso' in 'name'Hans Bolinder
2016-07-07erl_docgen: Generate type links in callback module creating erlrefHans Bolinder
Create links to types, but generate no links to local types.
2016-07-07erl_docgen: Correct callback module for creating erlrefHans Bolinder
Show map fields correctly.
2016-07-07erl_docgen: Improve callback module for creating erlrefHans Bolinder
Create `Module:Type()' instead of `Type() (see module Module)'.
2016-07-07edoc: Correct typesHans Bolinder
2016-07-07Merge branch ↵Hans Bolinder
'mbucc/syntax_tools/fix_erl_tidy_tilde/ERL-151/PR-1071/OTP-13725' into maint * mbucc/syntax_tools/fix_erl_tidy_tilde/ERL-151/PR-1071/OTP-13725: syntax_tools: Make erl_tidy work on input file with tilde
2016-07-06syntax_tools: Make erl_tidy work on input file with tildeMark Bucciarelli
See also http://bugs.erlang.org/browse/ERL-151.
2016-07-06Merge branch 'margnus1/dialyzer/suppress_warns/ERL-159/PR-1121/OTP-13723' ↵Hans Bolinder
into maint * margnus1/dialyzer/suppress_warns/ERL-159/PR-1121/OTP-13723: dialyzer: Suppress warns on generated case stmts
2016-07-05Merge branch 'hipe-trap-gc/PR-1116/OTP-13724' into maintSverker Eriksson
* hipe-trap-gc/PR-1116: hipe: Fix bug in trap frame allocation wrappers hipe: Add assertion for gc in bif without wrapper
2016-07-05erts: Add port_SUITE:cd invalid dir testcaseLukas Larsson
2016-07-05Merge branch 'iilyak/stdlib/correct_ets_specs/PR-1113/OTP-13721' into maintHans Bolinder
* iilyak/stdlib/correct_ets_specs/PR-1113/OTP-13721: Fix return value spec for ets:match_object
2016-07-04dialyzer: Suppress warns on generated case stmtsMagnus Lång
Warnings about clauses that cannot match and are also compiler generated are suppressed unless none of the clauses return. This feature is useful for non-Erlang BEAM languages (such as Elixir) that compile to Erlang and expand certain language constructs into case statements. In that case, as long as the language construct can succeed, these warnings are undesired and appear spurious to users that do not check the Erlang code that their program expands into. Thanks to José Valim for the test (slightly modified).
2016-07-04Fix return value spec for ets:match_objectILYA Khlopotov
ets:match_object/1 and ets:match_object/3 return list of matches
2016-07-04Merge branch 'kostis/edoc/minor_changes' into maintHans Bolinder
* kostis/edoc/minor_changes: edoc: Provide a slightly better fix for unmatched returns
2016-07-04edoc: Provide a slightly better fix for unmatched returnsKostis Sagonas
An attempt to shut off Dialyzer's unmatched return warnings made a change that simply ignored the return type of a function. It's arguably better to modify the code of this function to not return something "by accident." While at it, rewrote a slighty confusing use of a list comprehension without a generator to a case statement.
2016-07-01Merge branch 'ingela/ssl/dist-stop-nodes' into maintIngela Anderton Andin
* ingela/ssl/dist-stop-nodes: ssl: All started test nodes must be cleaned up
2016-07-01erts: Fix spawn driver with relative cd optionLukas Larsson
2016-07-01erts: Fix HARD_DEBUG printouts in erl_child_setupLukas Larsson
2016-07-01erts: Improve error printouts in erl_child_setupLukas Larsson
Add prints to stderr with a small description of the error so that errors will be easier to debug. Also if a protocol error is detected, erl_child_setup will abort instead of exit.
2016-07-01Merge branch 'goertzenator/snmpstring/PR-1100/OTP-13706' into maintIngela Anderton Andin
* goertzenator/snmpstring/PR-1100/OTP-13706: add snmp_agent_conf_test to modules.mk Fix ERL-164 for agent, vacm, and usm config files snmp tests demonstrating ERL-164, no string escaping for SNMP config files
2016-06-30hipe: Fix bug in trap frame allocation wrappersMagnus Lång
The trap frame allocation wrappers occasionally call the garbage collector, even though built-in functions are not supposed to. On non-{x86,amd64} platforms, HiPE was optimising the BIF wrapper interface on the basis that BIFs do not GC. So, when hipe_reserve_beam_trap_frame called the garbage collector, the state in the PCB was stale and corruption happened. Now, these particular BIFs are reclassified as GC BIFs. Unfortunately, in order to do that we needed to introduce a gc_bif_interface_3 macro in every hipe_$ARCH_bifs.m4 file.
2016-06-30Merge branch 'maint-19' into maintHans Nilsson
2016-06-30hipe: Add assertion for gc in bif without wrapperMagnus Lång
An easy source of tricky bugs is to start calling the garbage collector from a built-in function without adding that bif to hipe_bif_list.m4. With this change we, in the debug build, keep track of whether the canonical stack and heap pointers are stored in the PCB or in registers/stack, allowing us to catch this class of mistakes with an assertion.
2016-06-30Merge branch 'aronisstav/compiler/fix-compile-forms-spec/PR-1109' into maintBjörn Gustavsson
* aronisstav/compiler/fix-compile-forms-spec/PR-1109: Fix spec of compile:(noenv_)forms/2